hermes-transform 0.36.1 → 0.37.0

package/dist/src/transform/mutations/utils/isValidModuleDeclarationParent.js

@@ -5,34 +5,19 @@ Object.defineProperty(exports, "__esModule", {
 });
 exports.isValidModuleDeclarationParent = isValidModuleDeclarationParent;
 
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *
- * 
- * @noformat
- */
-function isModuleDeclaration(node)
-/*: node is (
-| ImportDeclaration
-| ExportNamedDeclaration
-| ExportDefaultDeclaration
-| ExportAllDeclaration
-) */
-{
+function isModuleDeclaration(node) {
   return node.type === 'ImportDeclaration' || node.type === 'ExportNamedDeclaration' || node.type === 'ExportDefaultDeclaration' || node.type === 'ExportAllDeclaration';
 }
 
 function isValidModuleDeclarationParent(target, nodesToInsertOrReplace) {
-  if (target.type === 'Program' || target.type === 'BlockStatement' && target.parent.type === 'DeclareModule') {
+  var _target$parent;
+
+  if (target.type === 'Program' || target.type === 'BlockStatement' && ((_target$parent = target.parent) == null ? void 0 : _target$parent.type) === 'DeclareModule') {
     return true;
   }
 
   for (const node of nodesToInsertOrReplace) {
-    if (!isModuleDeclaration( // $FlowExpectedError[incompatible-type]
-    node)) {
+    if (!isModuleDeclaration(node)) {
       continue;
     }
 

package/dist/src/transform/parse.js

@@ -1,12 +1,3 @@
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *
- * 
- * @format
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -25,27 +16,17 @@ function parse(code) {
   } = (0, _hermesEslint.parseForESLint)(code, {
     sourceType: 'module',
     enableExperimentalComponentSyntax: true
-  }); // Don't include the docblock comment in the comment list as we don't want to attach it
-  // as it should be maintained at the top of the file as nodes are moved around.
-
+  });
   let comments = ast.comments;
 
   if (ast.docblock != null && ast.docblock.comment === comments[0]) {
-    const [first, ...nonDocblockComments] = comments; // Since we will not be attaching this comment automatically we need to add the
-    // properties prettier expects for printing.
-    // $FlowExpectedError[prop-missing]
-
-    first.placement = 'endOfLine'; // $FlowExpectedError[prop-missing]
-
-    first.leading = true; // $FlowExpectedError[prop-missing]
-
-    first.trailing = false; // $FlowExpectedError[prop-missing]
-
+    const [first, ...nonDocblockComments] = comments;
+    first.placement = 'endOfLine';
+    first.leading = true;
+    first.trailing = false;
     first.printed = false;
     comments = nonDocblockComments;
-  } // attach comments before mutation. this will ensure that as nodes are
-  // cloned / moved around - comments remain in the correct place with respect to the node
-
+  }
 
   (0, _comments.attachComments)(comments, ast, code);
   return {

package/dist/src/transform/print.js

@@ -1,12 +1,3 @@
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *
- * 
- * @format
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -25,13 +16,11 @@ function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "functio
 function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
 
 async function print(ast, originalCode, prettierOptions = {}, visitorKeys) {
-  // $FlowExpectedError[incompatible-type] This is now safe to access.
-  const program = ast; // If the AST body is empty, we can skip the cost of prettier by returning a static string of the contents.
+  const program = ast;
 
   if (program.body.length === 0) {
     var _program$docblock;
 
-    // If the program had a docblock comment, we need to create the string manually.
     const docblockComment = (_program$docblock = program.docblock) == null ? void 0 : _program$docblock.comment;
 
     if (docblockComment != null) {
@@ -39,31 +28,16 @@ async function print(ast, originalCode, prettierOptions = {}, visitorKeys) {
     }
 
     return '';
-  } // Cleanup the comments from the AST and generate the "orginal" code needed for prettier.
-
-
-  const codeForPrinting = (0, _comments.mutateESTreeASTCommentsForPrettier)(program, originalCode); // Fix up the AST to match what prettier expects.
+  }
 
+  const codeForPrinting = (0, _comments.mutateESTreeASTCommentsForPrettier)(program, originalCode);
   (0, _hermesParser.mutateESTreeASTForPrettier)(program, visitorKeys);
-  let pluginParserName = 'flow';
-  let pluginParser;
-  let pluginPrinter;
-
-  try {
-    // Use prettier-plugin-hermes-parser if we can. It has latest Flow syntax support.
-    // $FlowExpectedError[untyped-import]
-    const prettierHermesPlugin = await Promise.resolve().then(() => _interopRequireWildcard(require('prettier-plugin-hermes-parser')));
-    pluginParser = prettierHermesPlugin.parsers.hermes;
-    pluginPrinter = prettierHermesPlugin.printers;
-    pluginParserName = 'hermes';
-  } catch {
-    const prettierFlowPlugin = require('prettier/plugins/flow');
-
-    pluginParser = prettierFlowPlugin.parsers.flow;
-  }
 
-  return prettier.format(codeForPrinting, // $FlowExpectedError[incompatible-exact] - we don't want to create a dependency on the prettier types
-  { ...prettierOptions,
+  const prettierEstreePlugin = require('prettier/plugins/estree');
+
+  const pluginParserName = visitorKeys != null ? 'typescript' : 'flow';
+  const pluginParser = visitorKeys != null ? require('prettier/plugins/typescript').parsers.typescript : require('prettier/plugins/flow').parsers.flow;
+  return prettier.format(codeForPrinting, { ...prettierOptions,
     parser: pluginParserName,
     requirePragma: false,
     plugins: [{
@@ -76,7 +50,7 @@ async function print(ast, originalCode, prettierOptions = {}, visitorKeys) {
 
         }
       },
-      printers: pluginPrinter
+      printers: prettierEstreePlugin.printers
     }]
   });
 }

package/dist/src/transform/transform.js

@@ -1,12 +1,3 @@
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *
- * 
- * @format
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {

package/dist/src/transform/transformAST.js

@@ -1,12 +1,3 @@
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *
- * 
- * @format
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -45,10 +36,8 @@ function transformAST({
   scopeManager,
   code
 }, visitors) {
-  // traverse the AST and collect the mutations
   const transformContext = (0, _TransformContext.getTransformContext)();
-  (0, _traverse.traverseWithContext)(code, ast, scopeManager, () => transformContext, visitors); // apply the mutations to the AST
-
+  (0, _traverse.traverseWithContext)(code, ast, scopeManager, () => transformContext, visitors);
   const mutationContext = new _MutationContext.MutationContext(code);
   const removeCommentMutations = [];
 
@@ -87,7 +76,6 @@ function transformAST({
 
         case 'removeComment':
           {
-            // these are handled later
             removeCommentMutations.push(mutation);
             return null;
           }
@@ -102,28 +90,12 @@ function transformAST({
             return (0, _CloneCommentsTo.performCloneCommentsToMutation)(mutationContext, mutation);
           }
       }
-    })(); // ensure the subtree's parent pointers are correct
-    // this is required for two reasons:
-    // 1) The userland transform is just JS - so there's nothing stopping them
-    //    from doing anything dodgy. The flow types have some enforcement, but
-    //    ofc that can just be ignored with a suppression.
-    // 2) Shallow clones are a necessary evil in the transform because they
-    //    allow codemods to do simple changes to just one node without the
-    //    weight that comes with deeply cloning the entire AST.
-    //    However we can't update the parent pointers of the cloned node's
-    //    children until the mutation step or else we would be mutating
-    //    real AST nodes and potentially break the traverse step.
-    //
-    // Being strict here just helps us ensure we keep everything in sync
-
+    })();
 
     if (mutationRoot) {
       (0, _detachedNode.updateAllParentPointers)(mutationRoot);
     }
-  } // remove the comments
-  // this is done at the end because it requires a complete traversal of the AST
-  // so that we can find relevant node's attachment array
-
+  }
 
   (0, _RemoveComment.performRemoveCommentMutations)(ast, removeCommentMutations);
   return {

package/dist/src/traverse/NodeEventGenerator.js

@@ -1,12 +1,3 @@
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *
- * 
- * @format
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -28,21 +19,10 @@ const ESQUERY_OPTIONS = Object.freeze({
     throw new Error(`No visitor keys found for node type "${node.type}".`);
   }
 });
-/**
- * Computes the union of one or more arrays
- * @param arrays One or more arrays to union
- * @returns The union of the input arrays
- */
 
 function union(...arrays) {
   return [...new Set(arrays.flat())];
 }
-/**
- * Computes the intersection of one or more arrays
- * @param arrays One or more arrays to intersect
- * @returns The intersection of the input arrays
- */
-
 
 function intersection(...arrays) {
   if (arrays.length === 0) {
@@ -57,20 +37,13 @@ function intersection(...arrays) {
 
   return result;
 }
-/**
- * Gets the possible types of a selector
- * @param parsedSelector An object (from esquery) describing the matching behavior of the selector
- * @returns The node types that could possibly trigger this selector, or `null` if all node types could trigger it
- */
-
 
 function getPossibleTypes(parsedSelector) {
   switch (parsedSelector.type) {
     case 'identifier':
       if (!(parsedSelector.value in _hermesParser.FlowVisitorKeys)) {
         throw new Error(`Unexpected selector ${parsedSelector.value}`);
-      } // $FlowExpectedError[incompatible-type]
-
+      }
 
       return [parsedSelector.value];
 
@@ -88,16 +61,11 @@ function getPossibleTypes(parsedSelector) {
 
     case 'compound':
       {
-        const typesForComponents = parsedSelector.selectors.map(getPossibleTypes).filter(Boolean); // If all of the components could match any type, then the compound could also match any type.
+        const typesForComponents = parsedSelector.selectors.map(getPossibleTypes).filter(Boolean);
 
         if (!typesForComponents.length) {
           return null;
         }
-        /*
-         * If at least one of the components could only match a particular type, the compound could only match
-         * the intersection of those types.
-         */
-
 
         return intersection(...typesForComponents);
       }
@@ -119,12 +87,6 @@ function getPossibleTypes(parsedSelector) {
       return null;
   }
 }
-/**
- * Counts the number of class, pseudo-class, and attribute queries in this selector
- * @param parsedSelector An object (from esquery) describing the selector's matching behavior
- * @returns The number of class, pseudo-class, and attribute queries in this selector
- */
-
 
 function countClassAttributes(parsedSelector) {
   switch (parsedSelector.type) {
@@ -149,12 +111,6 @@ function countClassAttributes(parsedSelector) {
       return 0;
   }
 }
-/**
- * Counts the number of identifier queries in this selector
- * @param parsedSelector An object (from esquery) describing the selector's matching behavior
- * @returns The number of identifier queries
- */
-
 
 function countIdentifiers(parsedSelector) {
   switch (parsedSelector.type) {
@@ -176,28 +132,10 @@ function countIdentifiers(parsedSelector) {
       return 0;
   }
 }
-/**
- * Compares the specificity of two selector objects, with CSS-like rules.
- * @param selectorA An AST selector descriptor
- * @param selectorB Another AST selector descriptor
- * @returns
- * a value less than 0 if selectorA is less specific than selectorB
- * a value greater than 0 if selectorA is more specific than selectorB
- * a value less than 0 if selectorA and selectorB have the same specificity, and selectorA <= selectorB alphabetically
- * a value greater than 0 if selectorA and selectorB have the same specificity, and selectorA > selectorB alphabetically
- */
-
 
 function compareSpecificity(selectorA, selectorB) {
   return selectorA.attributeCount - selectorB.attributeCount || selectorA.identifierCount - selectorB.identifierCount || (selectorA.rawSelector <= selectorB.rawSelector ? -1 : 1);
 }
-/**
- * Parses a raw selector string, and throws a useful error if parsing fails.
- * @param rawSelector A raw AST selector
- * @returns An object (from esquery) describing the matching behavior of this selector
- * @throws An error if the selector is invalid
- */
-
 
 function tryParseSelector(rawSelector) {
   try {
@@ -212,11 +150,6 @@ function tryParseSelector(rawSelector) {
 }
 
 const selectorCache = new Map();
-/**
- * Parses a raw selector string, and returns the parsed selector along with specificity and type information.
- * @param rawSelector A raw AST selector
- * @returns A selector descriptor
- */
 
 function parseSelector(rawSelector) {
   const cachedSelector = selectorCache.get(rawSelector);
@@ -237,18 +170,8 @@ function parseSelector(rawSelector) {
   selectorCache.set(rawSelector, result);
   return result;
 }
-/**
- * The event generator for AST nodes.
- */
-
 
 class NodeEventGenerator {
-  /**
-   * @param emitter
-   * An SafeEmitter which is the destination of events. This emitter must already
-   * have registered listeners for all of the events that it needs to listen for.
-   * (See lib/linter/safe-emitter.js for more details on `SafeEmitter`.)
-   */
   constructor(emitter) {
     this.emitter = void 0;
     this._currentAncestry = [];
@@ -285,35 +208,16 @@ class NodeEventGenerator {
 
     this._exitSelectorsByNodeType.forEach(selectorList => selectorList.sort(compareSpecificity));
   }
-  /**
-   * Checks a selector against a node, and emits it if it matches
-   * @param node The node to check
-   * @param selector An AST selector descriptor
-   * @private
-   */
-
 
   _applySelector(node, selector) {
     if (esquery.matches(node, selector.parsedSelector, this._currentAncestry, ESQUERY_OPTIONS)) {
       this.emitter.emit(selector.rawSelector, node);
     }
   }
-  /**
-   * Applies all appropriate selectors to a node, in specificity order
-   * @param node The node to check
-   * @param isExit `false` if the node is currently being entered, `true` if it's currently being exited
-   * @private
-   */
-
 
   _applySelectors(node, isExit) {
     const selectorsByNodeType = (isExit ? this._exitSelectorsByNodeType : this._enterSelectorsByNodeType).get(node.type) || [];
     const anyTypeSelectors = isExit ? this._anyTypeExitSelectors : this._anyTypeEnterSelectors;
-    /*
-     * selectorsByNodeType and anyTypeSelectors were already sorted by specificity in the constructor.
-     * Iterate through each of them, applying selectors in the right order.
-     */
-
     let selectorsByTypeIndex = 0;
     let anyTypeSelectorsIndex = 0;
 
@@ -325,22 +229,12 @@ class NodeEventGenerator {
       }
     }
   }
-  /**
-   * Emits an event of entering AST node.
-   * @param node A node which was entered.
-   */
-
 
   enterNode(node) {
     this._applySelectors(node, false);
 
     this._currentAncestry.unshift(node);
   }
-  /**
-   * Emits an event of leaving AST node.
-   * @param node A node which was left.
-   */
-
 
   leaveNode(node) {
     this._currentAncestry.shift();

package/dist/src/traverse/SafeEmitter.js

@@ -1,12 +1,3 @@
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *
- * 
- * @format
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -14,16 +5,6 @@ Object.defineProperty(exports, "__esModule", {
 });
 exports.SafeEmitter = void 0;
 
-/**
- * Creates an object which can listen for and emit events.
- * This is similar to the EventEmitter API in Node's standard library, but it has a few differences.
- * The goal is to allow multiple modules to attach arbitrary listeners to the same emitter, without
- * letting the modules know about each other at all.
- * 1. It has no special keys like `error` and `newListener`, which would allow modules to detect when
- * another module throws an error or registers a listener.
- * 2. It calls listener functions without any `this` value. (`EventEmitter` calls listeners with a
- * `this` value of the emitter instance, which would give listeners access to other listeners.)
- */
 class SafeEmitter {
   constructor() {
     this.listeners = Object.create(null);

package/dist/src/traverse/esquery.js

@@ -1,12 +1,3 @@
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *
- * 
- * @format
- */
 'use strict';
 
 Object.defineProperty(exports, "__esModule", {
@@ -18,20 +9,11 @@ var _esquery = _interopRequireDefault(require("esquery"));
 
 function _interopRequireDefault(obj) { return obj && obj.__esModule ? obj : { default: obj }; }
 
-// $FlowExpectedError[cannot-resolve-module]
-
-/** Parse a selector and return its AST. */
 const parse = _esquery.default.parse;
-/** From a JS AST and a selector AST, collect all JS AST nodes that match the selector. */
-
 exports.parse = parse;
 const match = _esquery.default.match;
-/** Given a `node` and its ancestors, determine if `node` is matched by `selector`. */
-
 exports.match = match;
 const matches = _esquery.default.matches;
-/** Query the code AST using the selector string. */
-
 exports.matches = matches;
 const query = _esquery.default.query;
 exports.query = query;

package/dist/src/traverse/traverse.js

@@ -14,22 +14,6 @@ var _SafeEmitter = require("./SafeEmitter");
 
 var _hermesParser = require("hermes-parser");
 
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *
- * 
- * @format
- */
-
-/**
- * Traverse the AST with additional context members provided by `additionalContext`.
- * @param ast the ESTree AST to traverse
- * @param scopeManager the eslint-scope compatible scope manager instance calculated using the ast
- * @param additionalContext a callback function which returns additional context members to add to the context provided to the visitor
- */
 function traverseWithContext(code, ast, scopeManager, additionalContext, visitor) {
   const emitter = new _SafeEmitter.SafeEmitter();
   let currentNode = ast;
@@ -37,7 +21,6 @@ function traverseWithContext(code, ast, scopeManager, additionalContext, visitor
   let shouldStopTraversal = false;
 
   const getScope = (givenNode = currentNode) => {
-    // On Program node, get the outermost scope to avoid return Node.js special function scope or ES modules scope.
     const inner = givenNode.type !== 'Program';
 
     for (let node = givenNode; node; node = node.parent) {
@@ -57,7 +40,6 @@ function traverseWithContext(code, ast, scopeManager, additionalContext, visitor
 
   const traversalContextBase = Object.freeze({
     buildCodeFrame: (node, message) => {
-      // babel uses 1-indexed columns
       const locForBabel = {
         start: {
           line: node.loc.start.line,
@@ -105,10 +87,8 @@ function traverseWithContext(code, ast, scopeManager, additionalContext, visitor
   const traversalContext = Object.freeze({ ...traversalContextBase,
     ...additionalContext(traversalContextBase)
   });
-  const selectors = visitor(traversalContext); // add all the selectors from the visitor as listeners
-
+  const selectors = visitor(traversalContext);
   Object.keys(selectors).forEach(selector => {
-    // flow doesn't want us to be general here - but it's safe
     const listener = selectors[selector];
 
     if (listener) {
@@ -119,7 +99,6 @@ function traverseWithContext(code, ast, scopeManager, additionalContext, visitor
 
   function checkTraversalFlags() {
     if (shouldStopTraversal) {
-      // No need to reset the flag since we won't enter any more nodes.
       throw _hermesParser.SimpleTraverser.Break;
     }
 

package/dist/transform/Errors.js

@@ -5,15 +5,6 @@ Object.defineProperty(exports, "__esModule", {
 });
 exports.UnexpectedTransformationState = exports.NodeIsMutatedError = exports.NodeIsDeletedError = exports.InvalidStatementError = exports.InvalidReplacementError = exports.InvalidRemovalError = exports.InvalidInsertionError = void 0;
 
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *
- * 
- * @format
- */
 class NodeIsDeletedError extends Error {}
 
 exports.NodeIsDeletedError = NodeIsDeletedError;

package/dist/transform/MutationContext.js

@@ -9,17 +9,7 @@ var _Errors = require("./Errors");
 
 var _comments = require("./comments/comments");
 
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *
- * 
- * @format
- */
 class MutationContext {
-  // TODO - do we care about this? Arrays are pretty safe to concurrently mutate
   constructor(code) {
     this._deletedNodes = new Set();
     this._mutatedKeys = new Map();
@@ -27,42 +17,25 @@ class MutationContext {
     this.code = void 0;
     this.code = code;
   }
-  /**
-   * Marks a node and its entire subtree as deleted.
-   */
-
 
   markDeletion(node) {
     this._deletedNodes.add(node);
   }
-  /**
-   * Marks the key of the node as having been mutated.
-   */
-
 
   markMutation(node, key) {
     var _map$get$add, _map$get;
 
     this.assertNotDeleted(node, `Attempted to mutate a \`${node.type}.${key}\` on a deleted node.`);
     this.assertNotMutated(node, key, `Attempted to mutate a \`${node.type}.${key}\` when it has already been mutated.`);
-    const map = Array.isArray( // $FlowExpectedError[prop-missing]
-    node[key]) ? this._mutatedArrays : this._mutatedKeys;
+    const map = Array.isArray(node[key]) ? this._mutatedArrays : this._mutatedKeys;
     map.set(node, (_map$get$add = (_map$get = map.get(node)) == null ? void 0 : _map$get.add(key)) != null ? _map$get$add : new Set([key]));
   }
-  /**
-   * Throws if the node has been deleted
-   */
-
 
   assertNotDeleted(node, message) {
     if (this._deletedNodes.has(node)) {
       throw new _Errors.NodeIsDeletedError(message);
     }
   }
-  /**
-   * Throws if the key of the node has been mutated
-   */
-
 
   assertNotMutated(node, key, message) {
     var _this$_mutatedKeys$ge;

package/dist/transform/MutationContext.js.flow

@@ -15,10 +15,10 @@ import {NodeIsDeletedError, NodeIsMutatedError} from './Errors';
 import {appendCommentToSource} from './comments/comments';
 
 export class MutationContext {
-  +_deletedNodes: Set<ESNode> = new Set();
-  +_mutatedKeys: Map<ESNode, Set<string>> = new Map();
+  readonly _deletedNodes: Set<ESNode> = new Set();
+  readonly _mutatedKeys: Map<ESNode, Set<string>> = new Map();
   // TODO - do we care about this? Arrays are pretty safe to concurrently mutate
-  +_mutatedArrays: Map<ESNode, Set<string>> = new Map();
+  readonly _mutatedArrays: Map<ESNode, Set<string>> = new Map();
 
   code: string;