@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/type-system/inference-initializers-call.js

@@ -0,0 +1,242 @@
+/**
+ * Literal and Call Return Type Inference
+ *
+ * Contains:
+ * - tryInferTypeFromLiteralInitializer: simple literal → IrType
+ * - tryInferReturnTypeFromCallExpression: call expression → return type
+ *
+ * DAG position: depends on inference-utilities, inference-expressions,
+ *               inference-declarations, inference-member-resolution
+ */
+import * as ts from "typescript";
+import { inferNumericKindFromRaw } from "../types/numeric-helpers.js";
+import { convertTypeNode, resolveCall } from "./type-system-call-resolution.js";
+import { resolveDynamicImportNamespace } from "../../resolver/dynamic-import.js";
+import { isLambdaExpression, deriveTypeFromNumericKind, collectResolutionArgTypes, } from "./inference-utilities.js";
+import { inferExpressionType, inferLambdaType, } from "./inference-expressions.js";
+import { typeOfDecl } from "./inference-declarations.js";
+/**
+ * Try to infer type from a variable declaration's literal initializer.
+ *
+ * DETERMINISM: Uses the raw lexeme form of the literal, not TS computed types.
+ * Only handles simple literal initializers:
+ * - Numeric literals → inferred via inferNumericKindFromRaw
+ * - String literals → primitiveType("string")
+ * - Boolean literals → primitiveType("boolean")
+ *
+ * Returns undefined if the initializer is not a simple literal.
+ */
+export const tryInferTypeFromLiteralInitializer = (_state, declNode) => {
+    // TypeScript's VariableDeclaration has an `initializer` property
+    const decl = declNode;
+    // Must have an initializer
+    if (!decl.initializer)
+        return undefined;
+    const init = decl.initializer;
+    if (init.kind === ts.SyntaxKind.NumericLiteral && init.getText) {
+        const raw = init.getText();
+        const numericKind = inferNumericKindFromRaw(raw);
+        return deriveTypeFromNumericKind(numericKind);
+    }
+    if (init.kind === ts.SyntaxKind.StringLiteral) {
+        return { kind: "primitiveType", name: "string" };
+    }
+    if (init.kind === ts.SyntaxKind.NoSubstitutionTemplateLiteral ||
+        init.kind === ts.SyntaxKind.TemplateExpression) {
+        return { kind: "primitiveType", name: "string" };
+    }
+    if (init.kind === ts.SyntaxKind.TrueKeyword ||
+        init.kind === ts.SyntaxKind.FalseKeyword) {
+        return { kind: "primitiveType", name: "boolean" };
+    }
+    // Not a simple literal - cannot infer
+    return undefined;
+};
+/**
+ * Try to infer type from a variable declaration's initializer using only
+ * deterministic sources (declarations + explicit syntax).
+ *
+ * Handles:
+ * - simple literals (delegates to tryInferTypeFromLiteralInitializer)
+ * - call expressions where the callee has an explicit declared return type
+ * - new expressions with explicit type arguments (or best-effort nominal type)
+ * - identifier initializers (propagate deterministically)
+ */
+export const tryInferReturnTypeFromCallExpression = (state, call, env) => {
+    if (call.expression.kind === ts.SyntaxKind.ImportKeyword) {
+        const resolution = resolveDynamicImportNamespace(call, call.getSourceFile().fileName, {
+            checker: state.checker,
+            compilerOptions: state.tsCompilerOptions,
+            sourceFilesByPath: state.sourceFilesByPath,
+        });
+        if (resolution.ok) {
+            const members = resolution.entries.flatMap((entry) => {
+                const declId = state.resolveIdentifier(entry.declarationName);
+                if (!declId)
+                    return [];
+                const memberType = typeOfDecl(state, declId);
+                if (memberType.kind === "unknownType")
+                    return [];
+                return [
+                    {
+                        kind: "propertySignature",
+                        name: entry.exportName,
+                        type: memberType,
+                        isOptional: false,
+                        isReadonly: true,
+                    },
+                ];
+            });
+            return {
+                kind: "referenceType",
+                name: "Promise",
+                typeArguments: [
+                    members.length === 0
+                        ? { kind: "referenceType", name: "object" }
+                        : {
+                            kind: "objectType",
+                            members,
+                        },
+                ],
+            };
+        }
+    }
+    const sigId = state.resolveCallSignature(call);
+    if (!sigId)
+        return undefined;
+    const explicitTypeArgs = call.typeArguments && call.typeArguments.length > 0
+        ? call.typeArguments.map((ta) => convertTypeNode(state, ta))
+        : undefined;
+    const receiverType = (() => {
+        if (!ts.isPropertyAccessExpression(call.expression))
+            return undefined;
+        const receiverExpr = call.expression.expression;
+        const receiver = inferExpressionType(state, receiverExpr, env);
+        return receiver && receiver.kind !== "unknownType" ? receiver : undefined;
+    })();
+    const argumentCount = call.arguments.length;
+    // Two-pass: resolve once to get expected parameter types, then infer non-lambda args,
+    // then infer lambda arg types (from expected types + body), then final resolve.
+    const initialResolved = resolveCall(state, {
+        sigId,
+        argumentCount,
+        receiverType,
+        explicitTypeArgs,
+    });
+    const initialParameterTypes = initialResolved.parameterTypes;
+    const argTypesWorking = Array(argumentCount).fill(undefined);
+    for (let index = 0; index < call.arguments.length; index++) {
+        const arg = call.arguments[index];
+        if (!arg)
+            continue;
+        if (ts.isSpreadElement(arg)) {
+            const spreadType = inferExpressionType(state, arg.expression, env);
+            if (spreadType && spreadType.kind !== "unknownType") {
+                argTypesWorking[index] = spreadType;
+            }
+            continue;
+        }
+        if (isLambdaExpression(arg))
+            continue;
+        if (ts.isNumericLiteral(arg)) {
+            const numericKind = inferNumericKindFromRaw(arg.getText());
+            argTypesWorking[index] = deriveTypeFromNumericKind(numericKind);
+            continue;
+        }
+        if (ts.isStringLiteral(arg)) {
+            argTypesWorking[index] = { kind: "primitiveType", name: "string" };
+            continue;
+        }
+        if (arg.kind === ts.SyntaxKind.TrueKeyword ||
+            arg.kind === ts.SyntaxKind.FalseKeyword) {
+            argTypesWorking[index] = {
+                kind: "primitiveType",
+                name: "boolean",
+            };
+            continue;
+        }
+        if (ts.isIdentifier(arg)) {
+            const argDeclId = state.resolveIdentifier(arg);
+            if (!argDeclId)
+                continue;
+            const t = typeOfDecl(state, argDeclId);
+            if (t.kind !== "unknownType") {
+                argTypesWorking[index] = t;
+            }
+            continue;
+        }
+        if (ts.isCallExpression(arg)) {
+            const t = tryInferReturnTypeFromCallExpression(state, arg, env);
+            if (t) {
+                argTypesWorking[index] = t;
+            }
+            continue;
+        }
+        if (ts.isNewExpression(arg)) {
+            const nestedSigId = state.resolveConstructorSignature(arg);
+            if (!nestedSigId)
+                continue;
+            const nestedExplicitTypeArgs = arg.typeArguments && arg.typeArguments.length > 0
+                ? arg.typeArguments.map((ta) => convertTypeNode(state, ta))
+                : undefined;
+            const nestedResolved = resolveCall(state, {
+                sigId: nestedSigId,
+                argumentCount: arg.arguments?.length ?? 0,
+                explicitTypeArgs: nestedExplicitTypeArgs,
+            });
+            if (nestedResolved.returnType.kind !== "unknownType") {
+                argTypesWorking[index] = nestedResolved.returnType;
+            }
+            continue;
+        }
+        // Fallback: infer from a small deterministic expression set
+        const t = inferExpressionType(state, arg, env);
+        if (t && t.kind !== "unknownType") {
+            argTypesWorking[index] = t;
+            continue;
+        }
+    }
+    const lambdaResolutionArgs = collectResolutionArgTypes(argTypesWorking);
+    const lambdaContextResolved = resolveCall(state, {
+        sigId,
+        argumentCount: lambdaResolutionArgs.argumentCount > 0
+            ? lambdaResolutionArgs.argumentCount
+            : argumentCount,
+        receiverType,
+        explicitTypeArgs,
+        argTypes: lambdaResolutionArgs.argumentCount > 0
+            ? lambdaResolutionArgs.argTypes
+            : argTypesWorking,
+    });
+    const parameterTypesForLambdaContext = lambdaContextResolved.parameterTypes ?? initialParameterTypes;
+    for (let index = 0; index < call.arguments.length; index++) {
+        const arg = call.arguments[index];
+        if (!arg)
+            continue;
+        if (ts.isSpreadElement(arg))
+            continue;
+        if (!isLambdaExpression(arg))
+            continue;
+        const expectedType = parameterTypesForLambdaContext[index];
+        const lambdaType = inferLambdaType(state, arg, expectedType);
+        if (lambdaType) {
+            argTypesWorking[index] = lambdaType;
+        }
+    }
+    const finalResolutionArgs = collectResolutionArgTypes(argTypesWorking);
+    const finalResolved = resolveCall(state, {
+        sigId,
+        argumentCount: finalResolutionArgs.argumentCount > 0
+            ? finalResolutionArgs.argumentCount
+            : argumentCount,
+        receiverType,
+        explicitTypeArgs,
+        argTypes: finalResolutionArgs.argumentCount > 0
+            ? finalResolutionArgs.argTypes
+            : argTypesWorking,
+    });
+    return finalResolved.returnType.kind === "unknownType"
+        ? undefined
+        : finalResolved.returnType;
+};
+//# sourceMappingURL=inference-initializers-call.js.map

package/dist/ir/type-system/inference-initializers-call.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-initializers-call.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-initializers-call.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AAChF,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,mBAAmB,EACnB,eAAe,GAChB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAEzD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,MAAuB,EACvB,QAAiB,EACG,EAAE;IACtB,iEAAiE;IACjE,MAAM,IAAI,GAAG,QAOZ,CAAC;IAEF,2BAA2B;IAC3B,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAExC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;IAE9B,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/D,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC;QACjD,OAAO,yBAAyB,CAAC,WAAW,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IACE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,6BAA6B;QACzD,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,kBAAkB,EAC9C,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IACE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EACxC,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,sCAAsC;IACtC,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,KAAsB,EACtB,IAAuB,EACvB,GAAgC,EACZ,EAAE;IACtB,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QACzD,MAAM,UAAU,GAAG,6BAA6B,CAC9C,IAAI,EACJ,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,EAC7B;YACE,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,eAAe,EAAE,KAAK,CAAC,iBAAiB;YACxC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;SAC3C,CACF,CAAC;QAEF,IAAI,UAAU,CAAC,EAAE,EAAE,CAAC;YAClB,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;gBACnD,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBAC9D,IAAI,CAAC,MAAM;oBAAE,OAAO,EAAE,CAAC;gBAEvB,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC7C,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;oBAAE,OAAO,EAAE,CAAC;gBAEjD,OAAO;oBACL;wBACE,IAAI,EAAE,mBAA4B;wBAClC,IAAI,EAAE,KAAK,CAAC,UAAU;wBACtB,IAAI,EAAE,UAAU;wBAChB,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,IAAI;qBACjB;iBACF,CAAC;YACJ,CAAC,CAAC,CAAC;YAEH,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;gBACf,aAAa,EAAE;oBACb,OAAO,CAAC,MAAM,KAAK,CAAC;wBAClB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAC3C,CAAC,CAAC;4BACE,IAAI,EAAE,YAAY;4BAClB,OAAO;yBACR;iBACN;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,gBAAgB,GACpB,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QACjD,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5D,CAAC,CAAC,SAAS,CAAC;IAEhB,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE;QACzB,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,OAAO,SAAS,CAAC;QACtE,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAChD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QAC/D,OAAO,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;IAE5C,sFAAsF;IACtF,gFAAgF;IAChF,MAAM,eAAe,GAAG,WAAW,CAAC,KAAK,EAAE;QACzC,KAAK;QACL,aAAa;QACb,YAAY;QACZ,gBAAgB;KACjB,CAAC,CAAC;IACH,MAAM,qBAAqB,GAAG,eAAe,CAAC,cAAc,CAAC;IAE7D,MAAM,eAAe,GACnB,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAEvC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACnE,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACpD,eAAe,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;YACtC,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,kBAAkB,CAAC,GAAG,CAAC;YAAE,SAAS;QAEtC,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,WAAW,GAAG,uBAAuB,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YAC3D,eAAe,CAAC,KAAK,CAAC,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAC;YAChE,SAAS;QACX,CAAC;QAED,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,eAAe,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnE,SAAS;QACX,CAAC;QAED,IACE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACtC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EACvC,CAAC;YACD,eAAe,CAAC,KAAK,CAAC,GAAG;gBACvB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;aAChB,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;YAC/C,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACvC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC7B,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7B,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,oCAAoC,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAChE,IAAI,CAAC,EAAE,CAAC;gBACN,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7B,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,WAAW,GAAG,KAAK,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC;YAC3D,IAAI,CAAC,WAAW;gBAAE,SAAS;YAE3B,MAAM,sBAAsB,GAC1B,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;gBAC/C,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAC3D,CAAC,CAAC,SAAS,CAAC;YAEhB,MAAM,cAAc,GAAG,WAAW,CAAC,KAAK,EAAE;gBACxC,KAAK,EAAE,WAAW;gBAClB,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC;gBACzC,gBAAgB,EAAE,sBAAsB;aACzC,CAAC,CAAC;YAEH,IAAI,cAAc,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACrD,eAAe,CAAC,KAAK,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC;YACrD,CAAC;YACD,SAAS;QACX,CAAC;QAED,4DAA4D;QAC5D,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAClC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;IACH,CAAC;IAED,MAAM,oBAAoB,GAAG,yBAAyB,CAAC,eAAe,CAAC,CAAC;IAExE,MAAM,qBAAqB,GAAG,WAAW,CAAC,KAAK,EAAE;QAC/C,KAAK;QACL,aAAa,EACX,oBAAoB,CAAC,aAAa,GAAG,CAAC;YACpC,CAAC,CAAC,oBAAoB,CAAC,aAAa;YACpC,CAAC,CAAC,aAAa;QACnB,YAAY;QACZ,gBAAgB;QAChB,QAAQ,EACN,oBAAoB,CAAC,aAAa,GAAG,CAAC;YACpC,CAAC,CAAC,oBAAoB,CAAC,QAAQ;YAC/B,CAAC,CAAC,eAAe;KACtB,CAAC,CAAC;IAEH,MAAM,8BAA8B,GAClC,qBAAqB,CAAC,cAAc,IAAI,qBAAqB,CAAC;IAEhE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;YAAE,SAAS;QACtC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC;YAAE,SAAS;QAEvC,MAAM,YAAY,GAAG,8BAA8B,CAAC,KAAK,CAAC,CAAC;QAC3D,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QAC7D,IAAI,UAAU,EAAE,CAAC;YACf,eAAe,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;QACtC,CAAC;IACH,CAAC;IAED,MAAM,mBAAmB,GAAG,yBAAyB,CAAC,eAAe,CAAC,CAAC;IAEvE,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,EAAE;QACvC,KAAK;QACL,aAAa,EACX,mBAAmB,CAAC,aAAa,GAAG,CAAC;YACnC,CAAC,CAAC,mBAAmB,CAAC,aAAa;YACnC,CAAC,CAAC,aAAa;QACnB,YAAY;QACZ,gBAAgB;QAChB,QAAQ,EACN,mBAAmB,CAAC,aAAa,GAAG,CAAC;YACnC,CAAC,CAAC,mBAAmB,CAAC,QAAQ;YAC9B,CAAC,CAAC,eAAe;KACtB,CAAC,CAAC;IAEH,OAAO,aAAa,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;QACpD,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC;AAC/B,CAAC,CAAC"}

package/dist/ir/type-system/inference-initializers-variable.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Variable Initializer Type Inference — tryInferTypeFromInitializer
+ *
+ * Infers variable types from initializer expressions using only
+ * deterministic sources (declarations + explicit syntax).
+ *
+ * DAG position: depends on inference-utilities, inference-expressions,
+ *               inference-declarations, inference-member-resolution,
+ *               inference-initializers-call
+ */
+import type { IrType } from "../types/index.js";
+import type { TypeSystemState } from "./type-system-state.js";
+export declare const tryInferTypeFromInitializer: (state: TypeSystemState, declNode: unknown) => IrType | undefined;
+//# sourceMappingURL=inference-initializers-variable.d.ts.map

package/dist/ir/type-system/inference-initializers-variable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-initializers-variable.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-initializers-variable.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGhD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAoB9D,eAAO,MAAM,2BAA2B,GACtC,OAAO,eAAe,EACtB,UAAU,OAAO,KAChB,MAAM,GAAG,SAqLX,CAAC"}

package/dist/ir/type-system/inference-initializers-variable.js

@@ -0,0 +1,178 @@
+/**
+ * Variable Initializer Type Inference — tryInferTypeFromInitializer
+ *
+ * Infers variable types from initializer expressions using only
+ * deterministic sources (declarations + explicit syntax).
+ *
+ * DAG position: depends on inference-utilities, inference-expressions,
+ *               inference-declarations, inference-member-resolution,
+ *               inference-initializers-call
+ */
+import * as ts from "typescript";
+import { inferNumericKindFromRaw } from "../types/numeric-helpers.js";
+import { stripNullishForInference } from "./type-system-state.js";
+import { typesEqual } from "./type-system-relations.js";
+import { convertTypeNode, resolveCall } from "./type-system-call-resolution.js";
+import { isLambdaExpression, deriveTypeFromNumericKind, unwrapAwaitedForInference, } from "./inference-utilities.js";
+import { inferExpressionType, inferLambdaType, } from "./inference-expressions.js";
+import { typeOfDecl } from "./inference-declarations.js";
+import { typeOfMember } from "./inference-member-resolution.js";
+import { tryInferTypeFromLiteralInitializer, tryInferReturnTypeFromCallExpression, } from "./inference-initializers-call.js";
+export const tryInferTypeFromInitializer = (state, declNode) => {
+    const literalType = tryInferTypeFromLiteralInitializer(state, declNode);
+    if (literalType)
+        return literalType;
+    if (!declNode || typeof declNode !== "object")
+        return undefined;
+    const node = declNode;
+    if (!ts.isVariableDeclaration(node))
+        return undefined;
+    let init = node.initializer;
+    if (!init)
+        return undefined;
+    while (ts.isParenthesizedExpression(init)) {
+        init = init.expression;
+    }
+    // Explicit type assertions are deterministic sources for variable typing.
+    if (ts.isAsExpression(init) || ts.isTypeAssertionExpression(init)) {
+        return convertTypeNode(state, init.type);
+    }
+    if (ts.isNonNullExpression(init)) {
+        const inner = inferExpressionType(state, init.expression, new Map());
+        if (!inner || inner.kind === "unknownType")
+            return undefined;
+        return stripNullishForInference(inner);
+    }
+    if (ts.isAwaitExpression(init)) {
+        const inner = inferExpressionType(state, init.expression, new Map());
+        if (!inner || inner.kind === "unknownType")
+            return undefined;
+        return unwrapAwaitedForInference(inner);
+    }
+    if (ts.isCallExpression(init)) {
+        return tryInferReturnTypeFromCallExpression(state, init, new Map());
+    }
+    if (isLambdaExpression(init)) {
+        return inferLambdaType(state, init, undefined);
+    }
+    if (ts.isArrayLiteralExpression(init)) {
+        // Deterministic array literal typing for variable declarations:
+        // infer `T[]` only when all element types are deterministically known and equal.
+        const elementTypes = [];
+        const emptyEnv = new Map();
+        for (const el of init.elements) {
+            if (ts.isOmittedExpression(el)) {
+                return undefined;
+            }
+            if (ts.isSpreadElement(el)) {
+                return undefined;
+            }
+            const t = inferExpressionType(state, el, emptyEnv);
+            if (!t || t.kind === "unknownType") {
+                return undefined;
+            }
+            elementTypes.push(t);
+        }
+        if (elementTypes.length === 0)
+            return undefined;
+        const first = elementTypes[0];
+        if (first && elementTypes.every((t) => typesEqual(t, first))) {
+            return { kind: "arrayType", elementType: first };
+        }
+        return undefined;
+    }
+    const fallback = inferExpressionType(state, init, new Map());
+    if (fallback && fallback.kind !== "unknownType") {
+        return fallback;
+    }
+    // Phase 15: NewExpression branch - use constructor signature with argTypes
+    if (ts.isNewExpression(init)) {
+        const sigId = state.resolveConstructorSignature(init);
+        if (!sigId)
+            return undefined;
+        const explicitTypeArgs = init.typeArguments && init.typeArguments.length > 0
+            ? init.typeArguments.map((ta) => convertTypeNode(state, ta))
+            : undefined;
+        // Derive argTypes conservatively from syntax (same pattern as CallExpression)
+        const args = init.arguments ?? [];
+        const argTypes = args.map((arg) => {
+            if (ts.isSpreadElement(arg))
+                return undefined;
+            if (ts.isNumericLiteral(arg)) {
+                const numericKind = inferNumericKindFromRaw(arg.getText());
+                return deriveTypeFromNumericKind(numericKind);
+            }
+            if (ts.isStringLiteral(arg)) {
+                return { kind: "primitiveType", name: "string" };
+            }
+            if (arg.kind === ts.SyntaxKind.TrueKeyword ||
+                arg.kind === ts.SyntaxKind.FalseKeyword) {
+                return { kind: "primitiveType", name: "boolean" };
+            }
+            if (ts.isIdentifier(arg)) {
+                const argDeclId = state.resolveIdentifier(arg);
+                if (!argDeclId)
+                    return undefined;
+                const t = typeOfDecl(state, argDeclId);
+                return t.kind === "unknownType" ? undefined : t;
+            }
+            // Recursive handling for nested new expressions
+            if (ts.isNewExpression(arg)) {
+                const nestedSigId = state.resolveConstructorSignature(arg);
+                if (!nestedSigId)
+                    return undefined;
+                const nestedExplicitTypeArgs = arg.typeArguments && arg.typeArguments.length > 0
+                    ? arg.typeArguments.map((ta) => convertTypeNode(state, ta))
+                    : undefined;
+                const nestedResolved = resolveCall(state, {
+                    sigId: nestedSigId,
+                    argumentCount: arg.arguments?.length ?? 0,
+                    explicitTypeArgs: nestedExplicitTypeArgs,
+                });
+                return nestedResolved.returnType.kind === "unknownType"
+                    ? undefined
+                    : nestedResolved.returnType;
+            }
+            return undefined;
+        });
+        // Resolve constructor call with argTypes for inference
+        const resolved = resolveCall(state, {
+            sigId,
+            argumentCount: args.length,
+            explicitTypeArgs,
+            argTypes,
+        });
+        return resolved.returnType.kind === "unknownType"
+            ? undefined
+            : resolved.returnType;
+    }
+    if (ts.isIdentifier(init)) {
+        const sourceDeclId = state.resolveIdentifier(init);
+        if (!sourceDeclId)
+            return undefined;
+        const sourceType = typeOfDecl(state, sourceDeclId);
+        return sourceType.kind === "unknownType" ? undefined : sourceType;
+    }
+    // Property access: const output = response.outputStream
+    if (ts.isPropertyAccessExpression(init)) {
+        const receiverType = inferExpressionType(state, init.expression, new Map());
+        if (!receiverType || receiverType.kind === "unknownType")
+            return undefined;
+        const memberType = typeOfMember(state, receiverType, {
+            kind: "byName",
+            name: init.name.text,
+        });
+        return memberType.kind === "unknownType" ? undefined : memberType;
+    }
+    // Element access: const first = items[0]
+    if (ts.isElementAccessExpression(init)) {
+        const inferred = inferExpressionType(state, init, new Map());
+        return inferred && inferred.kind !== "unknownType" ? inferred : undefined;
+    }
+    const inferred = inferExpressionType(state, init, new Map());
+    if (inferred && inferred.kind !== "unknownType") {
+        return inferred;
+    }
+    return undefined;
+};
+//# sourceMappingURL=inference-initializers-variable.js.map

package/dist/ir/type-system/inference-initializers-variable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-initializers-variable.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-initializers-variable.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AAChF,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,mBAAmB,EACnB,eAAe,GAChB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EACL,kCAAkC,EAClC,oCAAoC,GACrC,MAAM,kCAAkC,CAAC;AAE1C,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,KAAsB,EACtB,QAAiB,EACG,EAAE;IACtB,MAAM,WAAW,GAAG,kCAAkC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxE,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC;IAEpC,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhE,MAAM,IAAI,GAAG,QAAmB,CAAC;IACjC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACtD,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;IAC5B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,0EAA0E;IAC1E,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClE,OAAO,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC7D,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC7D,OAAO,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,oCAAoC,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,gEAAgE;QAChE,iFAAiF;QACjF,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC3C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3B,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;YACnD,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACnC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAChD,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,KAAK,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YAC7D,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QACnD,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC7D,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,2EAA2E;IAC3E,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,gBAAgB,GACpB,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;YACjD,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC5D,CAAC,CAAC,SAAS,CAAC;QAEhB,8EAA8E;QAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;QAClC,MAAM,QAAQ,GAA2B,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YACxD,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YAE9C,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,MAAM,WAAW,GAAG,uBAAuB,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC3D,OAAO,yBAAyB,CAAC,WAAW,CAAC,CAAC;YAChD,CAAC;YAED,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,OAAO,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC5D,CAAC;YAED,IACE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBACtC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EACvC,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC7D,CAAC;YAED,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,MAAM,SAAS,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;gBAC/C,IAAI,CAAC,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACjC,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;gBACvC,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,CAAC;YAED,gDAAgD;YAChD,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,WAAW,GAAG,KAAK,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC;gBAC3D,IAAI,CAAC,WAAW;oBAAE,OAAO,SAAS,CAAC;gBAEnC,MAAM,sBAAsB,GAC1B,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;oBAC/C,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC3D,CAAC,CAAC,SAAS,CAAC;gBAEhB,MAAM,cAAc,GAAG,WAAW,CAAC,KAAK,EAAE;oBACxC,KAAK,EAAE,WAAW;oBAClB,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC;oBACzC,gBAAgB,EAAE,sBAAsB;iBACzC,CAAC,CAAC;gBAEH,OAAO,cAAc,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;oBACrD,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC;YAChC,CAAC;YAED,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,uDAAuD;QACvD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE;YAClC,KAAK;YACL,aAAa,EAAE,IAAI,CAAC,MAAM;YAC1B,gBAAgB;YAChB,QAAQ;SACT,CAAC,CAAC;QAEH,OAAO,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;YAC/C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;IAC1B,CAAC;IAED,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,YAAY,GAAG,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QACpC,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACnD,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,CAAC;IAED,wDAAwD;IACxD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC5E,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAE3E,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,EAAE,YAAY,EAAE;YACnD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;SACrB,CAAC,CAAC;QAEH,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,CAAC;IAED,yCAAyC;IACzC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC7D,OAAO,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,CAAC;IAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC7D,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/ir/type-system/inference-initializers.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Initializer & Call Return Type Inference (facade)
+ *
+ * Sub-modules:
+ * - inference-initializers-call.ts     : tryInferTypeFromLiteralInitializer, tryInferReturnTypeFromCallExpression
+ * - inference-initializers-variable.ts : tryInferTypeFromInitializer
+ */
+export { tryInferTypeFromLiteralInitializer, tryInferReturnTypeFromCallExpression, } from "./inference-initializers-call.js";
+export { tryInferTypeFromInitializer } from "./inference-initializers-variable.js";
+//# sourceMappingURL=inference-initializers.d.ts.map

package/dist/ir/type-system/inference-initializers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-initializers.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-initializers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,kCAAkC,EAClC,oCAAoC,GACrC,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC"}

package/dist/ir/type-system/inference-initializers.js

@@ -0,0 +1,10 @@
+/**
+ * Initializer & Call Return Type Inference (facade)
+ *
+ * Sub-modules:
+ * - inference-initializers-call.ts     : tryInferTypeFromLiteralInitializer, tryInferReturnTypeFromCallExpression
+ * - inference-initializers-variable.ts : tryInferTypeFromInitializer
+ */
+export { tryInferTypeFromLiteralInitializer, tryInferReturnTypeFromCallExpression, } from "./inference-initializers-call.js";
+export { tryInferTypeFromInitializer } from "./inference-initializers-variable.js";
+//# sourceMappingURL=inference-initializers.js.map

package/dist/ir/type-system/inference-initializers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-initializers.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-initializers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,kCAAkC,EAClC,oCAAoC,GACrC,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC"}

package/dist/ir/type-system/inference-member-id.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Member ID Resolution — typeOfMemberId, getIndexerInfo, parseIndexerKeyClrType
+ *
+ * Contains member lookup by opaque handle and indexer resolution:
+ * - parseIndexerKeyClrType: extract indexer key CLR type from stable ID
+ * - getIndexerInfo: resolve indexer property information
+ * - typeOfMemberId: member type by opaque handle
+ *
+ * DAG position: depends on inference-utilities, inference-initializers,
+ *               type-system-state, type-system-call-resolution
+ */
+import type { IrType } from "../types/index.js";
+import type { MemberId } from "./types.js";
+import type { TypeSystemState, Site } from "./type-system-state.js";
+export declare const parseIndexerKeyClrType: (stableId: string) => string | undefined;
+export declare const getIndexerInfo: (state: TypeSystemState, receiver: IrType, _site?: Site) => {
+    readonly keyClrType: string;
+    readonly valueType: IrType;
+} | undefined;
+export declare const typeOfMemberId: (state: TypeSystemState, memberId: MemberId, receiverType?: IrType) => IrType;
+//# sourceMappingURL=inference-member-id.d.ts.map

package/dist/ir/type-system/inference-member-id.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-member-id.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-member-id.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EACV,MAAM,EAKP,MAAM,mBAAmB,CAAC;AAO3B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAC;AA2CpE,eAAO,MAAM,sBAAsB,GACjC,UAAU,MAAM,KACf,MAAM,GAAG,SAqDX,CAAC;AAEF,eAAO,MAAM,cAAc,GACzB,OAAO,eAAe,EACtB,UAAU,MAAM,EAChB,QAAQ,IAAI,KACX;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,SAmChE,CAAC;AAMF,eAAO,MAAM,cAAc,GACzB,OAAO,eAAe,EACtB,UAAU,QAAQ,EAClB,eAAe,MAAM,KACpB,MA0ZF,CAAC"}