@flighthq/tool-compiler 0.5.1-edge.1687.b63c819

package/dist/packages/compiler-semantic/src/compilerOperatorDomainEvidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerOperatorDomainEvidence.js","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerOperatorDomainEvidence.ts"],"names":[],"mappings":"AAEA,oGAAoG;AACpG,6FAA6F;AAC7F,mFAAmF;AACnF,MAAM,UAAU,+BAA+B,CAC7C,QAA0B,EAC1B,IAA2B,EAC3B,KAA4B;IAE5B,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,GAAG;YACN,OAAO,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5G,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC;QACT,KAAK,IAAI;YACP,OAAO,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACvF,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,GAAG,CAAC;QACT,KAAK,GAAG;YACN,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACxE,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,GAAG,CAAC;QACT,KAAK,IAAI;YACP,OAAO,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,KAAK,IAAI,CAAC;QACV,KAAK,YAAY;YACf,OAAO,SAAS,CAAC;QACnB,KAAK,IAAI,CAAC;QACV,KAAK,IAAI;YACP,OAAO,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3C,KAAK,GAAG;YACN,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,6FAA6F;YAC7F,uEAAuE;YACvE,OAAO,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7C,CAAC;AACH,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,IAAkC;IAC7E,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC5G,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACxD,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QACrB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC,CAAC;YACtE,OAAO,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3D,CAAC;QACD,KAAK,eAAe,CAAC;QACrB,KAAK,kBAAkB,CAAC;QACxB,KAAK,cAAc,CAAC;QACpB,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/packages/compiler-semantic/src/compilerStaticNumericArithmetic.d.ts

@@ -0,0 +1,7 @@
+import type { CompilerStaticNumericArithmeticFact, IrExpression } from '../../compiler-types/src/index.js';
+type NumericArithmeticExpression = Extract<IrExpression, {
+    kind: 'assignment' | 'binary' | 'unary';
+}>;
+export declare function getCompilerStaticNumericArithmeticFact(expression: Readonly<NumericArithmeticExpression>): CompilerStaticNumericArithmeticFact | undefined;
+export {};
+//# sourceMappingURL=compilerStaticNumericArithmetic.d.ts.map

package/dist/packages/compiler-semantic/src/compilerStaticNumericArithmetic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStaticNumericArithmetic.d.ts","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerStaticNumericArithmetic.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,mCAAmC,EAKnC,YAAY,EAKb,MAAM,mCAAmC,CAAC;AAE3C,KAAK,2BAA2B,GAAG,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,GAAG,QAAQ,GAAG,OAAO,CAAA;CAAE,CAAC,CAAC;AAQtG,wBAAgB,sCAAsC,CACpD,UAAU,EAAE,QAAQ,CAAC,2BAA2B,CAAC,GAChD,mCAAmC,GAAG,SAAS,CAqDjD"}

package/dist/packages/compiler-semantic/src/compilerStaticNumericArithmetic.js

@@ -0,0 +1,107 @@
+export function getCompilerStaticNumericArithmeticFact(expression) {
+    switch (expression.kind) {
+        case 'assignment': {
+            if (!isNumericAssignmentOperator(expression.operator))
+                return undefined;
+            const result = getNumericBinaryOperationResult(expression.semantics);
+            return result
+                ? {
+                    kind: 'numericArithmetic',
+                    left: cloneOperatorOperandDomains(expression.semantics.left),
+                    operation: 'assignment',
+                    operator: expression.operator,
+                    result,
+                    right: cloneOperatorOperandDomains(expression.semantics.right),
+                }
+                : undefined;
+        }
+        case 'binary': {
+            if (!isNumericBinaryOperator(expression.operator))
+                return undefined;
+            const result = getNumericBinaryOperationResult(expression.semantics);
+            return result
+                ? {
+                    kind: 'numericArithmetic',
+                    left: cloneOperatorOperandDomains(expression.semantics.left),
+                    operation: 'binary',
+                    operator: expression.operator,
+                    result,
+                    right: cloneOperatorOperandDomains(expression.semantics.right),
+                }
+                : undefined;
+        }
+        case 'unary': {
+            const result = getNumericUnaryOperationResult(expression.semantics);
+            if (!result)
+                return undefined;
+            if (expression.postfix) {
+                return {
+                    kind: 'numericArithmetic',
+                    operand: cloneOperatorOperandDomains(expression.semantics.operand),
+                    operation: 'postfixUnary',
+                    operator: expression.operator,
+                    result,
+                };
+            }
+            return isNumericPrefixUnaryOperator(expression.operator)
+                ? {
+                    kind: 'numericArithmetic',
+                    operand: cloneOperatorOperandDomains(expression.semantics.operand),
+                    operation: 'prefixUnary',
+                    operator: expression.operator,
+                    result,
+                }
+                : undefined;
+        }
+    }
+}
+function cloneOperatorOperandDomains(domains) {
+    return { declared: domains.declared, flow: domains.flow };
+}
+function getNumericBinaryOperationResult(semantics) {
+    return semantics.left.flow === semantics.right.flow &&
+        semantics.result === semantics.left.flow &&
+        isNumericOperatorValueDomain(semantics.result)
+        ? semantics.result
+        : undefined;
+}
+function getNumericUnaryOperationResult(semantics) {
+    return semantics.result === semantics.operand.flow && isNumericOperatorValueDomain(semantics.result)
+        ? semantics.result
+        : undefined;
+}
+function isNumericAssignmentOperator(operator) {
+    return Object.hasOwn(numericAssignmentOperators, operator);
+}
+function isNumericBinaryOperator(operator) {
+    return Object.hasOwn(numericBinaryOperators, operator);
+}
+function isNumericOperatorValueDomain(domain) {
+    return domain === 'bigint' || domain === 'number';
+}
+function isNumericPrefixUnaryOperator(operator) {
+    return Object.hasOwn(numericPrefixUnaryOperators, operator);
+}
+const numericAssignmentOperators = {
+    '%=': true,
+    '**=': true,
+    '*=': true,
+    '+=': true,
+    '-=': true,
+    '/=': true,
+};
+const numericBinaryOperators = {
+    '%': true,
+    '**': true,
+    '*': true,
+    '+': true,
+    '-': true,
+    '/': true,
+};
+const numericPrefixUnaryOperators = {
+    '+': true,
+    '++': true,
+    '-': true,
+    '--': true,
+};
+//# sourceMappingURL=compilerStaticNumericArithmetic.js.map

package/dist/packages/compiler-semantic/src/compilerStaticNumericArithmetic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStaticNumericArithmetic.js","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerStaticNumericArithmetic.ts"],"names":[],"mappings":"AAqBA,MAAM,UAAU,sCAAsC,CACpD,UAAiD;IAEjD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,IAAI,CAAC,2BAA2B,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,OAAO,SAAS,CAAC;YACxE,MAAM,MAAM,GAAG,+BAA+B,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YACrE,OAAO,MAAM;gBACX,CAAC,CAAC;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,2BAA2B,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC;oBAC5D,SAAS,EAAE,YAAY;oBACvB,QAAQ,EAAE,UAAU,CAAC,QAAQ;oBAC7B,MAAM;oBACN,KAAK,EAAE,2BAA2B,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;iBAC/D;gBACH,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,OAAO,SAAS,CAAC;YACpE,MAAM,MAAM,GAAG,+BAA+B,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YACrE,OAAO,MAAM;gBACX,CAAC,CAAC;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,2BAA2B,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC;oBAC5D,SAAS,EAAE,QAAQ;oBACnB,QAAQ,EAAE,UAAU,CAAC,QAAQ;oBAC7B,MAAM;oBACN,KAAK,EAAE,2BAA2B,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;iBAC/D;gBACH,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,MAAM,GAAG,8BAA8B,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YACpE,IAAI,CAAC,MAAM;gBAAE,OAAO,SAAS,CAAC;YAC9B,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;gBACvB,OAAO;oBACL,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EAAE,2BAA2B,CAAC,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC;oBAClE,SAAS,EAAE,cAAc;oBACzB,QAAQ,EAAE,UAAU,CAAC,QAAQ;oBAC7B,MAAM;iBACP,CAAC;YACJ,CAAC;YACD,OAAO,4BAA4B,CAAC,UAAU,CAAC,QAAQ,CAAC;gBACtD,CAAC,CAAC;oBACE,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EAAE,2BAA2B,CAAC,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC;oBAClE,SAAS,EAAE,aAAa;oBACxB,QAAQ,EAAE,UAAU,CAAC,QAAQ;oBAC7B,MAAM;iBACP;gBACH,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAAC,OAA2C;IAC9E,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,+BAA+B,CACtC,SAA8E;IAE9E,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,IAAI;QACjD,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI;QACxC,4BAA4B,CAAC,SAAS,CAAC,MAAM,CAAC;QAC9C,CAAC,CAAC,SAAS,CAAC,MAAM;QAClB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,8BAA8B,CACrC,SAA6C;IAE7C,OAAO,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,OAAO,CAAC,IAAI,IAAI,4BAA4B,CAAC,SAAS,CAAC,MAAM,CAAC;QAClG,CAAC,CAAC,SAAS,CAAC,MAAM;QAClB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,2BAA2B,CAAC,QAA8B;IACjE,OAAO,MAAM,CAAC,MAAM,CAAC,0BAA0B,EAAE,QAAQ,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,uBAAuB,CAAC,QAA0B;IACzD,OAAO,MAAM,CAAC,MAAM,CAAC,sBAAsB,EAAE,QAAQ,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,4BAA4B,CAAC,MAA6B;IACjE,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ,CAAC;AACpD,CAAC;AAED,SAAS,4BAA4B,CAAC,QAA+B;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC,2BAA2B,EAAE,QAAQ,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,0BAA0B,GAAsD;IACpF,IAAI,EAAE,IAAI;IACV,KAAK,EAAE,IAAI;IACX,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;CACX,CAAC;AAEF,MAAM,sBAAsB,GAAkD;IAC5E,GAAG,EAAE,IAAI;IACT,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;CACV,CAAC;AAEF,MAAM,2BAA2B,GAAuD;IACtF,GAAG,EAAE,IAAI;IACT,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,IAAI;IACT,IAAI,EAAE,IAAI;CACX,CAAC"}

package/dist/packages/compiler-semantic/src/compilerTypeScriptForInKeyEvidence.d.ts

@@ -0,0 +1,4 @@
+import ts from 'typescript';
+import type { IrForInKeyPlan } from '../../compiler-types/src/index.js';
+export declare function getTypeScriptForInKeyEvidence(expression: ts.Expression, checker: ts.TypeChecker, sourceFile: ts.SourceFile, getPropertyName: (name: ts.PropertyName) => string): IrForInKeyPlan | undefined;
+//# sourceMappingURL=compilerTypeScriptForInKeyEvidence.d.ts.map

package/dist/packages/compiler-semantic/src/compilerTypeScriptForInKeyEvidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerTypeScriptForInKeyEvidence.d.ts","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerTypeScriptForInKeyEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AAExE,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,KAAK,MAAM,GACjD,cAAc,GAAG,SAAS,CAsB5B"}

package/dist/packages/compiler-semantic/src/compilerTypeScriptForInKeyEvidence.js

@@ -0,0 +1,159 @@
+import ts from 'typescript';
+export function getTypeScriptForInKeyEvidence(expression, checker, sourceFile, getPropertyName) {
+    const literal = getTypeScriptForInObjectLiteral(expression);
+    if (!literal) {
+        const closed = getTypeScriptForInClosedRecord(expression, checker, sourceFile, getPropertyName);
+        const keys = (closed && getTypeScriptForInObjectKeys(closed, getPropertyName)) ??
+            getTypeScriptForInDeclaredShapeKeys(expression, checker, getPropertyName);
+        return keys
+            ? { evaluation: 'alreadyEvaluated', keys: orderTypeScriptForInStaticObjectKeys(keys), kind: 'closedRecord' }
+            : undefined;
+    }
+    const keys = getTypeScriptForInObjectKeys(literal, getPropertyName);
+    if (!keys)
+        return undefined;
+    return {
+        evaluation: literal.properties.every((member) => ts.isPropertyAssignment(member) && isTypeScriptForInStaticObjectValue(member.initializer))
+            ? 'elide'
+            : 'preserve',
+        keys: orderTypeScriptForInStaticObjectKeys(keys),
+        kind: 'objectLiteral',
+    };
+}
+// A value whose written type is a closed shape has a known key set even though the value itself is
+// not a literal. The shape has to be closed in the strict sense: an index signature, a method, or a
+// heritage clause each mean a key the declaration does not list, so none of those is closed.
+function getTypeScriptForInDeclaredShapeKeys(expression, checker, getPropertyName) {
+    while (ts.isParenthesizedExpression(expression))
+        expression = expression.expression;
+    if (!ts.isIdentifier(expression))
+        return undefined;
+    const symbol = checker.getSymbolAtLocation(expression);
+    const declaration = symbol?.valueDeclaration ?? symbol?.declarations?.[0];
+    if (!declaration || !(ts.isParameter(declaration) || ts.isVariableDeclaration(declaration)))
+        return undefined;
+    const members = getTypeScriptForInShapeMembers(declaration.type, checker);
+    if (!members)
+        return undefined;
+    const keys = [];
+    for (const member of members) {
+        if (!ts.isPropertySignature(member) || member.questionToken)
+            return undefined;
+        keys.push(getPropertyName(member.name));
+    }
+    return keys.length > 0 ? keys : undefined;
+}
+function getTypeScriptForInShapeMembers(type, checker) {
+    if (!type)
+        return undefined;
+    if (ts.isTypeLiteralNode(type))
+        return type.members;
+    if (!ts.isTypeReferenceNode(type) || type.typeArguments?.length)
+        return undefined;
+    const symbol = checker.getSymbolAtLocation(type.typeName);
+    const declaration = symbol?.declarations?.[0];
+    if (declaration && ts.isInterfaceDeclaration(declaration)) {
+        return declaration.heritageClauses?.length || declaration.typeParameters?.length ? undefined : declaration.members;
+    }
+    if (declaration && ts.isTypeAliasDeclaration(declaration) && !declaration.typeParameters?.length) {
+        return getTypeScriptForInShapeMembers(declaration.type, checker);
+    }
+    return undefined;
+}
+function getTypeScriptForInClosedRecord(expression, checker, sourceFile, getPropertyName) {
+    while (ts.isParenthesizedExpression(expression))
+        expression = expression.expression;
+    if (!ts.isIdentifier(expression))
+        return undefined;
+    const symbol = checker.getSymbolAtLocation(expression);
+    const declaration = symbol?.valueDeclaration;
+    if (!symbol || !declaration || !ts.isVariableDeclaration(declaration) || !ts.isIdentifier(declaration.name)) {
+        return undefined;
+    }
+    const list = declaration.parent;
+    if (!ts.isVariableDeclarationList(list) || (list.flags & ts.NodeFlags.Const) === 0 || !declaration.initializer) {
+        return undefined;
+    }
+    const literal = getTypeScriptForInObjectLiteral(declaration.initializer);
+    if (!literal || !getTypeScriptForInObjectKeys(literal, getPropertyName))
+        return undefined;
+    let closed = true;
+    const visit = (node) => {
+        if (!closed)
+            return;
+        if (ts.isIdentifier(node) && checker.getSymbolAtLocation(node) === symbol && node !== declaration.name) {
+            const parent = node.parent;
+            if ((!ts.isForInStatement(parent) || parent.expression !== node) &&
+                !isTypeScriptForInReadOnlyPropertyObservation(node)) {
+                closed = false;
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(sourceFile);
+    return closed ? literal : undefined;
+}
+function isTypeScriptForInReadOnlyPropertyObservation(reference) {
+    const access = reference.parent;
+    if ((!ts.isPropertyAccessExpression(access) && !ts.isElementAccessExpression(access)) ||
+        access.expression !== reference) {
+        return false;
+    }
+    const use = access.parent;
+    if (ts.isDeleteExpression(use) && use.expression === access)
+        return false;
+    if ((ts.isPrefixUnaryExpression(use) || ts.isPostfixUnaryExpression(use)) &&
+        (use.operator === ts.SyntaxKind.PlusPlusToken || use.operator === ts.SyntaxKind.MinusMinusToken)) {
+        return false;
+    }
+    if (ts.isBinaryExpression(use) &&
+        use.left === access &&
+        use.operatorToken.kind >= ts.SyntaxKind.FirstAssignment &&
+        use.operatorToken.kind <= ts.SyntaxKind.LastAssignment) {
+        return false;
+    }
+    return !ts.isCallExpression(use) || use.expression !== access;
+}
+function getTypeScriptForInObjectKeys(expression, getPropertyName) {
+    const keys = [];
+    for (const member of expression.properties) {
+        if (!ts.isPropertyAssignment(member) || ts.isComputedPropertyName(member.name))
+            return undefined;
+        const key = getPropertyName(member.name);
+        if (!keys.includes(key))
+            keys.push(key);
+    }
+    return keys;
+}
+function getTypeScriptForInObjectLiteral(expression) {
+    while (ts.isParenthesizedExpression(expression) ||
+        ts.isAsExpression(expression) ||
+        ts.isSatisfiesExpression(expression) ||
+        ts.isTypeAssertionExpression(expression)) {
+        expression = expression.expression;
+    }
+    return ts.isObjectLiteralExpression(expression) ? expression : undefined;
+}
+function isTypeScriptForInStaticObjectValue(expression) {
+    return (ts.isNumericLiteral(expression) ||
+        ts.isStringLiteral(expression) ||
+        expression.kind === ts.SyntaxKind.FalseKeyword ||
+        expression.kind === ts.SyntaxKind.NullKeyword ||
+        expression.kind === ts.SyntaxKind.TrueKeyword);
+}
+function orderTypeScriptForInStaticObjectKeys(keys) {
+    const indices = [];
+    const names = [];
+    for (const key of keys) {
+        const value = Number(key);
+        if (Number.isSafeInteger(value) && value >= 0 && value < 4_294_967_295 && String(value) === key) {
+            indices.push({ key, value });
+        }
+        else {
+            names.push(key);
+        }
+    }
+    indices.sort((left, right) => left.value - right.value);
+    return [...indices.map((index) => index.key), ...names];
+}
+//# sourceMappingURL=compilerTypeScriptForInKeyEvidence.js.map

package/dist/packages/compiler-semantic/src/compilerTypeScriptForInKeyEvidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerTypeScriptForInKeyEvidence.js","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerTypeScriptForInKeyEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,MAAM,UAAU,6BAA6B,CAC3C,UAAyB,EACzB,OAAuB,EACvB,UAAyB,EACzB,eAAkD;IAElD,MAAM,OAAO,GAAG,+BAA+B,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,8BAA8B,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAChG,MAAM,IAAI,GACR,CAAC,MAAM,IAAI,4BAA4B,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;YACjE,mCAAmC,CAAC,UAAU,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;QAC5E,OAAO,IAAI;YACT,CAAC,CAAC,EAAE,UAAU,EAAE,kBAAkB,EAAE,IAAI,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE;YAC5G,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,MAAM,IAAI,GAAG,4BAA4B,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACpE,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,CAClC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,kCAAkC,CAAC,MAAM,CAAC,WAAW,CAAC,CACtG;YACC,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,UAAU;QACd,IAAI,EAAE,oCAAoC,CAAC,IAAI,CAAC;QAChD,IAAI,EAAE,eAAe;KACtB,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,oGAAoG;AACpG,6FAA6F;AAC7F,SAAS,mCAAmC,CAC1C,UAAyB,EACzB,OAAuB,EACvB,eAAkD;IAElD,OAAO,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAAE,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;IACpF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,MAAM,EAAE,gBAAgB,IAAI,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9G,MAAM,OAAO,GAAG,8BAA8B,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa;YAAE,OAAO,SAAS,CAAC;QAC9E,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5C,CAAC;AAED,SAAS,8BAA8B,CACrC,IAA6B,EAC7B,OAAuB;IAEvB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,OAAO,CAAC;IACpD,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM;QAAE,OAAO,SAAS,CAAC;IAClF,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,WAAW,IAAI,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1D,OAAO,WAAW,CAAC,eAAe,EAAE,MAAM,IAAI,WAAW,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC;IACrH,CAAC;IACD,IAAI,WAAW,IAAI,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC;QACjG,OAAO,8BAA8B,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,8BAA8B,CACrC,UAAyB,EACzB,OAAuB,EACvB,UAAyB,EACzB,eAAkD;IAElD,OAAO,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAAE,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;IACpF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,MAAM,EAAE,gBAAgB,CAAC;IAC7C,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5G,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC;IAChC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QAC/G,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAG,+BAA+B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IACzE,IAAI,CAAC,OAAO,IAAI,CAAC,4BAA4B,CAAC,OAAO,EAAE,eAAe,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,IAAI,KAAK,WAAW,CAAC,IAAI,EAAE,CAAC;YACvG,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,IACE,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC;gBAC5D,CAAC,4CAA4C,CAAC,IAAI,CAAC,EACnD,CAAC;gBACD,MAAM,GAAG,KAAK,CAAC;YACjB,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACtC,CAAC;AAED,SAAS,4CAA4C,CAAC,SAAwB;IAC5E,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,IACE,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;QACjF,MAAM,CAAC,UAAU,KAAK,SAAS,EAC/B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,IAAI,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1E,IACE,CAAC,EAAE,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;QACrE,CAAC,GAAG,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,GAAG,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAChG,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC;QAC1B,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,GAAG,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe;QACvD,GAAG,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,EACtD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,MAAM,CAAC;AAChE,CAAC;AAED,SAAS,4BAA4B,CACnC,UAAsC,EACtC,eAAkD;IAElD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC3C,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACjG,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,+BAA+B,CAAC,UAAyB;IAChE,OACE,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC;QAC7B,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC;QACpC,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,EACxC,CAAC;QACD,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3E,CAAC;AAED,SAAS,kCAAkC,CAAC,UAAyB;IACnE,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAC/B,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC9C,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC7C,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAC9C,CAAC;AACJ,CAAC;AAED,SAAS,oCAAoC,CAAC,IAAuB;IACnE,MAAM,OAAO,GAA0C,EAAE,CAAC;IAC1D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,aAAa,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;YAChG,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC;AAC1D,CAAC"}

package/dist/packages/compiler-semantic/src/compilerTypeScriptInvocationSemantics.d.ts

@@ -0,0 +1,4 @@
+import ts from 'typescript';
+import type { TypeScriptInvocationSignatureResolution } from '../../compiler-types/src/index.js';
+export declare function getTypeScriptInvocationSignatureResolution(node: ts.CallExpression | ts.NewExpression, checker: ts.TypeChecker): TypeScriptInvocationSignatureResolution | undefined;
+//# sourceMappingURL=compilerTypeScriptInvocationSemantics.d.ts.map

package/dist/packages/compiler-semantic/src/compilerTypeScriptInvocationSemantics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerTypeScriptInvocationSemantics.d.ts","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerTypeScriptInvocationSemantics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,uCAAuC,EAAE,MAAM,mCAAmC,CAAC;AAEjG,wBAAgB,0CAA0C,CACxD,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,aAAa,EAC1C,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,uCAAuC,GAAG,SAAS,CAsBrD"}

package/dist/packages/compiler-semantic/src/compilerTypeScriptInvocationSemantics.js

@@ -0,0 +1,31 @@
+import ts from 'typescript';
+export function getTypeScriptInvocationSignatureResolution(node, checker) {
+    const resolved = checker.getResolvedSignature(node)?.declaration;
+    if (!resolved)
+        return undefined;
+    if (ts.isFunctionDeclaration(resolved) && !resolved.body && resolved.name) {
+        const symbol = checker.getSymbolAtLocation(resolved.name);
+        const declarations = symbol?.declarations?.filter(ts.isFunctionDeclaration) ?? [];
+        return getTypeScriptOverloadSignatureResolution(resolved, declarations);
+    }
+    if (ts.isMethodDeclaration(resolved) && !resolved.body) {
+        const symbol = checker.getSymbolAtLocation(resolved.name);
+        const declarations = symbol?.declarations?.filter(ts.isMethodDeclaration) ?? [];
+        return getTypeScriptOverloadSignatureResolution(resolved, declarations);
+    }
+    if (ts.isConstructorDeclaration(resolved) &&
+        !resolved.body &&
+        (ts.isClassDeclaration(resolved.parent) || ts.isClassExpression(resolved.parent))) {
+        const declarations = resolved.parent.members.filter(ts.isConstructorDeclaration);
+        return getTypeScriptOverloadSignatureResolution(resolved, declarations);
+    }
+    return { implementation: resolved, resolved };
+}
+function getTypeScriptOverloadSignatureResolution(resolved, declarations) {
+    const implementation = declarations.find((declaration) => declaration.body !== undefined);
+    if (!implementation)
+        return { implementation: resolved, resolved };
+    const overloadIndex = declarations.filter((declaration) => !declaration.body).indexOf(resolved);
+    return overloadIndex < 0 ? { implementation: resolved, resolved } : { implementation, overloadIndex, resolved };
+}
+//# sourceMappingURL=compilerTypeScriptInvocationSemantics.js.map

package/dist/packages/compiler-semantic/src/compilerTypeScriptInvocationSemantics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerTypeScriptInvocationSemantics.js","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerTypeScriptInvocationSemantics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,MAAM,UAAU,0CAA0C,CACxD,IAA0C,EAC1C,OAAuB;IAEvB,MAAM,QAAQ,GAAG,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;IACjE,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC1E,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,YAAY,GAAG,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAAC;QAClF,OAAO,wCAAwC,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,YAAY,GAAG,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC;QAChF,OAAO,wCAAwC,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC1E,CAAC;IACD,IACE,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC;QACrC,CAAC,QAAQ,CAAC,IAAI;QACd,CAAC,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EACjF,CAAC;QACD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC;QACjF,OAAO,wCAAwC,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,wCAAwC,CAE/C,QAAqB,EAAE,YAAoC;IAC3D,MAAM,cAAc,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC1F,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACnE,MAAM,aAAa,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChG,OAAO,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC;AAClH,CAAC"}

package/dist/packages/compiler-semantic/src/compilerTypeScriptSyntacticTypeEvidence.d.ts

@@ -0,0 +1,8 @@
+import ts from 'typescript';
+export declare function createTypeScriptSyntacticAliasSubstitutions(reference: ts.TypeReferenceNode, declaration: ts.TypeAliasDeclaration, checker: ts.TypeChecker, substitutions: ReadonlyMap<ts.Symbol, ts.TypeNode>): ReadonlyMap<ts.Symbol, ts.TypeNode> | undefined;
+export declare function createTypeScriptSyntacticDeclarationSubstitutions(reference: Readonly<{
+    typeArguments?: readonly ts.TypeNode[] | undefined;
+}>, declaration: ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration, checker: ts.TypeChecker, substitutions: ReadonlyMap<ts.Symbol, ts.TypeNode>): ReadonlyMap<ts.Symbol, ts.TypeNode> | undefined;
+export declare function getTypeScriptSyntacticExpressionTypeEvidence(expression: ts.Expression, checker: ts.TypeChecker): ts.TypeNode | undefined;
+export declare function getTypeScriptSyntacticTypeSubstitution(type: ts.TypeNode, checker: ts.TypeChecker, substitutions: ReadonlyMap<ts.Symbol, ts.TypeNode>): ts.TypeNode;
+//# sourceMappingURL=compilerTypeScriptSyntacticTypeEvidence.d.ts.map

package/dist/packages/compiler-semantic/src/compilerTypeScriptSyntacticTypeEvidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerTypeScriptSyntacticTypeEvidence.d.ts","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerTypeScriptSyntacticTypeEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,wBAAgB,2CAA2C,CACzD,SAAS,EAAE,EAAE,CAAC,iBAAiB,EAC/B,WAAW,EAAE,EAAE,CAAC,oBAAoB,EACpC,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,aAAa,EAAE,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GACjD,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,SAAS,CAEjD;AAED,wBAAgB,iDAAiD,CAC/D,SAAS,EAAE,QAAQ,CAAC;IAAE,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,QAAQ,EAAE,GAAG,SAAS,CAAA;CAAE,CAAC,EAC3E,WAAW,EAAE,EAAE,CAAC,gBAAgB,GAAG,EAAE,CAAC,oBAAoB,GAAG,EAAE,CAAC,oBAAoB,EACpF,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,aAAa,EAAE,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GACjD,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,SAAS,CAYjD;AAED,wBAAgB,4CAA4C,CAC1D,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,EAAE,CAAC,QAAQ,GAAG,SAAS,CAEzB;AA8DD,wBAAgB,sCAAsC,CACpD,IAAI,EAAE,EAAE,CAAC,QAAQ,EACjB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,aAAa,EAAE,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GACjD,EAAE,CAAC,QAAQ,CAIb"}

package/dist/packages/compiler-semantic/src/compilerTypeScriptSyntacticTypeEvidence.js

@@ -0,0 +1,83 @@
+import ts from 'typescript';
+import { getCompilerAmbientSurfaceFileName } from '../../compiler-ambient/src/index.js';
+export function createTypeScriptSyntacticAliasSubstitutions(reference, declaration, checker, substitutions) {
+    return createTypeScriptSyntacticDeclarationSubstitutions(reference, declaration, checker, substitutions);
+}
+export function createTypeScriptSyntacticDeclarationSubstitutions(reference, declaration, checker, substitutions) {
+    const parameters = declaration.typeParameters ?? [];
+    const arguments_ = reference.typeArguments ?? [];
+    if (arguments_.length > parameters.length)
+        return undefined;
+    const next = new Map(substitutions);
+    for (const [index, parameter] of parameters.entries()) {
+        const argument = arguments_[index] ?? parameter.default;
+        const symbol = checker.getSymbolAtLocation(parameter.name);
+        if (!argument || !symbol)
+            return undefined;
+        next.set(symbol, getTypeScriptSyntacticTypeSubstitution(argument, checker, next));
+    }
+    return next;
+}
+export function getTypeScriptSyntacticExpressionTypeEvidence(expression, checker) {
+    return getTypeScriptSyntacticExpressionTypeEvidenceAt(expression, checker, new Set());
+}
+// Keep direct source evidence as a deterministic fallback when a project declaration is incomplete
+// or a type is cyclic. The type argument is already explicit here, so recovering it does not guess at
+// target semantics.
+function getTypeScriptSyntacticAwaitedTypeEvidence(type) {
+    if (!type || !ts.isTypeReferenceNode(type) || type.typeArguments?.length !== 1)
+        return undefined;
+    const name = ts.isIdentifier(type.typeName) ? type.typeName.text : type.typeName.right.text;
+    return name === 'Promise' || name === 'PromiseLike' ? type.typeArguments[0] : undefined;
+}
+function getTypeScriptSyntacticExpressionTypeEvidenceAt(expression, checker, seen) {
+    if (seen.has(expression))
+        return undefined;
+    seen.add(expression);
+    if (ts.isAwaitExpression(expression)) {
+        return getTypeScriptSyntacticAwaitedTypeEvidence(getTypeScriptSyntacticExpressionTypeEvidenceAt(expression.expression, checker, seen));
+    }
+    if (ts.isParenthesizedExpression(expression) ||
+        ts.isNonNullExpression(expression) ||
+        ts.isSatisfiesExpression(expression)) {
+        return getTypeScriptSyntacticExpressionTypeEvidenceAt(expression.expression, checker, seen);
+    }
+    if (ts.isAsExpression(expression) || ts.isTypeAssertionExpression(expression))
+        return expression.type;
+    if (ts.isCallExpression(expression)) {
+        const type = checker.getResolvedSignature(expression)?.declaration?.type;
+        // A signature the ambient surface declares is written in the surface's own type parameters. Those
+        // mean nothing in the module being lowered — reading `T[]` back as module syntax produces an
+        // ambient type named `T` that no target can bind — so the surface's own nodes stop here.
+        if (type?.getSourceFile().fileName === getCompilerAmbientSurfaceFileName())
+            return undefined;
+        return type && ts.isTypeNode(type) ? type : undefined;
+    }
+    const symbol = checker.getSymbolAtLocation(expression);
+    const declaration = symbol?.valueDeclaration ?? symbol?.declarations?.[0];
+    if (!declaration)
+        return undefined;
+    if (ts.isParameter(declaration) ||
+        ts.isPropertyDeclaration(declaration) ||
+        ts.isPropertySignature(declaration) ||
+        ts.isVariableDeclaration(declaration) ||
+        ts.isFunctionDeclaration(declaration) ||
+        ts.isFunctionExpression(declaration) ||
+        ts.isMethodDeclaration(declaration) ||
+        ts.isMethodSignature(declaration)) {
+        // An inferred `const` has no annotation of its own, so its evidence is whatever its initializer
+        // proves. The seen set is what keeps `const value = value` from recurring forever.
+        if (!declaration.type && ts.isVariableDeclaration(declaration) && declaration.initializer) {
+            return getTypeScriptSyntacticExpressionTypeEvidenceAt(declaration.initializer, checker, seen);
+        }
+        return declaration.type;
+    }
+    return undefined;
+}
+export function getTypeScriptSyntacticTypeSubstitution(type, checker, substitutions) {
+    if (!ts.isTypeReferenceNode(type) || type.typeArguments?.length)
+        return type;
+    const symbol = checker.getSymbolAtLocation(type.typeName);
+    return (symbol && substitutions.get(symbol)) ?? type;
+}
+//# sourceMappingURL=compilerTypeScriptSyntacticTypeEvidence.js.map

package/dist/packages/compiler-semantic/src/compilerTypeScriptSyntacticTypeEvidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerTypeScriptSyntacticTypeEvidence.js","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerTypeScriptSyntacticTypeEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,iCAAiC,EAAE,MAAM,qCAAqC,CAAC;AAExF,MAAM,UAAU,2CAA2C,CACzD,SAA+B,EAC/B,WAAoC,EACpC,OAAuB,EACvB,aAAkD;IAElD,OAAO,iDAAiD,CAAC,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;AAC3G,CAAC;AAED,MAAM,UAAU,iDAAiD,CAC/D,SAA2E,EAC3E,WAAoF,EACpF,OAAuB,EACvB,aAAkD;IAElD,MAAM,UAAU,GAAG,WAAW,CAAC,cAAc,IAAI,EAAE,CAAC;IACpD,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa,IAAI,EAAE,CAAC;IACjD,IAAI,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IACpC,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC;QACxD,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC3C,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,sCAAsC,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,4CAA4C,CAC1D,UAAyB,EACzB,OAAuB;IAEvB,OAAO,8CAA8C,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AACxF,CAAC;AAED,mGAAmG;AACnG,sGAAsG;AACtG,oBAAoB;AACpB,SAAS,yCAAyC,CAAC,IAA6B;IAC9E,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjG,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;IAC5F,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1F,CAAC;AAED,SAAS,8CAA8C,CACrD,UAAyB,EACzB,OAAuB,EACvB,IAAkB;IAElB,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACrB,IAAI,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,OAAO,yCAAyC,CAC9C,8CAA8C,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CACrF,CAAC;IACJ,CAAC;IACD,IACE,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC;QAClC,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC,EACpC,CAAC;QACD,OAAO,8CAA8C,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC;IACtG,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC;QACzE,kGAAkG;QAClG,6FAA6F;QAC7F,yFAAyF;QACzF,IAAI,IAAI,EAAE,aAAa,EAAE,CAAC,QAAQ,KAAK,iCAAiC,EAAE;YAAE,OAAO,SAAS,CAAC;QAC7F,OAAO,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACxD,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,MAAM,EAAE,gBAAgB,IAAI,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IACnC,IACE,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC;QAC3B,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACrC,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC;QACnC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACrC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACrC,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC;QACpC,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC;QACnC,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,EACjC,CAAC;QACD,gGAAgG;QAChG,mFAAmF;QACnF,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;YAC1F,OAAO,8CAA8C,CAAC,WAAW,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAChG,CAAC;QACD,OAAO,WAAW,CAAC,IAAI,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,sCAAsC,CACpD,IAAiB,EACjB,OAAuB,EACvB,aAAkD;IAElD,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM;QAAE,OAAO,IAAI,CAAC;IAC7E,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1D,OAAO,CAAC,MAAM,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC;AACvD,CAAC"}

package/dist/packages/compiler-semantic/src/index.d.ts

@@ -0,0 +1,4 @@
+export { analyzeIrModulesStaticFacts, combineCompilerStaticFactAudits } from './compilerIrStaticFacts.js';
+export { getTypeScriptInvocationSignatureResolution } from './compilerTypeScriptInvocationSemantics.js';
+export { createCompilerTypeScriptAnalysisIdentity, lowerTypeScriptSource, lowerTypeScriptSources, } from './typeScriptSemanticLowering.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/packages/compiler-semantic/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../compiler-semantic/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,+BAA+B,EAAE,MAAM,4BAA4B,CAAC;AAC1G,OAAO,EAAE,0CAA0C,EAAE,MAAM,4CAA4C,CAAC;AACxG,OAAO,EACL,wCAAwC,EACxC,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,iCAAiC,CAAC"}

package/dist/packages/compiler-semantic/src/index.js

@@ -0,0 +1,4 @@
+export { analyzeIrModulesStaticFacts, combineCompilerStaticFactAudits } from './compilerIrStaticFacts.js';
+export { getTypeScriptInvocationSignatureResolution } from './compilerTypeScriptInvocationSemantics.js';
+export { createCompilerTypeScriptAnalysisIdentity, lowerTypeScriptSource, lowerTypeScriptSources, } from './typeScriptSemanticLowering.js';
+//# sourceMappingURL=index.js.map

package/dist/packages/compiler-semantic/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../compiler-semantic/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,+BAA+B,EAAE,MAAM,4BAA4B,CAAC;AAC1G,OAAO,EAAE,0CAA0C,EAAE,MAAM,4CAA4C,CAAC;AACxG,OAAO,EACL,wCAAwC,EACxC,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,iCAAiC,CAAC"}

package/dist/packages/compiler-semantic/src/typeScriptSemanticLowering.d.ts

@@ -0,0 +1,6 @@
+import ts from 'typescript';
+import type { CompilerModuleResolutionPlan, TypeScriptLoweringResult, CompilerTypeScriptAnalysisIdentity, TypeScriptModuleInput, LowerTypeScriptSourceOptions } from '../../compiler-types/src/index.js';
+export declare function createCompilerTypeScriptAnalysisIdentity(): CompilerTypeScriptAnalysisIdentity;
+export declare function lowerTypeScriptSource(sourceFile: ts.SourceFile, options: Readonly<LowerTypeScriptSourceOptions>): TypeScriptLoweringResult;
+export declare function lowerTypeScriptSources(sources: readonly Readonly<TypeScriptModuleInput>[], moduleResolution?: Readonly<CompilerModuleResolutionPlan>): readonly TypeScriptLoweringResult[];
+//# sourceMappingURL=typeScriptSemanticLowering.d.ts.map

package/dist/packages/compiler-semantic/src/typeScriptSemanticLowering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeScriptSemanticLowering.d.ts","sourceRoot":"","sources":["../../../../../compiler-semantic/src/typeScriptSemanticLowering.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,YAAY,CAAC;AAqB5B,OAAO,KAAK,EAGV,4BAA4B,EAyD5B,wBAAwB,EACxB,kCAAkC,EAClC,qBAAqB,EAErB,4BAA4B,EAC7B,MAAM,mCAAmC,CAAC;AAsD3C,wBAAgB,wCAAwC,IAAI,kCAAkC,CAc7F;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,QAAQ,CAAC,4BAA4B,CAAC,GAC9C,wBAAwB,CAa1B;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,SAAS,QAAQ,CAAC,qBAAqB,CAAC,EAAE,EACnD,gBAAgB,GAAE,QAAQ,CAAC,4BAA4B,CAAqC,GAC3F,SAAS,wBAAwB,EAAE,CAiBrC"}