@wyw-in-js/transform 2.0.0-alpha.0 → 2.0.0-alpha.1

package/esm/utils/applyOxcProcessors/cleanupBindings.js

@@ -0,0 +1,157 @@
+import { isNotNull } from "../isNotNull.js";
+import { getOxcNodeChildren, isOxcNode, walkOxc } from "../oxc/ast.js";
+export const collectUsedNames = (program) => {
+	const names = new Set();
+	walkOxc(program, (node) => {
+		if (node.type === "Identifier") {
+			names.add(node.name);
+		}
+	});
+	return names;
+};
+export const isNodeReference = (node, parent) => {
+	if (node.type === "Identifier") {
+		const parentRecord = parent;
+		if (!parentRecord) {
+			return true;
+		}
+		if (parent?.type === "ImportDeclaration" || parent?.type === "ImportSpecifier" || parent?.type === "ImportDefaultSpecifier" || parent?.type === "ImportNamespaceSpecifier") {
+			return false;
+		}
+		if (parent?.type === "MemberExpression" && parentRecord.property === node && !parentRecord.computed) {
+			return false;
+		}
+		if ((parent?.type === "VariableDeclarator" || parent?.type === "FunctionDeclaration" || parent?.type === "ClassDeclaration" || parent?.type === "ClassExpression") && parentRecord.id === node) {
+			return false;
+		}
+		if ((parent?.type === "PropertyDefinition" || parent?.type === "MethodDefinition") && parentRecord.key === node && !parentRecord.computed) {
+			return false;
+		}
+		if (parent?.type === "Property" && parentRecord.key === node && parentRecord.value !== node && !parentRecord.computed) {
+			return false;
+		}
+		return true;
+	}
+	if (node.type === "JSXIdentifier") {
+		const parentRecord = parent;
+		if (parent?.type === "JSXAttribute" && parentRecord?.name === node) {
+			return false;
+		}
+		return true;
+	}
+	return false;
+};
+export const collectReferencedNames = (root) => {
+	const names = new Set();
+	const walk = (node, parent = null) => {
+		if (node.type === "ImportDeclaration") {
+			return;
+		}
+		if (isNodeReference(node, parent) && "name" in node && typeof node.name === "string") {
+			names.add(node.name);
+		}
+		getOxcNodeChildren(node).forEach((child) => walk(child, node));
+	};
+	walk(root);
+	return names;
+};
+export const collectImportLocalNames = (node) => {
+	if (node.type !== "ImportDeclaration") {
+		return [];
+	}
+	const { specifiers } = node;
+	if (!Array.isArray(specifiers)) {
+		return [];
+	}
+	return specifiers.map((specifier) => {
+		const { local } = specifier;
+		return isOxcNode(local) && "name" in local && typeof local.name === "string" ? local.name : null;
+	}).filter(isNotNull);
+};
+export const getImportSpecifierLocalName = (node) => {
+	const { local } = node;
+	return isOxcNode(local) && "name" in local && typeof local.name === "string" ? local.name : null;
+};
+export const collectDeclaredNames = (node) => {
+	if (node.type === "Identifier") {
+		return [node.name];
+	}
+	if (node.type === "RestElement") {
+		return collectDeclaredNames(node.argument);
+	}
+	if (node.type === "AssignmentPattern") {
+		return collectDeclaredNames(node.left);
+	}
+	if (node.type === "ObjectPattern") {
+		return node.properties.flatMap((property) => property.type === "RestElement" ? collectDeclaredNames(property.argument) : collectDeclaredNames(property.value));
+	}
+	if (node.type === "ArrayPattern") {
+		return node.elements.flatMap((element) => element ? collectDeclaredNames(element) : []);
+	}
+	if (node.type === "TSParameterProperty") {
+		return collectDeclaredNames(node.parameter);
+	}
+	return [];
+};
+export const collectTopLevelBindings = (statement) => {
+	const bindings = new Set();
+	if (statement.type === "ImportDeclaration") {
+		collectImportLocalNames(statement).forEach((name) => bindings.add(name));
+		return bindings;
+	}
+	if (statement.type === "VariableDeclaration") {
+		const { declarations } = statement;
+		if (!Array.isArray(declarations)) {
+			return bindings;
+		}
+		declarations.forEach((declarator) => {
+			const { id } = declarator;
+			if (isOxcNode(id)) {
+				collectDeclaredNames(id).forEach((name) => bindings.add(name));
+			}
+		});
+		return bindings;
+	}
+	if ((statement.type === "FunctionDeclaration" || statement.type === "ClassDeclaration" || statement.type === "TSEnumDeclaration") && "id" in statement) {
+		const { id } = statement;
+		if (isOxcNode(id) && id.type === "Identifier") {
+			bindings.add(id.name);
+		}
+		return bindings;
+	}
+	if (statement.type === "ExportNamedDeclaration") {
+		const { declaration } = statement;
+		return isOxcNode(declaration) ? collectTopLevelBindings(declaration) : bindings;
+	}
+	return bindings;
+};
+export const collectTopLevelStatementInfos = (program) => program.body.map((statement) => ({
+	bindings: collectTopLevelBindings(statement),
+	node: statement,
+	references: collectReferencedNames(statement)
+}));
+export const collectTopLevelBindingsFromStatements = (statements) => new Set(statements.flatMap((statement) => [...statement.bindings]));
+export const collectRemovableNamesFromStatements = (statements, initialNames) => {
+	const removable = new Set(initialNames);
+	const bindingToStatement = new Map();
+	statements.forEach((statement) => {
+		statement.bindings.forEach((name) => {
+			bindingToStatement.set(name, statement);
+		});
+	});
+	const queue = [...removable];
+	while (queue.length > 0) {
+		const name = queue.shift();
+		const statement = bindingToStatement.get(name);
+		if (statement) {
+			statement.references.forEach((reference) => {
+				if (bindingToStatement.has(reference) && !removable.has(reference)) {
+					removable.add(reference);
+					queue.push(reference);
+				}
+			});
+		}
+	}
+	return removable;
+};
+//# sourceMappingURL=cleanupBindings.js.map

package/esm/utils/applyOxcProcessors/cleanupBindings.js.map

@@ -0,0 +1 @@
+{"mappings":"AAIA,SAAS,iBAAiB;AAC1B,SAAS,oBAAoB,WAAW,eAAe;AAGvD,OAAO,MAAM,oBAAoB,YAAkC;CACjE,MAAM,QAAQ,IAAI,KAAa;AAC/B,SAAQ,UAAU,SAAS;AACzB,MAAI,KAAK,SAAS,cAAc;AAC9B,SAAM,IAAI,KAAK,KAAK;;GAEtB;AAEF,QAAO;;AAGT,OAAO,MAAM,mBAAmB,MAAY,WAAiC;AAC3E,KAAI,KAAK,SAAS,cAAc;EAC9B,MAAM,eAAe;AAErB,MAAI,CAAC,cAAc;AACjB,UAAO;;AAGT,MACE,QAAQ,SAAS,uBACjB,QAAQ,SAAS,qBACjB,QAAQ,SAAS,4BACjB,QAAQ,SAAS,4BACjB;AACA,UAAO;;AAGT,MACE,QAAQ,SAAS,sBACjB,aAAa,aAAa,QAC1B,CAAC,aAAa,UACd;AACA,UAAO;;AAGT,OACG,QAAQ,SAAS,wBAChB,QAAQ,SAAS,yBACjB,QAAQ,SAAS,sBACjB,QAAQ,SAAS,sBACnB,aAAa,OAAO,MACpB;AACA,UAAO;;AAGT,OACG,QAAQ,SAAS,wBAChB,QAAQ,SAAS,uBACnB,aAAa,QAAQ,QACrB,CAAC,aAAa,UACd;AACA,UAAO;;AAGT,MACE,QAAQ,SAAS,cACjB,aAAa,QAAQ,QACrB,aAAa,UAAU,QACvB,CAAC,aAAa,UACd;AACA,UAAO;;AAGT,SAAO;;AAGT,KAAI,KAAK,SAAS,iBAAiB;EACjC,MAAM,eAAe;AACrB,MAAI,QAAQ,SAAS,kBAAkB,cAAc,SAAS,MAAM;AAClE,UAAO;;AAGT,SAAO;;AAGT,QAAO;;AAGT,OAAO,MAAM,0BAA0B,SAA4B;CACjE,MAAM,QAAQ,IAAI,KAAa;CAE/B,MAAM,QAAQ,MAAY,SAAsB,SAAe;AAC7D,MAAI,KAAK,SAAS,qBAAqB;AACrC;;AAGF,MACE,gBAAgB,MAAM,OAAO,IAC7B,UAAU,QACV,OAAO,KAAK,SAAS,UACrB;AACA,SAAM,IAAI,KAAK,KAAK;;AAGtB,qBAAmB,KAAK,CAAC,SAAS,UAAU,KAAK,OAAO,KAAK,CAAC;;AAGhE,MAAK,KAAK;AACV,QAAO;;AAGT,OAAO,MAAM,2BAA2B,SAAyB;AAC/D,KAAI,KAAK,SAAS,qBAAqB;AACrC,SAAO,EAAE;;CAGX,MAAM,EAAE,eAAe;AACvB,KAAI,CAAC,MAAM,QAAQ,WAAW,EAAE;AAC9B,SAAO,EAAE;;AAGX,QAAO,WACJ,KAAK,cAAc;EAClB,MAAM,EAAE,UAAU;AAClB,SAAO,UAAU,MAAM,IACrB,UAAU,SACV,OAAO,MAAM,SAAS,WACpB,MAAM,OACN;GACJ,CACD,OAAO,UAAU;;AAGtB,OAAO,MAAM,+BAA+B,SAA8B;CACxE,MAAM,EAAE,UAAU;AAClB,QAAO,UAAU,MAAM,IAAI,UAAU,SAAS,OAAO,MAAM,SAAS,WAChE,MAAM,OACN;;AAGN,OAAO,MAAM,wBAAwB,SAAyB;AAC5D,KAAI,KAAK,SAAS,cAAc;AAC9B,SAAO,CAAC,KAAK,KAAK;;AAGpB,KAAI,KAAK,SAAS,eAAe;AAC/B,SAAO,qBAAqB,KAAK,SAAS;;AAG5C,KAAI,KAAK,SAAS,qBAAqB;AACrC,SAAO,qBAAqB,KAAK,KAAK;;AAGxC,KAAI,KAAK,SAAS,iBAAiB;AACjC,SAAO,KAAK,WAAW,SAAS,aAC9B,SAAS,SAAS,gBACd,qBAAqB,SAAS,SAAS,GACvC,qBAAqB,SAAS,MAAM,CACzC;;AAGH,KAAI,KAAK,SAAS,gBAAgB;AAChC,SAAO,KAAK,SAAS,SAAS,YAC5B,UAAU,qBAAqB,QAAQ,GAAG,EAAE,CAC7C;;AAGH,KAAI,KAAK,SAAS,uBAAuB;AACvC,SAAO,qBAAqB,KAAK,UAAU;;AAG7C,QAAO,EAAE;;AAGX,OAAO,MAAM,2BAA2B,cAAiC;CACvE,MAAM,WAAW,IAAI,KAAa;AAElC,KAAI,UAAU,SAAS,qBAAqB;AAC1C,0BAAwB,UAAU,CAAC,SAAS,SAAS,SAAS,IAAI,KAAK,CAAC;AACxE,SAAO;;AAGT,KAAI,UAAU,SAAS,uBAAuB;EAC5C,MAAM,EAAE,iBAAiB;AACzB,MAAI,CAAC,MAAM,QAAQ,aAAa,EAAE;AAChC,UAAO;;AAGT,eAAa,SAAS,eAAe;GACnC,MAAM,EAAE,OAAO;AACf,OAAI,UAAU,GAAG,EAAE;AACjB,yBAAqB,GAAG,CAAC,SAAS,SAAS,SAAS,IAAI,KAAK,CAAC;;IAEhE;AACF,SAAO;;AAGT,MACG,UAAU,SAAS,yBAClB,UAAU,SAAS,sBACnB,UAAU,SAAS,wBACrB,QAAQ,WACR;EACA,MAAM,EAAE,OAAO;AACf,MAAI,UAAU,GAAG,IAAI,GAAG,SAAS,cAAc;AAC7C,YAAS,IAAI,GAAG,KAAK;;AAEvB,SAAO;;AAGT,KAAI,UAAU,SAAS,0BAA0B;EAC/C,MAAM,EAAE,gBAAgB;AACxB,SAAO,UAAU,YAAY,GACzB,wBAAwB,YAAY,GACpC;;AAGN,QAAO;;AAGT,OAAO,MAAM,iCACX,YAEA,QAAQ,KAAK,KAAK,eAAe;CAC/B,UAAU,wBAAwB,UAAU;CAC5C,MAAM;CACN,YAAY,uBAAuB,UAAU;CAC9C,EAAE;AAEL,OAAO,MAAM,yCACX,eAEA,IAAI,IAAI,WAAW,SAAS,cAAc,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC;AAErE,OAAO,MAAM,uCACX,YACA,iBACgB;CAChB,MAAM,YAAY,IAAI,IAAI,aAAa;CACvC,MAAM,qBAAqB,IAAI,KAAoC;AAEnE,YAAW,SAAS,cAAc;AAChC,YAAU,SAAS,SAAS,SAAS;AACnC,sBAAmB,IAAI,MAAM,UAAU;IACvC;GACF;CAEF,MAAM,QAAQ,CAAC,GAAG,UAAU;AAC5B,QAAO,MAAM,SAAS,GAAG;EACvB,MAAM,OAAO,MAAM,OAAO;EAC1B,MAAM,YAAY,mBAAmB,IAAI,KAAK;AAC9C,MAAI,WAAW;AACb,aAAU,WAAW,SAAS,cAAc;AAC1C,QAAI,mBAAmB,IAAI,UAAU,IAAI,CAAC,UAAU,IAAI,UAAU,EAAE;AAClE,eAAU,IAAI,UAAU;AACxB,WAAM,KAAK,UAAU;;KAEvB;;;AAIN,QAAO","names":[],"sources":["../../../src/utils/applyOxcProcessors/cleanupBindings.ts"],"version":3,"sourcesContent":["/* eslint-disable no-restricted-syntax */\n\nimport type { Node, Program } from 'oxc-parser';\n\nimport { isNotNull } from '../isNotNull';\nimport { getOxcNodeChildren, isOxcNode, walkOxc } from '../oxc/ast';\nimport type { AnyNode, TopLevelStatementInfo } from './types';\n\nexport const collectUsedNames = (program: Program): Set<string> => {\n  const names = new Set<string>();\n  walkOxc(program, (node) => {\n    if (node.type === 'Identifier') {\n      names.add(node.name);\n    }\n  });\n\n  return names;\n};\n\nexport const isNodeReference = (node: Node, parent: Node | null): boolean => {\n  if (node.type === 'Identifier') {\n    const parentRecord = parent as AnyNode | null;\n\n    if (!parentRecord) {\n      return true;\n    }\n\n    if (\n      parent?.type === 'ImportDeclaration' ||\n      parent?.type === 'ImportSpecifier' ||\n      parent?.type === 'ImportDefaultSpecifier' ||\n      parent?.type === 'ImportNamespaceSpecifier'\n    ) {\n      return false;\n    }\n\n    if (\n      parent?.type === 'MemberExpression' &&\n      parentRecord.property === node &&\n      !parentRecord.computed\n    ) {\n      return false;\n    }\n\n    if (\n      (parent?.type === 'VariableDeclarator' ||\n        parent?.type === 'FunctionDeclaration' ||\n        parent?.type === 'ClassDeclaration' ||\n        parent?.type === 'ClassExpression') &&\n      parentRecord.id === node\n    ) {\n      return false;\n    }\n\n    if (\n      (parent?.type === 'PropertyDefinition' ||\n        parent?.type === 'MethodDefinition') &&\n      parentRecord.key === node &&\n      !parentRecord.computed\n    ) {\n      return false;\n    }\n\n    if (\n      parent?.type === 'Property' &&\n      parentRecord.key === node &&\n      parentRecord.value !== node &&\n      !parentRecord.computed\n    ) {\n      return false;\n    }\n\n    return true;\n  }\n\n  if (node.type === 'JSXIdentifier') {\n    const parentRecord = parent as AnyNode | null;\n    if (parent?.type === 'JSXAttribute' && parentRecord?.name === node) {\n      return false;\n    }\n\n    return true;\n  }\n\n  return false;\n};\n\nexport const collectReferencedNames = (root: Node): Set<string> => {\n  const names = new Set<string>();\n\n  const walk = (node: Node, parent: Node | null = null): void => {\n    if (node.type === 'ImportDeclaration') {\n      return;\n    }\n\n    if (\n      isNodeReference(node, parent) &&\n      'name' in node &&\n      typeof node.name === 'string'\n    ) {\n      names.add(node.name);\n    }\n\n    getOxcNodeChildren(node).forEach((child) => walk(child, node));\n  };\n\n  walk(root);\n  return names;\n};\n\nexport const collectImportLocalNames = (node: Node): string[] => {\n  if (node.type !== 'ImportDeclaration') {\n    return [];\n  }\n\n  const { specifiers } = node as AnyNode;\n  if (!Array.isArray(specifiers)) {\n    return [];\n  }\n\n  return specifiers\n    .map((specifier) => {\n      const { local } = specifier as AnyNode;\n      return isOxcNode(local) &&\n        'name' in local &&\n        typeof local.name === 'string'\n        ? local.name\n        : null;\n    })\n    .filter(isNotNull);\n};\n\nexport const getImportSpecifierLocalName = (node: Node): string | null => {\n  const { local } = node as AnyNode;\n  return isOxcNode(local) && 'name' in local && typeof local.name === 'string'\n    ? local.name\n    : null;\n};\n\nexport const collectDeclaredNames = (node: Node): string[] => {\n  if (node.type === 'Identifier') {\n    return [node.name];\n  }\n\n  if (node.type === 'RestElement') {\n    return collectDeclaredNames(node.argument);\n  }\n\n  if (node.type === 'AssignmentPattern') {\n    return collectDeclaredNames(node.left);\n  }\n\n  if (node.type === 'ObjectPattern') {\n    return node.properties.flatMap((property) =>\n      property.type === 'RestElement'\n        ? collectDeclaredNames(property.argument)\n        : collectDeclaredNames(property.value)\n    );\n  }\n\n  if (node.type === 'ArrayPattern') {\n    return node.elements.flatMap((element) =>\n      element ? collectDeclaredNames(element) : []\n    );\n  }\n\n  if (node.type === 'TSParameterProperty') {\n    return collectDeclaredNames(node.parameter);\n  }\n\n  return [];\n};\n\nexport const collectTopLevelBindings = (statement: Node): Set<string> => {\n  const bindings = new Set<string>();\n\n  if (statement.type === 'ImportDeclaration') {\n    collectImportLocalNames(statement).forEach((name) => bindings.add(name));\n    return bindings;\n  }\n\n  if (statement.type === 'VariableDeclaration') {\n    const { declarations } = statement as AnyNode;\n    if (!Array.isArray(declarations)) {\n      return bindings;\n    }\n\n    declarations.forEach((declarator) => {\n      const { id } = declarator as AnyNode;\n      if (isOxcNode(id)) {\n        collectDeclaredNames(id).forEach((name) => bindings.add(name));\n      }\n    });\n    return bindings;\n  }\n\n  if (\n    (statement.type === 'FunctionDeclaration' ||\n      statement.type === 'ClassDeclaration' ||\n      statement.type === 'TSEnumDeclaration') &&\n    'id' in statement\n  ) {\n    const { id } = statement as AnyNode;\n    if (isOxcNode(id) && id.type === 'Identifier') {\n      bindings.add(id.name);\n    }\n    return bindings;\n  }\n\n  if (statement.type === 'ExportNamedDeclaration') {\n    const { declaration } = statement as AnyNode;\n    return isOxcNode(declaration)\n      ? collectTopLevelBindings(declaration)\n      : bindings;\n  }\n\n  return bindings;\n};\n\nexport const collectTopLevelStatementInfos = (\n  program: Program\n): TopLevelStatementInfo[] =>\n  program.body.map((statement) => ({\n    bindings: collectTopLevelBindings(statement),\n    node: statement,\n    references: collectReferencedNames(statement),\n  }));\n\nexport const collectTopLevelBindingsFromStatements = (\n  statements: TopLevelStatementInfo[]\n): Set<string> =>\n  new Set(statements.flatMap((statement) => [...statement.bindings]));\n\nexport const collectRemovableNamesFromStatements = (\n  statements: TopLevelStatementInfo[],\n  initialNames: Set<string>\n): Set<string> => {\n  const removable = new Set(initialNames);\n  const bindingToStatement = new Map<string, TopLevelStatementInfo>();\n\n  statements.forEach((statement) => {\n    statement.bindings.forEach((name) => {\n      bindingToStatement.set(name, statement);\n    });\n  });\n\n  const queue = [...removable];\n  while (queue.length > 0) {\n    const name = queue.shift()!;\n    const statement = bindingToStatement.get(name);\n    if (statement) {\n      statement.references.forEach((reference) => {\n        if (bindingToStatement.has(reference) && !removable.has(reference)) {\n          removable.add(reference);\n          queue.push(reference);\n        }\n      });\n    }\n  }\n\n  return removable;\n};\n"],"file":"cleanupBindings.js"}

package/esm/utils/applyOxcProcessors/cleanupRemovals.js

@@ -0,0 +1,431 @@
+import { getOxcNodeChildren, isOxcNode } from "../oxc/ast.js";
+import { applyOxcReplacements } from "../oxc/replacements.js";
+import { collectDeclaredNames, collectImportLocalNames, collectReferencedNames, collectRemovableNamesFromStatements, collectTopLevelBindings, collectTopLevelBindingsFromStatements, collectTopLevelStatementInfos, getImportSpecifierLocalName, isNodeReference } from "./cleanupBindings.js";
+import { GENERATED_HELPER_NAME_RE, parseOxc } from "./shared.js";
+export const createScopedCleanupScope = (parent) => ({
+	bindings: new Map(),
+	parent
+});
+export const resolveScopedBinding = (scope, name) => {
+	let current = scope;
+	while (current) {
+		const bindingId = current.bindings.get(name);
+		if (bindingId) {
+			return bindingId;
+		}
+		current = current.parent;
+	}
+	return null;
+};
+export const collectScopedBindingInfos = (program) => {
+	const bindings = new Map();
+	let sequence = 0;
+	const addBinding = (scope, name, kind, declaration) => {
+		const id = `${kind}:${name}:${declaration.start}:${sequence}`;
+		sequence += 1;
+		bindings.set(id, {
+			declaration,
+			dependencies: new Set(),
+			externalReferences: 0,
+			id,
+			incomingFromBindings: new Set(),
+			kind,
+			name
+		});
+		scope.bindings.set(name, id);
+		return id;
+	};
+	const addPatternBindings = (scope, pattern, kind, declaration) => {
+		collectDeclaredNames(pattern).forEach((name) => {
+			addBinding(scope, name, kind, declaration);
+		});
+	};
+	const recordReference = (scope, name, ownerBindingId) => {
+		const targetId = resolveScopedBinding(scope, name);
+		if (!targetId) {
+			return;
+		}
+		const target = bindings.get(targetId);
+		if (!target) {
+			return;
+		}
+		if (ownerBindingId && ownerBindingId !== targetId) {
+			target.incomingFromBindings.add(ownerBindingId);
+			bindings.get(ownerBindingId)?.dependencies.add(targetId);
+			return;
+		}
+		target.externalReferences += 1;
+	};
+	let walk;
+	function walkPatternReferenceSubexpressions(node, scope, ownerBindingId) {
+		if (node.type === "Identifier") {
+			return;
+		}
+		if (node.type === "TSParameterProperty") {
+			walkPatternReferenceSubexpressions(node.parameter, scope, ownerBindingId);
+			return;
+		}
+		if (node.type === "RestElement") {
+			walkPatternReferenceSubexpressions(node.argument, scope, ownerBindingId);
+			return;
+		}
+		if (node.type === "AssignmentPattern") {
+			walkPatternReferenceSubexpressions(node.left, scope, ownerBindingId);
+			walk(node.right, scope, node, ownerBindingId);
+			return;
+		}
+		if (node.type === "ObjectPattern") {
+			node.properties.forEach((property) => {
+				if (property.type === "RestElement") {
+					walkPatternReferenceSubexpressions(property.argument, scope, ownerBindingId);
+					return;
+				}
+				if (property.computed && isOxcNode(property.key)) {
+					walk(property.key, scope, property, ownerBindingId);
+				}
+				walkPatternReferenceSubexpressions(property.value, scope, ownerBindingId);
+			});
+			return;
+		}
+		if (node.type === "ArrayPattern") {
+			node.elements.forEach((element) => {
+				if (element && isOxcNode(element)) {
+					walkPatternReferenceSubexpressions(element, scope, ownerBindingId);
+				}
+			});
+		}
+	}
+	walk = (node, scope, parent = null, ownerBindingId = null) => {
+		if (node.type === "ImportDeclaration") {
+			const { specifiers } = node;
+			if (Array.isArray(specifiers)) {
+				specifiers.forEach((specifier) => {
+					const { local } = specifier;
+					if (isOxcNode(local) && local.type === "Identifier" && typeof local.name === "string") {
+						addBinding(scope, local.name, "import", node);
+					}
+				});
+			}
+			return;
+		}
+		if (node.type === "ExportNamedDeclaration" && node.declaration) {
+			walk(node.declaration, scope, node, ownerBindingId);
+			collectTopLevelBindings(node).forEach((name) => {
+				recordReference(scope, name, ownerBindingId);
+			});
+			return;
+		}
+		if (node.type === "ExportDefaultDeclaration") {
+			const { declaration } = node;
+			if (isOxcNode(declaration)) {
+				walk(declaration, scope, node, ownerBindingId);
+				if ((declaration.type === "FunctionDeclaration" || declaration.type === "ClassDeclaration") && declaration.id) {
+					recordReference(scope, declaration.id.name, ownerBindingId);
+				}
+			}
+			return;
+		}
+		if (node.type === "VariableDeclaration") {
+			const { declarations } = node;
+			if (!Array.isArray(declarations)) {
+				return;
+			}
+			declarations.forEach((declarator) => {
+				const { id } = declarator;
+				if (isOxcNode(id)) {
+					addPatternBindings(scope, id, "variable", node);
+				}
+			});
+			declarations.forEach((declarator) => {
+				const { id } = declarator;
+				const { init } = declarator;
+				if (!isOxcNode(id) || !isOxcNode(init)) {
+					return;
+				}
+				const ownerName = collectDeclaredNames(id)[0] ?? null;
+				const nextOwner = ownerName !== null ? resolveScopedBinding(scope, ownerName) : null;
+				walk(init, scope, declarator, nextOwner);
+			});
+			return;
+		}
+		if (node.type === "FunctionDeclaration" && node.id) {
+			const functionBindingId = addBinding(scope, node.id.name, "function", node);
+			const fnScope = createScopedCleanupScope(scope);
+			node.params.forEach((param) => {
+				addPatternBindings(fnScope, param, "param", param);
+				walkPatternReferenceSubexpressions(param, fnScope, functionBindingId);
+			});
+			if (node.body) {
+				walk(node.body, fnScope, node, functionBindingId);
+			}
+			return;
+		}
+		if (node.type === "FunctionExpression" || node.type === "ArrowFunctionExpression") {
+			const fnScope = createScopedCleanupScope(scope);
+			if (node.type === "FunctionExpression" && node.id) {
+				addBinding(fnScope, node.id.name, "function", node);
+			}
+			node.params.forEach((param) => {
+				addPatternBindings(fnScope, param, "param", param);
+				walkPatternReferenceSubexpressions(param, fnScope, ownerBindingId);
+			});
+			if (node.body) {
+				walk(node.body, fnScope, node, ownerBindingId);
+			}
+			return;
+		}
+		if (node.type === "BlockStatement") {
+			const blockScope = createScopedCleanupScope(scope);
+			getOxcNodeChildren(node).forEach((child) => walk(child, blockScope, node, ownerBindingId));
+			return;
+		}
+		if (isNodeReference(node, parent) && "name" in node && typeof node.name === "string") {
+			recordReference(scope, node.name, ownerBindingId);
+		}
+		getOxcNodeChildren(node).forEach((child) => walk(child, scope, node, ownerBindingId));
+	};
+	walk(program, createScopedCleanupScope(null));
+	return bindings;
+};
+export const collectScopedRemovableBindingIds = (bindings, initialNames) => {
+	const removable = new Set();
+	let changed = true;
+	while (changed) {
+		changed = false;
+		for (const binding of bindings.values()) {
+			if (!removable.has(binding.id) && binding.kind !== "import" && binding.kind !== "param" && binding.externalReferences === 0) {
+				const seededByName = initialNames.has(binding.name) || GENERATED_HELPER_NAME_RE.test(binding.name) && binding.incomingFromBindings.size === 0;
+				const allIncomingRemovable = binding.incomingFromBindings.size > 0 && [...binding.incomingFromBindings].every((sourceId) => removable.has(sourceId));
+				if (seededByName && binding.incomingFromBindings.size === 0 || allIncomingRemovable) {
+					removable.add(binding.id);
+					changed = true;
+				}
+			}
+		}
+	}
+	return removable;
+};
+export function expandImportRemovalRange(code, start, end) {
+	let removalStart = start;
+	while (removalStart > 0 && (code[removalStart - 1] === " " || code[removalStart - 1] === "	")) {
+		removalStart -= 1;
+	}
+	let removalEnd = end;
+	if (code[removalEnd] === ";") {
+		removalEnd += 1;
+	}
+	while (removalEnd < code.length && (code[removalEnd] === " " || code[removalEnd] === "	")) {
+		removalEnd += 1;
+	}
+	if (code[removalEnd] === "\r" && code[removalEnd + 1] === "\n") {
+		removalEnd += 2;
+	} else if (code[removalEnd] === "\n") {
+		removalEnd += 1;
+	}
+	return {
+		end: removalEnd,
+		start: removalStart,
+		value: ""
+	};
+}
+export const collectUnusedScopedDeclarationRemovals = (code, bindings, initialRemovableNames) => {
+	const removableBindingIds = collectScopedRemovableBindingIds(bindings, initialRemovableNames);
+	const removals = new Map();
+	bindings.forEach((binding) => {
+		if (!removableBindingIds.has(binding.id) || binding.kind === "import" || binding.kind === "param" || binding.externalReferences > 0 || [...binding.incomingFromBindings].some((sourceId) => !removableBindingIds.has(sourceId))) {
+			return;
+		}
+		if (binding.kind === "function" && binding.declaration.type === "FunctionDeclaration") {
+			const range = expandImportRemovalRange(code, binding.declaration.start, binding.declaration.end);
+			removals.set(`${range.start}:${range.end}`, range);
+			return;
+		}
+		if (binding.declaration.type !== "VariableDeclaration") {
+			return;
+		}
+		const { declarations } = binding.declaration;
+		if (!Array.isArray(declarations) || declarations.length !== 1) {
+			return;
+		}
+		const range = expandImportRemovalRange(code, binding.declaration.start, binding.declaration.end);
+		removals.set(`${range.start}:${range.end}`, range);
+	});
+	return [...removals.values()];
+};
+export const expandImportSpecifierRemovalRange = (code, start, end) => {
+	let removalStart = start;
+	let removalEnd = end;
+	let whitespaceStart = removalStart;
+	while (whitespaceStart > 0 && (code[whitespaceStart - 1] === " " || code[whitespaceStart - 1] === "	")) {
+		whitespaceStart -= 1;
+	}
+	if (code[whitespaceStart - 1] !== "{") {
+		removalStart = whitespaceStart;
+	}
+	while (removalEnd < code.length && (code[removalEnd] === " " || code[removalEnd] === "	")) {
+		removalEnd += 1;
+	}
+	if (code[removalEnd] === ",") {
+		removalEnd += 1;
+		while (removalEnd < code.length && (code[removalEnd] === " " || code[removalEnd] === "	")) {
+			removalEnd += 1;
+		}
+	} else {
+		while (removalStart > 0 && (code[removalStart - 1] === " " || code[removalStart - 1] === "	")) {
+			removalStart -= 1;
+		}
+		if (code[removalStart - 1] === ",") {
+			removalStart -= 1;
+			while (removalStart > 0 && (code[removalStart - 1] === " " || code[removalStart - 1] === "	")) {
+				removalStart -= 1;
+			}
+		}
+	}
+	return {
+		end: removalEnd,
+		start: removalStart,
+		value: ""
+	};
+};
+export const mergeEmptyRemovalRanges = (removals) => {
+	if (removals.length <= 1) {
+		return removals;
+	}
+	const sorted = [...removals].sort((a, b) => a.start - b.start);
+	const merged = [];
+	sorted.forEach((removal) => {
+		const previous = merged[merged.length - 1];
+		if (previous && previous.value === "" && removal.value === "" && removal.start <= previous.end) {
+			previous.end = Math.max(previous.end, removal.end);
+			return;
+		}
+		merged.push({ ...removal });
+	});
+	return merged;
+};
+export const collectUnusedImportRemovals = (code, program, referencedNames, removableNames, preserveSideEffectImportLocals) => {
+	const removals = [];
+	program.body.forEach((statement) => {
+		if (statement.type !== "ImportDeclaration") {
+			return;
+		}
+		const localNames = collectImportLocalNames(statement);
+		const removableLocalNames = localNames.filter((localName) => removableNames.has(localName));
+		if (removableLocalNames.length > 0 && removableLocalNames.length === localNames.length && removableLocalNames.every((localName) => !referencedNames.has(localName))) {
+			if (removableLocalNames.some((localName) => preserveSideEffectImportLocals.has(localName))) {
+				removals.push({
+					end: statement.end,
+					start: statement.start,
+					value: `import ${code.slice(statement.source.start, statement.source.end)};`
+				});
+				return;
+			}
+			removals.push(expandImportRemovalRange(code, statement.start, statement.end));
+			return;
+		}
+		const { specifiers } = statement;
+		if (!Array.isArray(specifiers) || specifiers.length <= 1) {
+			return;
+		}
+		specifiers.forEach((specifier) => {
+			if (!isOxcNode(specifier)) {
+				return;
+			}
+			const localName = getImportSpecifierLocalName(specifier);
+			if (localName && removableNames.has(localName) && !referencedNames.has(localName)) {
+				removals.push(expandImportSpecifierRemovalRange(code, specifier.start, specifier.end));
+			}
+		});
+	});
+	return removals;
+};
+export const collectUnusedTopLevelDeclarationRemovals = (code, program, referencedNames, removableNames) => {
+	const removals = [];
+	program.body.forEach((statement) => {
+		if (statement.type !== "VariableDeclaration") {
+			return;
+		}
+		const localNames = [...collectTopLevelBindings(statement)];
+		if (localNames.length > 0 && localNames.every((localName) => removableNames.has(localName)) && localNames.every((localName) => !referencedNames.has(localName))) {
+			removals.push(expandImportRemovalRange(code, statement.start, statement.end));
+		}
+	});
+	return removals;
+};
+export const collectUnusedGeneratedHelperDeclarationRemovals = (code, program, referencedNames) => {
+	const removals = [];
+	program.body.forEach((statement) => {
+		if (statement.type !== "VariableDeclaration") {
+			return;
+		}
+		const localNames = [...collectTopLevelBindings(statement)];
+		if (localNames.length > 0 && localNames.every((localName) => GENERATED_HELPER_NAME_RE.test(localName)) && localNames.every((localName) => !referencedNames.has(localName))) {
+			removals.push(expandImportRemovalRange(code, statement.start, statement.end));
+		}
+	});
+	return removals;
+};
+export const collectTopLevelExpressionStatementRemovals = (code, statements, topLevelBindings, removableExpressionRefs) => {
+	const removals = [];
+	statements.forEach((statement) => {
+		if (statement.node.type !== "ExpressionStatement") {
+			return;
+		}
+		const { expression } = statement.node;
+		const isPureExpression = expression.type === "Identifier" || expression.type === "Literal" || expression.type === "ObjectExpression" || expression.type === "ArrayExpression" || expression.type === "ArrowFunctionExpression" || expression.type === "FunctionExpression" || expression.type === "TemplateLiteral" && expression.expressions.length === 0;
+		if (!isPureExpression) {
+			return;
+		}
+		const localReferences = [...statement.references].filter((name) => topLevelBindings.has(name));
+		if (localReferences.length > 0 && localReferences.every((name) => removableExpressionRefs.has(name))) {
+			removals.push(expandImportRemovalRange(code, statement.node.start, statement.node.end));
+		}
+	});
+	return removals;
+};
+export const collectEmptyTopLevelBlockRemovals = (code, program) => {
+	const removals = [];
+	program.body.forEach((statement) => {
+		if (statement.type !== "BlockStatement" || statement.body.length > 0) {
+			return;
+		}
+		removals.push(expandImportRemovalRange(code, statement.start, statement.end));
+	});
+	return removals;
+};
+export const removeUnusedAfterReplacement = (code, filename, initialRemovableNames, removableExpressionRefs, preserveSideEffectImportLocals) => {
+	let current = code;
+	const cumulativeRemovableNames = new Set(initialRemovableNames);
+	const applyIfParsable = (next) => {
+		try {
+			parseOxc(next, filename);
+			return next;
+		} catch {
+			return current;
+		}
+	};
+	for (let idx = 0; idx < 5; idx += 1) {
+		const previous = current;
+		const program = parseOxc(current, filename);
+		const statements = collectTopLevelStatementInfos(program);
+		const removableNames = collectRemovableNamesFromStatements(statements, cumulativeRemovableNames);
+		removableNames.forEach((name) => cumulativeRemovableNames.add(name));
+		const referencedNames = collectReferencedNames(program);
+		const topLevelBindings = collectTopLevelBindingsFromStatements(statements);
+		const scopedBindings = collectScopedBindingInfos(program);
+		const removals = mergeEmptyRemovalRanges([
+			...collectUnusedScopedDeclarationRemovals(current, scopedBindings, cumulativeRemovableNames),
+			...collectUnusedTopLevelDeclarationRemovals(current, program, referencedNames, cumulativeRemovableNames),
+			...collectUnusedGeneratedHelperDeclarationRemovals(current, program, referencedNames),
+			...collectUnusedImportRemovals(current, program, referencedNames, cumulativeRemovableNames, preserveSideEffectImportLocals),
+			...collectTopLevelExpressionStatementRemovals(current, statements, topLevelBindings, removableExpressionRefs),
+			...collectEmptyTopLevelBlockRemovals(current, program)
+		]);
+		current = removals.length > 0 ? applyIfParsable(applyOxcReplacements(current, removals)) : current;
+		if (current === previous) {
+			return current;
+		}
+	}
+	return current;
+};
+//# sourceMappingURL=cleanupRemovals.js.map