svelte-shaker 0.9.1 → 0.9.2

package/dist/analyze.js

@@ -567,6 +567,9 @@ function collectEscapedComponents(ast, imports, importedLocals, namespaceLocals)
     };
     walk(ast.fragment, { parent: null }, {
         _(node, { state, next }) {
+            // Type-only subtrees are erased at compile — never a runtime escape.
+            if (isTypeOnlyNode(node))
+                return;
             if (node.type === 'Identifier' &&
                 node.name &&
                 importedLocals.has(node.name) &&
@@ -581,6 +584,11 @@ function collectEscapedComponents(ast, imports, importedLocals, namespaceLocals)
     if (ast.instance) {
         walk(ast.instance, { parent: null }, {
             _(node, { state, next }) {
+                // Skip TS type positions: an identifier in `ComponentProps<typeof X>`
+                // or `: Props` is type-level (erased at compile), not a value read, so
+                // descending would falsely flag the component as escaped.
+                if (isTypeOnlyNode(node))
+                    return;
                 if (node.type === 'Identifier' &&
                     node.name &&
                     (imports.has(node.name) || namespaceLocals.has(node.name)) &&
@@ -594,6 +602,23 @@ function collectEscapedComponents(ast, imports, importedLocals, namespaceLocals)
     }
     return escaped;
 }
+/**
+ * A TS type-only subtree the escape walk must NOT descend into: every `TSType*`
+ * node (type annotations, type references/queries, type-argument and
+ * type-parameter lists, …) plus `interface` declarations.  Identifiers inside
+ * them — e.g. `Button` in `ComponentProps<typeof Button>['pattern']`, or `Props`
+ * in `: Props` — are type-level, erased at compile, never runtime value reads, so
+ * descending would falsely flag the component as escaped and bail it whole.
+ *
+ * `TSAsExpression` / `TSSatisfiesExpression` / `TSNonNullExpression` /
+ * `TSInstantiationExpression` are deliberately NOT pruned: they wrap a real
+ * runtime expression (`Button as T` IS a value use of `Button`), and their own
+ * type child is itself a `TSType*` node this prunes.
+ */
+function isTypeOnlyNode(node) {
+    return (typeof node.type === 'string' &&
+        (node.type.startsWith('TSType') || node.type === 'TSInterfaceDeclaration'));
+}
 /**
  * Is this Identifier used as a runtime *value* (so a component name here would
  * escape)?  Property keys, member names and import/export specifier slots are

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svelte-shaker",
-  "version": "0.9.1",
+  "version": "0.9.2",
   "description": "Tree shaking for Svelte components",
   "keywords": [
     "dead-code-elimination",