packtory 0.0.101 → 0.0.103

package/dead-code-eliminator/computed-property-key-purity.js

@@ -0,0 +1,68 @@
+import path from 'node:path';
+import { Node as TsMorphNode, SyntaxKind, VariableDeclarationKind } from 'ts-morph';
+import { packageTypeForResolvedFilePath, resolveTypescriptModuleFilePath } from "../dependency-scanner/typescript-module-resolution.js";
+import { expressionFactIsPure } from "./expression-facts.js";
+import { unwrapExpression } from "./expression-unwrapping.js";
+import { resolveImportedExpressionPropertyPath } from "./imported-expression-origin.js";
+function packageTypeFor(filePath, containingSourceFile) {
+    return packageTypeForResolvedFilePath({ filePath, containingSourceFile });
+}
+function isRuntimeModuleSource(filePath, containingSourceFile) {
+    return path.extname(filePath) === '.js' && packageTypeFor(filePath, containingSourceFile) === 'module';
+}
+function resolvedRuntimeSourceFile(moduleSpecifier, containingSourceFile) {
+    const filePath = resolveTypescriptModuleFilePath({
+        moduleSpecifier,
+        containingSourceFile,
+        resolutionMode: 'runtime'
+    });
+    if (filePath === undefined || !isRuntimeModuleSource(filePath, containingSourceFile)) {
+        return undefined;
+    }
+    const project = containingSourceFile.getProject();
+    return project.getSourceFile(filePath) ?? project.addSourceFileAtPathIfExists(filePath);
+}
+function objectPropertyInitializer(expression, propertyName) {
+    const property = expression.getProperty(propertyName);
+    return TsMorphNode.isPropertyAssignment(property) ? property.getInitializerOrThrow() : undefined;
+}
+function primitiveKeyExpression(expression) {
+    return TsMorphNode.isStringLiteral(unwrapExpression(expression));
+}
+function expressionMemberIsPrimitiveKey(expression, propertyName) {
+    const unwrapped = unwrapExpression(expression);
+    if (!TsMorphNode.isObjectLiteralExpression(unwrapped)) {
+        return false;
+    }
+    return primitiveKeyExpression(objectPropertyInitializer(unwrapped, propertyName));
+}
+function constDeclarationInitializer(declaration) {
+    const statement = declaration.getFirstAncestorByKindOrThrow(SyntaxKind.VariableStatement);
+    return statement.isExported() && statement.getDeclarationKind() === VariableDeclarationKind.Const
+        ? declaration.getInitializer()
+        : undefined;
+}
+function exportPathIsPrimitiveKey(sourceFile, exportName, propertyName) {
+    const declaration = sourceFile.getVariableDeclaration(exportName);
+    if (declaration === undefined) {
+        return false;
+    }
+    return expressionMemberIsPrimitiveKey(constDeclarationInitializer(declaration), propertyName);
+}
+function importedExpressionIsPrimitiveKey(expression) {
+    const origin = resolveImportedExpressionPropertyPath(expression);
+    if (origin === undefined) {
+        return false;
+    }
+    const sourceFile = resolvedRuntimeSourceFile(origin.from, expression.getSourceFile());
+    const [exportName = origin.from, propertyName = exportName, ...rest] = origin.path;
+    return sourceFile !== undefined && rest.length === 0 &&
+        exportPathIsPrimitiveKey(sourceFile, exportName, propertyName);
+}
+export function computedPropertyNameIsPure(expression, factFor) {
+    if (TsMorphNode.isPropertyAccessExpression(unwrapExpression(expression))) {
+        return importedExpressionIsPrimitiveKey(expression);
+    }
+    return expressionFactIsPure(factFor(expression)) || importedExpressionIsPrimitiveKey(expression);
+}
+//# sourceMappingURL=computed-property-key-purity.js.map

package/dead-code-eliminator/computed-property-key-purity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"computed-property-key-purity.js","sourceRoot":"","sources":["../../../../source/dead-code-eliminator/computed-property-key-purity.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACH,IAAI,IAAI,WAAW,EACnB,UAAU,EACV,uBAAuB,EAK1B,MAAM,UAAU,CAAC;AAClB,OAAO,EACH,8BAA8B,EAC9B,+BAA+B,EAClC,MAAM,uDAAuD,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAA+B,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,qCAAqC,EAAE,MAAM,iCAAiC,CAAC;AAExF,SAAS,cAAc,CAAC,QAAgB,EAAE,oBAAgC;IACtE,OAAO,8BAA8B,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,qBAAqB,CAAC,QAAgB,EAAE,oBAAgC;IAC7E,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI,cAAc,CAAC,QAAQ,EAAE,oBAAoB,CAAC,KAAK,QAAQ,CAAC;AAC3G,CAAC;AAED,SAAS,yBAAyB,CAC9B,eAAuB,EACvB,oBAAgC;IAEhC,MAAM,QAAQ,GAAG,+BAA+B,CAAC;QAC7C,eAAe;QACf,oBAAoB;QACpB,cAAc,EAAE,SAAS;KAC5B,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,oBAAoB,CAAC,EAAE,CAAC;QACnF,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,UAAU,EAAE,CAAC;IAClD,OAAO,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,yBAAyB,CAAC,UAAmC,EAAE,YAAoB;IACxF,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IACtD,OAAO,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACrG,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAkC;IAC9D,OAAO,WAAW,CAAC,eAAe,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,8BAA8B,CAAC,UAAkC,EAAE,YAAoB;IAC5F,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,CAAC,WAAW,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,sBAAsB,CAAC,yBAAyB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,2BAA2B,CAAC,WAAgC;IACjE,MAAM,SAAS,GAAG,WAAW,CAAC,6BAA6B,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;IAC1F,OAAO,SAAS,CAAC,UAAU,EAAE,IAAI,SAAS,CAAC,kBAAkB,EAAE,KAAK,uBAAuB,CAAC,KAAK;QAC7F,CAAC,CAAC,WAAW,CAAC,cAAc,EAAE;QAC9B,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AAED,SAAS,wBAAwB,CAC7B,UAAsB,EACtB,UAAkB,EAClB,YAAoB;IAEpB,MAAM,WAAW,GAAG,UAAU,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,8BAA8B,CAAC,2BAA2B,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,gCAAgC,CAAC,UAAsB;IAC5D,MAAM,MAAM,GAAG,qCAAqC,CAAC,UAAU,CAAC,CAAC;IACjE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;IACtF,MAAM,CAAE,UAAU,GAAG,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,UAAU,EAAE,GAAG,IAAI,CAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IACrF,OAAO,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAChD,wBAAwB,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,0BAA0B,CACtC,UAAsB,EACtB,OAA+B;IAE/B,IAAI,WAAW,CAAC,0BAA0B,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,gCAAgC,CAAC,UAAU,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,gCAAgC,CAAC,UAAU,CAAC,CAAC;AACrG,CAAC"}

package/dead-code-eliminator/expression-facts.js

@@ -0,0 +1,176 @@
+import { Node as TsMorphNode, SyntaxKind, VariableDeclarationKind } from 'ts-morph';
+import { originIsTrustedPureImport, resolveImportedExpressionPath } from "./imported-expression-origin.js";
+import { unwrapExpression } from "./expression-unwrapping.js";
+import { exportPurityForOrigin } from "./liveness/external-purity-summary.js";
+export const pureValueFact = { origin: undefined, type: 'pure-value' };
+export const pureLocalObjectFact = { type: 'pure-object', origin: undefined };
+export const unknownFact = { origin: undefined, type: 'unknown' };
+export function expressionFactIsPure(fact) {
+    return ['pure-callable', 'pure-object', 'pure-value'].includes(fact.type);
+}
+export function expressionFactOrigin(fact) {
+    return fact.origin;
+}
+export function purityCheckerFor(factFor) {
+    return function (candidate) {
+        return expressionFactIsPure(factFor(candidate));
+    };
+}
+export function pureObjectWithOrigin(origin) {
+    return { type: 'pure-object', origin };
+}
+export function pureCallableWithOrigin(origin) {
+    return { type: 'pure-callable', origin };
+}
+function importedExpressionFact(origin, expression, settings) {
+    if (originIsTrustedPureImport(origin, settings)) {
+        return pureObjectWithOrigin(origin);
+    }
+    const exportPurity = exportPurityForOrigin(origin, expression.getSourceFile());
+    if (exportPurity === 'pure-callable') {
+        return pureCallableWithOrigin(origin);
+    }
+    if (exportPurity === 'pure-object') {
+        return pureObjectWithOrigin(origin);
+    }
+    return pureValueFact;
+}
+function syntaxKindIsOneOf(kind, ...candidates) {
+    return candidates.includes(kind);
+}
+function declarationKindIsAlwaysAvailable(kind) {
+    return syntaxKindIsOneOf(kind, SyntaxKind.FunctionDeclaration, SyntaxKind.ImportClause, SyntaxKind.ImportSpecifier, SyntaxKind.NamespaceImport, SyntaxKind.Parameter);
+}
+function declarationKindIsOrdered(kind) {
+    return syntaxKindIsOneOf(kind, SyntaxKind.ClassDeclaration, SyntaxKind.EnumDeclaration, SyntaxKind.VariableDeclaration);
+}
+function declarationKindHasImportedOrigin(kind) {
+    return syntaxKindIsOneOf(kind, SyntaxKind.ImportClause, SyntaxKind.ImportSpecifier, SyntaxKind.NamespaceImport);
+}
+function operatorKindIsAssignment(kind) {
+    return syntaxKindIsOneOf(kind, SyntaxKind.EqualsToken, SyntaxKind.PlusEqualsToken, SyntaxKind.MinusEqualsToken, SyntaxKind.AsteriskEqualsToken, SyntaxKind.AsteriskAsteriskEqualsToken, SyntaxKind.SlashEqualsToken, SyntaxKind.PercentEqualsToken, SyntaxKind.LessThanLessThanEqualsToken, SyntaxKind.GreaterThanGreaterThanEqualsToken, SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken, SyntaxKind.AmpersandEqualsToken, SyntaxKind.BarEqualsToken, SyntaxKind.CaretEqualsToken, SyntaxKind.AmpersandAmpersandEqualsToken, SyntaxKind.BarBarEqualsToken, SyntaxKind.QuestionQuestionEqualsToken);
+}
+function declarationIsAvailableBeforeRead(declaration, expression) {
+    return Math.sign(expression.getStart() - declaration.getEnd()) === 1;
+}
+function declarationMakesIdentifierReadPure(declaration, expression) {
+    const kind = declaration.getKind();
+    if (declarationKindIsAlwaysAvailable(kind)) {
+        return true;
+    }
+    if (declarationKindIsOrdered(kind)) {
+        return declarationIsAvailableBeforeRead(declaration, expression);
+    }
+    return false;
+}
+function identifierDeclarations(expression) {
+    const symbol = expression.getSymbol();
+    return symbol?.getDeclarations() ?? [];
+}
+function rootMutationIdentifier(expression) {
+    const unwrapped = unwrapExpression(expression);
+    if (TsMorphNode.isIdentifier(unwrapped)) {
+        return unwrapped;
+    }
+    if (TsMorphNode.isPropertyAccessExpression(unwrapped) || TsMorphNode.isElementAccessExpression(unwrapped)) {
+        return rootMutationIdentifier(unwrapped.getExpression());
+    }
+    return undefined;
+}
+function binaryExpressionMutationRecord(expression) {
+    if (!TsMorphNode.isBinaryExpression(expression)) {
+        return undefined;
+    }
+    if (!operatorKindIsAssignment(expression.getOperatorToken().getKind())) {
+        return undefined;
+    }
+    const identifier = rootMutationIdentifier(expression.getLeft());
+    return identifier === undefined ? undefined : { name: identifier.getText(), start: expression.getStart() };
+}
+function updateExpressionMutationRecord(expression) {
+    if (!TsMorphNode.isPrefixUnaryExpression(expression) && !TsMorphNode.isPostfixUnaryExpression(expression)) {
+        return undefined;
+    }
+    const operator = expression.getOperatorToken();
+    if (operator !== SyntaxKind.PlusPlusToken && operator !== SyntaxKind.MinusMinusToken) {
+        return undefined;
+    }
+    const identifier = rootMutationIdentifier(expression.getOperand());
+    return identifier === undefined ? undefined : { name: identifier.getText(), start: expression.getStart() };
+}
+function mutationRecordForNode(node) {
+    return binaryExpressionMutationRecord(node) ?? updateExpressionMutationRecord(node);
+}
+function* collectMutationRecords(sourceFile) {
+    for (const node of sourceFile.getDescendants()) {
+        const record = mutationRecordForNode(node);
+        if (record !== undefined) {
+            yield record;
+        }
+    }
+}
+function mutationRecordTargetsDeclaration(record, declaration, read) {
+    return record.name === declaration.getName() &&
+        Math.sign(record.start - declaration.getEnd()) === 1 &&
+        Math.sign(read.getStart() - record.start) === 1;
+}
+function declarationIsMutatedBeforeRead(declaration, read) {
+    for (const record of collectMutationRecords(read.getSourceFile())) {
+        if (mutationRecordTargetsDeclaration(record, declaration, read)) {
+            return true;
+        }
+    }
+    return false;
+}
+function variableDeclarationIsConst(declaration) {
+    const statement = declaration.getFirstAncestorByKindOrThrow(SyntaxKind.VariableStatement);
+    return statement.getDeclarationKind() === VariableDeclarationKind.Const;
+}
+function factNeedsMutationCheck(fact) {
+    return fact.type === 'pure-object' || fact.type === 'pure-callable';
+}
+function variableInitializerFact(declaration, factFor) {
+    const initializer = declaration.getInitializer();
+    return initializer === undefined ? pureValueFact : factFor(initializer);
+}
+function variableDeclarationFact(declaration, expression, factFor) {
+    if (!declarationIsAvailableBeforeRead(declaration, expression)) {
+        return unknownFact;
+    }
+    if (!variableDeclarationIsConst(declaration)) {
+        return pureValueFact;
+    }
+    const initializerFact = variableInitializerFact(declaration, factFor);
+    if (!factNeedsMutationCheck(initializerFact)) {
+        return initializerFact;
+    }
+    return declarationIsMutatedBeforeRead(declaration, expression) ? pureValueFact : initializerFact;
+}
+function importedOriginForIdentifierDeclaration(declaration, expression) {
+    return declarationKindHasImportedOrigin(declaration.getKind())
+        ? resolveImportedExpressionPath(expression)
+        : undefined;
+}
+function declarationFactForIdentifier(declaration, expression, factFor, settings) {
+    const origin = importedOriginForIdentifierDeclaration(declaration, expression);
+    if (origin !== undefined) {
+        return importedExpressionFact(origin, expression, settings);
+    }
+    if (TsMorphNode.isVariableDeclaration(declaration)) {
+        return variableDeclarationFact(declaration, expression, factFor);
+    }
+    return declarationMakesIdentifierReadPure(declaration, expression) ? pureValueFact : unknownFact;
+}
+export function identifierReadFact(expression, factFor, settings) {
+    if (expression.getText() === 'undefined') {
+        return pureValueFact;
+    }
+    for (const declaration of identifierDeclarations(expression)) {
+        const fact = declarationFactForIdentifier(declaration, expression, factFor, settings);
+        if (expressionFactIsPure(fact)) {
+            return fact;
+        }
+    }
+    return unknownFact;
+}
+//# sourceMappingURL=expression-facts.js.map

package/dead-code-eliminator/expression-facts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-facts.js","sourceRoot":"","sources":["../../../../source/dead-code-eliminator/expression-facts.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,IAAI,IAAI,WAAW,EACnB,UAAU,EACV,uBAAuB,EAM1B,MAAM,UAAU,CAAC;AAElB,OAAO,EACH,yBAAyB,EACzB,6BAA6B,EAGhC,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAY9E,MAAM,CAAC,MAAM,aAAa,GAAmB,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AACvF,MAAM,CAAC,MAAM,mBAAmB,GAAmB,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AAC9F,MAAM,CAAC,MAAM,WAAW,GAAmB,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAElF,MAAM,UAAU,oBAAoB,CAAC,IAAoB;IACrD,OAAO,CAAE,eAAe,EAAE,aAAa,EAAE,YAAY,CAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAoB;IACrD,OAAO,IAAI,CAAC,MAAM,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,OAA+B;IAC5D,OAAO,UAAU,SAAS;QACtB,OAAO,oBAAoB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAgC;IACjE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAgC;IACnE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,sBAAsB,CAC3B,MAAgC,EAChC,UAAsB,EACtB,QAAiD;IAEjD,IAAI,yBAAyB,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC9C,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,YAAY,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;IAC/E,IAAI,YAAY,KAAK,eAAe,EAAE,CAAC;QACnC,OAAO,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,YAAY,KAAK,aAAa,EAAE,CAAC;QACjC,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,aAAa,CAAC;AACzB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAgB,EAAE,GAAG,UAAiC;IAC7E,OAAO,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,gCAAgC,CAAC,IAAgB;IACtD,OAAO,iBAAiB,CACpB,IAAI,EACJ,UAAU,CAAC,mBAAmB,EAC9B,UAAU,CAAC,YAAY,EACvB,UAAU,CAAC,eAAe,EAC1B,UAAU,CAAC,eAAe,EAC1B,UAAU,CAAC,SAAS,CACvB,CAAC;AACN,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAgB;IAC9C,OAAO,iBAAiB,CACpB,IAAI,EACJ,UAAU,CAAC,gBAAgB,EAC3B,UAAU,CAAC,eAAe,EAC1B,UAAU,CAAC,mBAAmB,CACjC,CAAC;AACN,CAAC;AAED,SAAS,gCAAgC,CAAC,IAAgB;IACtD,OAAO,iBAAiB,CACpB,IAAI,EACJ,UAAU,CAAC,YAAY,EACvB,UAAU,CAAC,eAAe,EAC1B,UAAU,CAAC,eAAe,CAC7B,CAAC;AACN,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAgB;IAC9C,OAAO,iBAAiB,CACpB,IAAI,EACJ,UAAU,CAAC,WAAW,EACtB,UAAU,CAAC,eAAe,EAC1B,UAAU,CAAC,gBAAgB,EAC3B,UAAU,CAAC,mBAAmB,EAC9B,UAAU,CAAC,2BAA2B,EACtC,UAAU,CAAC,gBAAgB,EAC3B,UAAU,CAAC,kBAAkB,EAC7B,UAAU,CAAC,2BAA2B,EACtC,UAAU,CAAC,iCAAiC,EAC5C,UAAU,CAAC,4CAA4C,EACvD,UAAU,CAAC,oBAAoB,EAC/B,UAAU,CAAC,cAAc,EACzB,UAAU,CAAC,gBAAgB,EAC3B,UAAU,CAAC,6BAA6B,EACxC,UAAU,CAAC,iBAAiB,EAC5B,UAAU,CAAC,2BAA2B,CACzC,CAAC;AACN,CAAC;AAED,SAAS,gCAAgC,CAAC,WAA4B,EAAE,UAAsB;IAC1F,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,kCAAkC,CAAC,WAA4B,EAAE,UAAsB;IAC5F,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACnC,IAAI,gCAAgC,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,gCAAgC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAsB;IAClD,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC;IACtC,OAAO,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAsB;IAClD,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,IAAI,WAAW,CAAC,0BAA0B,CAAC,SAAS,CAAC,IAAI,WAAW,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxG,OAAO,sBAAsB,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,8BAA8B,CAAC,UAAuB;IAC3D,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,IAAI,CAAC,wBAAwB,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;IAChE,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,QAAQ,EAAE,EAAE,CAAC;AAC/G,CAAC;AAED,SAAS,8BAA8B,CAAC,UAAuB;IAC3D,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,wBAAwB,CAAC,UAAU,CAAC,EAAE,CAAC;QACxG,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,QAAQ,GAAG,UAAU,CAAC,gBAAgB,EAAE,CAAC;IAC/C,IAAI,QAAQ,KAAK,UAAU,CAAC,aAAa,IAAI,QAAQ,KAAK,UAAU,CAAC,eAAe,EAAE,CAAC;QACnF,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC;IACnE,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,QAAQ,EAAE,EAAE,CAAC;AAC/G,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAiB;IAC5C,OAAO,8BAA8B,CAAC,IAAI,CAAC,IAAI,8BAA8B,CAAC,IAAI,CAAC,CAAC;AACxF,CAAC;AAED,QAAQ,CAAC,CAAC,sBAAsB,CAAC,UAAsB;IACnD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,cAAc,EAAE,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,MAAM,CAAC;QACjB,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,gCAAgC,CACrC,MAAsB,EACtB,WAAgC,EAChC,IAAgB;IAEhB,OAAO,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,OAAO,EAAE;QACxC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,8BAA8B,CAAC,WAAgC,EAAE,IAAgB;IACtF,KAAK,MAAM,MAAM,IAAI,sBAAsB,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC;QAChE,IAAI,gCAAgC,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,CAAC;YAC9D,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,0BAA0B,CAAC,WAAgC;IAChE,MAAM,SAAS,GAAG,WAAW,CAAC,6BAA6B,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;IAC1F,OAAO,SAAS,CAAC,kBAAkB,EAAE,KAAK,uBAAuB,CAAC,KAAK,CAAC;AAC5E,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAoB;IAChD,OAAO,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC;AACxE,CAAC;AAED,SAAS,uBAAuB,CAC5B,WAAgC,EAChC,OAA+B;IAE/B,MAAM,WAAW,GAAG,WAAW,CAAC,cAAc,EAAE,CAAC;IACjD,OAAO,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,uBAAuB,CAC5B,WAAgC,EAChC,UAAsB,EACtB,OAA+B;IAE/B,IAAI,CAAC,gCAAgC,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;QAC7D,OAAO,WAAW,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,0BAA0B,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,OAAO,aAAa,CAAC;IACzB,CAAC;IACD,MAAM,eAAe,GAAG,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,CAAC,sBAAsB,CAAC,eAAe,CAAC,EAAE,CAAC;QAC3C,OAAO,eAAe,CAAC;IAC3B,CAAC;IACD,OAAO,8BAA8B,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC;AACrG,CAAC;AAED,SAAS,sCAAsC,CAC3C,WAA4B,EAC5B,UAAsB;IAEtB,OAAO,gCAAgC,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;QAC1D,CAAC,CAAC,6BAA6B,CAAC,UAAU,CAAC;QAC3C,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AAED,SAAS,4BAA4B,CACjC,WAA4B,EAC5B,UAAsB,EACtB,OAA+B,EAC/B,QAAiD;IAEjD,MAAM,MAAM,GAAG,sCAAsC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAC/E,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,sBAAsB,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,WAAW,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;QACjD,OAAO,uBAAuB,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,kCAAkC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC;AACrG,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,UAAsB,EACtB,OAA+B,EAC/B,QAAiD;IAEjD,IAAI,UAAU,CAAC,OAAO,EAAE,KAAK,WAAW,EAAE,CAAC;QACvC,OAAO,aAAa,CAAC;IACzB,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,sBAAsB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,4BAA4B,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACtF,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC;AACvB,CAAC"}

package/dead-code-eliminator/imported-expression-origin.js

@@ -46,7 +46,7 @@ function originMatchesTrustedImport(origin, trustedImport) {
     const [pathHead = trustedImport.from] = origin.path;
     return pathHead !== trustedImport.from && trustedImport.imports.includes(pathHead);
 }
-function expressionOriginIsTrusted(origin, settings) {
+export function originIsTrustedPureImport(origin, settings) {
     const pureImports = settings?.pureImports;
     if (origin === undefined || pureImports === undefined) {
         return false;
@@ -63,41 +63,20 @@ function arePureCallArguments(callArguments, recurse) {
         return TsMorphNode.isExpression(argument) && recurse(argument);
     });
 }
-function appendPropertyAccess(base, propertyName) {
-    return base === undefined ? undefined : { from: base.from, path: [...base.path, propertyName] };
-}
-function originOfTrustedCall(callee, callArguments, recurse, settings) {
-    if (!expressionOriginIsTrusted(callee, settings)) {
-        return undefined;
-    }
-    return arePureCallArguments(callArguments, recurse) ? callee : undefined;
-}
 export function resolveImportedExpressionPath(expression) {
     const identifier = unwrapExpression(expression).asKind(SyntaxKind.Identifier);
     return identifier === undefined ? undefined : importedOriginForIdentifier(identifier);
 }
-function propertyAccessOrigin(expression, recurse, settings, resolveOrigin) {
-    if (!TsMorphNode.isPropertyAccessExpression(expression)) {
-        return undefined;
-    }
-    const base = resolveOrigin(expression.getExpression(), recurse, settings);
-    return appendPropertyAccess(base, expression.getName());
-}
-function trustedCallOrigin(expression, recurse, settings, resolveOrigin) {
-    if (!TsMorphNode.isCallExpression(expression)) {
-        return undefined;
-    }
-    const callee = resolveOrigin(expression.getExpression(), recurse, settings);
-    return originOfTrustedCall(callee, expression.getArguments(), recurse, settings);
-}
-export function resolveImportedExpressionOrigin(expression, recurse, settings) {
+export function resolveImportedExpressionPropertyPath(expression) {
     const unwrapped = unwrapExpression(expression);
-    const directOrigin = resolveImportedExpressionPath(unwrapped);
-    if (directOrigin !== undefined) {
-        return directOrigin;
+    if (TsMorphNode.isIdentifier(unwrapped)) {
+        return resolveImportedExpressionPath(unwrapped);
+    }
+    if (TsMorphNode.isPropertyAccessExpression(unwrapped)) {
+        const base = resolveImportedExpressionPropertyPath(unwrapped.getExpression());
+        return base === undefined ? undefined : { from: base.from, path: [...base.path, unwrapped.getName()] };
     }
-    return propertyAccessOrigin(unwrapped, recurse, settings, resolveImportedExpressionOrigin) ??
-        trustedCallOrigin(unwrapped, recurse, settings, resolveImportedExpressionOrigin);
+    return undefined;
 }
 export { arePureCallArguments };
 //# sourceMappingURL=imported-expression-origin.js.map

package/dead-code-eliminator/imported-expression-origin.js.map

@@ -1 +1 @@
-{"version":3,"file":"imported-expression-origin.js","sourceRoot":"","sources":["../../../../source/dead-code-eliminator/imported-expression-origin.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,WAAW,EAAE,UAAU,EAAoC,MAAM,UAAU,CAAC;AAE7F,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAoB9D,SAAS,4BAA4B,CAAC,WAAwB;IAC1D,IAAI,WAAW,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7C,OAAO;YACH,IAAI,EAAE,WAAW,CAAC,oBAAoB,EAAE,CAAC,uBAAuB,EAAE;YAClE,IAAI,EAAE,CAAE,WAAW,CAAC,OAAO,EAAE,CAAE;SAClC,CAAC;IACN,CAAC;IAED,IAAI,WAAW,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7C,MAAM,iBAAiB,GAAG,WAAW,CAAC,6BAA6B,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAClG,OAAO;YACH,IAAI,EAAE,iBAAiB,CAAC,uBAAuB,EAAE;YACjD,IAAI,EAAE,EAAE;SACX,CAAC;IACN,CAAC;IAED,IAAI,WAAW,CAAC,cAAc,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1C,MAAM,iBAAiB,GAAG,WAAW,CAAC,6BAA6B,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAClG,OAAO;YACH,IAAI,EAAE,iBAAiB,CAAC,uBAAuB,EAAE;YACjD,IAAI,EAAE,CAAE,SAAS,CAAE;SACtB,CAAC;IACN,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,2BAA2B,CAAC,UAAsB;IACvD,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC;IACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;QACzD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,MAAM,CAAC;QAClB,CAAC;IACL,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,0BAA0B,CAC/B,MAAgC,EAChC,aAA4B;IAE5B,IAAI,aAAa,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,aAAa,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,CAAE,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IACtD,OAAO,QAAQ,KAAK,aAAa,CAAC,IAAI,IAAI,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,yBAAyB,CAC9B,MAA4C,EAC5C,QAAiD;IAEjD,MAAM,WAAW,GAAG,QAAQ,EAAE,WAAW,CAAC;IAC1C,IAAI,MAAM,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC,UAAU,aAAa;QAC3C,OAAO,0BAA0B,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,oBAAoB,CAAC,aAAqC,EAAE,OAAgC;IACjG,OAAO,aAAa,CAAC,KAAK,CAAC,UAAU,QAAQ;QACzC,IAAI,WAAW,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxC,OAAO,OAAO,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,OAAO,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,oBAAoB,CACzB,IAA0C,EAC1C,YAAoB;IAEpB,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAE,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,CAAE,EAAE,CAAC;AACtG,CAAC;AAED,SAAS,mBAAmB,CACxB,MAA4C,EAC5C,aAAqC,EACrC,OAAgC,EAChC,QAAiD;IAEjD,IAAI,CAAC,yBAAyB,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,oBAAoB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,UAAsB;IAChE,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAC9E,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,2BAA2B,CAAC,UAAU,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,oBAAoB,CACzB,UAAsB,EACtB,OAAgC,EAChC,QAAiD,EACjD,aAA+C;IAE/C,IAAI,CAAC,WAAW,CAAC,0BAA0B,CAAC,UAAU,CAAC,EAAE,CAAC;QACtD,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC1E,OAAO,oBAAoB,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,iBAAiB,CACtB,UAAsB,EACtB,OAAgC,EAChC,QAAiD,EACjD,aAA+C;IAE/C,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC5E,OAAO,mBAAmB,CAAC,MAAM,EAAE,UAAU,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC3C,UAAsB,EACtB,OAAgC,EAChC,QAAiD;IAEjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,6BAA6B,CAAC,SAAS,CAAC,CAAC;IAC9D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,YAAY,CAAC;IACxB,CAAC;IACD,OAAO,oBAAoB,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,+BAA+B,CAAC;QACtF,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,+BAA+B,CAAC,CAAC;AACzF,CAAC;AAED,OAAO,EAAE,oBAAoB,EAAE,CAAC"}
+{"version":3,"file":"imported-expression-origin.js","sourceRoot":"","sources":["../../../../source/dead-code-eliminator/imported-expression-origin.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,WAAW,EAAE,UAAU,EAAoC,MAAM,UAAU,CAAC;AAE7F,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAc9D,SAAS,4BAA4B,CAAC,WAAwB;IAC1D,IAAI,WAAW,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7C,OAAO;YACH,IAAI,EAAE,WAAW,CAAC,oBAAoB,EAAE,CAAC,uBAAuB,EAAE;YAClE,IAAI,EAAE,CAAE,WAAW,CAAC,OAAO,EAAE,CAAE;SAClC,CAAC;IACN,CAAC;IAED,IAAI,WAAW,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7C,MAAM,iBAAiB,GAAG,WAAW,CAAC,6BAA6B,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAClG,OAAO;YACH,IAAI,EAAE,iBAAiB,CAAC,uBAAuB,EAAE;YACjD,IAAI,EAAE,EAAE;SACX,CAAC;IACN,CAAC;IAED,IAAI,WAAW,CAAC,cAAc,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1C,MAAM,iBAAiB,GAAG,WAAW,CAAC,6BAA6B,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAClG,OAAO;YACH,IAAI,EAAE,iBAAiB,CAAC,uBAAuB,EAAE;YACjD,IAAI,EAAE,CAAE,SAAS,CAAE;SACtB,CAAC;IACN,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,2BAA2B,CAAC,UAAsB;IACvD,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC;IACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;QACzD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,MAAM,CAAC;QAClB,CAAC;IACL,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,0BAA0B,CAC/B,MAAgC,EAChC,aAA4B;IAE5B,IAAI,aAAa,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,aAAa,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,CAAE,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IACtD,OAAO,QAAQ,KAAK,aAAa,CAAC,IAAI,IAAI,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AACvF,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAA4C,EAC5C,QAAiD;IAEjD,MAAM,WAAW,GAAG,QAAQ,EAAE,WAAW,CAAC;IAC1C,IAAI,MAAM,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC,UAAU,aAAa;QAC3C,OAAO,0BAA0B,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,oBAAoB,CAAC,aAAqC,EAAE,OAAgC;IACjG,OAAO,aAAa,CAAC,KAAK,CAAC,UAAU,QAAQ;QACzC,IAAI,WAAW,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxC,OAAO,OAAO,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,OAAO,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,UAAsB;IAChE,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAC9E,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,2BAA2B,CAAC,UAAU,CAAC,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,qCAAqC,CAAC,UAAsB;IACxE,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,OAAO,6BAA6B,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,WAAW,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,qCAAqC,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;QAC9E,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAE,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,CAAE,EAAE,CAAC;IAC7G,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,OAAO,EAAE,oBAAoB,EAAE,CAAC"}

package/dead-code-eliminator/liveness/external-purity-summary.js

@@ -312,4 +312,17 @@ export function exportPurityForOrigin(origin, containingSourceFile) {
     }
     return buildExternalPuritySummary(sourceFile).exports.get(exportKey(origin)) ?? 'unknown';
 }
+export function exportHasPureObjectReturnForOrigin(origin, containingSourceFile) {
+    const sourceFile = resolvedModuleSourceFile(origin.from, containingSourceFile);
+    if (sourceFile === undefined) {
+        return false;
+    }
+    const nestedExportPrefix = `${exportKey(origin)}.`;
+    for (const key of buildExternalPuritySummary(sourceFile).exports.keys()) {
+        if (key.startsWith(nestedExportPrefix)) {
+            return true;
+        }
+    }
+    return false;
+}
 //# sourceMappingURL=external-purity-summary.js.map

package/dead-code-eliminator/liveness/external-purity-summary.js.map

@@ -1 +1 @@
-{"version":3,"file":"external-purity-summary.js","sourceRoot":"","sources":["../../../../../source/dead-code-eliminator/liveness/external-purity-summary.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACH,IAAI,IAAI,WAAW,EACnB,UAAU,EAeb,MAAM,UAAU,CAAC;AAClB,OAAO,EACH,8BAA8B,EAC9B,+BAA+B,EAClC,MAAM,0DAA0D,CAAC;AAElE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAoC/D,MAAM,eAAe,GAAiC,EAAE,CAAC;AAEzD,SAAS,qBAAqB,CAAC,KAAc;IACzC,OAAO,KAAK,YAAY,GAAG,CAAC;AAChC,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAgB;IACzC,MAAM,MAAM,GAAY,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,EAAiC,CAAC;IAChG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAgB;IAClD,OAAO,IAAI,KAAK,UAAU,CAAC,aAAa,IAAI,IAAI,KAAK,UAAU,CAAC,cAAc,CAAC;AACnF,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAgB;IAC7C,OAAO,IAAI,KAAK,UAAU,CAAC,WAAW,IAAI,IAAI,KAAK,UAAU,CAAC,YAAY,CAAC;AAC/E,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAgB;IAC1C,OAAO,4BAA4B,CAAC,IAAI,CAAC;QACrC,uBAAuB,CAAC,IAAI,CAAC;QAC7B,IAAI,KAAK,UAAU,CAAC,WAAW,CAAC;AACxC,CAAC;AAED,SAAS,yBAAyB,CAAC,YAA2B;IAC1D,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC;IACpC,OAAO,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED,SAAS,qBAAqB,CAC1B,YAA0E;IAE1E,OAAO,YAAY,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,yBAAyB,CAC9B,YAA0E;IAE1E,MAAM,IAAI,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,CAAE,SAAS,CAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAC3C,OAAO,WAAW,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5F,CAAC;AAED,SAAS,oBAAoB,CAAC,YAA0B;IACpD,IAAI,WAAW,CAAC,eAAe,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5C,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,+BAA+B,CAAC,UAAsB;IAC3D,OAAO,WAAW,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACpD,WAAW,CAAC,wBAAwB,CAAC,UAAU,CAAC;QAChD,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC;QACvC,WAAW,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,2BAA2B,CAAC,UAAsB;IACvD,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,OAAO,oBAAoB,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,IAAI,+BAA+B,CAAC,SAAS,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,yBAAyB,CAAC,YAA0B;IACzD,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,UAAU,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IACtD,OAAO,UAAU,KAAK,SAAS,IAAI,2BAA2B,CAAC,UAAU,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,cAAc,CAAC,YAA0B;IAC9C,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC;AAED,SAAS,yBAAyB,CAAC,WAAuB;IACtD,IAAI,WAAW,CAAC,oBAAoB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5F,OAAO,cAAc,CAAC,WAAW,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,WAAW,CAAC,yBAAyB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1F,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAqB;IAClD,IAAI,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1F,OAAO,QAAQ,CAAC;IACpB,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,cAAc,CAAC,QAAiC;IACrD,IAAI,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,yBAAyB,CAAC,QAAQ,CAAC,qBAAqB,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,YAAY,CAAC,QAAiC;IACnD,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IACxC,OAAO,WAAW,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;AAClG,CAAC;AAED,SAAS,+BAA+B,CACpC,UAAkB,EAClB,YAA0B,EAC1B,oBAA4C;IAE5C,MAAM,SAAS,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC;IACvE,OAAO,WAAW,CAAC,yBAAyB,CAAC,SAAS,CAAC;QACnD,CAAC,CAAC,oBAAoB,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC;QACxD,CAAC,CAAC,eAAe,CAAC;AAC1B,CAAC;AAED,SAAS,yBAAyB,CAC9B,YAAoB,EACpB,QAAqB,EACrB,oBAA4C;IAE5C,OAAO,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QAC5C,CAAC,CAAC,+BAA+B,CAAC,YAAY,EAAE,QAAQ,EAAE,oBAAoB,CAAC;QAC/E,CAAC,CAAC,eAAe,CAAC;AAC1B,CAAC;AAED,SAAS,qCAAqC,CAC1C,YAAoB,EACpB,QAAqB,EACrB,oBAA4C;IAE5C,IAAI,CAAC,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9C,OAAO,eAAe,CAAC;IAC3B,CAAC;IACD,MAAM,WAAW,GAAG,QAAQ,CAAC,qBAAqB,EAAE,CAAC;IACrD,OAAO,WAAW,CAAC,oBAAoB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,eAAe,CAAC,WAAW,CAAC;QAC5F,CAAC,CAAC,+BAA+B,CAAC,YAAY,EAAE,WAAW,EAAE,oBAAoB,CAAC;QAClF,CAAC,CAAC,eAAe,CAAC;AAC1B,CAAC;AAED,SAAS,2BAA2B,CAChC,UAAkB,EAClB,QAAqB,EACrB,oBAA4C;IAE5C,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,eAAe,CAAC;IAC3B,CAAC;IACD,MAAM,IAAI,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,GAAG,UAAU,IAAI,IAAI,EAAE,CAAC;IAC7C,OAAO;QACH,CAAE,YAAY,EAAE,cAAc,CAAC,iBAAiB,CAAC,CAAE;QACnD,GAAG,yBAAyB,CAAC,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,CAAC;QACnF,GAAG,qCAAqC,CAAC,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,CAAC;KAClG,CAAC;AACN,CAAC;AAED,SAAS,0BAA0B,CAC/B,UAAkB,EAClB,WAAoC,EACpC,UAAoC;IAEpC,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,aAAa,EAAE,EAAE,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAAC,UAAU,EAAE,QAAQ,EAAE,0BAA0B,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,CAAE,UAAU,EAAE,UAAU,CAAE,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAgC;IAC3D,MAAM,WAAW,GAAG,WAAW,CAAC,cAAc,EAAE,CAAC;IACjD,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACnC,IAAI,WAAW,CAAC,yBAAyB,CAAC,WAAW,CAAC,EAAE,CAAC;QACrD,OAAO,0BAA0B,CAAC,IAAI,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,WAAW,CAAC,oBAAoB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5F,OAAO;YACH,CAAE,IAAI,EAAE,cAAc,CAAC,WAAW,CAAC,CAAE;YACrC,GAAG,+BAA+B,CAAC,IAAI,EAAE,WAAW,EAAE,0BAA0B,CAAC;SACpF,CAAC;IACN,CAAC;IACD,OAAO,eAAe,CAAC;AAC3B,CAAC;AAED,SAAS,iBAAiB,CAAC,WAAgC,EAAE,OAAuB;IAChF,KAAK,MAAM,CAAE,IAAI,EAAE,MAAM,CAAE,IAAI,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;QAChE,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACjB,OAAuB,EACvB,MAAc,EACd,MAAyC;IAEzC,KAAK,MAAM,CAAE,GAAG,EAAE,KAAK,CAAE,IAAI,MAAM,EAAE,CAAC;QAClC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;QAChB,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACtD,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,oBAAgC;IACtE,OAAO,8BAA8B,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,6BAA6B,CAAC,QAAgB,EAAE,oBAAgC;IACrF,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzC,OAAO,SAAS,KAAK,MAAM,IAAI,SAAS,KAAK,KAAK,IAAI,cAAc,CAAC,QAAQ,EAAE,oBAAoB,CAAC,KAAK,QAAQ,CAAC;AACtH,CAAC;AAED,SAAS,wBAAwB,CAC7B,eAAuB,EACvB,oBAAgC;IAEhC,MAAM,QAAQ,GAAG,+BAA+B,CAAC;QAC7C,eAAe;QACf,oBAAoB;QACpB,cAAc,EAAE,SAAS;KAC5B,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,6BAA6B,CAAC,QAAQ,EAAE,oBAAoB,CAAC,EAAE,CAAC;QAC3F,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,UAAU,EAAE,CAAC;IAClD,OAAO,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAuB,EAAE,eAAuB;IAC3E,MAAM,MAAM,GAAG,wBAAwB,CAAC,eAAe,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAC7E,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,kBAAkB,CAAC,UAAkB;IAC1C,OAAO,GAAG,UAAU,GAAG,CAAC;AAC5B,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAsB;IACpD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,KAAK,MAAM,WAAW,IAAI,UAAU,CAAC,qBAAqB,EAAE,EAAE,CAAC;QAC3D,MAAM,SAAS,GAAG,WAAW,CAAC,kBAAkB,EAAE,CAAC;QACnD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC1B,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,WAAW,CAAC,uBAAuB,EAAE,CAAC,CAAC;QAC/E,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,sBAAsB,CAC3B,OAAuB,EACvB,UAAkB,EAClB,YAAoB,EACpB,OAA8B;IAE9B,MAAM,MAAM,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAE,GAAG,EAAE,KAAK,CAAE,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAC3C,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,YAAY,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACrF,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACrB,OAAuB,EACvB,WAA4B,EAC5B,OAA8B;IAE9B,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,UAAU,CAAC;IACzE,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC,CAAC;IACvF,sBAAsB,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,iBAAiB,CACtB,OAAuB,EACvB,WAA8B,EAC9B,OAA8B;IAE9B,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,eAAe,EAAE,EAAE,CAAC;QACtD,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAC7B,OAAuB,EACvB,WAA8B,EAC9B,OAA8B;IAE9B,IAAI,WAAW,CAAC,eAAe,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,YAAY,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC3C,OAAO;IACX,CAAC;IACD,iBAAiB,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,4BAA4B,CACjC,OAAuB,EACvB,WAA8B,EAC9B,eAAuB;IAEvB,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAChE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;IACX,CAAC;IACD,MAAM,eAAe,GAAG,WAAW,CAAC,kBAAkB,EAAE,CAAC;IACzD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAChC,YAAY,CAAC,OAAO,EAAE,eAAe,CAAC,OAAO,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAClE,OAAO;IACX,CAAC;IACD,wBAAwB,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,sBAAsB,CAC3B,OAAuB,EACvB,WAA4B,EAC5B,eAAuB;IAEvB,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAChE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;IACX,CAAC;IACD,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,UAAU,CAAC;IACzE,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,2BAA2B,CAAC,OAAuB,EAAE,WAA8B;IACxF,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,eAAe,EAAE,EAAE,CAAC;QACtD,MAAM,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QACtE,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAChC,sBAAsB,CAAC,OAAO,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;QAClE,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAuB,EAAE,WAA8B;IACnF,MAAM,eAAe,GAAG,WAAW,CAAC,uBAAuB,EAAE,CAAC;IAC9D,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAChC,4BAA4B,CAAC,OAAO,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;QACpE,OAAO;IACX,CAAC;IACD,2BAA2B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAoB,EAAE,OAAuB;IACpE,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC;QAC3E,OAAO;IACX,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;IAChE,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CAAC,SAAoB,EAAE,OAAuB;IAC9E,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC;QACzE,OAAO;IACX,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,EAAE,EAAE,CAAC;QACpD,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAuB,EAAE,SAAoB;IACxE,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtC,2BAA2B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,sBAAsB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC/C,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACnB,UAAsB,EACtB,cAAoC,EACpC,YAA0C;IAE1C,OAAO;QACH,UAAU;QACV,UAAU,EAAE,wBAAwB,CAAC,UAAU,CAAC;QAChD,cAAc;QACd,YAAY;KACf,CAAC;AACN,CAAC;AAED,SAAS,2BAA2B,CAChC,UAAsB,EACtB,KAAmB,EACnB,YAA0C;IAE1C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAwB,CAAC;IACvD,MAAM,OAAO,GAA0B,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;IACnE,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;IACzE,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,aAAa,EAAE,EAAE,CAAC;QACjD,qBAAqB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,SAAS,0BAA0B,CAAC,UAAsB;IACtD,MAAM,KAAK,GAAG,mBAAmB,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;IACnD,OAAO,MAAM,IAAI,2BAA2B,CAAC,UAAU,EAAE,KAAK,EAAE,0BAA0B,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,SAAS,CAAC,MAAgC;IAC/C,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACjC,MAAgC,EAChC,oBAAgC;IAEhC,MAAM,UAAU,GAAG,wBAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC/E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,0BAA0B,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,SAAS,CAAC;AAC9F,CAAC"}
+{"version":3,"file":"external-purity-summary.js","sourceRoot":"","sources":["../../../../../source/dead-code-eliminator/liveness/external-purity-summary.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACH,IAAI,IAAI,WAAW,EACnB,UAAU,EAeb,MAAM,UAAU,CAAC;AAClB,OAAO,EACH,8BAA8B,EAC9B,+BAA+B,EAClC,MAAM,0DAA0D,CAAC;AAElE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAoC/D,MAAM,eAAe,GAAiC,EAAE,CAAC;AAEzD,SAAS,qBAAqB,CAAC,KAAc;IACzC,OAAO,KAAK,YAAY,GAAG,CAAC;AAChC,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAgB;IACzC,MAAM,MAAM,GAAY,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,EAAiC,CAAC;IAChG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAgB;IAClD,OAAO,IAAI,KAAK,UAAU,CAAC,aAAa,IAAI,IAAI,KAAK,UAAU,CAAC,cAAc,CAAC;AACnF,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAgB;IAC7C,OAAO,IAAI,KAAK,UAAU,CAAC,WAAW,IAAI,IAAI,KAAK,UAAU,CAAC,YAAY,CAAC;AAC/E,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAgB;IAC1C,OAAO,4BAA4B,CAAC,IAAI,CAAC;QACrC,uBAAuB,CAAC,IAAI,CAAC;QAC7B,IAAI,KAAK,UAAU,CAAC,WAAW,CAAC;AACxC,CAAC;AAED,SAAS,yBAAyB,CAAC,YAA2B;IAC1D,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC;IACpC,OAAO,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED,SAAS,qBAAqB,CAC1B,YAA0E;IAE1E,OAAO,YAAY,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,yBAAyB,CAC9B,YAA0E;IAE1E,MAAM,IAAI,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,CAAE,SAAS,CAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAC3C,OAAO,WAAW,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5F,CAAC;AAED,SAAS,oBAAoB,CAAC,YAA0B;IACpD,IAAI,WAAW,CAAC,eAAe,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5C,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,+BAA+B,CAAC,UAAsB;IAC3D,OAAO,WAAW,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACpD,WAAW,CAAC,wBAAwB,CAAC,UAAU,CAAC;QAChD,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC;QACvC,WAAW,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,2BAA2B,CAAC,UAAsB;IACvD,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,OAAO,oBAAoB,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,IAAI,+BAA+B,CAAC,SAAS,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,yBAAyB,CAAC,YAA0B;IACzD,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,UAAU,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IACtD,OAAO,UAAU,KAAK,SAAS,IAAI,2BAA2B,CAAC,UAAU,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,cAAc,CAAC,YAA0B;IAC9C,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC;AAED,SAAS,yBAAyB,CAAC,WAAuB;IACtD,IAAI,WAAW,CAAC,oBAAoB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5F,OAAO,cAAc,CAAC,WAAW,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,WAAW,CAAC,yBAAyB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1F,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAqB;IAClD,IAAI,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1F,OAAO,QAAQ,CAAC;IACpB,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,cAAc,CAAC,QAAiC;IACrD,IAAI,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,yBAAyB,CAAC,QAAQ,CAAC,qBAAqB,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,YAAY,CAAC,QAAiC;IACnD,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IACxC,OAAO,WAAW,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;AAClG,CAAC;AAED,SAAS,+BAA+B,CACpC,UAAkB,EAClB,YAA0B,EAC1B,oBAA4C;IAE5C,MAAM,SAAS,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC;IACvE,OAAO,WAAW,CAAC,yBAAyB,CAAC,SAAS,CAAC;QACnD,CAAC,CAAC,oBAAoB,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC;QACxD,CAAC,CAAC,eAAe,CAAC;AAC1B,CAAC;AAED,SAAS,yBAAyB,CAC9B,YAAoB,EACpB,QAAqB,EACrB,oBAA4C;IAE5C,OAAO,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QAC5C,CAAC,CAAC,+BAA+B,CAAC,YAAY,EAAE,QAAQ,EAAE,oBAAoB,CAAC;QAC/E,CAAC,CAAC,eAAe,CAAC;AAC1B,CAAC;AAED,SAAS,qCAAqC,CAC1C,YAAoB,EACpB,QAAqB,EACrB,oBAA4C;IAE5C,IAAI,CAAC,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9C,OAAO,eAAe,CAAC;IAC3B,CAAC;IACD,MAAM,WAAW,GAAG,QAAQ,CAAC,qBAAqB,EAAE,CAAC;IACrD,OAAO,WAAW,CAAC,oBAAoB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,eAAe,CAAC,WAAW,CAAC;QAC5F,CAAC,CAAC,+BAA+B,CAAC,YAAY,EAAE,WAAW,EAAE,oBAAoB,CAAC;QAClF,CAAC,CAAC,eAAe,CAAC;AAC1B,CAAC;AAED,SAAS,2BAA2B,CAChC,UAAkB,EAClB,QAAqB,EACrB,oBAA4C;IAE5C,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,eAAe,CAAC;IAC3B,CAAC;IACD,MAAM,IAAI,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,GAAG,UAAU,IAAI,IAAI,EAAE,CAAC;IAC7C,OAAO;QACH,CAAE,YAAY,EAAE,cAAc,CAAC,iBAAiB,CAAC,CAAE;QACnD,GAAG,yBAAyB,CAAC,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,CAAC;QACnF,GAAG,qCAAqC,CAAC,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,CAAC;KAClG,CAAC;AACN,CAAC;AAED,SAAS,0BAA0B,CAC/B,UAAkB,EAClB,WAAoC,EACpC,UAAoC;IAEpC,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,aAAa,EAAE,EAAE,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAAC,UAAU,EAAE,QAAQ,EAAE,0BAA0B,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,CAAE,UAAU,EAAE,UAAU,CAAE,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAgC;IAC3D,MAAM,WAAW,GAAG,WAAW,CAAC,cAAc,EAAE,CAAC;IACjD,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACnC,IAAI,WAAW,CAAC,yBAAyB,CAAC,WAAW,CAAC,EAAE,CAAC;QACrD,OAAO,0BAA0B,CAAC,IAAI,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,WAAW,CAAC,oBAAoB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5F,OAAO;YACH,CAAE,IAAI,EAAE,cAAc,CAAC,WAAW,CAAC,CAAE;YACrC,GAAG,+BAA+B,CAAC,IAAI,EAAE,WAAW,EAAE,0BAA0B,CAAC;SACpF,CAAC;IACN,CAAC;IACD,OAAO,eAAe,CAAC;AAC3B,CAAC;AAED,SAAS,iBAAiB,CAAC,WAAgC,EAAE,OAAuB;IAChF,KAAK,MAAM,CAAE,IAAI,EAAE,MAAM,CAAE,IAAI,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;QAChE,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACjB,OAAuB,EACvB,MAAc,EACd,MAAyC;IAEzC,KAAK,MAAM,CAAE,GAAG,EAAE,KAAK,CAAE,IAAI,MAAM,EAAE,CAAC;QAClC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;QAChB,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACtD,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,oBAAgC;IACtE,OAAO,8BAA8B,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,6BAA6B,CAAC,QAAgB,EAAE,oBAAgC;IACrF,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzC,OAAO,SAAS,KAAK,MAAM,IAAI,SAAS,KAAK,KAAK,IAAI,cAAc,CAAC,QAAQ,EAAE,oBAAoB,CAAC,KAAK,QAAQ,CAAC;AACtH,CAAC;AAED,SAAS,wBAAwB,CAC7B,eAAuB,EACvB,oBAAgC;IAEhC,MAAM,QAAQ,GAAG,+BAA+B,CAAC;QAC7C,eAAe;QACf,oBAAoB;QACpB,cAAc,EAAE,SAAS;KAC5B,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,6BAA6B,CAAC,QAAQ,EAAE,oBAAoB,CAAC,EAAE,CAAC;QAC3F,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,UAAU,EAAE,CAAC;IAClD,OAAO,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAuB,EAAE,eAAuB;IAC3E,MAAM,MAAM,GAAG,wBAAwB,CAAC,eAAe,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAC7E,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,kBAAkB,CAAC,UAAkB;IAC1C,OAAO,GAAG,UAAU,GAAG,CAAC;AAC5B,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAsB;IACpD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,KAAK,MAAM,WAAW,IAAI,UAAU,CAAC,qBAAqB,EAAE,EAAE,CAAC;QAC3D,MAAM,SAAS,GAAG,WAAW,CAAC,kBAAkB,EAAE,CAAC;QACnD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC1B,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,WAAW,CAAC,uBAAuB,EAAE,CAAC,CAAC;QAC/E,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,sBAAsB,CAC3B,OAAuB,EACvB,UAAkB,EAClB,YAAoB,EACpB,OAA8B;IAE9B,MAAM,MAAM,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAE,GAAG,EAAE,KAAK,CAAE,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAC3C,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,YAAY,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACrF,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACrB,OAAuB,EACvB,WAA4B,EAC5B,OAA8B;IAE9B,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,UAAU,CAAC;IACzE,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC,CAAC;IACvF,sBAAsB,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,iBAAiB,CACtB,OAAuB,EACvB,WAA8B,EAC9B,OAA8B;IAE9B,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,eAAe,EAAE,EAAE,CAAC;QACtD,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAC7B,OAAuB,EACvB,WAA8B,EAC9B,OAA8B;IAE9B,IAAI,WAAW,CAAC,eAAe,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,YAAY,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC3C,OAAO;IACX,CAAC;IACD,iBAAiB,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,4BAA4B,CACjC,OAAuB,EACvB,WAA8B,EAC9B,eAAuB;IAEvB,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAChE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;IACX,CAAC;IACD,MAAM,eAAe,GAAG,WAAW,CAAC,kBAAkB,EAAE,CAAC;IACzD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAChC,YAAY,CAAC,OAAO,EAAE,eAAe,CAAC,OAAO,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAClE,OAAO;IACX,CAAC;IACD,wBAAwB,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,sBAAsB,CAC3B,OAAuB,EACvB,WAA4B,EAC5B,eAAuB;IAEvB,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAChE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;IACX,CAAC;IACD,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,UAAU,CAAC;IACzE,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,2BAA2B,CAAC,OAAuB,EAAE,WAA8B;IACxF,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,eAAe,EAAE,EAAE,CAAC;QACtD,MAAM,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QACtE,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAChC,sBAAsB,CAAC,OAAO,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;QAClE,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAuB,EAAE,WAA8B;IACnF,MAAM,eAAe,GAAG,WAAW,CAAC,uBAAuB,EAAE,CAAC;IAC9D,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAChC,4BAA4B,CAAC,OAAO,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;QACpE,OAAO;IACX,CAAC;IACD,2BAA2B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAoB,EAAE,OAAuB;IACpE,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC;QAC3E,OAAO;IACX,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;IAChE,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CAAC,SAAoB,EAAE,OAAuB;IAC9E,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC;QACzE,OAAO;IACX,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,EAAE,EAAE,CAAC;QACpD,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAuB,EAAE,SAAoB;IACxE,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtC,2BAA2B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,sBAAsB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC/C,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACnB,UAAsB,EACtB,cAAoC,EACpC,YAA0C;IAE1C,OAAO;QACH,UAAU;QACV,UAAU,EAAE,wBAAwB,CAAC,UAAU,CAAC;QAChD,cAAc;QACd,YAAY;KACf,CAAC;AACN,CAAC;AAED,SAAS,2BAA2B,CAChC,UAAsB,EACtB,KAAmB,EACnB,YAA0C;IAE1C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAwB,CAAC;IACvD,MAAM,OAAO,GAA0B,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;IACnE,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;IACzE,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,aAAa,EAAE,EAAE,CAAC;QACjD,qBAAqB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,SAAS,0BAA0B,CAAC,UAAsB;IACtD,MAAM,KAAK,GAAG,mBAAmB,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;IACnD,OAAO,MAAM,IAAI,2BAA2B,CAAC,UAAU,EAAE,KAAK,EAAE,0BAA0B,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,SAAS,CAAC,MAAgC;IAC/C,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACjC,MAAgC,EAChC,oBAAgC;IAEhC,MAAM,UAAU,GAAG,wBAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC/E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,0BAA0B,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,SAAS,CAAC;AAC9F,CAAC;AAED,MAAM,UAAU,kCAAkC,CAC9C,MAAgC,EAChC,oBAAgC;IAEhC,MAAM,UAAU,GAAG,wBAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC/E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,kBAAkB,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;IACnD,KAAK,MAAM,GAAG,IAAI,0BAA0B,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QACtE,IAAI,GAAG,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACrC,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/dead-code-eliminator/pure-expression.js

@@ -1,30 +1,18 @@
-import path from 'node:path';
-import { Node as TsMorphNode, SyntaxKind, VariableDeclarationKind } from 'ts-morph';
-import { packageTypeForResolvedFilePath, resolveTypescriptModuleFilePath } from "../dependency-scanner/typescript-module-resolution.js";
+import { Node as TsMorphNode, SyntaxKind } from 'ts-morph';
+import { computedPropertyNameIsPure } from "./computed-property-key-purity.js";
 import { unwrapExpression } from "./expression-unwrapping.js";
-import { arePureCallArguments, resolveImportedExpressionOrigin, resolveImportedExpressionPath } from "./imported-expression-origin.js";
-import { externalCallIsPure } from "./liveness/external-purity.js";
+import { expressionFactIsPure, expressionFactOrigin, identifierReadFact, pureCallableWithOrigin, pureLocalObjectFact, pureObjectWithOrigin, pureValueFact, purityCheckerFor, unknownFact } from "./expression-facts.js";
+import { arePureCallArguments, originIsTrustedPureImport, resolveImportedExpressionPropertyPath } from "./imported-expression-origin.js";
+import { exportHasPureObjectReturnForOrigin, exportPurityForOrigin } from "./liveness/external-purity-summary.js";
 import { allowedBinaryOperators, allowedPrefixUnaryOperators, inherentlyPurePropertyKinds, pureLeafKinds } from "./syntax-kind-sets.js";
-const alwaysAvailableDeclarationKinds = new Set([
-    SyntaxKind.FunctionDeclaration,
-    SyntaxKind.ImportClause,
-    SyntaxKind.ImportSpecifier,
-    SyntaxKind.NamespaceImport,
-    SyntaxKind.Parameter
-]);
-const orderedDeclarationKinds = new Set([
-    SyntaxKind.ClassDeclaration,
-    SyntaxKind.EnumDeclaration,
-    SyntaxKind.VariableDeclaration
-]);
-function isPureArrayElement(element, recurse) {
+function isPureArrayElement(element, factFor) {
     if (TsMorphNode.isOmittedExpression(element)) {
         return true;
     }
     if (TsMorphNode.isSpreadElement(element)) {
-        return recurse(element.getExpression());
+        return expressionFactIsPure(factFor(element.getExpression()));
     }
-    return recurse(element);
+    return expressionFactIsPure(factFor(element));
 }
 function computedPropertyNameExpression(property) {
     if (TsMorphNode.isPropertyAssignment(property) ||
@@ -38,226 +26,235 @@ function computedPropertyNameExpression(property) {
     }
     return undefined;
 }
-function packageTypeFor(filePath, containingSourceFile) {
-    return packageTypeForResolvedFilePath({ filePath, containingSourceFile });
-}
-function isRuntimeModuleSource(filePath, containingSourceFile) {
-    return path.extname(filePath) === '.js' && packageTypeFor(filePath, containingSourceFile) === 'module';
-}
-function resolvedRuntimeSourceFile(moduleSpecifier, containingSourceFile) {
-    const filePath = resolveTypescriptModuleFilePath({
-        moduleSpecifier,
-        containingSourceFile,
-        resolutionMode: 'runtime'
-    });
-    if (filePath === undefined || !isRuntimeModuleSource(filePath, containingSourceFile)) {
-        return undefined;
-    }
-    const project = containingSourceFile.getProject();
-    return project.getSourceFile(filePath) ?? project.addSourceFileAtPathIfExists(filePath);
-}
-function objectPropertyInitializer(expression, propertyName) {
-    const property = expression.getProperty(propertyName);
-    return TsMorphNode.isPropertyAssignment(property) ? property.getInitializerOrThrow() : undefined;
-}
-function primitiveKeyExpression(expression) {
-    return TsMorphNode.isStringLiteral(unwrapExpression(expression));
-}
-function expressionMemberIsPrimitiveKey(expression, propertyName) {
-    const unwrapped = unwrapExpression(expression);
-    if (!TsMorphNode.isObjectLiteralExpression(unwrapped)) {
-        return false;
-    }
-    return primitiveKeyExpression(objectPropertyInitializer(unwrapped, propertyName));
-}
-function constDeclarationInitializer(declaration) {
-    const statement = declaration.getFirstAncestorByKindOrThrow(SyntaxKind.VariableStatement);
-    return statement.isExported() && statement.getDeclarationKind() === VariableDeclarationKind.Const
-        ? declaration.getInitializer()
-        : undefined;
-}
-function exportPathIsPrimitiveKey(sourceFile, exportName, propertyName) {
-    const declaration = sourceFile.getVariableDeclaration(exportName);
-    if (declaration === undefined) {
-        return false;
-    }
-    return expressionMemberIsPrimitiveKey(constDeclarationInitializer(declaration), propertyName);
-}
-function importedExpressionPath(expression) {
-    const unwrapped = unwrapExpression(expression);
-    if (TsMorphNode.isIdentifier(unwrapped)) {
-        return resolveImportedExpressionPath(unwrapped);
-    }
-    if (TsMorphNode.isPropertyAccessExpression(unwrapped)) {
-        const base = importedExpressionPath(unwrapped.getExpression());
-        return base === undefined ? undefined : { from: base.from, path: [...base.path, unwrapped.getName()] };
-    }
-    return undefined;
-}
-function importedExpressionIsPrimitiveKey(expression) {
-    const origin = importedExpressionPath(expression);
-    if (origin === undefined) {
-        return false;
-    }
-    const sourceFile = resolvedRuntimeSourceFile(origin.from, expression.getSourceFile());
-    const [exportName = origin.from, propertyName = exportName, ...rest] = origin.path;
-    return sourceFile !== undefined && rest.length === 0 &&
-        exportPathIsPrimitiveKey(sourceFile, exportName, propertyName);
-}
-function computedPropertyNameIsPure(expression, recurse) {
-    return recurse(expression) || importedExpressionIsPrimitiveKey(expression);
-}
-function isPurePropertyAssignment(property, recurse) {
+function propertyAssignmentCreationIsPure(property, factFor) {
     const computedNameExpression = computedPropertyNameExpression(property);
     if (computedNameExpression !== undefined &&
-        !computedPropertyNameIsPure(computedNameExpression, recurse)) {
+        !computedPropertyNameIsPure(computedNameExpression, factFor)) {
         return false;
     }
     if (TsMorphNode.isPropertyAssignment(property)) {
-        return recurse(property.getInitializerOrThrow());
+        return expressionFactIsPure(factFor(property.getInitializerOrThrow()));
     }
     if (TsMorphNode.isSpreadAssignment(property)) {
-        return recurse(property.getExpression());
+        return expressionFactIsPure(factFor(property.getExpression()));
     }
     return inherentlyPurePropertyKinds.has(property.getKind());
 }
-function declarationIsAvailableBeforeRead(declaration, expression) {
-    return Math.sign(expression.getStart() - declaration.getEnd()) === 1;
-}
-function declarationMakesIdentifierReadPure(declaration, expression) {
-    const kind = declaration.getKind();
-    if (alwaysAvailableDeclarationKinds.has(kind)) {
-        return true;
-    }
-    if (orderedDeclarationKinds.has(kind)) {
-        return declarationIsAvailableBeforeRead(declaration, expression);
+function spreadAssignmentSourceIsSafe(property, factFor) {
+    if (TsMorphNode.isSpreadAssignment(property)) {
+        return factFor(property.getExpression()).type === 'pure-object';
     }
-    return false;
-}
-function identifierDeclarations(expression) {
-    const symbol = expression.getSymbol();
-    return symbol?.getDeclarations() ?? [];
+    return true;
 }
-function isPureIdentifierRead(expression) {
-    if (expression.getText() === 'undefined') {
-        return true;
-    }
-    return identifierDeclarations(expression).some(function (declaration) {
-        return declarationMakesIdentifierReadPure(declaration, expression);
-    });
+function createdObjectPropertyIsSafeToSpread(property, factFor) {
+    return !TsMorphNode.isGetAccessorDeclaration(property) &&
+        !TsMorphNode.isSetAccessorDeclaration(property) &&
+        spreadAssignmentSourceIsSafe(property, factFor);
 }
-function isPureBuiltinCallExpression(callTarget, expression, recurse) {
+function isPureBuiltinCallExpression(callTarget, expression, factFor) {
     return TsMorphNode.isIdentifier(callTarget) && callTarget.getText() === 'Symbol'
-        ? arePureCallArguments(expression.getArguments(), recurse)
+        ? arePureCallArguments(expression.getArguments(), purityCheckerFor(factFor))
         : false;
 }
 function hasPureAnnotation(expression) {
     const text = expression.getFullText();
     return text.includes('@__PURE__') || text.includes('#__PURE__');
 }
-function pureAnnotationMakesCallPure(expression, recurse) {
-    return hasPureAnnotation(expression) && arePureCallArguments(expression.getArguments(), recurse);
+function pureAnnotationMakesCallPure(expression, factFor) {
+    return hasPureAnnotation(expression) && arePureCallArguments(expression.getArguments(), purityCheckerFor(factFor));
+}
+function appendOriginPath(origin, segment) {
+    return origin === undefined ? undefined : { from: origin.from, path: [...origin.path, segment] };
+}
+function originForExpressionFact(expression, factFor) {
+    return expressionFactOrigin(factFor(expression));
+}
+function originForCallTarget(expression, factFor, settings) {
+    const unwrapped = unwrapExpression(expression);
+    if (TsMorphNode.isPropertyAccessExpression(unwrapped)) {
+        const base = unwrapped.getExpression();
+        const baseOrigin = TsMorphNode.isPropertyAccessExpression(unwrapExpression(base))
+            ? originForCallTarget(base, factFor, settings)
+            : resolveImportedExpressionPropertyPath(base) ?? originForExpressionFact(base, factFor);
+        return appendOriginPath(baseOrigin, unwrapped.getName());
+    }
+    return resolveImportedExpressionPropertyPath(unwrapped) ?? originForExpressionFact(unwrapped, factFor);
+}
+function externalCallResultFact(origin, expression) {
+    if (exportPurityForOrigin(origin, expression.getSourceFile()) !== 'pure-callable') {
+        return unknownFact;
+    }
+    return exportHasPureObjectReturnForOrigin(origin, expression.getSourceFile())
+        ? pureObjectWithOrigin(origin)
+        : pureValueFact;
 }
-function isPureCallExpression(expression, recurse, settings) {
+function importedCallResultFact(origin, expression, factFor, settings) {
+    if (origin === undefined || !arePureCallArguments(expression.getArguments(), purityCheckerFor(factFor))) {
+        return unknownFact;
+    }
+    if (originIsTrustedPureImport(origin, settings)) {
+        return pureObjectWithOrigin(origin);
+    }
+    return externalCallResultFact(origin, expression);
+}
+function callExpressionFact(expression, factFor, settings) {
     const callTarget = unwrapExpression(expression.getExpression());
-    return (pureAnnotationMakesCallPure(expression, recurse) ||
-        isPureBuiltinCallExpression(callTarget, expression, recurse) ||
-        externalCallIsPure(expression, recurse) ||
-        resolveImportedExpressionOrigin(expression, recurse, settings) !== undefined);
+    if (pureAnnotationMakesCallPure(expression, factFor) ||
+        isPureBuiltinCallExpression(callTarget, expression, factFor)) {
+        return pureValueFact;
+    }
+    const importedCallFact = importedCallResultFact(originForCallTarget(callTarget, factFor, settings), expression, factFor, settings);
+    return importedCallFact;
+}
+function propertyAccessExpressionFact(expression, factFor, settings) {
+    const origin = originForCallTarget(expression, factFor, settings);
+    if (origin === undefined) {
+        return unknownFact;
+    }
+    if (originIsTrustedPureImport(origin, settings)) {
+        return pureObjectWithOrigin(origin);
+    }
+    const exportPurity = exportPurityForOrigin(origin, expression.getSourceFile());
+    if (exportPurity === 'pure-callable') {
+        return pureCallableWithOrigin(origin);
+    }
+    return exportPurity === 'pure-object' ? pureObjectWithOrigin(origin) : unknownFact;
 }
 function constructorNameIsTrusted(constructorExpression, settings) {
     return TsMorphNode.isIdentifier(constructorExpression) &&
         settings?.pureConstructors?.includes(constructorExpression.getText()) === true;
 }
-function isPureNewExpression(expression, recurse, settings) {
+function isPureNewExpression(expression, factFor, settings) {
     const constructorExpression = unwrapExpression(expression.getExpression());
     const trustedConstructorCall = constructorNameIsTrusted(constructorExpression, settings) &&
-        arePureCallArguments(expression.getArguments(), recurse);
-    return pureAnnotationMakesCallPure(expression, recurse) || trustedConstructorCall;
+        arePureCallArguments(expression.getArguments(), purityCheckerFor(factFor));
+    return pureAnnotationMakesCallPure(expression, factFor) || trustedConstructorCall;
 }
-function templateExpressionIsPure(expression, recurse) {
-    return expression
+function templateExpressionFact(expression, factFor) {
+    const spansArePure = expression
         .asKindOrThrow(SyntaxKind.TemplateExpression)
         .getTemplateSpans()
         .every(function (span) {
-        return recurse(span.getExpression());
+        return expressionFactIsPure(factFor(span.getExpression()));
     });
+    return spansArePure ? pureValueFact : unknownFact;
 }
-function arrayLiteralExpressionIsPure(expression, recurse) {
-    return expression
+function arrayLiteralExpressionFact(expression, factFor) {
+    const elementsArePure = expression
         .asKindOrThrow(SyntaxKind.ArrayLiteralExpression)
         .getElements()
         .every(function (element) {
-        return isPureArrayElement(element, recurse);
+        return isPureArrayElement(element, factFor);
     });
+    return elementsArePure ? pureValueFact : unknownFact;
 }
-function objectLiteralExpressionIsPure(expression, recurse) {
-    return expression
+function objectLiteralExpressionFact(expression, factFor) {
+    const properties = expression
         .asKindOrThrow(SyntaxKind.ObjectLiteralExpression)
-        .getProperties()
-        .every(function (property) {
-        return isPurePropertyAssignment(property, recurse);
+        .getProperties();
+    if (properties.some(function (property) {
+        return !propertyAssignmentCreationIsPure(property, factFor);
+    })) {
+        return unknownFact;
+    }
+    const hasSpread = properties.some(function (property) {
+        return TsMorphNode.isSpreadAssignment(property);
+    });
+    const spreadSourcesAreSafe = properties.every(function (property) {
+        return spreadAssignmentSourceIsSafe(property, factFor);
+    });
+    if (hasSpread && !spreadSourcesAreSafe) {
+        return unknownFact;
+    }
+    const createdObjectIsSafeToSpread = properties.every(function (property) {
+        return createdObjectPropertyIsSafeToSpread(property, factFor);
     });
+    return createdObjectIsSafeToSpread
+        ? pureLocalObjectFact
+        : pureValueFact;
 }
-function prefixUnaryExpressionIsPure(expression, recurse) {
+function prefixUnaryExpressionFact(expression, factFor) {
     const unary = expression.asKindOrThrow(SyntaxKind.PrefixUnaryExpression);
-    return allowedPrefixUnaryOperators.has(unary.getOperatorToken()) && recurse(unary.getOperand());
+    const operandIsPure = allowedPrefixUnaryOperators.has(unary.getOperatorToken()) &&
+        expressionFactIsPure(factFor(unary.getOperand()));
+    return operandIsPure ? pureValueFact : unknownFact;
 }
-function binaryExpressionIsPure(expression, recurse) {
+function binaryExpressionFact(expression, factFor) {
     const binary = expression.asKindOrThrow(SyntaxKind.BinaryExpression);
     if (!allowedBinaryOperators.has(binary.getOperatorToken().getKind())) {
-        return false;
+        return unknownFact;
     }
-    return recurse(binary.getLeft()) && recurse(binary.getRight());
+    return expressionFactIsPure(factFor(binary.getLeft())) && expressionFactIsPure(factFor(binary.getRight()))
+        ? pureValueFact
+        : unknownFact;
 }
-function callExpressionIsPure(expression, recurse, settings) {
-    return isPureCallExpression(expression.asKindOrThrow(SyntaxKind.CallExpression), recurse, settings);
+function callExpressionRule(expression, factFor, settings) {
+    return callExpressionFact(expression.asKindOrThrow(SyntaxKind.CallExpression), factFor, settings);
 }
-function newExpressionIsPure(expression, recurse, settings) {
-    return isPureNewExpression(expression.asKindOrThrow(SyntaxKind.NewExpression), recurse, settings);
+function newExpressionFact(expression, factFor, settings) {
+    return isPureNewExpression(expression.asKindOrThrow(SyntaxKind.NewExpression), factFor, settings)
+        ? pureValueFact
+        : unknownFact;
 }
 function literalStructurePurityRuleFor(kind) {
     if (kind === SyntaxKind.TemplateExpression) {
-        return templateExpressionIsPure;
+        return templateExpressionFact;
     }
     if (kind === SyntaxKind.ArrayLiteralExpression) {
-        return arrayLiteralExpressionIsPure;
+        return arrayLiteralExpressionFact;
     }
     if (kind === SyntaxKind.ObjectLiteralExpression) {
-        return objectLiteralExpressionIsPure;
+        return objectLiteralExpressionFact;
+    }
+    return undefined;
+}
+function memberPurityRuleFor(kind) {
+    if (kind === SyntaxKind.PropertyAccessExpression) {
+        return propertyAccessExpressionFact;
     }
     return undefined;
 }
 function operationPurityRuleFor(kind) {
     if (kind === SyntaxKind.PrefixUnaryExpression) {
-        return prefixUnaryExpressionIsPure;
+        return prefixUnaryExpressionFact;
     }
     if (kind === SyntaxKind.BinaryExpression) {
-        return binaryExpressionIsPure;
+        return binaryExpressionFact;
     }
     if (kind === SyntaxKind.CallExpression) {
-        return callExpressionIsPure;
+        return callExpressionRule;
     }
     if (kind === SyntaxKind.NewExpression) {
-        return newExpressionIsPure;
+        return newExpressionFact;
     }
     return undefined;
 }
 function expressionPurityRuleFor(kind) {
-    return literalStructurePurityRuleFor(kind) ?? operationPurityRuleFor(kind);
+    return memberPurityRuleFor(kind) ?? literalStructurePurityRuleFor(kind) ?? operationPurityRuleFor(kind);
 }
-export function isPureExpression(expression, settings) {
+function calculateExpressionFact(expression, context, factFor) {
     const unwrapped = unwrapExpression(expression);
     if (TsMorphNode.isIdentifier(unwrapped)) {
-        return isPureIdentifierRead(unwrapped);
+        return identifierReadFact(unwrapped, factFor, context.settings);
     }
-    const recurse = function (candidate) {
-        return isPureExpression(candidate, settings);
-    };
-    const kind = unwrapped.getKind();
-    if (pureLeafKinds.has(kind)) {
-        return true;
+    if (pureLeafKinds.has(unwrapped.getKind())) {
+        return pureValueFact;
     }
-    return expressionPurityRuleFor(kind)?.(unwrapped, recurse, settings) ?? false;
+    return expressionPurityRuleFor(unwrapped.getKind())?.(unwrapped, factFor, context.settings) ?? unknownFact;
+}
+function cacheCalculatedExpressionFact(expression, context, factFor) {
+    context.cache.set(expression, unknownFact);
+    const fact = calculateExpressionFact(expression, context, factFor);
+    context.cache.set(expression, fact);
+    return fact;
+}
+function expressionFactFor(expression, context) {
+    const factFor = function (candidate) {
+        return expressionFactFor(candidate, context);
+    };
+    return context.cache.get(expression) ?? cacheCalculatedExpressionFact(expression, context, factFor);
+}
+export function isPureExpression(expression, settings) {
+    return expressionFactIsPure(expressionFactFor(expression, { cache: new WeakMap(), settings }));
 }
 //# sourceMappingURL=pure-expression.js.map

package/dead-code-eliminator/pure-expression.js.map

@@ -1 +1 @@
-{"version":3,"file":"pure-expression.js","sourceRoot":"","sources":["../../../../source/dead-code-eliminator/pure-expression.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACH,IAAI,IAAI,WAAW,EACnB,UAAU,EACV,uBAAuB,EAS1B,MAAM,UAAU,CAAC;AAElB,OAAO,EACH,8BAA8B,EAC9B,+BAA+B,EAClC,MAAM,uDAAuD,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EACH,oBAAoB,EACpB,+BAA+B,EAC/B,6BAA6B,EAGhC,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EACH,sBAAsB,EACtB,2BAA2B,EAC3B,2BAA2B,EAC3B,aAAa,EAChB,MAAM,uBAAuB,CAAC;AAQ/B,MAAM,+BAA+B,GAAG,IAAI,GAAG,CAAa;IACxD,UAAU,CAAC,mBAAmB;IAC9B,UAAU,CAAC,YAAY;IACvB,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,SAAS;CACvB,CAAC,CAAC;AACH,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAa;IAChD,UAAU,CAAC,gBAAgB;IAC3B,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,mBAAmB;CACjC,CAAC,CAAC;AAEH,SAAS,kBAAkB,CAAC,OAAmB,EAAE,OAAgC;IAC7E,IAAI,WAAW,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,WAAW,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,OAAO,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,8BAA8B,CAAC,QAAqB;IACzD,IACI,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QAC1C,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QACzC,WAAW,CAAC,wBAAwB,CAAC,QAAQ,CAAC;QAC9C,WAAW,CAAC,wBAAwB,CAAC,QAAQ,CAAC,EAChD,CAAC;QACC,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,WAAW,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC;QAChC,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,oBAAgC;IACtE,OAAO,8BAA8B,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,qBAAqB,CAAC,QAAgB,EAAE,oBAAgC;IAC7E,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI,cAAc,CAAC,QAAQ,EAAE,oBAAoB,CAAC,KAAK,QAAQ,CAAC;AAC3G,CAAC;AAED,SAAS,yBAAyB,CAC9B,eAAuB,EACvB,oBAAgC;IAEhC,MAAM,QAAQ,GAAG,+BAA+B,CAAC;QAC7C,eAAe;QACf,oBAAoB;QACpB,cAAc,EAAE,SAAS;KAC5B,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,oBAAoB,CAAC,EAAE,CAAC;QACnF,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,UAAU,EAAE,CAAC;IAClD,OAAO,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,yBAAyB,CAAC,UAAmC,EAAE,YAAoB;IACxF,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IACtD,OAAO,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACrG,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAkC;IAC9D,OAAO,WAAW,CAAC,eAAe,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,8BAA8B,CAAC,UAAkC,EAAE,YAAoB;IAC5F,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,CAAC,WAAW,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,sBAAsB,CAAC,yBAAyB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,2BAA2B,CAAC,WAAgC;IACjE,MAAM,SAAS,GAAG,WAAW,CAAC,6BAA6B,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;IAC1F,OAAO,SAAS,CAAC,UAAU,EAAE,IAAI,SAAS,CAAC,kBAAkB,EAAE,KAAK,uBAAuB,CAAC,KAAK;QAC7F,CAAC,CAAC,WAAW,CAAC,cAAc,EAAE;QAC9B,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AAED,SAAS,wBAAwB,CAC7B,UAAsB,EACtB,UAAkB,EAClB,YAAoB;IAEpB,MAAM,WAAW,GAAG,UAAU,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,8BAA8B,CAAC,2BAA2B,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAsB;IAClD,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,OAAO,6BAA6B,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,WAAW,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,sBAAsB,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;QAC/D,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAE,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,CAAE,EAAE,CAAC;IAC7G,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,gCAAgC,CAAC,UAAsB;IAC5D,MAAM,MAAM,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;IACtF,MAAM,CAAE,UAAU,GAAG,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,UAAU,EAAE,GAAG,IAAI,CAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IACrF,OAAO,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAChD,wBAAwB,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,0BAA0B,CAC/B,UAAsB,EACtB,OAAgC;IAEhC,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,gCAAgC,CAAC,UAAU,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,wBAAwB,CAC7B,QAAqB,EACrB,OAAgC;IAEhC,MAAM,sBAAsB,GAAG,8BAA8B,CAAC,QAAQ,CAAC,CAAC;IACxE,IACI,sBAAsB,KAAK,SAAS;QACpC,CAAC,0BAA0B,CAAC,sBAAsB,EAAE,OAAO,CAAC,EAC9D,CAAC;QACC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,OAAO,OAAO,CAAC,QAAQ,CAAC,qBAAqB,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,WAAW,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,OAAO,OAAO,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,2BAA2B,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,gCAAgC,CAAC,WAA4B,EAAE,UAAsB;IAC1F,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,kCAAkC,CAAC,WAA4B,EAAE,UAAsB;IAC5F,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACnC,IAAI,+BAA+B,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,gCAAgC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAsB;IAClD,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC;IACtC,OAAO,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,oBAAoB,CAAC,UAAsB;IAChD,IAAI,UAAU,CAAC,OAAO,EAAE,KAAK,WAAW,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,sBAAsB,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,WAAW;QAChE,OAAO,kCAAkC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,2BAA2B,CAChC,UAAsB,EACtB,UAA0B,EAC1B,OAAgC;IAEhC,OAAO,WAAW,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,KAAK,QAAQ;QAC5E,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,OAAO,CAAC;QAC1D,CAAC,CAAC,KAAK,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAsB;IAC7C,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IACtC,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,2BAA2B,CAChC,UAA0C,EAC1C,OAAgC;IAEhC,OAAO,iBAAiB,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,OAAO,CAAC,CAAC;AACrG,CAAC;AAED,SAAS,oBAAoB,CACzB,UAA0B,EAC1B,OAAgC,EAChC,QAAiD;IAEjD,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;IAChE,OAAO,CACH,2BAA2B,CAAC,UAAU,EAAE,OAAO,CAAC;QAChD,2BAA2B,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC;QAC5D,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC;QACvC,+BAA+B,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,SAAS,CAC/E,CAAC;AACN,CAAC;AAED,SAAS,wBAAwB,CAC7B,qBAAiC,EACjC,QAAiD;IAEjD,OAAO,WAAW,CAAC,YAAY,CAAC,qBAAqB,CAAC;QAClD,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,CAAC,qBAAqB,CAAC,OAAO,EAAE,CAAC,KAAK,IAAI,CAAC;AACvF,CAAC;AAED,SAAS,mBAAmB,CACxB,UAAyB,EACzB,OAAgC,EAChC,QAAiD;IAEjD,MAAM,qBAAqB,GAAG,gBAAgB,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;IAC3E,MAAM,sBAAsB,GAAG,wBAAwB,CAAC,qBAAqB,EAAE,QAAQ,CAAC;QACpF,oBAAoB,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,OAAO,2BAA2B,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,sBAAsB,CAAC;AACtF,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAsB,EAAE,OAAgC;IACtF,OAAO,UAAU;SACZ,aAAa,CAAC,UAAU,CAAC,kBAAkB,CAAC;SAC5C,gBAAgB,EAAE;SAClB,KAAK,CAAC,UAAU,IAAI;QACjB,OAAO,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACX,CAAC;AAED,SAAS,4BAA4B,CAAC,UAAsB,EAAE,OAAgC;IAC1F,OAAO,UAAU;SACZ,aAAa,CAAC,UAAU,CAAC,sBAAsB,CAAC;SAChD,WAAW,EAAE;SACb,KAAK,CAAC,UAAU,OAAO;QACpB,OAAO,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACX,CAAC;AAED,SAAS,6BAA6B,CAClC,UAAsB,EACtB,OAAgC;IAEhC,OAAO,UAAU;SACZ,aAAa,CAAC,UAAU,CAAC,uBAAuB,CAAC;SACjD,aAAa,EAAE;SACf,KAAK,CAAC,UAAU,QAAQ;QACrB,OAAO,wBAAwB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACX,CAAC;AAED,SAAS,2BAA2B,CAAC,UAAsB,EAAE,OAAgC;IACzF,MAAM,KAAK,GAAG,UAAU,CAAC,aAAa,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC;IACzE,OAAO,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAsB,EAAE,OAAgC;IACpF,MAAM,MAAM,GAAG,UAAU,CAAC,aAAa,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;IACrE,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QACnE,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,oBAAoB,CACzB,UAAsB,EACtB,OAAgC,EAChC,QAAiD;IAEjD,OAAO,oBAAoB,CAAC,UAAU,CAAC,aAAa,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AACxG,CAAC;AAED,SAAS,mBAAmB,CACxB,UAAsB,EACtB,OAAgC,EAChC,QAAiD;IAEjD,OAAO,mBAAmB,CAAC,UAAU,CAAC,aAAa,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,6BAA6B,CAAC,IAAgB;IACnD,IAAI,IAAI,KAAK,UAAU,CAAC,kBAAkB,EAAE,CAAC;QACzC,OAAO,wBAAwB,CAAC;IACpC,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,CAAC,sBAAsB,EAAE,CAAC;QAC7C,OAAO,4BAA4B,CAAC;IACxC,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;QAC9C,OAAO,6BAA6B,CAAC;IACzC,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAgB;IAC5C,IAAI,IAAI,KAAK,UAAU,CAAC,qBAAqB,EAAE,CAAC;QAC5C,OAAO,2BAA2B,CAAC;IACvC,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACvC,OAAO,sBAAsB,CAAC;IAClC,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,CAAC,cAAc,EAAE,CAAC;QACrC,OAAO,oBAAoB,CAAC;IAChC,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;QACpC,OAAO,mBAAmB,CAAC;IAC/B,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAgB;IAC7C,OAAO,6BAA6B,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAAsB,EAAE,QAAiD;IACtG,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,OAAO,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,OAAO,GAA4B,UAAU,SAAS;QACxD,OAAO,gBAAgB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC;IACjC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC;AAClF,CAAC"}
+{"version":3,"file":"pure-expression.js","sourceRoot":"","sources":["../../../../source/dead-code-eliminator/pure-expression.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,IAAI,IAAI,WAAW,EACnB,UAAU,EAIb,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EACH,oBAAoB,EACpB,oBAAoB,EACpB,kBAAkB,EAClB,sBAAsB,EACtB,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,gBAAgB,EAChB,WAAW,EAGd,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACH,oBAAoB,EACpB,yBAAyB,EACzB,qCAAqC,EAExC,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACH,kCAAkC,EAClC,qBAAqB,EACxB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACH,sBAAsB,EACtB,2BAA2B,EAC3B,2BAA2B,EAC3B,aAAa,EAChB,MAAM,uBAAuB,CAAC;AAY/B,SAAS,kBAAkB,CAAC,OAAmB,EAAE,OAA+B;IAC5E,IAAI,WAAW,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,WAAW,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,OAAO,oBAAoB,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,8BAA8B,CAAC,QAAqB;IACzD,IACI,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QAC1C,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QACzC,WAAW,CAAC,wBAAwB,CAAC,QAAQ,CAAC;QAC9C,WAAW,CAAC,wBAAwB,CAAC,QAAQ,CAAC,EAChD,CAAC;QACC,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,WAAW,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC;QAChC,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,gCAAgC,CACrC,QAAqB,EACrB,OAA+B;IAE/B,MAAM,sBAAsB,GAAG,8BAA8B,CAAC,QAAQ,CAAC,CAAC;IACxE,IACI,sBAAsB,KAAK,SAAS;QACpC,CAAC,0BAA0B,CAAC,sBAAsB,EAAE,OAAO,CAAC,EAC9D,CAAC;QACC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,OAAO,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,WAAW,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,OAAO,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,2BAA2B,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,4BAA4B,CACjC,QAAqB,EACrB,OAA+B;IAE/B,IAAI,WAAW,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,OAAO,OAAO,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;IACpE,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,mCAAmC,CACxC,QAAqB,EACrB,OAA+B;IAE/B,OAAO,CAAC,WAAW,CAAC,wBAAwB,CAAC,QAAQ,CAAC;QAClD,CAAC,WAAW,CAAC,wBAAwB,CAAC,QAAQ,CAAC;QAC/C,4BAA4B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,2BAA2B,CAChC,UAAsB,EACtB,UAA0B,EAC1B,OAA+B;IAE/B,OAAO,WAAW,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,KAAK,QAAQ;QAC5E,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAC5E,CAAC,CAAC,KAAK,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAsB;IAC7C,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IACtC,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,2BAA2B,CAChC,UAA0C,EAC1C,OAA+B;IAE/B,OAAO,iBAAiB,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;AACvH,CAAC;AAED,SAAS,gBAAgB,CACrB,MAA4C,EAC5C,OAAe;IAEf,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,CAAE,GAAG,MAAM,CAAC,IAAI,EAAE,OAAO,CAAE,EAAE,CAAC;AACvG,CAAC;AAED,SAAS,uBAAuB,CAC5B,UAAsB,EACtB,OAA+B;IAE/B,OAAO,oBAAoB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,mBAAmB,CACxB,UAAsB,EACtB,OAA+B,EAC/B,QAAiD;IAEjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,WAAW,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,WAAW,CAAC,0BAA0B,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YAC7E,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC;YAC9C,CAAC,CAAC,qCAAqC,CAAC,IAAI,CAAC,IAAI,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5F,OAAO,gBAAgB,CAAC,UAAU,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,qCAAqC,CAAC,SAAS,CAAC,IAAI,uBAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AAC3G,CAAC;AAED,SAAS,sBAAsB,CAC3B,MAAgC,EAChC,UAA0B;IAE1B,IAAI,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,EAAE,CAAC,KAAK,eAAe,EAAE,CAAC;QAChF,OAAO,WAAW,CAAC;IACvB,CAAC;IACD,OAAO,kCAAkC,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,EAAE,CAAC;QACzE,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAC9B,CAAC,CAAC,aAAa,CAAC;AACxB,CAAC;AAED,SAAS,sBAAsB,CAC3B,MAA4C,EAC5C,UAA0B,EAC1B,OAA+B,EAC/B,QAAiD;IAEjD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACtG,OAAO,WAAW,CAAC;IACvB,CAAC;IACD,IAAI,yBAAyB,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC9C,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,sBAAsB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,kBAAkB,CACvB,UAA0B,EAC1B,OAA+B,EAC/B,QAAiD;IAEjD,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;IAChE,IACI,2BAA2B,CAAC,UAAU,EAAE,OAAO,CAAC;QAChD,2BAA2B,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC,EAC9D,CAAC;QACC,OAAO,aAAa,CAAC;IACzB,CAAC;IACD,MAAM,gBAAgB,GAAG,sBAAsB,CAC3C,mBAAmB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAClD,UAAU,EACV,OAAO,EACP,QAAQ,CACX,CAAC;IACF,OAAO,gBAAgB,CAAC;AAC5B,CAAC;AAED,SAAS,4BAA4B,CACjC,UAAsB,EACtB,OAA+B,EAC/B,QAAiD;IAEjD,MAAM,MAAM,GAAG,mBAAmB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,WAAW,CAAC;IACvB,CAAC;IACD,IAAI,yBAAyB,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC9C,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,YAAY,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;IAC/E,IAAI,YAAY,KAAK,eAAe,EAAE,CAAC;QACnC,OAAO,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,YAAY,KAAK,aAAa,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;AACvF,CAAC;AAED,SAAS,wBAAwB,CAC7B,qBAAiC,EACjC,QAAiD;IAEjD,OAAO,WAAW,CAAC,YAAY,CAAC,qBAAqB,CAAC;QAClD,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,CAAC,qBAAqB,CAAC,OAAO,EAAE,CAAC,KAAK,IAAI,CAAC;AACvF,CAAC;AAED,SAAS,mBAAmB,CACxB,UAAyB,EACzB,OAA+B,EAC/B,QAAiD;IAEjD,MAAM,qBAAqB,GAAG,gBAAgB,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;IAC3E,MAAM,sBAAsB,GAAG,wBAAwB,CAAC,qBAAqB,EAAE,QAAQ,CAAC;QACpF,oBAAoB,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/E,OAAO,2BAA2B,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,sBAAsB,CAAC;AACtF,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAsB,EAAE,OAA+B;IACnF,MAAM,YAAY,GAAG,UAAU;SAC1B,aAAa,CAAC,UAAU,CAAC,kBAAkB,CAAC;SAC5C,gBAAgB,EAAE;SAClB,KAAK,CAAC,UAAU,IAAI;QACjB,OAAO,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IACP,OAAO,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC;AACtD,CAAC;AAED,SAAS,0BAA0B,CAAC,UAAsB,EAAE,OAA+B;IACvF,MAAM,eAAe,GAAG,UAAU;SAC7B,aAAa,CAAC,UAAU,CAAC,sBAAsB,CAAC;SAChD,WAAW,EAAE;SACb,KAAK,CAAC,UAAU,OAAO;QACpB,OAAO,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IACP,OAAO,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC;AACzD,CAAC;AAED,SAAS,2BAA2B,CAChC,UAAsB,EACtB,OAA+B;IAE/B,MAAM,UAAU,GAAG,UAAU;SACxB,aAAa,CAAC,UAAU,CAAC,uBAAuB,CAAC;SACjD,aAAa,EAAE,CAAC;IACrB,IACI,UAAU,CAAC,IAAI,CAAC,UAAU,QAAQ;QAC9B,OAAO,CAAC,gCAAgC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC,CAAC,EACJ,CAAC;QACC,OAAO,WAAW,CAAC;IACvB,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,QAAQ;QAChD,OAAO,WAAW,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,MAAM,oBAAoB,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,QAAQ;QAC5D,OAAO,4BAA4B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IACH,IAAI,SAAS,IAAI,CAAC,oBAAoB,EAAE,CAAC;QACrC,OAAO,WAAW,CAAC;IACvB,CAAC;IACD,MAAM,2BAA2B,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,QAAQ;QACnE,OAAO,mCAAmC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IACH,OAAO,2BAA2B;QAC9B,CAAC,CAAC,mBAAmB;QACrB,CAAC,CAAC,aAAa,CAAC;AACxB,CAAC;AAED,SAAS,yBAAyB,CAAC,UAAsB,EAAE,OAA+B;IACtF,MAAM,KAAK,GAAG,UAAU,CAAC,aAAa,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC;QAC3E,oBAAoB,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACtD,OAAO,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC;AACvD,CAAC;AAED,SAAS,oBAAoB,CAAC,UAAsB,EAAE,OAA+B;IACjF,MAAM,MAAM,GAAG,UAAU,CAAC,aAAa,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;IACrE,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QACnE,OAAO,WAAW,CAAC;IACvB,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,oBAAoB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;QACtG,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,WAAW,CAAC;AACtB,CAAC;AAED,SAAS,kBAAkB,CACvB,UAAsB,EACtB,OAA+B,EAC/B,QAAiD;IAEjD,OAAO,kBAAkB,CAAC,UAAU,CAAC,aAAa,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,iBAAiB,CACtB,UAAsB,EACtB,OAA+B,EAC/B,QAAiD;IAEjD,OAAO,mBAAmB,CAAC,UAAU,CAAC,aAAa,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC;QAC7F,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,WAAW,CAAC;AACtB,CAAC;AAED,SAAS,6BAA6B,CAAC,IAAgB;IACnD,IAAI,IAAI,KAAK,UAAU,CAAC,kBAAkB,EAAE,CAAC;QACzC,OAAO,sBAAsB,CAAC;IAClC,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,CAAC,sBAAsB,EAAE,CAAC;QAC7C,OAAO,0BAA0B,CAAC;IACtC,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;QAC9C,OAAO,2BAA2B,CAAC;IACvC,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAgB;IACzC,IAAI,IAAI,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;QAC/C,OAAO,4BAA4B,CAAC;IACxC,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAgB;IAC5C,IAAI,IAAI,KAAK,UAAU,CAAC,qBAAqB,EAAE,CAAC;QAC5C,OAAO,yBAAyB,CAAC;IACrC,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACvC,OAAO,oBAAoB,CAAC;IAChC,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,CAAC,cAAc,EAAE,CAAC;QACrC,OAAO,kBAAkB,CAAC;IAC9B,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;QACpC,OAAO,iBAAiB,CAAC;IAC7B,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAgB;IAC7C,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,6BAA6B,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,uBAAuB,CAC5B,UAAsB,EACtB,OAA8B,EAC9B,OAA+B;IAE/B,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,WAAW,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,OAAO,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QACzC,OAAO,aAAa,CAAC;IACzB,CAAC;IACD,OAAO,uBAAuB,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC;AAC/G,CAAC;AAED,SAAS,6BAA6B,CAClC,UAAsB,EACtB,OAA8B,EAC9B,OAA+B;IAE/B,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,uBAAuB,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACnE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAsB,EAAE,OAA8B;IAC7E,MAAM,OAAO,GAA2B,UAAU,SAAS;QACvD,OAAO,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,6BAA6B,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACxG,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAAsB,EAAE,QAAiD;IACtG,OAAO,oBAAoB,CAAC,iBAAiB,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,IAAI,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;AACnG,CAAC"}

package/package.json

@@ -8,7 +8,7 @@
     ],
     "dependencies": {
         "@arethetypeswrong/core": "0.18.5",
-        "@cyclonedx/cyclonedx-library": "10.2.0",
+        "@cyclonedx/cyclonedx-library": "10.3.0",
         "@jridgewell/trace-mapping": "0.3.31",
         "@schema-hub/zod-error-formatter": "0.0.19",
         "@ts-morph/common": "0.29.0",
@@ -17,10 +17,10 @@
         "diff": "9.0.0",
         "fflate": "0.8.3",
         "hosted-git-info": "10.1.1",
-        "libnpmpublish": "12.0.0",
+        "libnpmpublish": "12.0.1",
         "npm-package-arg": "14.0.0",
         "npm-registry-fetch": "20.0.1",
-        "remeda": "2.48.0",
+        "remeda": "2.50.0",
         "semver": "7.8.5",
         "spdx-expression-parse": "5.0.0",
         "ssri": "14.0.0",
@@ -28,7 +28,7 @@
         "true-myth": "9.4.0",
         "ts-morph": "28.0.0",
         "ts-pattern": "5.9.0",
-        "type-fest": "5.9.0",
+        "type-fest": "5.10.0",
         "unix-permissions": "6.0.2",
         "zod": "4.6.5"
     },
@@ -141,7 +141,6 @@
         "./config/checks-schema.js",
         "./config/package-schemas.js",
         "./config/packtory-config-without-registry-schema.js",
-        "./dead-code-eliminator/pure-expression.js",
         "./dead-code-eliminator/syntax-kind-sets.js",
         "./dead-code-eliminator/transform/named-declaration-kinds.js",
         "./packages/package-processor.composition.js",
@@ -149,5 +148,5 @@
         "./tar/tarball-builder.js"
     ],
     "type": "module",
-    "version": "0.0.101"
+    "version": "0.0.103"
 }

package/sbom.cdx.json

@@ -9,16 +9,16 @@
                 {
                     "type": "application",
                     "name": "packtory",
-                    "version": "0.0.111"
+                    "version": "0.0.114"
                 }
             ]
         },
         "component": {
             "type": "library",
             "name": "packtory",
-            "version": "0.0.101",
-            "bom-ref": "pkg:npm/packtory@0.0.101",
-            "purl": "pkg:npm/packtory@0.0.101"
+            "version": "0.0.103",
+            "bom-ref": "pkg:npm/packtory@0.0.103",
+            "purl": "pkg:npm/packtory@0.0.103"
         }
     },
     "components": [
@@ -38,15 +38,15 @@
         {
             "type": "library",
             "name": "@cyclonedx/cyclonedx-library",
-            "version": "10.2.0",
-            "bom-ref": "pkg:npm/@cyclonedx/cyclonedx-library@10.2.0",
+            "version": "10.3.0",
+            "bom-ref": "pkg:npm/@cyclonedx/cyclonedx-library@10.3.0",
             "scope": "required",
             "licenses": [
                 {
                     "expression": "Apache-2.0"
                 }
             ],
-            "purl": "pkg:npm/@cyclonedx/cyclonedx-library@10.2.0"
+            "purl": "pkg:npm/@cyclonedx/cyclonedx-library@10.3.0"
         },
         {
             "type": "library",
@@ -155,15 +155,15 @@
         {
             "type": "library",
             "name": "libnpmpublish",
-            "version": "12.0.0",
-            "bom-ref": "pkg:npm/libnpmpublish@12.0.0",
+            "version": "12.0.1",
+            "bom-ref": "pkg:npm/libnpmpublish@12.0.1",
             "scope": "required",
             "licenses": [
                 {
                     "expression": "ISC"
                 }
             ],
-            "purl": "pkg:npm/libnpmpublish@12.0.0"
+            "purl": "pkg:npm/libnpmpublish@12.0.1"
         },
         {
             "type": "library",
@@ -194,15 +194,15 @@
         {
             "type": "library",
             "name": "remeda",
-            "version": "2.48.0",
-            "bom-ref": "pkg:npm/remeda@2.48.0",
+            "version": "2.50.0",
+            "bom-ref": "pkg:npm/remeda@2.50.0",
             "scope": "required",
             "licenses": [
                 {
                     "expression": "MIT"
                 }
             ],
-            "purl": "pkg:npm/remeda@2.48.0"
+            "purl": "pkg:npm/remeda@2.50.0"
         },
         {
             "type": "library",
@@ -298,15 +298,15 @@
         {
             "type": "library",
             "name": "type-fest",
-            "version": "5.9.0",
-            "bom-ref": "pkg:npm/type-fest@5.9.0",
+            "version": "5.10.0",
+            "bom-ref": "pkg:npm/type-fest@5.10.0",
             "scope": "required",
             "licenses": [
                 {
                     "expression": "(MIT OR CC0-1.0)"
                 }
             ],
-            "purl": "pkg:npm/type-fest@5.9.0"
+            "purl": "pkg:npm/type-fest@5.10.0"
         },
         {
             "type": "library",
@@ -340,7 +340,7 @@
             "ref": "pkg:npm/@arethetypeswrong/core@0.18.5"
         },
         {
-            "ref": "pkg:npm/@cyclonedx/cyclonedx-library@10.2.0"
+            "ref": "pkg:npm/@cyclonedx/cyclonedx-library@10.3.0"
         },
         {
             "ref": "pkg:npm/@jridgewell/trace-mapping@0.3.31"
@@ -367,7 +367,7 @@
             "ref": "pkg:npm/hosted-git-info@10.1.1"
         },
         {
-            "ref": "pkg:npm/libnpmpublish@12.0.0"
+            "ref": "pkg:npm/libnpmpublish@12.0.1"
         },
         {
             "ref": "pkg:npm/npm-package-arg@14.0.0"
@@ -376,10 +376,10 @@
             "ref": "pkg:npm/npm-registry-fetch@20.0.1"
         },
         {
-            "ref": "pkg:npm/packtory@0.0.101",
+            "ref": "pkg:npm/packtory@0.0.103",
             "dependsOn": [
                 "pkg:npm/@arethetypeswrong/core@0.18.5",
-                "pkg:npm/@cyclonedx/cyclonedx-library@10.2.0",
+                "pkg:npm/@cyclonedx/cyclonedx-library@10.3.0",
                 "pkg:npm/@jridgewell/trace-mapping@0.3.31",
                 "pkg:npm/@schema-hub/zod-error-formatter@0.0.19",
                 "pkg:npm/@ts-morph/common@0.29.0",
@@ -388,10 +388,10 @@
                 "pkg:npm/diff@9.0.0",
                 "pkg:npm/fflate@0.8.3",
                 "pkg:npm/hosted-git-info@10.1.1",
-                "pkg:npm/libnpmpublish@12.0.0",
+                "pkg:npm/libnpmpublish@12.0.1",
                 "pkg:npm/npm-package-arg@14.0.0",
                 "pkg:npm/npm-registry-fetch@20.0.1",
-                "pkg:npm/remeda@2.48.0",
+                "pkg:npm/remeda@2.50.0",
                 "pkg:npm/semver@7.8.5",
                 "pkg:npm/spdx-expression-parse@5.0.0",
                 "pkg:npm/ssri@14.0.0",
@@ -399,13 +399,13 @@
                 "pkg:npm/true-myth@9.4.0",
                 "pkg:npm/ts-morph@28.0.0",
                 "pkg:npm/ts-pattern@5.9.0",
-                "pkg:npm/type-fest@5.9.0",
+                "pkg:npm/type-fest@5.10.0",
                 "pkg:npm/unix-permissions@6.0.2",
                 "pkg:npm/zod@4.6.5"
             ]
         },
         {
-            "ref": "pkg:npm/remeda@2.48.0"
+            "ref": "pkg:npm/remeda@2.50.0"
         },
         {
             "ref": "pkg:npm/semver@7.8.5"
@@ -429,7 +429,7 @@
             "ref": "pkg:npm/ts-pattern@5.9.0"
         },
         {
-            "ref": "pkg:npm/type-fest@5.9.0"
+            "ref": "pkg:npm/type-fest@5.10.0"
         },
         {
             "ref": "pkg:npm/unix-permissions@6.0.2"

package/dead-code-eliminator/liveness/external-purity.js

@@ -1,40 +0,0 @@
-import { Node as TsMorphNode } from 'ts-morph';
-import { arePureCallArguments, resolveImportedExpressionPath } from "../imported-expression-origin.js";
-import { exportPurityForOrigin } from "./external-purity-summary.js";
-function originForPureCall(expression, recurse, resolveOrigin) {
-    const origin = resolveOrigin(expression.getExpression(), recurse);
-    if (origin === undefined || !arePureCallArguments(expression.getArguments(), recurse)) {
-        return undefined;
-    }
-    return exportPurityForOrigin(origin, expression.getSourceFile()) === 'pure-callable'
-        ? origin
-        : undefined;
-}
-function fluentOriginForCall(expression, recurse, resolveOrigin) {
-    if (!TsMorphNode.isCallExpression(expression)) {
-        return resolveImportedExpressionPath(expression);
-    }
-    return originForPureCall(expression, recurse, resolveOrigin);
-}
-function appendOriginPath(origin, segment) {
-    return origin === undefined
-        ? undefined
-        : { from: origin.from, path: [...origin.path, segment] };
-}
-function propertyAccessOrigin(expression, recurse, resolveOrigin) {
-    if (!TsMorphNode.isPropertyAccessExpression(expression)) {
-        return undefined;
-    }
-    return appendOriginPath(fluentOriginForCall(expression.getExpression(), recurse, resolveOrigin), expression.getName());
-}
-function externalCalleeOrigin(expression, recurse) {
-    const directOrigin = resolveImportedExpressionPath(expression);
-    if (directOrigin !== undefined) {
-        return directOrigin;
-    }
-    return propertyAccessOrigin(expression, recurse, externalCalleeOrigin);
-}
-export function externalCallIsPure(expression, recurse) {
-    return originForPureCall(expression, recurse, externalCalleeOrigin) !== undefined;
-}
-//# sourceMappingURL=external-purity.js.map

package/dead-code-eliminator/liveness/external-purity.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"external-purity.js","sourceRoot":"","sources":["../../../../../source/dead-code-eliminator/liveness/external-purity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,WAAW,EAAwC,MAAM,UAAU,CAAC;AACrF,OAAO,EACH,oBAAoB,EACpB,6BAA6B,EAGhC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAOrE,SAAS,iBAAiB,CACtB,UAA0B,EAC1B,OAAgC,EAChC,aAA6B;IAE7B,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,aAAa,EAAE,EAAE,OAAO,CAAC,CAAC;IAClE,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;QACpF,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,EAAE,CAAC,KAAK,eAAe;QAChF,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AAED,SAAS,mBAAmB,CACxB,UAAsB,EACtB,OAAgC,EAChC,aAA6B;IAE7B,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5C,OAAO,6BAA6B,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,iBAAiB,CAAC,UAAU,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,gBAAgB,CACrB,MAA4C,EAC5C,OAAe;IAEf,OAAO,MAAM,KAAK,SAAS;QACvB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,CAAE,GAAG,MAAM,CAAC,IAAI,EAAE,OAAO,CAAE,EAAE,CAAC;AACnE,CAAC;AAED,SAAS,oBAAoB,CACzB,UAAsB,EACtB,OAAgC,EAChC,aAA6B;IAE7B,IAAI,CAAC,WAAW,CAAC,0BAA0B,CAAC,UAAU,CAAC,EAAE,CAAC;QACtD,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,gBAAgB,CACnB,mBAAmB,CAAC,UAAU,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,aAAa,CAAC,EACvE,UAAU,CAAC,OAAO,EAAE,CACvB,CAAC;AACN,CAAC;AAED,SAAS,oBAAoB,CACzB,UAAsB,EACtB,OAAgC;IAEhC,MAAM,YAAY,GAAG,6BAA6B,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,YAAY,CAAC;IACxB,CAAC;IACD,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,oBAAoB,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,UAA0B,EAC1B,OAAgC;IAEhC,OAAO,iBAAiB,CAAC,UAAU,EAAE,OAAO,EAAE,oBAAoB,CAAC,KAAK,SAAS,CAAC;AACtF,CAAC"}