@babel/traverse 7.17.9 → 7.18.0

package/lib/path/introspection.js

@@ -94,9 +94,12 @@ function isCompletionRecord(allowInsideFunction) {
   let first = true;
 
   do {
-    const container = path.container;
+    const {
+      type,
+      container
+    } = path;
 
-    if (path.isFunction() && !first) {
+    if (!first && (path.isFunction() || type === "StaticBlock")) {
       return !!allowInsideFunction;
     }
 
@@ -105,7 +108,7 @@ function isCompletionRecord(allowInsideFunction) {
     if (Array.isArray(container) && path.key !== container.length - 1) {
       return false;
     }
-  } while ((path = path.parentPath) && !path.isProgram());
+  } while ((path = path.parentPath) && !path.isProgram() && !path.isDoExpression());
 
   return true;
 }

package/lib/path/lib/virtual-types.js

@@ -164,8 +164,8 @@ const Generated = {
 };
 exports.Generated = Generated;
 const Pure = {
-  checkPath(path, opts) {
-    return path.scope.isPure(path.node, opts);
+  checkPath(path, constantsOnly) {
+    return path.scope.isPure(path.node, constantsOnly);
   }
 
 };

package/lib/scope/index.js

@@ -53,7 +53,13 @@ const {
   toIdentifier,
   unaryExpression,
   variableDeclaration,
-  variableDeclarator
+  variableDeclarator,
+  isRecordExpression,
+  isTupleExpression,
+  isObjectProperty,
+  isTopicReference,
+  isMetaProperty,
+  isPrivateName
 } = _t;
 
 function gatherNodeParts(node, parts) {
@@ -430,7 +436,7 @@ class Scope {
   }
 
   isStatic(node) {
-    if (isThisExpression(node) || isSuper(node)) {
+    if (isThisExpression(node) || isSuper(node) || isTopicReference(node)) {
       return true;
     }
 
@@ -682,11 +688,19 @@ class Scope {
       if (!binding) return false;
       if (constantsOnly) return binding.constant;
       return true;
+    } else if (isThisExpression(node) || isMetaProperty(node) || isTopicReference(node) || isPrivateName(node)) {
+      return true;
     } else if (isClass(node)) {
+      var _node$decorators;
+
       if (node.superClass && !this.isPure(node.superClass, constantsOnly)) {
         return false;
       }
 
+      if (((_node$decorators = node.decorators) == null ? void 0 : _node$decorators.length) > 0) {
+        return false;
+      }
+
       return this.isPure(node.body, constantsOnly);
     } else if (isClassBody(node)) {
       for (const method of node.body) {
@@ -696,25 +710,44 @@ class Scope {
       return true;
     } else if (isBinary(node)) {
       return this.isPure(node.left, constantsOnly) && this.isPure(node.right, constantsOnly);
-    } else if (isArrayExpression(node)) {
+    } else if (isArrayExpression(node) || isTupleExpression(node)) {
       for (const elem of node.elements) {
-        if (!this.isPure(elem, constantsOnly)) return false;
+        if (elem !== null && !this.isPure(elem, constantsOnly)) return false;
       }
 
       return true;
-    } else if (isObjectExpression(node)) {
+    } else if (isObjectExpression(node) || isRecordExpression(node)) {
       for (const prop of node.properties) {
         if (!this.isPure(prop, constantsOnly)) return false;
       }
 
       return true;
     } else if (isMethod(node)) {
+      var _node$decorators2;
+
       if (node.computed && !this.isPure(node.key, constantsOnly)) return false;
-      if (node.kind === "get" || node.kind === "set") return false;
+
+      if (((_node$decorators2 = node.decorators) == null ? void 0 : _node$decorators2.length) > 0) {
+        return false;
+      }
+
       return true;
     } else if (isProperty(node)) {
+      var _node$decorators3;
+
       if (node.computed && !this.isPure(node.key, constantsOnly)) return false;
-      return this.isPure(node.value, constantsOnly);
+
+      if (((_node$decorators3 = node.decorators) == null ? void 0 : _node$decorators3.length) > 0) {
+        return false;
+      }
+
+      if (isObjectProperty(node) || node.static) {
+        if (node.value !== null && !this.isPure(node.value, constantsOnly)) {
+          return false;
+        }
+      }
+
+      return true;
     } else if (isUnaryExpression(node)) {
       return this.isPure(node.argument, constantsOnly);
     } else if (isTaggedTemplateExpression(node)) {
@@ -821,7 +854,9 @@ class Scope {
   push(opts) {
     let path = this.path;
 
-    if (!path.isBlockStatement() && !path.isProgram()) {
+    if (path.isPattern()) {
+      path = this.getPatternParent().path;
+    } else if (!path.isBlockStatement() && !path.isProgram()) {
       path = this.getBlockParent().path;
     }
 
@@ -888,6 +923,18 @@ class Scope {
     throw new Error("We couldn't find a BlockStatement, For, Switch, Function, Loop or Program...");
   }
 
+  getPatternParent() {
+    let scope = this;
+
+    do {
+      if (!scope.path.isPattern()) {
+        return scope.getBlockParent();
+      }
+    } while (scope = scope.parent.parent);
+
+    throw new Error("We couldn't find a BlockStatement, For, Switch, Function, Loop or Program...");
+  }
+
   getAllBindings() {
     const ids = Object.create(null);
     let scope = this;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@babel/traverse",
-  "version": "7.17.9",
+  "version": "7.18.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,13 +17,13 @@
   "main": "./lib/index.js",
   "dependencies": {
     "@babel/code-frame": "^7.16.7",
-    "@babel/generator": "^7.17.9",
+    "@babel/generator": "^7.18.0",
     "@babel/helper-environment-visitor": "^7.16.7",
     "@babel/helper-function-name": "^7.17.9",
     "@babel/helper-hoist-variables": "^7.16.7",
     "@babel/helper-split-export-declaration": "^7.16.7",
-    "@babel/parser": "^7.17.9",
-    "@babel/types": "^7.17.0",
+    "@babel/parser": "^7.18.0",
+    "@babel/types": "^7.18.0",
     "debug": "^4.1.0",
     "globals": "^11.1.0"
   },

package/scripts/generators/validators.js

@@ -24,6 +24,8 @@ export interface NodePathValidators {
       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 (type === "Pure") {
+      output += `isPure(constantsOnly?: boolean): boolean;`;
     } else {
       // if it don't have types, then VirtualTypeAliases[type] is t.Node
       // which TS marked as always true