fix: scope tracking for shadowing variables in blocks (#11806) (#11811)

Author: gtm-nayan

packages/vite/src/node/ssr/__tests__/ssrTransform.spec.ts

@@ -812,3 +812,33 @@ function test() {
     }"
   `)
 })
+
+// #11806
+test('track scope by blocks', async () => {
+  expect(
+    await ssrTransformSimpleCode(`
+import { foo, bar, baz } from 'foobar'
+function test() {
+  [foo];
+  {
+    let foo = 10;
+    let bar = 10;
+  }
+  try {} catch (baz){ baz };
+  return bar;
+}`),
+  ).toMatchInlineSnapshot(`
+    "
+    const __vite_ssr_import_0__ = await __vite_ssr_import__(\\"foobar\\");
+
+    function test() {
+      [__vite_ssr_import_0__.foo];
+      {
+        let foo = 10;
+        let bar = 10;
+      }
+      try {} catch (baz){ baz };
+      return __vite_ssr_import_0__.bar;
+    }"
+  `)
+})

packages/vite/src/node/ssr/ssrTransform.ts

@@ -448,6 +448,8 @@ function walk(
         if (parentFunction) {
           handlePattern(node.id, parentFunction)
         }
+      } else if (node.type === 'CatchClause' && node.param) {
+        handlePattern(node.param, node)
       }
     },
 
@@ -550,14 +552,14 @@ function isFunction(node: _Node): node is FunctionNode {
   return functionNodeTypeRE.test(node.type)
 }
 
-const scopeNodeTypeRE =
-  /(?:Function|Class)(?:Expression|Declaration)$|Method$|^IfStatement$/
 function findParentScope(
   parentStack: _Node[],
   isVar = false,
 ): _Node | undefined {
-  const regex = isVar ? functionNodeTypeRE : scopeNodeTypeRE
-  return parentStack.find((i) => regex.test(i.type))
+  const predicate = isVar
+    ? isFunction
+    : (node: _Node) => node.type === 'BlockStatement'
+  return parentStack.find(predicate)
 }
 
 function isInDestructuringAssignment(