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

package/esm/utils/applyOxcProcessors/cleanupRemovals.js

@@ -0,0 +1,517 @@
+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, preserveSideEffectImportOrderLocals = preserveSideEffectImportLocals) => {
+	const removals = [];
+	const importSourceByLocal = new Map();
+	const removedSideEffectImportRanges = [];
+	const keptImportRangesBySource = new Map();
+	program.body.forEach((statement) => {
+		if (statement.type !== "ImportDeclaration") {
+			return;
+		}
+		const localNames = collectImportLocalNames(statement);
+		const source = code.slice(statement.source.start, statement.source.end);
+		const orderedLocalNames = localNames.filter((localName) => preserveSideEffectImportOrderLocals.has(localName));
+		const sideEffectLocalNames = localNames.filter((localName) => preserveSideEffectImportLocals.has(localName));
+		[...orderedLocalNames, ...sideEffectLocalNames].forEach((localName) => {
+			importSourceByLocal.set(localName, source);
+		});
+		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))) {
+				removedSideEffectImportRanges.push({
+					end: statement.end,
+					start: statement.start
+				});
+				return;
+			}
+			removals.push(expandImportRemovalRange(code, statement.start, statement.end));
+			return;
+		}
+		if (orderedLocalNames.length > 0 && !keptImportRangesBySource.has(source)) {
+			keptImportRangesBySource.set(source, {
+				end: statement.end,
+				start: statement.start
+			});
+		}
+		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));
+			}
+		});
+	});
+	if (removedSideEffectImportRanges.length > 0) {
+		const seenSources = new Set();
+		const removedRanges = removedSideEffectImportRanges.sort((a, b) => a.start - b.start);
+		const [firstRemoved, ...restRemoved] = removedRanges;
+		const pendingImports = [];
+		let insertionAfterLastKept = null;
+		let usedFirstRemovedRange = false;
+		const flushBefore = (position) => {
+			if (pendingImports.length === 0) {
+				return;
+			}
+			removals.push({
+				end: position,
+				start: position,
+				value: `${pendingImports.join("\n")}\n`
+			});
+			pendingImports.length = 0;
+		};
+		[...preserveSideEffectImportOrderLocals].forEach((localName) => {
+			const source = importSourceByLocal.get(localName);
+			if (!source) {
+				return;
+			}
+			const keptRange = keptImportRangesBySource.get(source);
+			if (keptRange) {
+				flushBefore(keptRange.start);
+				insertionAfterLastKept = keptRange.end;
+				if (preserveSideEffectImportLocals.has(localName)) {
+					seenSources.add(source);
+				}
+				return;
+			}
+			if (!preserveSideEffectImportLocals.has(localName) || seenSources.has(source)) {
+				return;
+			}
+			seenSources.add(source);
+			pendingImports.push(`import ${source};`);
+		});
+		if (pendingImports.length > 0) {
+			if (insertionAfterLastKept !== null) {
+				removals.push({
+					end: insertionAfterLastKept,
+					start: insertionAfterLastKept,
+					value: `\n${pendingImports.join("\n")}`
+				});
+			} else if (firstRemoved) {
+				usedFirstRemovedRange = true;
+				removals.push({
+					end: firstRemoved.end,
+					start: firstRemoved.start,
+					value: pendingImports.join("\n")
+				});
+			}
+		}
+		removals.push(...(usedFirstRemovedRange ? restRemoved : removedRanges).map((range) => ({
+			...range,
+			value: ""
+		})));
+	}
+	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, preserveSideEffectImportOrderLocals = preserveSideEffectImportLocals) => {
+	let current = code;
+	let program = null;
+	const cumulativeRemovableNames = new Set(initialRemovableNames);
+	// Incremental cleanup loop: validate-by-parsing the next iteration's
+	// candidate code AND reuse that parse as the next iter's `program` input,
+	// instead of re-parsing at the top of the next iter. Saves one parse per
+	// loop revolution (N+1 parses for an N-iter loop instead of 2N).
+	// Also short-circuits a round earlier when no removals were collected.
+	for (let idx = 0; idx < 5; idx += 1) {
+		const previous = current;
+		if (program === null) {
+			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, preserveSideEffectImportOrderLocals),
+			...collectTopLevelExpressionStatementRemovals(current, statements, topLevelBindings, removableExpressionRefs),
+			...collectEmptyTopLevelBlockRemovals(current, program)
+		]);
+		if (removals.length === 0) {
+			// Convergence: next iter would parse the same code and see the same
+			// removable set. Skip the round of walks + parse.
+			return current;
+		}
+		const next = applyOxcReplacements(current, removals);
+		try {
+			// Validate + capture the AST for the next iteration in one parse.
+			program = parseOxc(next, filename);
+			current = next;
+		} catch {
+			// Pathological removal — drop this iteration and return prior state.
+			return current;
+		}
+		if (current === previous) {
+			return current;
+		}
+	}
+	return current;
+};
+//# sourceMappingURL=cleanupRemovals.js.map

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

@@ -0,0 +1 @@
+{"mappings":"AAIA,SAAS,oBAAoB,iBAAiB;AAC9C,SAAS,4BAA4B;AACrC,SACE,sBACA,yBACA,wBACA,qCACA,yBACA,uCACA,+BACA,6BACA,uBACK;AACP,SAAS,0BAA0B,gBAAgB;AAUnD,OAAO,MAAM,4BACX,YACwB;CACxB,UAAU,IAAI,KAAK;CACnB;CACD;AAED,OAAO,MAAM,wBACX,OACA,SACkB;CAClB,IAAI,UAAqC;AACzC,QAAO,SAAS;EACd,MAAM,YAAY,QAAQ,SAAS,IAAI,KAAK;AAC5C,MAAI,WAAW;AACb,UAAO;;AAGT,YAAU,QAAQ;;AAGpB,QAAO;;AAGT,OAAO,MAAM,6BACX,YACmC;CACnC,MAAM,WAAW,IAAI,KAAgC;CACrD,IAAI,WAAW;CAEf,MAAM,cACJ,OACA,MACA,MACA,gBACW;EACX,MAAM,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,YAAY,MAAM,GAAG;AACnD,cAAY;AAEZ,WAAS,IAAI,IAAI;GACf;GACA,cAAc,IAAI,KAAK;GACvB,oBAAoB;GACpB;GACA,sBAAsB,IAAI,KAAK;GAC/B;GACA;GACD,CAAC;AACF,QAAM,SAAS,IAAI,MAAM,GAAG;AAC5B,SAAO;;CAGT,MAAM,sBACJ,OACA,SACA,MACA,gBACS;AACT,uBAAqB,QAAQ,CAAC,SAAS,SAAS;AAC9C,cAAW,OAAO,MAAM,MAAM,YAAY;IAC1C;;CAGJ,MAAM,mBACJ,OACA,MACA,mBACS;EACT,MAAM,WAAW,qBAAqB,OAAO,KAAK;AAClD,MAAI,CAAC,UAAU;AACb;;EAGF,MAAM,SAAS,SAAS,IAAI,SAAS;AACrC,MAAI,CAAC,QAAQ;AACX;;AAGF,MAAI,kBAAkB,mBAAmB,UAAU;AACjD,UAAO,qBAAqB,IAAI,eAAe;AAC/C,YAAS,IAAI,eAAe,EAAE,aAAa,IAAI,SAAS;AACxD;;AAGF,SAAO,sBAAsB;;CAU/B,IAAI;CAEJ,SAAS,mCACP,MACA,OACA,gBACM;AACN,MAAI,KAAK,SAAS,cAAc;AAC9B;;AAGF,MAAI,KAAK,SAAS,uBAAuB;AACvC,sCAAmC,KAAK,WAAW,OAAO,eAAe;AACzE;;AAGF,MAAI,KAAK,SAAS,eAAe;AAC/B,sCAAmC,KAAK,UAAU,OAAO,eAAe;AACxE;;AAGF,MAAI,KAAK,SAAS,qBAAqB;AACrC,sCAAmC,KAAK,MAAM,OAAO,eAAe;AACpE,QAAK,KAAK,OAAO,OAAO,MAAM,eAAe;AAC7C;;AAGF,MAAI,KAAK,SAAS,iBAAiB;AACjC,QAAK,WAAW,SAAS,aAAa;AACpC,QAAI,SAAS,SAAS,eAAe;AACnC,wCACE,SAAS,UACT,OACA,eACD;AACD;;AAGF,QAAI,SAAS,YAAY,UAAU,SAAS,IAAI,EAAE;AAChD,UAAK,SAAS,KAAK,OAAO,UAAU,eAAe;;AAGrD,uCACE,SAAS,OACT,OACA,eACD;KACD;AACF;;AAGF,MAAI,KAAK,SAAS,gBAAgB;AAChC,QAAK,SAAS,SAAS,YAAY;AACjC,QAAI,WAAW,UAAU,QAAQ,EAAE;AACjC,wCAAmC,SAAS,OAAO,eAAe;;KAEpE;;;AAIN,SACE,MACA,OACA,SAAsB,MACtB,iBAAgC,SACvB;AACT,MAAI,KAAK,SAAS,qBAAqB;GACrC,MAAM,EAAE,eAAe;AACvB,OAAI,MAAM,QAAQ,WAAW,EAAE;AAC7B,eAAW,SAAS,cAAc;KAChC,MAAM,EAAE,UAAU;AAClB,SACE,UAAU,MAAM,IAChB,MAAM,SAAS,gBACf,OAAO,MAAM,SAAS,UACtB;AACA,iBAAW,OAAO,MAAM,MAAM,UAAU,KAAK;;MAE/C;;AAEJ;;AAGF,MAAI,KAAK,SAAS,4BAA4B,KAAK,aAAa;AAC9D,QAAK,KAAK,aAAa,OAAO,MAAM,eAAe;AACnD,2BAAwB,KAAK,CAAC,SAAS,SAAS;AAC9C,oBAAgB,OAAO,MAAM,eAAe;KAC5C;AACF;;AAGF,MAAI,KAAK,SAAS,4BAA4B;GAC5C,MAAM,EAAE,gBAAgB;AACxB,OAAI,UAAU,YAAY,EAAE;AAC1B,SAAK,aAAa,OAAO,MAAM,eAAe;AAC9C,SACG,YAAY,SAAS,yBACpB,YAAY,SAAS,uBACvB,YAAY,IACZ;AACA,qBAAgB,OAAO,YAAY,GAAG,MAAM,eAAe;;;AAG/D;;AAGF,MAAI,KAAK,SAAS,uBAAuB;GACvC,MAAM,EAAE,iBAAiB;AACzB,OAAI,CAAC,MAAM,QAAQ,aAAa,EAAE;AAChC;;AAGF,gBAAa,SAAS,eAAe;IACnC,MAAM,EAAE,OAAO;AACf,QAAI,UAAU,GAAG,EAAE;AACjB,wBAAmB,OAAO,IAAI,YAAY,KAAK;;KAEjD;AAEF,gBAAa,SAAS,eAAe;IACnC,MAAM,EAAE,OAAO;IACf,MAAM,EAAE,SAAS;AACjB,QAAI,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,KAAK,EAAE;AACtC;;IAGF,MAAM,YAAY,qBAAqB,GAAG,CAAC,MAAM;IACjD,MAAM,YACJ,cAAc,OAAO,qBAAqB,OAAO,UAAU,GAAG;AAChE,SAAK,MAAM,OAAO,YAAoB,UAAU;KAChD;AACF;;AAGF,MAAI,KAAK,SAAS,yBAAyB,KAAK,IAAI;GAClD,MAAM,oBAAoB,WACxB,OACA,KAAK,GAAG,MACR,YACA,KACD;GACD,MAAM,UAAU,yBAAyB,MAAM;AAE/C,QAAK,OAAO,SAAS,UAAU;AAC7B,uBAAmB,SAAS,OAAO,SAAS,MAAM;AAClD,uCAAmC,OAAO,SAAS,kBAAkB;KACrE;AAEF,OAAI,KAAK,MAAM;AACb,SAAK,KAAK,MAAM,SAAS,MAAM,kBAAkB;;AAEnD;;AAGF,MACE,KAAK,SAAS,wBACd,KAAK,SAAS,2BACd;GACA,MAAM,UAAU,yBAAyB,MAAM;AAC/C,OAAI,KAAK,SAAS,wBAAwB,KAAK,IAAI;AACjD,eAAW,SAAS,KAAK,GAAG,MAAM,YAAY,KAAK;;AAGrD,QAAK,OAAO,SAAS,UAAU;AAC7B,uBAAmB,SAAS,OAAO,SAAS,MAAM;AAClD,uCAAmC,OAAO,SAAS,eAAe;KAClE;AAEF,OAAI,KAAK,MAAM;AACb,SAAK,KAAK,MAAM,SAAS,MAAM,eAAe;;AAEhD;;AAGF,MAAI,KAAK,SAAS,kBAAkB;GAClC,MAAM,aAAa,yBAAyB,MAAM;AAClD,sBAAmB,KAAK,CAAC,SAAS,UAChC,KAAK,OAAO,YAAY,MAAM,eAAe,CAC9C;AACD;;AAGF,MACE,gBAAgB,MAAM,OAAO,IAC7B,UAAU,QACV,OAAO,KAAK,SAAS,UACrB;AACA,mBAAgB,OAAO,KAAK,MAAM,eAAe;;AAGnD,qBAAmB,KAAK,CAAC,SAAS,UAChC,KAAK,OAAO,OAAO,MAAM,eAAe,CACzC;;AAGH,MAAK,SAAS,yBAAyB,KAAK,CAAC;AAC7C,QAAO;;AAGT,OAAO,MAAM,oCACX,UACA,iBACgB;CAChB,MAAM,YAAY,IAAI,KAAa;CACnC,IAAI,UAAU;AAEd,QAAO,SAAS;AACd,YAAU;AAEV,OAAK,MAAM,WAAW,SAAS,QAAQ,EAAE;AACvC,OACE,CAAC,UAAU,IAAI,QAAQ,GAAG,IAC1B,QAAQ,SAAS,YACjB,QAAQ,SAAS,WACjB,QAAQ,uBAAuB,GAC/B;IACA,MAAM,eACJ,aAAa,IAAI,QAAQ,KAAK,IAC7B,yBAAyB,KAAK,QAAQ,KAAK,IAC1C,QAAQ,qBAAqB,SAAS;IAC1C,MAAM,uBACJ,QAAQ,qBAAqB,OAAO,KACpC,CAAC,GAAG,QAAQ,qBAAqB,CAAC,OAAO,aACvC,UAAU,IAAI,SAAS,CACxB;AAEH,QACG,gBAAgB,QAAQ,qBAAqB,SAAS,KACvD,sBACA;AACA,eAAU,IAAI,QAAQ,GAAG;AACzB,eAAU;;;;;AAMlB,QAAO;;AAGT,OAAO,SAAS,yBACd,MACA,OACA,KACa;CACb,IAAI,eAAe;AACnB,QACE,eAAe,MACd,KAAK,eAAe,OAAO,OAAO,KAAK,eAAe,OAAO,MAC9D;AACA,kBAAgB;;CAGlB,IAAI,aAAa;AACjB,KAAI,KAAK,gBAAgB,KAAK;AAC5B,gBAAc;;AAGhB,QACE,aAAa,KAAK,WACjB,KAAK,gBAAgB,OAAO,KAAK,gBAAgB,MAClD;AACA,gBAAc;;AAGhB,KAAI,KAAK,gBAAgB,QAAQ,KAAK,aAAa,OAAO,MAAM;AAC9D,gBAAc;YACL,KAAK,gBAAgB,MAAM;AACpC,gBAAc;;AAGhB,QAAO;EACL,KAAK;EACL,OAAO;EACP,OAAO;EACR;;AAGH,OAAO,MAAM,0CACX,MACA,UACA,0BACkB;CAClB,MAAM,sBAAsB,iCAC1B,UACA,sBACD;CACD,MAAM,WAAW,IAAI,KAA0B;AAE/C,UAAS,SAAS,YAAY;AAC5B,MACE,CAAC,oBAAoB,IAAI,QAAQ,GAAG,IACpC,QAAQ,SAAS,YACjB,QAAQ,SAAS,WACjB,QAAQ,qBAAqB,KAC7B,CAAC,GAAG,QAAQ,qBAAqB,CAAC,MAC/B,aAAa,CAAC,oBAAoB,IAAI,SAAS,CACjD,EACD;AACA;;AAGF,MACE,QAAQ,SAAS,cACjB,QAAQ,YAAY,SAAS,uBAC7B;GACA,MAAM,QAAQ,yBACZ,MACA,QAAQ,YAAY,OACpB,QAAQ,YAAY,IACrB;AACD,YAAS,IAAI,GAAG,MAAM,MAAM,GAAG,MAAM,OAAO,MAAM;AAClD;;AAGF,MAAI,QAAQ,YAAY,SAAS,uBAAuB;AACtD;;EAGF,MAAM,EAAE,iBAAiB,QAAQ;AACjC,MAAI,CAAC,MAAM,QAAQ,aAAa,IAAI,aAAa,WAAW,GAAG;AAC7D;;EAGF,MAAM,QAAQ,yBACZ,MACA,QAAQ,YAAY,OACpB,QAAQ,YAAY,IACrB;AACD,WAAS,IAAI,GAAG,MAAM,MAAM,GAAG,MAAM,OAAO,MAAM;GAClD;AAEF,QAAO,CAAC,GAAG,SAAS,QAAQ,CAAC;;AAG/B,OAAO,MAAM,qCACX,MACA,OACA,QACgB;CAChB,IAAI,eAAe;CACnB,IAAI,aAAa;CAEjB,IAAI,kBAAkB;AACtB,QACE,kBAAkB,MACjB,KAAK,kBAAkB,OAAO,OAAO,KAAK,kBAAkB,OAAO,MACpE;AACA,qBAAmB;;AAErB,KAAI,KAAK,kBAAkB,OAAO,KAAK;AACrC,iBAAe;;AAGjB,QACE,aAAa,KAAK,WACjB,KAAK,gBAAgB,OAAO,KAAK,gBAAgB,MAClD;AACA,gBAAc;;AAGhB,KAAI,KAAK,gBAAgB,KAAK;AAC5B,gBAAc;AACd,SACE,aAAa,KAAK,WACjB,KAAK,gBAAgB,OAAO,KAAK,gBAAgB,MAClD;AACA,iBAAc;;QAEX;AACL,SACE,eAAe,MACd,KAAK,eAAe,OAAO,OAAO,KAAK,eAAe,OAAO,MAC9D;AACA,mBAAgB;;AAGlB,MAAI,KAAK,eAAe,OAAO,KAAK;AAClC,mBAAgB;AAChB,UACE,eAAe,MACd,KAAK,eAAe,OAAO,OAAO,KAAK,eAAe,OAAO,MAC9D;AACA,oBAAgB;;;;AAKtB,QAAO;EACL,KAAK;EACL,OAAO;EACP,OAAO;EACR;;AAGH,OAAO,MAAM,2BACX,aACkB;AAClB,KAAI,SAAS,UAAU,GAAG;AACxB,SAAO;;CAGT,MAAM,SAAS,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM;CAC9D,MAAM,SAAwB,EAAE;AAEhC,QAAO,SAAS,YAAY;EAC1B,MAAM,WAAW,OAAO,OAAO,SAAS;AACxC,MACE,YACA,SAAS,UAAU,MACnB,QAAQ,UAAU,MAClB,QAAQ,SAAS,SAAS,KAC1B;AACA,YAAS,MAAM,KAAK,IAAI,SAAS,KAAK,QAAQ,IAAI;AAClD;;AAGF,SAAO,KAAK,EAAE,GAAG,SAAS,CAAC;GAC3B;AAEF,QAAO;;AAGT,OAAO,MAAM,+BACX,MACA,SACA,iBACA,gBACA,gCACA,sCAAmD,mCACjC;CAClB,MAAM,WAA0B,EAAE;CAClC,MAAM,sBAAsB,IAAI,KAAqB;CACrD,MAAM,gCAAkE,EAAE;CAC1E,MAAM,2BAA2B,IAAI,KAGlC;AAEH,SAAQ,KAAK,SAAS,cAAc;AAClC,MAAI,UAAU,SAAS,qBAAqB;AAC1C;;EAGF,MAAM,aAAa,wBAAwB,UAAU;EACrD,MAAM,SAAS,KAAK,MAAM,UAAU,OAAO,OAAO,UAAU,OAAO,IAAI;EACvE,MAAM,oBAAoB,WAAW,QAAQ,cAC3C,oCAAoC,IAAI,UAAU,CACnD;EACD,MAAM,uBAAuB,WAAW,QAAQ,cAC9C,+BAA+B,IAAI,UAAU,CAC9C;AACD,GAAC,GAAG,mBAAmB,GAAG,qBAAqB,CAAC,SAAS,cAAc;AACrE,uBAAoB,IAAI,WAAW,OAAO;IAC1C;EACF,MAAM,sBAAsB,WAAW,QAAQ,cAC7C,eAAe,IAAI,UAAU,CAC9B;AACD,MACE,oBAAoB,SAAS,KAC7B,oBAAoB,WAAW,WAAW,UAC1C,oBAAoB,OAAO,cAAc,CAAC,gBAAgB,IAAI,UAAU,CAAC,EACzE;AACA,OACE,oBAAoB,MAAM,cACxB,+BAA+B,IAAI,UAAU,CAC9C,EACD;AACA,kCAA8B,KAAK;KACjC,KAAK,UAAU;KACf,OAAO,UAAU;KAClB,CAAC;AACF;;AAGF,YAAS,KACP,yBAAyB,MAAM,UAAU,OAAO,UAAU,IAAI,CAC/D;AACD;;AAGF,MAAI,kBAAkB,SAAS,KAAK,CAAC,yBAAyB,IAAI,OAAO,EAAE;AACzE,4BAAyB,IAAI,QAAQ;IACnC,KAAK,UAAU;IACf,OAAO,UAAU;IAClB,CAAC;;EAGJ,MAAM,EAAE,eAAe;AACvB,MAAI,CAAC,MAAM,QAAQ,WAAW,IAAI,WAAW,UAAU,GAAG;AACxD;;AAGF,aAAW,SAAS,cAAc;AAChC,OAAI,CAAC,UAAU,UAAU,EAAE;AACzB;;GAGF,MAAM,YAAY,4BAA4B,UAAU;AACxD,OACE,aACA,eAAe,IAAI,UAAU,IAC7B,CAAC,gBAAgB,IAAI,UAAU,EAC/B;AACA,aAAS,KACP,kCACE,MACA,UAAU,OACV,UAAU,IACX,CACF;;IAEH;GACF;AAEF,KAAI,8BAA8B,SAAS,GAAG;EAC5C,MAAM,cAAc,IAAI,KAAa;EACrC,MAAM,gBAAgB,8BAA8B,MACjD,GAAG,MAAM,EAAE,QAAQ,EAAE,MACvB;EACD,MAAM,CAAC,cAAc,GAAG,eAAe;EACvC,MAAM,iBAA2B,EAAE;EACnC,IAAI,yBAAwC;EAC5C,IAAI,wBAAwB;EAC5B,MAAM,eAAe,aAA2B;AAC9C,OAAI,eAAe,WAAW,GAAG;AAC/B;;AAGF,YAAS,KAAK;IACZ,KAAK;IACL,OAAO;IACP,OAAO,GAAG,eAAe,KAAK,KAAK,CAAC;IACrC,CAAC;AACF,kBAAe,SAAS;;AAG1B,GAAC,GAAG,oCAAoC,CAAC,SAAS,cAAc;GAC9D,MAAM,SAAS,oBAAoB,IAAI,UAAU;AACjD,OAAI,CAAC,QAAQ;AACX;;GAGF,MAAM,YAAY,yBAAyB,IAAI,OAAO;AACtD,OAAI,WAAW;AACb,gBAAY,UAAU,MAAM;AAC5B,6BAAyB,UAAU;AACnC,QAAI,+BAA+B,IAAI,UAAU,EAAE;AACjD,iBAAY,IAAI,OAAO;;AAEzB;;AAGF,OACE,CAAC,+BAA+B,IAAI,UAAU,IAC9C,YAAY,IAAI,OAAO,EACvB;AACA;;AAGF,eAAY,IAAI,OAAO;AACvB,kBAAe,KAAK,UAAU,OAAO,GAAG;IACxC;AAEF,MAAI,eAAe,SAAS,GAAG;AAC7B,OAAI,2BAA2B,MAAM;AACnC,aAAS,KAAK;KACZ,KAAK;KACL,OAAO;KACP,OAAO,KAAK,eAAe,KAAK,KAAK;KACtC,CAAC;cACO,cAAc;AACvB,4BAAwB;AACxB,aAAS,KAAK;KACZ,KAAK,aAAa;KAClB,OAAO,aAAa;KACpB,OAAO,eAAe,KAAK,KAAK;KACjC,CAAC;;;AAIN,WAAS,KACP,IAAI,wBAAwB,cAAc,eAAe,KAAK,WAAW;GACvE,GAAG;GACH,OAAO;GACR,EAAE,CACJ;;AAGH,QAAO;;AAGT,OAAO,MAAM,4CACX,MACA,SACA,iBACA,mBACkB;CAClB,MAAM,WAA0B,EAAE;AAElC,SAAQ,KAAK,SAAS,cAAc;AAClC,MAAI,UAAU,SAAS,uBAAuB;AAC5C;;EAGF,MAAM,aAAa,CAAC,GAAG,wBAAwB,UAAU,CAAC;AAE1D,MACE,WAAW,SAAS,KACpB,WAAW,OAAO,cAAc,eAAe,IAAI,UAAU,CAAC,IAC9D,WAAW,OAAO,cAAc,CAAC,gBAAgB,IAAI,UAAU,CAAC,EAChE;AACA,YAAS,KACP,yBAAyB,MAAM,UAAU,OAAO,UAAU,IAAI,CAC/D;;GAEH;AAEF,QAAO;;AAGT,OAAO,MAAM,mDACX,MACA,SACA,oBACkB;CAClB,MAAM,WAA0B,EAAE;AAElC,SAAQ,KAAK,SAAS,cAAc;AAClC,MAAI,UAAU,SAAS,uBAAuB;AAC5C;;EAGF,MAAM,aAAa,CAAC,GAAG,wBAAwB,UAAU,CAAC;AAC1D,MACE,WAAW,SAAS,KACpB,WAAW,OAAO,cAChB,yBAAyB,KAAK,UAAU,CACzC,IACD,WAAW,OAAO,cAAc,CAAC,gBAAgB,IAAI,UAAU,CAAC,EAChE;AACA,YAAS,KACP,yBAAyB,MAAM,UAAU,OAAO,UAAU,IAAI,CAC/D;;GAEH;AAEF,QAAO;;AAGT,OAAO,MAAM,8CACX,MACA,YACA,kBACA,4BACkB;CAClB,MAAM,WAA0B,EAAE;AAElC,YAAW,SAAS,cAAc;AAChC,MAAI,UAAU,KAAK,SAAS,uBAAuB;AACjD;;EAGF,MAAM,EAAE,eAAe,UAAU;EACjC,MAAM,mBACJ,WAAW,SAAS,gBACpB,WAAW,SAAS,aACpB,WAAW,SAAS,sBACpB,WAAW,SAAS,qBACpB,WAAW,SAAS,6BACpB,WAAW,SAAS,wBACnB,WAAW,SAAS,qBACnB,WAAW,YAAY,WAAW;AACtC,MAAI,CAAC,kBAAkB;AACrB;;EAGF,MAAM,kBAAkB,CAAC,GAAG,UAAU,WAAW,CAAC,QAAQ,SACxD,iBAAiB,IAAI,KAAK,CAC3B;AAED,MACE,gBAAgB,SAAS,KACzB,gBAAgB,OAAO,SAAS,wBAAwB,IAAI,KAAK,CAAC,EAClE;AACA,YAAS,KACP,yBAAyB,MAAM,UAAU,KAAK,OAAO,UAAU,KAAK,IAAI,CACzE;;GAEH;AAEF,QAAO;;AAGT,OAAO,MAAM,qCACX,MACA,YACkB;CAClB,MAAM,WAA0B,EAAE;AAElC,SAAQ,KAAK,SAAS,cAAc;AAClC,MAAI,UAAU,SAAS,oBAAoB,UAAU,KAAK,SAAS,GAAG;AACpE;;AAGF,WAAS,KACP,yBAAyB,MAAM,UAAU,OAAO,UAAU,IAAI,CAC/D;GACD;AAEF,QAAO;;AAGT,OAAO,MAAM,gCACX,MACA,UACA,uBACA,yBACA,gCACA,sCAAmD,mCACxC;CACX,IAAI,UAAU;CACd,IAAI,UAA0B;CAC9B,MAAM,2BAA2B,IAAI,IAAI,sBAAsB;;;;;;AAO/D,MAAK,IAAI,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG;EACnC,MAAM,WAAW;AACjB,MAAI,YAAY,MAAM;AACpB,aAAU,SAAS,SAAS,SAAS;;EAEvC,MAAM,aAAa,8BAA8B,QAAQ;EACzD,MAAM,iBAAiB,oCACrB,YACA,yBACD;AACD,iBAAe,SAAS,SAAS,yBAAyB,IAAI,KAAK,CAAC;EACpE,MAAM,kBAAkB,uBAAuB,QAAQ;EACvD,MAAM,mBAAmB,sCAAsC,WAAW;EAC1E,MAAM,iBAAiB,0BAA0B,QAAQ;EACzD,MAAM,WAAW,wBAAwB;GACvC,GAAG,uCACD,SACA,gBACA,yBACD;GACD,GAAG,yCACD,SACA,SACA,iBACA,yBACD;GACD,GAAG,gDACD,SACA,SACA,gBACD;GACD,GAAG,4BACD,SACA,SACA,iBACA,0BACA,gCACA,oCACD;GACD,GAAG,2CACD,SACA,YACA,kBACA,wBACD;GACD,GAAG,kCAAkC,SAAS,QAAQ;GACvD,CAAC;AAEF,MAAI,SAAS,WAAW,GAAG;;;AAGzB,UAAO;;EAGT,MAAM,OAAO,qBAAqB,SAAS,SAAS;AACpD,MAAI;;AAEF,aAAU,SAAS,MAAM,SAAS;AAClC,aAAU;UACJ;;AAEN,UAAO;;AAGT,MAAI,YAAY,UAAU;AACxB,UAAO;;;AAIX,QAAO","names":[],"sources":["../../../src/utils/applyOxcProcessors/cleanupRemovals.ts"],"version":3,"sourcesContent":["/* eslint-disable no-restricted-syntax,no-continue */\n\nimport type { Node, Program } from 'oxc-parser';\n\nimport { getOxcNodeChildren, isOxcNode } from '../oxc/ast';\nimport { applyOxcReplacements } from '../oxc/replacements';\nimport {\n  collectDeclaredNames,\n  collectImportLocalNames,\n  collectReferencedNames,\n  collectRemovableNamesFromStatements,\n  collectTopLevelBindings,\n  collectTopLevelBindingsFromStatements,\n  collectTopLevelStatementInfos,\n  getImportSpecifierLocalName,\n  isNodeReference,\n} from './cleanupBindings';\nimport { GENERATED_HELPER_NAME_RE, parseOxc } from './shared';\nimport type {\n  AnyNode,\n  Replacement,\n  ScopedBindingInfo,\n  ScopedBindingKind,\n  ScopedCleanupScope,\n  TopLevelStatementInfo,\n} from './types';\n\nexport const createScopedCleanupScope = (\n  parent: ScopedCleanupScope | null\n): ScopedCleanupScope => ({\n  bindings: new Map(),\n  parent,\n});\n\nexport const resolveScopedBinding = (\n  scope: ScopedCleanupScope,\n  name: string\n): string | null => {\n  let current: ScopedCleanupScope | null = scope;\n  while (current) {\n    const bindingId = current.bindings.get(name);\n    if (bindingId) {\n      return bindingId;\n    }\n\n    current = current.parent;\n  }\n\n  return null;\n};\n\nexport const collectScopedBindingInfos = (\n  program: Program\n): Map<string, ScopedBindingInfo> => {\n  const bindings = new Map<string, ScopedBindingInfo>();\n  let sequence = 0;\n\n  const addBinding = (\n    scope: ScopedCleanupScope,\n    name: string,\n    kind: ScopedBindingKind,\n    declaration: Node\n  ): string => {\n    const id = `${kind}:${name}:${declaration.start}:${sequence}`;\n    sequence += 1;\n\n    bindings.set(id, {\n      declaration,\n      dependencies: new Set(),\n      externalReferences: 0,\n      id,\n      incomingFromBindings: new Set(),\n      kind,\n      name,\n    });\n    scope.bindings.set(name, id);\n    return id;\n  };\n\n  const addPatternBindings = (\n    scope: ScopedCleanupScope,\n    pattern: Node,\n    kind: ScopedBindingKind,\n    declaration: Node\n  ): void => {\n    collectDeclaredNames(pattern).forEach((name) => {\n      addBinding(scope, name, kind, declaration);\n    });\n  };\n\n  const recordReference = (\n    scope: ScopedCleanupScope,\n    name: string,\n    ownerBindingId: string | null\n  ): void => {\n    const targetId = resolveScopedBinding(scope, name);\n    if (!targetId) {\n      return;\n    }\n\n    const target = bindings.get(targetId);\n    if (!target) {\n      return;\n    }\n\n    if (ownerBindingId && ownerBindingId !== targetId) {\n      target.incomingFromBindings.add(ownerBindingId);\n      bindings.get(ownerBindingId)?.dependencies.add(targetId);\n      return;\n    }\n\n    target.externalReferences += 1;\n  };\n\n  type ScopedWalk = (\n    node: Node,\n    scope: ScopedCleanupScope,\n    parent?: Node | null,\n    ownerBindingId?: string | null\n  ) => void;\n\n  let walk: ScopedWalk;\n\n  function walkPatternReferenceSubexpressions(\n    node: Node,\n    scope: ScopedCleanupScope,\n    ownerBindingId: string | null\n  ): void {\n    if (node.type === 'Identifier') {\n      return;\n    }\n\n    if (node.type === 'TSParameterProperty') {\n      walkPatternReferenceSubexpressions(node.parameter, scope, ownerBindingId);\n      return;\n    }\n\n    if (node.type === 'RestElement') {\n      walkPatternReferenceSubexpressions(node.argument, scope, ownerBindingId);\n      return;\n    }\n\n    if (node.type === 'AssignmentPattern') {\n      walkPatternReferenceSubexpressions(node.left, scope, ownerBindingId);\n      walk(node.right, scope, node, ownerBindingId);\n      return;\n    }\n\n    if (node.type === 'ObjectPattern') {\n      node.properties.forEach((property) => {\n        if (property.type === 'RestElement') {\n          walkPatternReferenceSubexpressions(\n            property.argument,\n            scope,\n            ownerBindingId\n          );\n          return;\n        }\n\n        if (property.computed && isOxcNode(property.key)) {\n          walk(property.key, scope, property, ownerBindingId);\n        }\n\n        walkPatternReferenceSubexpressions(\n          property.value,\n          scope,\n          ownerBindingId\n        );\n      });\n      return;\n    }\n\n    if (node.type === 'ArrayPattern') {\n      node.elements.forEach((element) => {\n        if (element && isOxcNode(element)) {\n          walkPatternReferenceSubexpressions(element, scope, ownerBindingId);\n        }\n      });\n    }\n  }\n\n  walk = (\n    node: Node,\n    scope: ScopedCleanupScope,\n    parent: Node | null = null,\n    ownerBindingId: string | null = null\n  ): void => {\n    if (node.type === 'ImportDeclaration') {\n      const { specifiers } = node as AnyNode;\n      if (Array.isArray(specifiers)) {\n        specifiers.forEach((specifier) => {\n          const { local } = specifier as AnyNode;\n          if (\n            isOxcNode(local) &&\n            local.type === 'Identifier' &&\n            typeof local.name === 'string'\n          ) {\n            addBinding(scope, local.name, 'import', node);\n          }\n        });\n      }\n      return;\n    }\n\n    if (node.type === 'ExportNamedDeclaration' && node.declaration) {\n      walk(node.declaration, scope, node, ownerBindingId);\n      collectTopLevelBindings(node).forEach((name) => {\n        recordReference(scope, name, ownerBindingId);\n      });\n      return;\n    }\n\n    if (node.type === 'ExportDefaultDeclaration') {\n      const { declaration } = node as AnyNode;\n      if (isOxcNode(declaration)) {\n        walk(declaration, scope, node, ownerBindingId);\n        if (\n          (declaration.type === 'FunctionDeclaration' ||\n            declaration.type === 'ClassDeclaration') &&\n          declaration.id\n        ) {\n          recordReference(scope, declaration.id.name, ownerBindingId);\n        }\n      }\n      return;\n    }\n\n    if (node.type === 'VariableDeclaration') {\n      const { declarations } = node as AnyNode;\n      if (!Array.isArray(declarations)) {\n        return;\n      }\n\n      declarations.forEach((declarator) => {\n        const { id } = declarator as AnyNode;\n        if (isOxcNode(id)) {\n          addPatternBindings(scope, id, 'variable', node);\n        }\n      });\n\n      declarations.forEach((declarator) => {\n        const { id } = declarator as AnyNode;\n        const { init } = declarator as AnyNode;\n        if (!isOxcNode(id) || !isOxcNode(init)) {\n          return;\n        }\n\n        const ownerName = collectDeclaredNames(id)[0] ?? null;\n        const nextOwner =\n          ownerName !== null ? resolveScopedBinding(scope, ownerName) : null;\n        walk(init, scope, declarator as Node, nextOwner);\n      });\n      return;\n    }\n\n    if (node.type === 'FunctionDeclaration' && node.id) {\n      const functionBindingId = addBinding(\n        scope,\n        node.id.name,\n        'function',\n        node\n      );\n      const fnScope = createScopedCleanupScope(scope);\n\n      node.params.forEach((param) => {\n        addPatternBindings(fnScope, param, 'param', param);\n        walkPatternReferenceSubexpressions(param, fnScope, functionBindingId);\n      });\n\n      if (node.body) {\n        walk(node.body, fnScope, node, functionBindingId);\n      }\n      return;\n    }\n\n    if (\n      node.type === 'FunctionExpression' ||\n      node.type === 'ArrowFunctionExpression'\n    ) {\n      const fnScope = createScopedCleanupScope(scope);\n      if (node.type === 'FunctionExpression' && node.id) {\n        addBinding(fnScope, node.id.name, 'function', node);\n      }\n\n      node.params.forEach((param) => {\n        addPatternBindings(fnScope, param, 'param', param);\n        walkPatternReferenceSubexpressions(param, fnScope, ownerBindingId);\n      });\n\n      if (node.body) {\n        walk(node.body, fnScope, node, ownerBindingId);\n      }\n      return;\n    }\n\n    if (node.type === 'BlockStatement') {\n      const blockScope = createScopedCleanupScope(scope);\n      getOxcNodeChildren(node).forEach((child) =>\n        walk(child, blockScope, node, ownerBindingId)\n      );\n      return;\n    }\n\n    if (\n      isNodeReference(node, parent) &&\n      'name' in node &&\n      typeof node.name === 'string'\n    ) {\n      recordReference(scope, node.name, ownerBindingId);\n    }\n\n    getOxcNodeChildren(node).forEach((child) =>\n      walk(child, scope, node, ownerBindingId)\n    );\n  };\n\n  walk(program, createScopedCleanupScope(null));\n  return bindings;\n};\n\nexport const collectScopedRemovableBindingIds = (\n  bindings: Map<string, ScopedBindingInfo>,\n  initialNames: Set<string>\n): Set<string> => {\n  const removable = new Set<string>();\n  let changed = true;\n\n  while (changed) {\n    changed = false;\n\n    for (const binding of bindings.values()) {\n      if (\n        !removable.has(binding.id) &&\n        binding.kind !== 'import' &&\n        binding.kind !== 'param' &&\n        binding.externalReferences === 0\n      ) {\n        const seededByName =\n          initialNames.has(binding.name) ||\n          (GENERATED_HELPER_NAME_RE.test(binding.name) &&\n            binding.incomingFromBindings.size === 0);\n        const allIncomingRemovable =\n          binding.incomingFromBindings.size > 0 &&\n          [...binding.incomingFromBindings].every((sourceId) =>\n            removable.has(sourceId)\n          );\n\n        if (\n          (seededByName && binding.incomingFromBindings.size === 0) ||\n          allIncomingRemovable\n        ) {\n          removable.add(binding.id);\n          changed = true;\n        }\n      }\n    }\n  }\n\n  return removable;\n};\n\nexport function expandImportRemovalRange(\n  code: string,\n  start: number,\n  end: number\n): Replacement {\n  let removalStart = start;\n  while (\n    removalStart > 0 &&\n    (code[removalStart - 1] === ' ' || code[removalStart - 1] === '\\t')\n  ) {\n    removalStart -= 1;\n  }\n\n  let removalEnd = end;\n  if (code[removalEnd] === ';') {\n    removalEnd += 1;\n  }\n\n  while (\n    removalEnd < code.length &&\n    (code[removalEnd] === ' ' || code[removalEnd] === '\\t')\n  ) {\n    removalEnd += 1;\n  }\n\n  if (code[removalEnd] === '\\r' && code[removalEnd + 1] === '\\n') {\n    removalEnd += 2;\n  } else if (code[removalEnd] === '\\n') {\n    removalEnd += 1;\n  }\n\n  return {\n    end: removalEnd,\n    start: removalStart,\n    value: '',\n  };\n}\n\nexport const collectUnusedScopedDeclarationRemovals = (\n  code: string,\n  bindings: Map<string, ScopedBindingInfo>,\n  initialRemovableNames: Set<string>\n): Replacement[] => {\n  const removableBindingIds = collectScopedRemovableBindingIds(\n    bindings,\n    initialRemovableNames\n  );\n  const removals = new Map<string, Replacement>();\n\n  bindings.forEach((binding) => {\n    if (\n      !removableBindingIds.has(binding.id) ||\n      binding.kind === 'import' ||\n      binding.kind === 'param' ||\n      binding.externalReferences > 0 ||\n      [...binding.incomingFromBindings].some(\n        (sourceId) => !removableBindingIds.has(sourceId)\n      )\n    ) {\n      return;\n    }\n\n    if (\n      binding.kind === 'function' &&\n      binding.declaration.type === 'FunctionDeclaration'\n    ) {\n      const range = expandImportRemovalRange(\n        code,\n        binding.declaration.start,\n        binding.declaration.end\n      );\n      removals.set(`${range.start}:${range.end}`, range);\n      return;\n    }\n\n    if (binding.declaration.type !== 'VariableDeclaration') {\n      return;\n    }\n\n    const { declarations } = binding.declaration as AnyNode;\n    if (!Array.isArray(declarations) || declarations.length !== 1) {\n      return;\n    }\n\n    const range = expandImportRemovalRange(\n      code,\n      binding.declaration.start,\n      binding.declaration.end\n    );\n    removals.set(`${range.start}:${range.end}`, range);\n  });\n\n  return [...removals.values()];\n};\n\nexport const expandImportSpecifierRemovalRange = (\n  code: string,\n  start: number,\n  end: number\n): Replacement => {\n  let removalStart = start;\n  let removalEnd = end;\n\n  let whitespaceStart = removalStart;\n  while (\n    whitespaceStart > 0 &&\n    (code[whitespaceStart - 1] === ' ' || code[whitespaceStart - 1] === '\\t')\n  ) {\n    whitespaceStart -= 1;\n  }\n  if (code[whitespaceStart - 1] !== '{') {\n    removalStart = whitespaceStart;\n  }\n\n  while (\n    removalEnd < code.length &&\n    (code[removalEnd] === ' ' || code[removalEnd] === '\\t')\n  ) {\n    removalEnd += 1;\n  }\n\n  if (code[removalEnd] === ',') {\n    removalEnd += 1;\n    while (\n      removalEnd < code.length &&\n      (code[removalEnd] === ' ' || code[removalEnd] === '\\t')\n    ) {\n      removalEnd += 1;\n    }\n  } else {\n    while (\n      removalStart > 0 &&\n      (code[removalStart - 1] === ' ' || code[removalStart - 1] === '\\t')\n    ) {\n      removalStart -= 1;\n    }\n\n    if (code[removalStart - 1] === ',') {\n      removalStart -= 1;\n      while (\n        removalStart > 0 &&\n        (code[removalStart - 1] === ' ' || code[removalStart - 1] === '\\t')\n      ) {\n        removalStart -= 1;\n      }\n    }\n  }\n\n  return {\n    end: removalEnd,\n    start: removalStart,\n    value: '',\n  };\n};\n\nexport const mergeEmptyRemovalRanges = (\n  removals: Replacement[]\n): Replacement[] => {\n  if (removals.length <= 1) {\n    return removals;\n  }\n\n  const sorted = [...removals].sort((a, b) => a.start - b.start);\n  const merged: Replacement[] = [];\n\n  sorted.forEach((removal) => {\n    const previous = merged[merged.length - 1];\n    if (\n      previous &&\n      previous.value === '' &&\n      removal.value === '' &&\n      removal.start <= previous.end\n    ) {\n      previous.end = Math.max(previous.end, removal.end);\n      return;\n    }\n\n    merged.push({ ...removal });\n  });\n\n  return merged;\n};\n\nexport const collectUnusedImportRemovals = (\n  code: string,\n  program: Program,\n  referencedNames: Set<string>,\n  removableNames: Set<string>,\n  preserveSideEffectImportLocals: Set<string>,\n  preserveSideEffectImportOrderLocals: Set<string> = preserveSideEffectImportLocals\n): Replacement[] => {\n  const removals: Replacement[] = [];\n  const importSourceByLocal = new Map<string, string>();\n  const removedSideEffectImportRanges: { end: number; start: number }[] = [];\n  const keptImportRangesBySource = new Map<\n    string,\n    { end: number; start: number }\n  >();\n\n  program.body.forEach((statement) => {\n    if (statement.type !== 'ImportDeclaration') {\n      return;\n    }\n\n    const localNames = collectImportLocalNames(statement);\n    const source = code.slice(statement.source.start, statement.source.end);\n    const orderedLocalNames = localNames.filter((localName) =>\n      preserveSideEffectImportOrderLocals.has(localName)\n    );\n    const sideEffectLocalNames = localNames.filter((localName) =>\n      preserveSideEffectImportLocals.has(localName)\n    );\n    [...orderedLocalNames, ...sideEffectLocalNames].forEach((localName) => {\n      importSourceByLocal.set(localName, source);\n    });\n    const removableLocalNames = localNames.filter((localName) =>\n      removableNames.has(localName)\n    );\n    if (\n      removableLocalNames.length > 0 &&\n      removableLocalNames.length === localNames.length &&\n      removableLocalNames.every((localName) => !referencedNames.has(localName))\n    ) {\n      if (\n        removableLocalNames.some((localName) =>\n          preserveSideEffectImportLocals.has(localName)\n        )\n      ) {\n        removedSideEffectImportRanges.push({\n          end: statement.end,\n          start: statement.start,\n        });\n        return;\n      }\n\n      removals.push(\n        expandImportRemovalRange(code, statement.start, statement.end)\n      );\n      return;\n    }\n\n    if (orderedLocalNames.length > 0 && !keptImportRangesBySource.has(source)) {\n      keptImportRangesBySource.set(source, {\n        end: statement.end,\n        start: statement.start,\n      });\n    }\n\n    const { specifiers } = statement as AnyNode;\n    if (!Array.isArray(specifiers) || specifiers.length <= 1) {\n      return;\n    }\n\n    specifiers.forEach((specifier) => {\n      if (!isOxcNode(specifier)) {\n        return;\n      }\n\n      const localName = getImportSpecifierLocalName(specifier);\n      if (\n        localName &&\n        removableNames.has(localName) &&\n        !referencedNames.has(localName)\n      ) {\n        removals.push(\n          expandImportSpecifierRemovalRange(\n            code,\n            specifier.start,\n            specifier.end\n          )\n        );\n      }\n    });\n  });\n\n  if (removedSideEffectImportRanges.length > 0) {\n    const seenSources = new Set<string>();\n    const removedRanges = removedSideEffectImportRanges.sort(\n      (a, b) => a.start - b.start\n    );\n    const [firstRemoved, ...restRemoved] = removedRanges;\n    const pendingImports: string[] = [];\n    let insertionAfterLastKept: number | null = null;\n    let usedFirstRemovedRange = false;\n    const flushBefore = (position: number): void => {\n      if (pendingImports.length === 0) {\n        return;\n      }\n\n      removals.push({\n        end: position,\n        start: position,\n        value: `${pendingImports.join('\\n')}\\n`,\n      });\n      pendingImports.length = 0;\n    };\n\n    [...preserveSideEffectImportOrderLocals].forEach((localName) => {\n      const source = importSourceByLocal.get(localName);\n      if (!source) {\n        return;\n      }\n\n      const keptRange = keptImportRangesBySource.get(source);\n      if (keptRange) {\n        flushBefore(keptRange.start);\n        insertionAfterLastKept = keptRange.end;\n        if (preserveSideEffectImportLocals.has(localName)) {\n          seenSources.add(source);\n        }\n        return;\n      }\n\n      if (\n        !preserveSideEffectImportLocals.has(localName) ||\n        seenSources.has(source)\n      ) {\n        return;\n      }\n\n      seenSources.add(source);\n      pendingImports.push(`import ${source};`);\n    });\n\n    if (pendingImports.length > 0) {\n      if (insertionAfterLastKept !== null) {\n        removals.push({\n          end: insertionAfterLastKept,\n          start: insertionAfterLastKept,\n          value: `\\n${pendingImports.join('\\n')}`,\n        });\n      } else if (firstRemoved) {\n        usedFirstRemovedRange = true;\n        removals.push({\n          end: firstRemoved.end,\n          start: firstRemoved.start,\n          value: pendingImports.join('\\n'),\n        });\n      }\n    }\n\n    removals.push(\n      ...(usedFirstRemovedRange ? restRemoved : removedRanges).map((range) => ({\n        ...range,\n        value: '',\n      }))\n    );\n  }\n\n  return removals;\n};\n\nexport const collectUnusedTopLevelDeclarationRemovals = (\n  code: string,\n  program: Program,\n  referencedNames: Set<string>,\n  removableNames: Set<string>\n): Replacement[] => {\n  const removals: Replacement[] = [];\n\n  program.body.forEach((statement) => {\n    if (statement.type !== 'VariableDeclaration') {\n      return;\n    }\n\n    const localNames = [...collectTopLevelBindings(statement)];\n\n    if (\n      localNames.length > 0 &&\n      localNames.every((localName) => removableNames.has(localName)) &&\n      localNames.every((localName) => !referencedNames.has(localName))\n    ) {\n      removals.push(\n        expandImportRemovalRange(code, statement.start, statement.end)\n      );\n    }\n  });\n\n  return removals;\n};\n\nexport const collectUnusedGeneratedHelperDeclarationRemovals = (\n  code: string,\n  program: Program,\n  referencedNames: Set<string>\n): Replacement[] => {\n  const removals: Replacement[] = [];\n\n  program.body.forEach((statement) => {\n    if (statement.type !== 'VariableDeclaration') {\n      return;\n    }\n\n    const localNames = [...collectTopLevelBindings(statement)];\n    if (\n      localNames.length > 0 &&\n      localNames.every((localName) =>\n        GENERATED_HELPER_NAME_RE.test(localName)\n      ) &&\n      localNames.every((localName) => !referencedNames.has(localName))\n    ) {\n      removals.push(\n        expandImportRemovalRange(code, statement.start, statement.end)\n      );\n    }\n  });\n\n  return removals;\n};\n\nexport const collectTopLevelExpressionStatementRemovals = (\n  code: string,\n  statements: TopLevelStatementInfo[],\n  topLevelBindings: Set<string>,\n  removableExpressionRefs: Set<string>\n): Replacement[] => {\n  const removals: Replacement[] = [];\n\n  statements.forEach((statement) => {\n    if (statement.node.type !== 'ExpressionStatement') {\n      return;\n    }\n\n    const { expression } = statement.node;\n    const isPureExpression =\n      expression.type === 'Identifier' ||\n      expression.type === 'Literal' ||\n      expression.type === 'ObjectExpression' ||\n      expression.type === 'ArrayExpression' ||\n      expression.type === 'ArrowFunctionExpression' ||\n      expression.type === 'FunctionExpression' ||\n      (expression.type === 'TemplateLiteral' &&\n        expression.expressions.length === 0);\n    if (!isPureExpression) {\n      return;\n    }\n\n    const localReferences = [...statement.references].filter((name) =>\n      topLevelBindings.has(name)\n    );\n\n    if (\n      localReferences.length > 0 &&\n      localReferences.every((name) => removableExpressionRefs.has(name))\n    ) {\n      removals.push(\n        expandImportRemovalRange(code, statement.node.start, statement.node.end)\n      );\n    }\n  });\n\n  return removals;\n};\n\nexport const collectEmptyTopLevelBlockRemovals = (\n  code: string,\n  program: Program\n): Replacement[] => {\n  const removals: Replacement[] = [];\n\n  program.body.forEach((statement) => {\n    if (statement.type !== 'BlockStatement' || statement.body.length > 0) {\n      return;\n    }\n\n    removals.push(\n      expandImportRemovalRange(code, statement.start, statement.end)\n    );\n  });\n\n  return removals;\n};\n\nexport const removeUnusedAfterReplacement = (\n  code: string,\n  filename: string,\n  initialRemovableNames: Set<string>,\n  removableExpressionRefs: Set<string>,\n  preserveSideEffectImportLocals: Set<string>,\n  preserveSideEffectImportOrderLocals: Set<string> = preserveSideEffectImportLocals\n): string => {\n  let current = code;\n  let program: Program | null = null;\n  const cumulativeRemovableNames = new Set(initialRemovableNames);\n\n  // Incremental cleanup loop: validate-by-parsing the next iteration's\n  // candidate code AND reuse that parse as the next iter's `program` input,\n  // instead of re-parsing at the top of the next iter. Saves one parse per\n  // loop revolution (N+1 parses for an N-iter loop instead of 2N).\n  // Also short-circuits a round earlier when no removals were collected.\n  for (let idx = 0; idx < 5; idx += 1) {\n    const previous = current;\n    if (program === null) {\n      program = parseOxc(current, filename);\n    }\n    const statements = collectTopLevelStatementInfos(program);\n    const removableNames = collectRemovableNamesFromStatements(\n      statements,\n      cumulativeRemovableNames\n    );\n    removableNames.forEach((name) => cumulativeRemovableNames.add(name));\n    const referencedNames = collectReferencedNames(program);\n    const topLevelBindings = collectTopLevelBindingsFromStatements(statements);\n    const scopedBindings = collectScopedBindingInfos(program);\n    const removals = mergeEmptyRemovalRanges([\n      ...collectUnusedScopedDeclarationRemovals(\n        current,\n        scopedBindings,\n        cumulativeRemovableNames\n      ),\n      ...collectUnusedTopLevelDeclarationRemovals(\n        current,\n        program,\n        referencedNames,\n        cumulativeRemovableNames\n      ),\n      ...collectUnusedGeneratedHelperDeclarationRemovals(\n        current,\n        program,\n        referencedNames\n      ),\n      ...collectUnusedImportRemovals(\n        current,\n        program,\n        referencedNames,\n        cumulativeRemovableNames,\n        preserveSideEffectImportLocals,\n        preserveSideEffectImportOrderLocals\n      ),\n      ...collectTopLevelExpressionStatementRemovals(\n        current,\n        statements,\n        topLevelBindings,\n        removableExpressionRefs\n      ),\n      ...collectEmptyTopLevelBlockRemovals(current, program),\n    ]);\n\n    if (removals.length === 0) {\n      // Convergence: next iter would parse the same code and see the same\n      // removable set. Skip the round of walks + parse.\n      return current;\n    }\n\n    const next = applyOxcReplacements(current, removals);\n    try {\n      // Validate + capture the AST for the next iteration in one parse.\n      program = parseOxc(next, filename);\n      current = next;\n    } catch {\n      // Pathological removal — drop this iteration and return prior state.\n      return current;\n    }\n\n    if (current === previous) {\n      return current;\n    }\n  }\n\n  return current;\n};\n"],"file":"cleanupRemovals.js"}