Update scope info after destructuring transform

packages/babel-plugin-transform-destructuring/res/checkScopeInfo.js

@@ -0,0 +1,22 @@
+// checkScopeInfo.js
+module.exports = () => {
+  return {
+    visitor: {
+      Program: {
+        exit(programPath) {
+          // so that this plugin is always called after the transform-destructuring plugin
+          programPath.traverse({
+            VariableDeclarator(path) {
+              const b = path.scope.getBinding(path.get("id").node.name);
+              if (!b) {
+                throw new Error(
+                  `No original binding for ${path.get("id").node.name}`
+                );
+              }
+            },
+          });
+        },
+      },
+    },
+  };
+};

packages/babel-plugin-transform-destructuring/src/index.ts

@@ -54,6 +54,7 @@ export default declare((api, options) => {
         // top-level statement.
         path.replaceWith(declaration.node);
         path.insertAfter(t.exportNamedDeclaration(null, specifiers));
+        path.scope.crawl();
       },
 
       ForXStatement(path) {
@@ -82,6 +83,7 @@ export default declare((api, options) => {
             t.expressionStatement(t.assignmentExpression("=", left, temp)),
           );
 
+          scope.crawl();
           return;
         }
 
@@ -115,6 +117,7 @@ export default declare((api, options) => {
         const block = node.body;
         // @ts-expect-error: ensureBlock ensures that node.body is a BlockStatement
         block.body = nodes.concat(block.body);
+        scope.crawl();
       },
 
       CatchClause({ node, scope }) {
@@ -139,6 +142,7 @@ export default declare((api, options) => {
         destructuring.init(pattern, ref);
 
         node.body.body = nodes.concat(node.body.body);
+        scope.crawl();
       },
 
       AssignmentExpression(path, state) {

packages/babel-plugin-transform-destructuring/src/util.ts

@@ -619,24 +619,12 @@ export function convertVariableDeclaration(
     }
   }
 
-  // Need to unmark the current binding to this var as a param, or other hoists
-  // could be placed above this ref.
-  // https://github.com/babel/babel/issues/4516
-  for (const nodeOut of nodesOut) {
-    if (!nodeOut.declarations) continue;
-    for (const declaration of nodeOut.declarations) {
-      const { name } = declaration.id;
-      if (scope.bindings[name]) {
-        scope.bindings[name].kind = nodeOut.kind;
-      }
-    }
-  }
-
   if (nodesOut.length === 1) {
     path.replaceWith(nodesOut[0]);
   } else {
     path.replaceWithMultiple(nodesOut);
   }
+  scope.crawl();
 }
 
 export function convertAssignmentExpression(
@@ -687,5 +675,5 @@ export function convertAssignmentExpression(
   }
 
   path.replaceWithMultiple(nodes);
-  path.scope.crawl();
+  scope.crawl();
 }

packages/babel-plugin-transform-destructuring/test/fixtures/allowArrayLike/options.json

@@ -0,0 +1,3 @@
+{
+  "plugins": ["relative/path/to/checkScopeInfo.js"]
+}

packages/babel-plugin-transform-destructuring/test/fixtures/assumption-arrayLikeIsIterable/options.json

@@ -1,5 +1,5 @@
 {
-  "plugins": ["transform-destructuring"],
+  "plugins": ["transform-destructuring", "../../../res/checkScopeInfo.js"],
   "assumptions": {
     "arrayLikeIsIterable": true
   }

packages/babel-plugin-transform-destructuring/test/fixtures/assumption-iterableIsArray/options.json

@@ -1,5 +1,5 @@
 {
-  "plugins": ["transform-destructuring"],
+  "plugins": ["transform-destructuring", "../../../res/checkScopeInfo.js"],
   "assumptions": {
     "iterableIsArray": true
   }

packages/babel-plugin-transform-destructuring/test/fixtures/assumption-objectRestNoSymbols/options.json

@@ -1,5 +1,5 @@
 {
-  "plugins": ["transform-destructuring"],
+  "plugins": ["transform-destructuring", "../../../res/checkScopeInfo.js"],
   "assumptions": {
     "objectRestNoSymbols": true
   }

packages/babel-plugin-transform-destructuring/test/fixtures/destructuring/options.json

@@ -5,6 +5,7 @@
     "transform-parameters",
     "transform-block-scoping",
     "proposal-object-rest-spread",
-    "transform-regenerator"
+    "transform-regenerator",
+    "../../../res/checkScopeInfo.js"
   ]
 }