@tsonic/frontend 0.0.62 → 0.0.64

package/dist/ir/converters/expressions/calls/call-site-analysis.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Call-site analysis helpers
+ *
+ * Argument modifiers, binding resolution helpers, parameter mode detection,
+ * and type template unification for call/new expression converters.
+ */
+import * as ts from "typescript";
+import { IrType } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
+import { convertExpression } from "../../../expression-converter.js";
+export type CallSiteArgModifier = "ref" | "out" | "in";
+export declare const unifyTypeTemplate: (template: IrType, actual: IrType, substitutions: Map<string, IrType>) => boolean;
+export declare const deriveSubstitutionsFromExpectedReturn: (returnTemplate: IrType | undefined, expectedType: IrType | undefined) => Map<string, IrType> | undefined;
+export declare const substituteTypeParameters: (type: IrType | undefined, substitutions: ReadonlyMap<string, IrType>) => IrType | undefined;
+/**
+ * Unwrap call-site argument modifier markers.
+ *
+ * @tsonic/core/lang.js exports compile-time-only intrinsics:
+ * - out(x)   → emit `out x` at the call site
+ * - ref(x)   → emit `ref x`
+ * - inref(x) → emit `in x`
+ *
+ * These markers must be erased by the compiler and must never reach emission as
+ * normal calls.
+ */
+export declare const unwrapCallSiteArgumentModifier: (expr: ts.Expression) => {
+    readonly expression: ts.Expression;
+    readonly modifier?: CallSiteArgModifier;
+};
+export declare const applyCallSiteArgumentModifiers: (base: readonly ("value" | "ref" | "out" | "in")[] | undefined, overrides: readonly (CallSiteArgModifier | undefined)[], argCount: number, ctx: ProgramContext, node: ts.CallExpression | ts.NewExpression) => readonly ("value" | "ref" | "out" | "in")[] | undefined;
+/**
+ * Extract argument passing modes from resolved signature.
+ * Returns array aligned with arguments, indicating ref/out/in/value for each.
+ *
+ * ALICE'S SPEC: Uses TypeSystem to get parameter modes.
+ * Parameter modes were normalized in Binding at registration time.
+ */
+export declare const extractArgumentPassing: (node: ts.CallExpression | ts.NewExpression, ctx: ProgramContext) => readonly ("value" | "ref" | "out" | "in")[] | undefined;
+export declare const extractArgumentPassingFromParameterModifiers: (modifiers: readonly {
+    readonly index: number;
+    readonly modifier: "ref" | "out" | "in";
+}[], argCount: number) => readonly ("value" | "ref" | "out" | "in")[] | undefined;
+/**
+ * Extract argument passing modes from CLR bindings for the *selected overload*.
+ *
+ * CRITICAL: Methods can be overloaded, and overloads can differ in ref/out/in modifiers.
+ * We must not attach a single overload's modifiers to the member access itself.
+ *
+ * This resolver selects the best-matching binding overload using the call's argument
+ * types, then applies that overload's parameterModifiers.
+ */
+export declare const extractArgumentPassingFromBinding: (callee: ReturnType<typeof convertExpression>, argCount: number, ctx: ProgramContext, parameterTypes: readonly (IrType | undefined)[] | undefined, argTypes: readonly (IrType | undefined)[] | undefined) => readonly ("value" | "ref" | "out" | "in")[] | undefined;
+//# sourceMappingURL=call-site-analysis.d.ts.map

package/dist/ir/converters/expressions/calls/call-site-analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-analysis.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/call-site-analysis.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAQ3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAGlE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAErE,MAAM,MAAM,mBAAmB,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;AAEvD,eAAO,MAAM,iBAAiB,GAC5B,UAAU,MAAM,EAChB,QAAQ,MAAM,EACd,eAAe,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,KACjC,OAsIF,CAAC;AAEF,eAAO,MAAM,qCAAqC,GAChD,gBAAgB,MAAM,GAAG,SAAS,EAClC,cAAc,MAAM,GAAG,SAAS,KAC/B,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SA2CxB,CAAC;AAQF,eAAO,MAAM,wBAAwB,GACnC,MAAM,MAAM,GAAG,SAAS,EACxB,eAAe,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KACzC,MAAM,GAAG,SAiFX,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,EAAE,CAAC,UAAU,KAClB;IACD,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;CA8BzC,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,MAAM,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,GAAG,SAAS,EAC7D,WAAW,SAAS,CAAC,mBAAmB,GAAG,SAAS,CAAC,EAAE,EACvD,UAAU,MAAM,EAChB,KAAK,cAAc,EACnB,MAAM,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,aAAa,KACzC,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,GAAG,SA+BhD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,aAAa,EAC1C,KAAK,cAAc,KAClB,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,GAAG,SAoBhD,CAAC;AAEF,eAAO,MAAM,4CAA4C,GACvD,WAAW,SAAS;IAClB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;CACzC,EAAE,EACH,UAAU,MAAM,KACf,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,GAAG,SAWhD,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,iCAAiC,GAC5C,QAAQ,UAAU,CAAC,OAAO,iBAAiB,CAAC,EAC5C,UAAU,MAAM,EAChB,KAAK,cAAc,EACnB,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,SAAS,EAC3D,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,SAAS,KACpD,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,GAAG,SA4MhD,CAAC"}

package/dist/ir/converters/expressions/calls/call-site-analysis.js

@@ -0,0 +1,554 @@
+/**
+ * Call-site analysis helpers
+ *
+ * Argument modifiers, binding resolution helpers, parameter mode detection,
+ * and type template unification for call/new expression converters.
+ */
+import * as ts from "typescript";
+import { irTypesEqual, referenceTypeIdentity, stableIrTypeKey, unwrapAsyncWrapperType, } from "../../../types/type-ops.js";
+import { getSourceSpan } from "../helpers.js";
+import { createDiagnostic } from "../../../../types/diagnostic.js";
+export const unifyTypeTemplate = (template, actual, substitutions) => {
+    if (template.kind === "typeParameterType") {
+        const existing = substitutions.get(template.name);
+        if (!existing) {
+            substitutions.set(template.name, actual);
+            return true;
+        }
+        return irTypesEqual(existing, actual);
+    }
+    if (template.kind !== actual.kind)
+        return false;
+    switch (template.kind) {
+        case "primitiveType":
+            return template.name === actual.name;
+        case "literalType":
+            return template.value === actual.value;
+        case "voidType":
+        case "unknownType":
+        case "anyType":
+        case "neverType":
+            return true;
+        case "arrayType":
+            return unifyTypeTemplate(template.elementType, actual.elementType, substitutions);
+        case "tupleType": {
+            const rhs = actual;
+            if (template.elementTypes.length !== rhs.elementTypes.length)
+                return false;
+            return template.elementTypes.every((t, i) => {
+                const other = rhs.elementTypes[i];
+                return other ? unifyTypeTemplate(t, other, substitutions) : false;
+            });
+        }
+        case "dictionaryType":
+            return (unifyTypeTemplate(template.keyType, actual.keyType, substitutions) &&
+                unifyTypeTemplate(template.valueType, actual.valueType, substitutions));
+        case "referenceType": {
+            const rhs = actual;
+            if (referenceTypeIdentity(template) !== referenceTypeIdentity(rhs))
+                return false;
+            const templateArgs = template.typeArguments ?? [];
+            const actualArgs = rhs.typeArguments ?? [];
+            if (templateArgs.length !== actualArgs.length)
+                return false;
+            return templateArgs.every((t, i) => {
+                const other = actualArgs[i];
+                return other ? unifyTypeTemplate(t, other, substitutions) : false;
+            });
+        }
+        case "unionType":
+        case "intersectionType": {
+            const rhs = actual;
+            if (template.types.length !== rhs.types.length)
+                return false;
+            return template.types.every((t, i) => {
+                const other = rhs.types[i];
+                return other ? unifyTypeTemplate(t, other, substitutions) : false;
+            });
+        }
+        case "functionType": {
+            const rhs = actual;
+            if (template.parameters.length !== rhs.parameters.length)
+                return false;
+            const paramsMatch = template.parameters.every((p, i) => {
+                const other = rhs.parameters[i];
+                if (!other ||
+                    p.isRest !== other.isRest ||
+                    p.isOptional !== other.isOptional)
+                    return false;
+                if (!p.type || !other.type)
+                    return p.type === other.type;
+                return unifyTypeTemplate(p.type, other.type, substitutions);
+            });
+            return (paramsMatch &&
+                unifyTypeTemplate(template.returnType, rhs.returnType, substitutions));
+        }
+        case "objectType": {
+            const rhs = actual;
+            if (template.members.length !== rhs.members.length)
+                return false;
+            return template.members.every((m, i) => {
+                const other = rhs.members[i];
+                if (!other || m.kind !== other.kind || m.name !== other.name) {
+                    return false;
+                }
+                if (m.kind === "propertySignature") {
+                    return (other.kind === "propertySignature" &&
+                        m.isOptional === other.isOptional &&
+                        m.isReadonly === other.isReadonly &&
+                        unifyTypeTemplate(m.type, other.type, substitutions));
+                }
+                if (other.kind !== "methodSignature")
+                    return false;
+                if ((m.typeParameters?.length ?? 0) !==
+                    (other.typeParameters?.length ?? 0))
+                    return false;
+                if (m.parameters.length !== other.parameters.length)
+                    return false;
+                const paramsMatch = m.parameters.every((p, paramIndex) => {
+                    const otherParam = other.parameters[paramIndex];
+                    if (!otherParam)
+                        return false;
+                    if (p.isRest !== otherParam.isRest ||
+                        p.isOptional !== otherParam.isOptional ||
+                        p.passing !== otherParam.passing) {
+                        return false;
+                    }
+                    if (!p.type || !otherParam.type)
+                        return p.type === otherParam.type;
+                    return unifyTypeTemplate(p.type, otherParam.type, substitutions);
+                });
+                if (!paramsMatch)
+                    return false;
+                if (!m.returnType || !other.returnType) {
+                    return m.returnType === other.returnType;
+                }
+                return unifyTypeTemplate(m.returnType, other.returnType, substitutions);
+            });
+        }
+    }
+};
+export const deriveSubstitutionsFromExpectedReturn = (returnTemplate, expectedType) => {
+    if (!returnTemplate || !expectedType)
+        return undefined;
+    const candidateQueue = expectedType.kind === "unionType"
+        ? [...expectedType.types]
+        : [expectedType];
+    const candidates = [];
+    const seen = new Set();
+    const enqueue = (candidate) => {
+        const key = stableIrTypeKey(candidate);
+        if (seen.has(key))
+            return;
+        seen.add(key);
+        candidateQueue.push(candidate);
+    };
+    while (candidateQueue.length > 0) {
+        const candidate = candidateQueue.shift();
+        if (!candidate)
+            continue;
+        candidates.push(candidate);
+        const asyncInner = unwrapAsyncWrapperType(candidate);
+        if (asyncInner) {
+            enqueue(asyncInner);
+        }
+        else if (candidate.kind === "unionType") {
+            for (const member of candidate.types) {
+                enqueue(member);
+            }
+        }
+    }
+    let matched;
+    for (const candidate of candidates) {
+        const attempt = new Map();
+        if (!unifyTypeTemplate(returnTemplate, candidate, attempt))
+            continue;
+        if (attempt.size === 0)
+            continue;
+        if (matched) {
+            return undefined;
+        }
+        matched = attempt;
+    }
+    return matched;
+};
+/** Substitute with non-undefined input guaranteed to produce non-undefined output. */
+const substituteRequired = (type, substitutions) => substituteTypeParameters(type, substitutions) ?? type;
+export const substituteTypeParameters = (type, substitutions) => {
+    if (!type)
+        return undefined;
+    switch (type.kind) {
+        case "typeParameterType":
+            return substitutions.get(type.name) ?? type;
+        case "arrayType":
+            return {
+                ...type,
+                elementType: substituteRequired(type.elementType, substitutions),
+            };
+        case "tupleType":
+            return {
+                ...type,
+                elementTypes: type.elementTypes.map((t) => substituteRequired(t, substitutions)),
+            };
+        case "dictionaryType":
+            return {
+                ...type,
+                keyType: substituteRequired(type.keyType, substitutions),
+                valueType: substituteRequired(type.valueType, substitutions),
+            };
+        case "referenceType":
+            return {
+                ...type,
+                ...(type.typeArguments
+                    ? {
+                        typeArguments: type.typeArguments.map((t) => substituteRequired(t, substitutions)),
+                    }
+                    : {}),
+            };
+        case "unionType":
+        case "intersectionType":
+            return {
+                ...type,
+                types: type.types.map((t) => substituteRequired(t, substitutions)),
+            };
+        case "functionType":
+            return {
+                ...type,
+                parameters: type.parameters.map((p) => ({
+                    ...p,
+                    type: substituteTypeParameters(p.type, substitutions),
+                })),
+                returnType: substituteRequired(type.returnType, substitutions),
+            };
+        case "objectType":
+            return {
+                ...type,
+                members: type.members.map((m) => {
+                    if (m.kind === "propertySignature") {
+                        return {
+                            ...m,
+                            type: substituteRequired(m.type, substitutions),
+                        };
+                    }
+                    return {
+                        ...m,
+                        typeParameters: m.typeParameters?.map((tp) => ({
+                            ...tp,
+                            constraint: substituteTypeParameters(tp.constraint, substitutions),
+                            default: substituteTypeParameters(tp.default, substitutions),
+                        })),
+                        parameters: m.parameters.map((p) => ({
+                            ...p,
+                            type: substituteTypeParameters(p.type, substitutions),
+                        })),
+                        returnType: substituteTypeParameters(m.returnType, substitutions),
+                    };
+                }),
+            };
+        default:
+            return type;
+    }
+};
+/**
+ * Unwrap call-site argument modifier markers.
+ *
+ * @tsonic/core/lang.js exports compile-time-only intrinsics:
+ * - out(x)   → emit `out x` at the call site
+ * - ref(x)   → emit `ref x`
+ * - inref(x) → emit `in x`
+ *
+ * These markers must be erased by the compiler and must never reach emission as
+ * normal calls.
+ */
+export const unwrapCallSiteArgumentModifier = (expr) => {
+    // Unwrap parentheses first (out((x)) etc).
+    let current = expr;
+    while (ts.isParenthesizedExpression(current)) {
+        current = current.expression;
+    }
+    if (!ts.isCallExpression(current))
+        return { expression: expr };
+    if (!ts.isIdentifier(current.expression))
+        return { expression: expr };
+    const name = current.expression.text;
+    if (name !== "out" && name !== "ref" && name !== "inref") {
+        return { expression: expr };
+    }
+    // Markers are non-generic and take exactly one argument.
+    if (current.typeArguments && current.typeArguments.length > 0) {
+        return { expression: expr };
+    }
+    if (current.arguments.length !== 1) {
+        return { expression: expr };
+    }
+    const inner = current.arguments[0];
+    if (!inner)
+        return { expression: expr };
+    const modifier = name === "inref" ? "in" : name;
+    return { expression: inner, modifier };
+};
+export const applyCallSiteArgumentModifiers = (base, overrides, argCount, ctx, node) => {
+    const hasOverrides = overrides.some((m) => m !== undefined);
+    if (!hasOverrides)
+        return base;
+    const passing = base?.slice(0, argCount) ?? Array(argCount).fill("value");
+    for (let i = 0; i < argCount; i++) {
+        const override = overrides[i];
+        if (!override)
+            continue;
+        const existing = passing[i];
+        // If we have a resolved signature, call-site modifiers must match it exactly.
+        // (We do not currently use call-site modifiers to influence overload resolution.)
+        if (base !== undefined && existing !== override) {
+            ctx.diagnostics.push(createDiagnostic("TSN7444", "error", `Call-site passing modifier '${override}' conflicts with resolved signature (expected '${existing}' at argument ${i}).`, getSourceSpan(node), "Remove the call-site modifier, or call the correct overload that matches ref/out/in."));
+            continue;
+        }
+        passing[i] = override;
+    }
+    return passing;
+};
+/**
+ * Extract argument passing modes from resolved signature.
+ * Returns array aligned with arguments, indicating ref/out/in/value for each.
+ *
+ * ALICE'S SPEC: Uses TypeSystem to get parameter modes.
+ * Parameter modes were normalized in Binding at registration time.
+ */
+export const extractArgumentPassing = (node, ctx) => {
+    // Get the TypeSystem
+    const typeSystem = ctx.typeSystem;
+    // Handle both CallExpression and NewExpression
+    const sigId = ts.isCallExpression(node)
+        ? ctx.binding.resolveCallSignature(node)
+        : ctx.binding.resolveConstructorSignature(node);
+    if (!sigId)
+        return undefined;
+    // Use TypeSystem.resolveCall() to get parameter modes
+    const resolved = typeSystem.resolveCall({
+        sigId,
+        argumentCount: ts.isCallExpression(node)
+            ? node.arguments.length
+            : (node.arguments?.length ?? 0),
+    });
+    // Return parameter modes from TypeSystem (already normalized in Binding)
+    return resolved.parameterModes;
+};
+export const extractArgumentPassingFromParameterModifiers = (modifiers, argCount) => {
+    if (modifiers.length === 0)
+        return undefined;
+    const passing = Array(argCount).fill("value");
+    for (const mod of modifiers) {
+        if (mod.index >= 0 && mod.index < argCount) {
+            passing[mod.index] = mod.modifier;
+        }
+    }
+    return passing;
+};
+/**
+ * Extract argument passing modes from CLR bindings for the *selected overload*.
+ *
+ * CRITICAL: Methods can be overloaded, and overloads can differ in ref/out/in modifiers.
+ * We must not attach a single overload's modifiers to the member access itself.
+ *
+ * This resolver selects the best-matching binding overload using the call's argument
+ * types, then applies that overload's parameterModifiers.
+ */
+export const extractArgumentPassingFromBinding = (callee, argCount, ctx, parameterTypes, argTypes) => {
+    if (callee.kind !== "memberAccess" || !callee.memberBinding)
+        return undefined;
+    // Fast path: already-resolved modifiers (extension methods or non-overloaded members).
+    const directMods = callee.memberBinding.parameterModifiers;
+    if (directMods && directMods.length > 0) {
+        return extractArgumentPassingFromParameterModifiers(directMods, argCount);
+    }
+    // No member binding → no CLR parameter modifiers.
+    const binding = callee.memberBinding;
+    const overloadsAll = ctx.bindings.getClrMemberOverloads(binding.assembly, binding.type, binding.member);
+    if (!overloadsAll || overloadsAll.length === 0)
+        return undefined;
+    const calledName = typeof callee.property === "string" ? callee.property : undefined;
+    const overloads = calledName
+        ? overloadsAll.filter((m) => m.alias === calledName || m.name === calledName)
+        : overloadsAll;
+    if (overloads.length === 0)
+        return undefined;
+    const matchTypes = parameterTypes ?? argTypes;
+    const hasMatchTypes = matchTypes && matchTypes.some((t) => t !== undefined);
+    const splitSignatureTypeList = (str) => {
+        const result = [];
+        let depth = 0;
+        let current = "";
+        for (const char of str) {
+            if (char === "[") {
+                depth++;
+                current += char;
+            }
+            else if (char === "]") {
+                depth--;
+                current += char;
+            }
+            else if (char === "," && depth === 0) {
+                result.push(current.trim());
+                current = "";
+            }
+            else {
+                current += char;
+            }
+        }
+        if (current.trim())
+            result.push(current.trim());
+        return result;
+    };
+    const parseParameterTypes = (sig) => {
+        if (!sig)
+            return [];
+        const paramsMatch = sig.match(/\|\(([^)]*)\):/);
+        const paramsStr = paramsMatch?.[1]?.trim();
+        if (!paramsStr)
+            return [];
+        return splitSignatureTypeList(paramsStr).map((s) => s.trim());
+    };
+    const extractSimpleClrName = (typeName) => {
+        let t = typeName.trim();
+        if (t.endsWith("&"))
+            t = t.slice(0, -1);
+        if (t.endsWith("[]"))
+            t = t.slice(0, -2);
+        const bracket = t.indexOf("[");
+        if (bracket >= 0)
+            t = t.slice(0, bracket);
+        const lastDot = t.lastIndexOf(".");
+        if (lastDot >= 0)
+            t = t.slice(lastDot + 1);
+        return t;
+    };
+    const primitiveToClrSimpleName = (name) => {
+        switch (name) {
+            case "string":
+                return "String";
+            case "boolean":
+            case "bool":
+                return "Boolean";
+            case "char":
+                return "Char";
+            case "byte":
+                return "Byte";
+            case "sbyte":
+                return "SByte";
+            case "short":
+                return "Int16";
+            case "ushort":
+                return "UInt16";
+            case "int":
+                return "Int32";
+            case "uint":
+                return "UInt32";
+            case "long":
+                return "Int64";
+            case "ulong":
+                return "UInt64";
+            case "float":
+                return "Single";
+            case "double":
+                return "Double";
+            case "decimal":
+                return "Decimal";
+            default:
+                return undefined;
+        }
+    };
+    const collectMatchNames = (t) => {
+        switch (t.kind) {
+            case "primitiveType": {
+                const mapped = primitiveToClrSimpleName(t.name);
+                return mapped ? [mapped] : [];
+            }
+            case "referenceType": {
+                const lastDot = t.name.lastIndexOf(".");
+                const simple = lastDot >= 0 ? t.name.slice(lastDot + 1) : t.name;
+                return [
+                    simple
+                        .replace(/\$instance$/, "")
+                        .replace(/^__/, "")
+                        .replace(/\$views$/, ""),
+                ];
+            }
+            case "unionType":
+                return Array.from(new Set(t.types.flatMap((x) => collectMatchNames(x))));
+            case "intersectionType":
+                return Array.from(new Set(t.types.flatMap((x) => collectMatchNames(x))));
+            default:
+                return [];
+        }
+    };
+    const modifiersKey = (m) => {
+        const mods = m.parameterModifiers ?? [];
+        if (mods.length === 0)
+            return "";
+        return [...mods]
+            .slice()
+            .sort((a, b) => a.index - b.index)
+            .map((mod) => `${mod.index}:${mod.modifier}`)
+            .join(",");
+    };
+    const scoreCandidate = (m) => {
+        if (!hasMatchTypes)
+            return 0;
+        const paramTypes = parseParameterTypes(m.signature);
+        let score = 0;
+        for (let i = 0; i < argCount; i++) {
+            const expected = matchTypes?.[i];
+            if (!expected)
+                continue;
+            const expectedNames = collectMatchNames(expected);
+            if (expectedNames.length === 0)
+                continue;
+            const paramType = paramTypes[i];
+            if (!paramType)
+                continue;
+            const paramName = extractSimpleClrName(paramType);
+            if (expectedNames.includes(paramName)) {
+                score += 10;
+            }
+            else {
+                score -= 3;
+            }
+        }
+        return score;
+    };
+    // Discard candidates that can't accept the provided arguments (best-effort, arity only).
+    const candidates = overloads.filter((m) => {
+        if (typeof m.parameterCount !== "number")
+            return true;
+        return m.parameterCount >= argCount;
+    });
+    if (candidates.length === 0)
+        return undefined;
+    let bestScore = Number.NEGATIVE_INFINITY;
+    let best = [];
+    for (const c of candidates) {
+        const score = scoreCandidate(c);
+        if (score > bestScore) {
+            bestScore = score;
+            best = [c];
+        }
+        else if (score === bestScore) {
+            best.push(c);
+        }
+    }
+    if (best.length === 0)
+        return undefined;
+    // If ambiguous, only accept when all best candidates agree on modifiers.
+    const first = best[0];
+    if (!first)
+        return undefined;
+    const key = modifiersKey(first);
+    if (best.some((m) => modifiersKey(m) !== key)) {
+        return undefined;
+    }
+    const chosenMods = first.parameterModifiers;
+    if (!chosenMods || chosenMods.length === 0)
+        return undefined;
+    return extractArgumentPassingFromParameterModifiers(chosenMods, argCount);
+};
+//# sourceMappingURL=call-site-analysis.js.map

package/dist/ir/converters/expressions/calls/call-site-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-analysis.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/call-site-analysis.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAKnE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAgB,EAChB,MAAc,EACd,aAAkC,EACzB,EAAE;IACX,IAAI,QAAQ,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACzC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEhD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,eAAe;YAClB,OAAO,QAAQ,CAAC,IAAI,KAAM,MAA0B,CAAC,IAAI,CAAC;QAC5D,KAAK,aAAa;YAChB,OAAO,QAAQ,CAAC,KAAK,KAAM,MAA0B,CAAC,KAAK,CAAC;QAC9D,KAAK,UAAU,CAAC;QAChB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QACd,KAAK,WAAW;YACd,OAAO,iBAAiB,CACtB,QAAQ,CAAC,WAAW,EACnB,MAA0B,CAAC,WAAW,EACvC,aAAa,CACd,CAAC;QACJ,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,GAAG,GAAG,MAAyB,CAAC;YACtC,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,MAAM;gBAC1D,OAAO,KAAK,CAAC;YACf,OAAO,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAClC,OAAO,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACpE,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,CACL,iBAAiB,CACf,QAAQ,CAAC,OAAO,EACf,MAA0B,CAAC,OAAO,EACnC,aAAa,CACd;gBACD,iBAAiB,CACf,QAAQ,CAAC,SAAS,EACjB,MAA0B,CAAC,SAAS,EACrC,aAAa,CACd,CACF,CAAC;QACJ,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,MAAyB,CAAC;YACtC,IAAI,qBAAqB,CAAC,QAAQ,CAAC,KAAK,qBAAqB,CAAC,GAAG,CAAC;gBAChE,OAAO,KAAK,CAAC;YACf,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;YAClD,MAAM,UAAU,GAAG,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC;YAC3C,IAAI,YAAY,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC5D,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACjC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC5B,OAAO,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACpE,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,MAAyB,CAAC;YACtC,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC7D,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACnC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACpE,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,GAAG,GAAG,MAAyB,CAAC;YACtC,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YACvE,MAAM,WAAW,GAAG,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrD,MAAM,KAAK,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAChC,IACE,CAAC,KAAK;oBACN,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;oBACzB,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;oBAEjC,OAAO,KAAK,CAAC;gBACf,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI;oBAAE,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;gBACzD,OAAO,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YAC9D,CAAC,CAAC,CAAC;YACH,OAAO,CACL,WAAW;gBACX,iBAAiB,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CACtE,CAAC;QACJ,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,GAAG,GAAG,MAAyB,CAAC;YACtC,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YACjE,OAAO,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;oBAC7D,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,mBAAmB;wBAClC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;wBACjC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;wBACjC,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,CACrD,CAAC;gBACJ,CAAC;gBACD,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;oBAAE,OAAO,KAAK,CAAC;gBACnD,IACE,CAAC,CAAC,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC;oBAC/B,CAAC,KAAK,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC;oBAEnC,OAAO,KAAK,CAAC;gBACf,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAClE,MAAM,WAAW,GAAG,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE;oBACvD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;oBAChD,IAAI,CAAC,UAAU;wBAAE,OAAO,KAAK,CAAC;oBAC9B,IACE,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;wBAC9B,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,UAAU;wBACtC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,OAAO,EAChC,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI;wBAAE,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC;oBACnE,OAAO,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;gBACnE,CAAC,CAAC,CAAC;gBACH,IAAI,CAAC,WAAW;oBAAE,OAAO,KAAK,CAAC;gBAC/B,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;oBACvC,OAAO,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC;gBAC3C,CAAC;gBACD,OAAO,iBAAiB,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YAC1E,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,cAAkC,EAClC,YAAgC,EACC,EAAE;IACnC,IAAI,CAAC,cAAc,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEvD,MAAM,cAAc,GAClB,YAAY,CAAC,IAAI,KAAK,WAAW;QAC/B,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACrB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAG,CAAC,SAAiB,EAAQ,EAAE;QAC1C,MAAM,GAAG,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,CAAC;QACzC,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE3B,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,CAAC,UAAU,CAAC,CAAC;QACtB,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC1C,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;gBACrC,OAAO,CAAC,MAAM,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,OAAwC,CAAC;IAC7C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,IAAI,CAAC,iBAAiB,CAAC,cAAc,EAAE,SAAS,EAAE,OAAO,CAAC;YAAE,SAAS;QACrE,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;YAAE,SAAS;QACjC,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC;IACpB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,sFAAsF;AACtF,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,aAA0C,EAClC,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,IAAI,CAAC;AAEnE,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAwB,EACxB,aAA0C,EACtB,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB;YACtB,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC9C,KAAK,WAAW;YACd,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC;aACjE,CAAC;QACJ,KAAK,WAAW;YACd,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,kBAAkB,CAAC,CAAC,EAAE,aAAa,CAAC,CACrC;aACF,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC;gBACxD,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC;aAC7D,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO;gBACL,GAAG,IAAI;gBACP,GAAG,CAAC,IAAI,CAAC,aAAa;oBACpB,CAAC,CAAC;wBACE,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1C,kBAAkB,CAAC,CAAC,EAAE,aAAa,CAAC,CACrC;qBACF;oBACH,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;QACJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;aACnE,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtC,GAAG,CAAC;oBACJ,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC;iBACtD,CAAC,CAAC;gBACH,UAAU,EAAE,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;aAC/D,CAAC;QACJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACnC,OAAO;4BACL,GAAG,CAAC;4BACJ,IAAI,EAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC;yBAChD,CAAC;oBACJ,CAAC;oBACD,OAAO;wBACL,GAAG,CAAC;wBACJ,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;4BAC7C,GAAG,EAAE;4BACL,UAAU,EAAE,wBAAwB,CAClC,EAAE,CAAC,UAAU,EACb,aAAa,CACd;4BACD,OAAO,EAAE,wBAAwB,CAAC,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC;yBAC7D,CAAC,CAAC;wBACH,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;4BACnC,GAAG,CAAC;4BACJ,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC;yBACtD,CAAC,CAAC;wBACH,UAAU,EAAE,wBAAwB,CAAC,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC;qBAClE,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QACJ;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAmB,EAInB,EAAE;IACF,2CAA2C;IAC3C,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IAED,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC/D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAEtE,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;IACrC,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACzD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED,yDAAyD;IACzD,IAAI,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9D,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAExC,MAAM,QAAQ,GACZ,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,IAAsB,CAAC;IACpD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAA6D,EAC7D,SAAuD,EACvD,QAAgB,EAChB,GAAmB,EACnB,IAA0C,EACe,EAAE;IAC3D,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAC5D,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAE/B,MAAM,OAAO,GACX,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAE5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5B,8EAA8E;QAC9E,kFAAkF;QAClF,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAChD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,+BAA+B,QAAQ,kDAAkD,QAAQ,iBAAiB,CAAC,IAAI,EACvH,aAAa,CAAC,IAAI,CAAC,EACnB,sFAAsF,CACvF,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC;IACxB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA0C,EAC1C,GAAmB,EACsC,EAAE;IAC3D,qBAAqB;IACrB,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAElC,+CAA+C;IAC/C,MAAM,KAAK,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACrC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC;QACxC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,sDAAsD;IACtD,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC;QACtC,KAAK;QACL,aAAa,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACtC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM;YACvB,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC;KAClC,CAAC,CAAC;IAEH,yEAAyE;IACzE,OAAO,QAAQ,CAAC,cAAc,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4CAA4C,GAAG,CAC1D,SAGG,EACH,QAAgB,EACyC,EAAE;IAC3D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7C,MAAM,OAAO,GACX,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,GAAG,QAAQ,EAAE,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,MAA4C,EAC5C,QAAgB,EAChB,GAAmB,EACnB,cAA2D,EAC3D,QAAqD,EACI,EAAE;IAC3D,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAE9E,uFAAuF;IACvF,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,kBAAkB,CAAC;IAC3D,IAAI,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,4CAA4C,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC5E,CAAC;IAED,kDAAkD;IAClD,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC;IACrC,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC,qBAAqB,CACrD,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,MAAM,CACf,CAAC;IACF,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEjE,MAAM,UAAU,GACd,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,MAAM,SAAS,GAAG,UAAU;QAC1B,CAAC,CAAC,YAAY,CAAC,MAAM,CACjB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CACvD;QACH,CAAC,CAAC,YAAY,CAAC;IACjB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7C,MAAM,UAAU,GAAG,cAAc,IAAI,QAAQ,CAAC;IAC9C,MAAM,aAAa,GAAG,UAAU,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAE5E,MAAM,sBAAsB,GAAG,CAAC,GAAW,EAAY,EAAE;QACvD,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,OAAO,GAAG,EAAE,CAAC;QAEjB,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjB,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACxB,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5B,OAAO,GAAG,EAAE,CAAC;YACf,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,IAAI,EAAE;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAChD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,mBAAmB,GAAG,CAAC,GAAuB,EAAqB,EAAE;QACzE,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAC;QACpB,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS;YAAE,OAAO,EAAE,CAAC;QAC1B,OAAO,sBAAsB,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC;IAEF,MAAM,oBAAoB,GAAG,CAAC,QAAgB,EAAU,EAAE;QACxD,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,IAAI,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,OAAO,IAAI,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QAC3C,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IAEF,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAsB,EAAE;QACpE,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC;YAClB,KAAK,SAAS,CAAC;YACf,KAAK,MAAM;gBACT,OAAO,SAAS,CAAC;YACnB,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC;YAChB,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC;YAChB,KAAK,OAAO;gBACV,OAAO,OAAO,CAAC;YACjB,KAAK,OAAO;gBACV,OAAO,OAAO,CAAC;YACjB,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC;YAClB,KAAK,KAAK;gBACR,OAAO,OAAO,CAAC;YACjB,KAAK,MAAM;gBACT,OAAO,QAAQ,CAAC;YAClB,KAAK,MAAM;gBACT,OAAO,OAAO,CAAC;YACjB,KAAK,OAAO;gBACV,OAAO,QAAQ,CAAC;YAClB,KAAK,OAAO;gBACV,OAAO,QAAQ,CAAC;YAClB,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC;YAClB,KAAK,SAAS;gBACZ,OAAO,SAAS,CAAC;YACnB;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAG,CAAC,CAAS,EAAqB,EAAE;QACzD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,MAAM,GAAG,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAChD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;gBACxC,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACjE,OAAO;oBACL,MAAM;yBACH,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;yBAC1B,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;yBAClB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;iBAC3B,CAAC;YACJ,CAAC;YACD,KAAK,WAAW;gBACd,OAAO,KAAK,CAAC,IAAI,CACf,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CACtD,CAAC;YACJ,KAAK,kBAAkB;gBACrB,OAAO,KAAK,CAAC,IAAI,CACf,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CACtD,CAAC;YACJ;gBACE,OAAO,EAAE,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,CAAC,CAAgB,EAAU,EAAE;QAChD,MAAM,IAAI,GAAG,CAAC,CAAC,kBAAkB,IAAI,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACjC,OAAO,CAAC,GAAG,IAAI,CAAC;aACb,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;aACjC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;aAC5C,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,CAAC,CAAgB,EAAU,EAAE;QAClD,IAAI,CAAC,aAAa;YAAE,OAAO,CAAC,CAAC;QAC7B,MAAM,UAAU,GAAG,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,QAAQ;gBAAE,SAAS;YAExB,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAClD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAEzC,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,MAAM,SAAS,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;YAElD,IAAI,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBACtC,KAAK,IAAI,EAAE,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,yFAAyF;IACzF,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACxC,IAAI,OAAO,CAAC,CAAC,cAAc,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACtD,OAAO,CAAC,CAAC,cAAc,IAAI,QAAQ,CAAC;IACtC,CAAC,CAAC,CAAC;IACH,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9C,IAAI,SAAS,GAAG,MAAM,CAAC,iBAAiB,CAAC;IACzC,IAAI,IAAI,GAAoB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;YACtB,SAAS,GAAG,KAAK,CAAC;YAClB,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAExC,yEAAyE;IACzE,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,kBAAkB,CAAC;IAC5C,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7D,OAAO,4CAA4C,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;AAC5E,CAAC,CAAC"}

package/dist/ir/converters/expressions/calls/new-converter.d.ts

@@ -0,0 +1,21 @@
+/**
+ * New expression converter
+ *
+ * Phase 15 (Alice's spec): Two-pass resolution for deterministic constructor typing.
+ */
+import * as ts from "typescript";
+import { IrNewExpression } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
+/**
+ * Convert new expression
+ *
+ * Phase 15 (Alice's spec): Two-pass resolution for deterministic constructor typing.
+ * 1) Resolve once (without argTypes) to get parameter types for expected-type threading.
+ * 2) Convert non-lambda arguments first, collecting argTypes for inference.
+ * 3) Re-resolve with argTypes to infer constructor type parameters.
+ * 4) Convert lambda arguments using instantiated parameter types.
+ * 5) Final resolve with full argTypes.
+ * 6) inferredType MUST be finalResolved.returnType.
+ */
+export declare const convertNewExpression: (node: ts.NewExpression, ctx: ProgramContext) => IrNewExpression;
+//# sourceMappingURL=new-converter.d.ts.map