@babel/traverse 7.14.5 → 7.15.0

package/lib/context.js

@@ -9,8 +9,6 @@ var _path = require("./path");
 
 var t = require("@babel/types");
 
-const testing = process.env.NODE_ENV === "test";
-
 class TraversalContext {
   constructor(scope, opts, state, parentPath) {
     this.queue = null;
@@ -46,10 +44,6 @@ class TraversalContext {
   }
 
   maybeQueue(path, notPriority) {
-    if (this.trap) {
-      throw new Error("Infinite cycle detected");
-    }
-
     if (this.queue) {
       if (notPriority) {
         this.queue.push(path);
@@ -96,11 +90,6 @@ class TraversalContext {
       }
 
       if (path.key === null) continue;
-
-      if (testing && queue.length >= 10000) {
-        this.trap = true;
-      }
-
       const {
         node
       } = path;

package/lib/path/conversion.js

@@ -166,7 +166,15 @@ function hoistFunctionEnvironment(fnPath, noNewArrows = true, allowInsertArrow =
   }
 
   if (argumentsPaths.length > 0) {
-    const argumentsBinding = getBinding(thisEnvFn, "arguments", () => t.identifier("arguments"));
+    const argumentsBinding = getBinding(thisEnvFn, "arguments", () => {
+      const args = () => t.identifier("arguments");
+
+      if (thisEnvFn.scope.path.isProgram()) {
+        return t.conditionalExpression(t.binaryExpression("===", t.unaryExpression("typeof", args()), t.stringLiteral("undefined")), thisEnvFn.scope.buildUndefinedNode(), args());
+      } else {
+        return args();
+      }
+    });
     argumentsPaths.forEach(argumentsChild => {
       const argsRef = t.identifier(argumentsBinding);
       argsRef.loc = argumentsChild.node.loc;
@@ -398,6 +406,19 @@ function getScopeInformation(fnPath) {
 
     ReferencedIdentifier(child) {
       if (child.node.name !== "arguments") return;
+      let curr = child.scope;
+
+      do {
+        if (curr.hasOwnBinding("arguments")) {
+          curr.rename("arguments");
+          return;
+        }
+
+        if (curr.path.isFunction() && !curr.path.isArrowFunctionExpression()) {
+          break;
+        }
+      } while (curr = curr.parent);
+
       argumentsPaths.push(child);
     },
 

package/lib/path/family.js

@@ -158,7 +158,14 @@ function getStatementListCompletion(paths, context) {
       }
     }
   } else if (paths.length) {
-    completions = completions.concat(_getCompletionRecords(paths[paths.length - 1], context));
+    for (let i = paths.length - 1; i >= 0; i--) {
+      const pathCompletions = _getCompletionRecords(paths[i], context);
+
+      if (pathCompletions.length > 1 || pathCompletions.length === 1 && !pathCompletions[0].path.isVariableDeclaration()) {
+        completions = completions.concat(pathCompletions);
+        break;
+      }
+    }
   }
 
   return completions;

package/lib/scope/index.js

@@ -172,11 +172,17 @@ const collectorVisitor = {
 
   Declaration(path) {
     if (path.isBlockScoped()) return;
+    if (path.isImportDeclaration()) return;
     if (path.isExportDeclaration()) return;
     const parent = path.scope.getFunctionParent() || path.scope.getProgramParent();
     parent.registerDeclaration(path);
   },
 
+  ImportDeclaration(path) {
+    const parent = path.scope.getBlockParent();
+    parent.registerDeclaration(path);
+  },
+
   ReferencedIdentifier(path, state) {
     state.references.push(path);
   },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@babel/traverse",
-  "version": "7.14.5",
+  "version": "7.15.0",
   "description": "The Babel Traverse module maintains the overall tree state, and is responsible for replacing, removing, and adding nodes",
   "author": "The Babel Team (https://babel.dev/team)",
   "homepage": "https://babel.dev/docs/en/next/babel-traverse",
@@ -17,12 +17,12 @@
   "main": "./lib/index.js",
   "dependencies": {
     "@babel/code-frame": "^7.14.5",
-    "@babel/generator": "^7.14.5",
+    "@babel/generator": "^7.15.0",
     "@babel/helper-function-name": "^7.14.5",
     "@babel/helper-hoist-variables": "^7.14.5",
     "@babel/helper-split-export-declaration": "^7.14.5",
-    "@babel/parser": "^7.14.5",
-    "@babel/types": "^7.14.5",
+    "@babel/parser": "^7.15.0",
+    "@babel/types": "^7.15.0",
     "debug": "^4.1.0",
     "globals": "^11.1.0"
   },

package/scripts/generators/validators.js

@@ -9,6 +9,7 @@ export default function generateValidators() {
  */
 import * as t from "@babel/types";
 import NodePath from "../index";
+import type { VirtualTypeAliases } from "./virtual-types";
 
 export interface NodePathValidators {
 `;
@@ -18,10 +19,18 @@ export interface NodePathValidators {
   }
 
   for (const type of Object.keys(virtualTypes)) {
+    const { types } = virtualTypes[type];
     if (type[0] === "_") continue;
     if (definitions.NODE_FIELDS[type] || definitions.FLIPPED_ALIAS_KEYS[type]) {
       output += `is${type}(opts?: object): this is NodePath<t.${type}>;`;
+    } else if (types /* in VirtualTypeAliases */) {
+      output += `is${type}(opts?: object): this is NodePath<VirtualTypeAliases["${type}"]>;`;
     } else {
+      // if it don't have types, then VirtualTypeAliases[type] is t.Node
+      // which TS marked as always true
+      // eg. if (path.isBlockScope()) return;
+      //     path resolved to `never` here
+      // so we have to return boolean instead of this is NodePath<t.Node> here
       output += `is${type}(opts?: object): boolean;`;
     }
   }