@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/converters/expressions/calls/call-resolution.js

@@ -0,0 +1,293 @@
+/**
+ * Call resolution helpers
+ *
+ * Contains callable-candidate resolution, overload scoring, and
+ * getDeclaredReturnType for call/new expressions.
+ *
+ * ALICE'S SPEC: All call resolution goes through TypeSystem.resolveCall().
+ * NO FALLBACKS ALLOWED. If TypeSystem can't resolve, return unknownType.
+ */
+import * as ts from "typescript";
+import { getSpreadTupleShape } from "../../../types.js";
+// DELETED: getReturnTypeFromFunctionType - Was part of fallback path
+// DELETED: getCalleesDeclaredType - Was part of fallback path
+// Alice's spec: TypeSystem.resolveCall() is the single source of truth.
+export const flattenCallableCandidates = (type, ctx) => {
+    if (!type)
+        return [];
+    if (type.kind === "functionType") {
+        return [type];
+    }
+    if (type.kind === "intersectionType") {
+        return type.types.flatMap((member) => flattenCallableCandidates(member, ctx));
+    }
+    const delegated = ctx.typeSystem.delegateToFunctionType(type);
+    return delegated ? [delegated] : [];
+};
+export const countRequiredParameters = (type) => type.parameters.filter((parameter) => !parameter.isOptional && !parameter.isRest).length;
+export const canAcceptArgumentCount = (type, argumentCount) => {
+    const required = countRequiredParameters(type);
+    if (argumentCount < required)
+        return false;
+    const hasRest = type.parameters.some((parameter) => parameter.isRest);
+    if (!hasRest && argumentCount > type.parameters.length) {
+        return false;
+    }
+    return true;
+};
+export const collectResolutionArguments = (args) => {
+    const argTypes = [];
+    for (const arg of args) {
+        if (arg.kind !== "spread") {
+            argTypes.push(arg.inferredType);
+            continue;
+        }
+        const spreadShape = arg.inferredType
+            ? getSpreadTupleShape(arg.inferredType)
+            : undefined;
+        if (!spreadShape) {
+            continue;
+        }
+        for (const elementType of spreadShape.prefixElementTypes) {
+            argTypes.push(elementType);
+        }
+    }
+    return {
+        argumentCount: argTypes.length,
+        argTypes,
+    };
+};
+export const scoreCallableCandidate = (type, argumentCount) => {
+    const hasRest = type.parameters.some((parameter) => parameter.isRest);
+    const required = countRequiredParameters(type);
+    return [
+        hasRest ? 0 : 1,
+        Math.max(0, required - argumentCount) === 0 ? 1 : 0,
+        type.parameters.length === argumentCount ? 1 : 0,
+        -type.parameters.length,
+    ];
+};
+const NUMERIC_TYPE_NAMES = new Set([
+    "number",
+    "int",
+    "byte",
+    "sbyte",
+    "short",
+    "ushort",
+    "uint",
+    "long",
+    "ulong",
+    "float",
+    "double",
+    "decimal",
+]);
+const isNumericType = (type) => {
+    if (type.kind === "primitiveType") {
+        return NUMERIC_TYPE_NAMES.has(type.name);
+    }
+    if (type.kind === "referenceType") {
+        const simpleName = type.name.split(".").pop() ?? type.name;
+        return NUMERIC_TYPE_NAMES.has(simpleName);
+    }
+    return false;
+};
+const isDeterministicallyNumericCompatible = (parameterType, argumentType) => {
+    if (parameterType.kind === "unionType") {
+        return parameterType.types.some((member) => isDeterministicallyNumericCompatible(member, argumentType));
+    }
+    if (argumentType.kind === "unionType") {
+        return argumentType.types.every((member) => isDeterministicallyNumericCompatible(parameterType, member));
+    }
+    return isNumericType(parameterType) && isNumericType(argumentType);
+};
+const _scoreTypeCompatibility = (parameterType, argumentType, ctx) => {
+    if (ctx.typeSystem.typesEqual(parameterType, argumentType)) {
+        return 4;
+    }
+    if (ctx.typeSystem.isAssignableTo(argumentType, parameterType)) {
+        return 3;
+    }
+    if (isDeterministicallyNumericCompatible(parameterType, argumentType)) {
+        return 2;
+    }
+    const parameterFn = parameterType.kind === "functionType"
+        ? parameterType
+        : ctx.typeSystem.delegateToFunctionType(parameterType);
+    const argumentFn = argumentType.kind === "functionType"
+        ? argumentType
+        : ctx.typeSystem.delegateToFunctionType(argumentType);
+    if (parameterFn && argumentFn) {
+        let score = 0;
+        if (parameterFn.parameters.length === argumentFn.parameters.length) {
+            score += 8;
+        }
+        else {
+            score -=
+                Math.abs(parameterFn.parameters.length - argumentFn.parameters.length) *
+                    2;
+        }
+        const pairCount = Math.min(parameterFn.parameters.length, argumentFn.parameters.length);
+        for (let index = 0; index < pairCount; index += 1) {
+            const parameter = parameterFn.parameters[index];
+            const argument = argumentFn.parameters[index];
+            if (!parameter?.type || !argument?.type)
+                continue;
+            score += _scoreTypeCompatibility(parameter.type, argument.type, ctx);
+        }
+        if (argumentFn.returnType.kind !== "unknownType" &&
+            argumentFn.returnType.kind !== "anyType") {
+            score += _scoreTypeCompatibility(parameterFn.returnType, argumentFn.returnType, ctx);
+        }
+        return score;
+    }
+    return 0;
+};
+export const compareCallableScores = (left, right) => {
+    for (let index = 0; index < left.length; index += 1) {
+        const leftScore = left[index];
+        const rightScore = right[index];
+        if (leftScore === undefined || rightScore === undefined) {
+            continue;
+        }
+        const delta = leftScore - rightScore;
+        if (delta !== 0)
+            return delta;
+    }
+    return 0;
+};
+export const chooseCallableCandidate = (type, argumentCount, ctx, argTypes) => {
+    return ctx.typeSystem.resolveCallableType(type, {
+        argumentCount,
+        argTypes,
+    }).callableType;
+};
+export const resolveCallableCandidate = (type, argumentCount, ctx, argTypes, explicitTypeArgs, expectedReturnType) => ctx.typeSystem.resolveCallableType(type, {
+    argumentCount,
+    argTypes,
+    explicitTypeArgs,
+    expectedReturnType,
+});
+/**
+ * Walk a property access chain and build a qualified name.
+ * For `Foo.Bar.Baz`, returns "Foo.Bar.Baz" by walking the AST identifiers.
+ * This avoids getText() which bakes source formatting into type identity.
+ */
+export const buildQualifiedName = (expr) => {
+    if (ts.isIdentifier(expr)) {
+        return expr.text;
+    }
+    if (ts.isPropertyAccessExpression(expr)) {
+        const parts = [];
+        let current = expr;
+        while (ts.isPropertyAccessExpression(current)) {
+            parts.unshift(current.name.text);
+            current = current.expression;
+        }
+        if (ts.isIdentifier(current)) {
+            parts.unshift(current.text);
+            return parts.join(".");
+        }
+    }
+    return undefined;
+};
+export const unwrapExpr = (expr) => {
+    let current = expr;
+    while (ts.isParenthesizedExpression(current)) {
+        current = current.expression;
+    }
+    return current;
+};
+export const isArrayNamespaceExpression = (expr) => {
+    const unwrapped = unwrapExpr(expr);
+    if (ts.isIdentifier(unwrapped)) {
+        return unwrapped.text === "Array";
+    }
+    if (ts.isPropertyAccessExpression(unwrapped)) {
+        return (ts.isIdentifier(unwrapped.expression) &&
+            unwrapped.expression.text === "globalThis" &&
+            unwrapped.name.text === "Array");
+    }
+    return false;
+};
+export const isArrayIsArrayCall = (expr) => {
+    const unwrapped = unwrapExpr(expr);
+    return (ts.isPropertyAccessExpression(unwrapped) &&
+        unwrapped.name.text === "isArray" &&
+        isArrayNamespaceExpression(unwrapped.expression));
+};
+// DELETED: getDeclaredReturnTypeFallback - Alice's spec: no fallbacks allowed
+// TypeSystem.resolveCall() is the single source of truth.
+// DELETED: normalizeReceiverToNominal - No longer needed without NominalEnv fallback
+// DELETED: getDeclaredReturnTypeNominalEnvFallback - Alice's spec: no fallbacks allowed
+// TypeSystem.resolveCall() is the single source of truth.
+/**
+ * Get the declared return type from a call or new expression's signature.
+ *
+ * ALICE'S SPEC: Uses TypeSystem.resolveCall() EXCLUSIVELY.
+ * NO FALLBACKS. If TypeSystem can't resolve, return unknownType.
+ * This ensures any missing TypeSystem functionality surfaces as test failures.
+ */
+export const getDeclaredReturnType = (node, ctx, receiverIrType) => {
+    const DEBUG = process.env.DEBUG_RETURN_TYPE === "1";
+    const methodName = ts.isCallExpression(node) && ts.isPropertyAccessExpression(node.expression)
+        ? node.expression.name.text
+        : undefined;
+    if (DEBUG && methodName) {
+        console.log("[getDeclaredReturnType]", methodName, "receiver:", receiverIrType);
+    }
+    // Handle new expressions specially - they construct the type from the expression
+    if (ts.isNewExpression(node)) {
+        const typeSystem = ctx.typeSystem;
+        const sigId = ctx.binding.resolveConstructorSignature(node);
+        if (!sigId) {
+            if (DEBUG && methodName) {
+                console.log("[getDeclaredReturnType]", methodName, "No constructor signature resolved");
+            }
+            return undefined;
+        }
+        const argumentCount = node.arguments?.length ?? 0;
+        const explicitTypeArgs = node.typeArguments
+            ? node.typeArguments.map((ta) => typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(ta)))
+            : undefined;
+        const resolved = typeSystem.resolveCall({
+            sigId,
+            argumentCount,
+            explicitTypeArgs,
+        });
+        if (DEBUG && methodName) {
+            console.log("[getDeclaredReturnType]", methodName, "TypeSystem returned:", resolved.returnType);
+        }
+        return resolved.returnType.kind === "unknownType"
+            ? undefined
+            : resolved.returnType;
+    }
+    // For call expressions, use TypeSystem.resolveCall() EXCLUSIVELY
+    const typeSystem = ctx.typeSystem;
+    const sigId = ctx.binding.resolveCallSignature(node);
+    if (!sigId) {
+        if (DEBUG && methodName)
+            console.log("[getDeclaredReturnType]", methodName, "No signature resolved");
+        return undefined;
+    }
+    // Get argument count for totality
+    const argumentCount = node.arguments.length;
+    // Extract explicit type arguments from call site if any
+    // PHASE 4 (Alice's spec): Use captureTypeSyntax + typeFromSyntax
+    const explicitTypeArgs = node.typeArguments
+        ? node.typeArguments.map((ta) => typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(ta)))
+        : undefined;
+    // Use TypeSystem.resolveCall() - guaranteed to return a result
+    // NO FALLBACK: If TypeSystem returns unknownType, that's the answer
+    const resolved = typeSystem.resolveCall({
+        sigId,
+        argumentCount,
+        receiverType: receiverIrType,
+        explicitTypeArgs,
+    });
+    if (DEBUG && methodName) {
+        console.log("[getDeclaredReturnType]", methodName, "TypeSystem returned:", resolved.returnType);
+    }
+    // Return TypeSystem's answer directly - no fallbacks
+    return resolved.returnType;
+};
+//# sourceMappingURL=call-resolution.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/call-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAoB,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAK1E,qEAAqE;AACrE,8DAA8D;AAC9D,wEAAwE;AAExE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAwB,EACxB,GAAmB,EACmC,EAAE;IACxD,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IAErB,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,yBAAyB,CAAC,MAAM,EAAE,GAAG,CAAC,CACvC,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAC9D,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA+C,EACvC,EAAE,CACV,IAAI,CAAC,UAAU,CAAC,MAAM,CACpB,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,MAAM,CAC1D,CAAC,MAAM,CAAC;AAEX,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA+C,EAC/C,aAAqB,EACZ,EAAE;IACX,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,aAAa,GAAG,QAAQ;QAAE,OAAO,KAAK,CAAC;IAE3C,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACtE,IAAI,CAAC,OAAO,IAAI,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAsD,EAItD,EAAE;IACF,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAE5C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAChC,SAAS;QACX,CAAC;QAED,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY;YAClC,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,YAAY,CAAC;YACvC,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,SAAS;QACX,CAAC;QAED,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,kBAAkB,EAAE,CAAC;YACzD,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO;QACL,aAAa,EAAE,QAAQ,CAAC,MAAM;QAC9B,QAAQ;KACT,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA+C,EAC/C,aAAqB,EACsB,EAAE;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAC/C,OAAO;QACL,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,QAAQ;IACR,KAAK;IACL,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,MAAM;IACN,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC,IAAY,EAAW,EAAE;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;QAC3D,OAAO,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,oCAAoC,GAAG,CAC3C,aAAqB,EACrB,YAAoB,EACX,EAAE;IACX,IAAI,aAAa,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvC,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACzC,oCAAoC,CAAC,MAAM,EAAE,YAAY,CAAC,CAC3D,CAAC;IACJ,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CACzC,oCAAoC,CAAC,aAAa,EAAE,MAAM,CAAC,CAC5D,CAAC;IACJ,CAAC;IAED,OAAO,aAAa,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,YAAY,CAAC,CAAC;AACrE,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,aAAqB,EACrB,YAAoB,EACpB,GAAmB,EACX,EAAE;IACV,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,CAAC;QAC3D,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,CAAC;QAC/D,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,oCAAoC,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,CAAC;QACtE,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,WAAW,GACf,aAAa,CAAC,IAAI,KAAK,cAAc;QACnC,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,sBAAsB,CAAC,aAAa,CAAC,CAAC;IAC3D,MAAM,UAAU,GACd,YAAY,CAAC,IAAI,KAAK,cAAc;QAClC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC1D,IAAI,WAAW,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;YACnE,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,CAAC;YACN,KAAK;gBACH,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC;oBACtE,CAAC,CAAC;QACN,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CACxB,WAAW,CAAC,UAAU,CAAC,MAAM,EAC7B,UAAU,CAAC,UAAU,CAAC,MAAM,CAC7B,CAAC;QACF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,SAAS,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAChD,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI;gBAAE,SAAS;YAClD,KAAK,IAAI,uBAAuB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvE,CAAC;QAED,IACE,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;YAC5C,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EACxC,CAAC;YACD,KAAK,IAAI,uBAAuB,CAC9B,WAAW,CAAC,UAAU,EACtB,UAAU,CAAC,UAAU,EACrB,GAAG,CACJ,CAAC;QACJ,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAA+C,EAC/C,KAAgD,EACxC,EAAE;IACV,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,SAAS,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YACxD,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,GAAG,UAAU,CAAC;QACrC,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAwB,EACxB,aAAqB,EACrB,GAAmB,EACnB,QAA0C,EACa,EAAE;IACzD,OAAO,GAAG,CAAC,UAAU,CAAC,mBAAmB,CAAC,IAAI,EAAE;QAC9C,aAAa;QACb,QAAQ;KACT,CAAC,CAAC,YAAY,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAwB,EACxB,aAAqB,EACrB,GAAmB,EACnB,QAA0C,EAC1C,gBAAoC,EACpC,kBAA2B,EAI3B,EAAE,CACF,GAAG,CAAC,UAAU,CAAC,mBAAmB,CAAC,IAAI,EAAE;IACvC,aAAa;IACb,QAAQ;IACR,gBAAgB;IAChB,kBAAkB;CACnB,CAAC,CAAC;AAEL;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAmB,EAAsB,EAAE;IAC5E,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,OAAO,GAAkB,IAAI,CAAC;QAElC,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9C,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;QAC/B,CAAC;QAED,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAiB,EAAE;IAC/D,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,IAAmB,EAAW,EAAE;IACzE,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC;IACpC,CAAC;IAED,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC;YACrC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;YAC1C,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAChC,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAmB,EAAW,EAAE;IACjE,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC;QACxC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QACjC,0BAA0B,CAAC,SAAS,CAAC,UAAU,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,0DAA0D;AAE1D,qFAAqF;AACrF,wFAAwF;AACxF,0DAA0D;AAE1D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAA0C,EAC1C,GAAmB,EACnB,cAAuB,EACH,EAAE;IACtB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,KAAK,GAAG,CAAC;IACpD,MAAM,UAAU,GACd,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QACzE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI;QAC3B,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,KAAK,IAAI,UAAU,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CACT,yBAAyB,EACzB,UAAU,EACV,WAAW,EACX,cAAc,CACf,CAAC;IACJ,CAAC;IAED,iFAAiF;IACjF,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;QAClC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IAAI,KAAK,IAAI,UAAU,EAAE,CAAC;gBACxB,OAAO,CAAC,GAAG,CACT,yBAAyB,EACzB,UAAU,EACV,mCAAmC,CACpC,CAAC;YACJ,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC;QAClD,MAAM,gBAAgB,GAAG,IAAI,CAAC,aAAa;YACzC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAC5B,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAC7D;YACH,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC;YACtC,KAAK;YACL,aAAa;YACb,gBAAgB;SACjB,CAAC,CAAC;QAEH,IAAI,KAAK,IAAI,UAAU,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CACT,yBAAyB,EACzB,UAAU,EACV,sBAAsB,EACtB,QAAQ,CAAC,UAAU,CACpB,CAAC;QACJ,CAAC;QAED,OAAO,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;YAC/C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;IAC1B,CAAC;IAED,iEAAiE;IACjE,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAElC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,IAAI,KAAK,IAAI,UAAU;YACrB,OAAO,CAAC,GAAG,CACT,yBAAyB,EACzB,UAAU,EACV,uBAAuB,CACxB,CAAC;QACJ,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,kCAAkC;IAClC,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;IAE5C,wDAAwD;IACxD,iEAAiE;IACjE,MAAM,gBAAgB,GAAG,IAAI,CAAC,aAAa;QACzC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAC5B,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAC7D;QACH,CAAC,CAAC,SAAS,CAAC;IAEd,+DAA+D;IAC/D,oEAAoE;IACpE,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC;QACtC,KAAK;QACL,aAAa;QACb,YAAY,EAAE,cAAc;QAC5B,gBAAgB;KACjB,CAAC,CAAC;IAEH,IAAI,KAAK,IAAI,UAAU,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CACT,yBAAyB,EACzB,UAAU,EACV,sBAAsB,EACtB,QAAQ,CAAC,UAAU,CACpB,CAAC;IACJ,CAAC;IAED,qDAAqD;IACrD,OAAO,QAAQ,CAAC,UAAU,CAAC;AAC7B,CAAC,CAAC"}

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

@@ -0,0 +1,51 @@
+/**
+ * Call-site analysis — Argument passing & binding resolution
+ *
+ * Argument modifiers, binding resolution helpers, and parameter mode
+ * detection for call/new expression converters. Split from
+ * call-site-analysis.ts for file-size compliance.
+ */
+import * as ts from "typescript";
+import { IrType } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
+import { convertExpression } from "../../../expression-converter.js";
+import type { CallSiteArgModifier } from "./call-site-analysis-unification.js";
+/**
+ * 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-argument-passing.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-analysis-argument-passing.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/call-site-analysis-argument-passing.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAGlE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAE/E;;;;;;;;;;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-argument-passing.js

@@ -0,0 +1,313 @@
+/**
+ * Call-site analysis — Argument passing & binding resolution
+ *
+ * Argument modifiers, binding resolution helpers, and parameter mode
+ * detection for call/new expression converters. Split from
+ * call-site-analysis.ts for file-size compliance.
+ */
+import * as ts from "typescript";
+import { getSourceSpan } from "../helpers.js";
+import { createDiagnostic } from "../../../../types/diagnostic.js";
+/**
+ * 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-argument-passing.js.map