@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/call-resolution-parameters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-parameters.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-parameters.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAMhD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAO9D,eAAO,MAAM,gCAAgC,GAC3C,YAAY,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,EAAE,EACnD,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC/C,eAAe,MAAM,KACpB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAqB/B,CAAC;AAgCF,eAAO,MAAM,gCAAgC,GAC3C,YAAY,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,EAAE,EACnD,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC/C,eAAe,MAAM,KACpB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAiC/B,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,gBAAgB,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,EAAE,EACvD,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,KAE7C;IACE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;CAC1C,GACD,SA6BH,CAAC;AAMF,eAAO,MAAM,+BAA+B,GAC1C,OAAO,eAAe,EACtB,MAAM,MAAM,KACX,SAAS,MAAM,EAMjB,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,OAAO,eAAe,EACtB,MAAM,MAAM,KACX,SAAS,MAAM,EAMjB,CAAC"}

package/dist/ir/type-system/call-resolution-parameters.js

@@ -0,0 +1,167 @@
+/**
+ * Call Resolution Parameters — Rest/optional parameter expansion and type candidate expansion
+ *
+ * Contains:
+ * - expandParameterTypesForInference: expand rest params for inference
+ * - expandParameterTypesForArguments: expand rest params for argument matching
+ * - buildResolvedRestParameter: resolve rest parameter structure
+ * - collectExpectedReturnCandidates: return type candidate expansion
+ * - collectNarrowingCandidates: narrowing candidate expansion
+ *
+ * DAG position: depends on type-system-state
+ */
+import { createLocalTypeIdentityState, localTypeIdentityKey, unwrapAsyncWrapperType, } from "../types/type-ops.js";
+import { expandReferenceAlias } from "./type-alias-expansion.js";
+// ─────────────────────────────────────────────────────────────────────────
+// Parameter expansion helpers — Rest/optional parameter type expansion
+// ─────────────────────────────────────────────────────────────────────────
+export const expandParameterTypesForInference = (parameters, parameterTypes, argumentCount) => {
+    const restIndex = parameters.findIndex((parameter) => parameter.isRest);
+    if (restIndex < 0) {
+        return parameterTypes;
+    }
+    const restParam = parameters[restIndex];
+    const restType = parameterTypes[restIndex];
+    if (!restParam || !restType) {
+        return parameterTypes;
+    }
+    const expanded = parameterTypes.slice(0, restIndex);
+    const restElementType = restType.kind === "arrayType" ? restType.elementType : restType;
+    while (expanded.length < argumentCount) {
+        expanded.push(restElementType);
+    }
+    return expanded;
+};
+const getExpandedRestArgumentType = (restType, relativeArgumentIndex) => {
+    if (restType.kind === "arrayType") {
+        return restType.elementType;
+    }
+    if (restType.kind === "tupleType") {
+        const direct = restType.elementTypes[relativeArgumentIndex];
+        if (direct) {
+            return direct;
+        }
+        const fallback = restType.elementTypes[restType.elementTypes.length - 1];
+        return fallback ?? restType;
+    }
+    if (restType.kind === "referenceType" &&
+        (restType.name === "Array" || restType.name === "ReadonlyArray")) {
+        const onlyTypeArgument = restType.typeArguments?.[0];
+        if (onlyTypeArgument) {
+            return onlyTypeArgument;
+        }
+    }
+    return restType;
+};
+export const expandParameterTypesForArguments = (parameters, parameterTypes, argumentCount) => {
+    if (parameterTypes.length === 0) {
+        return parameterTypes;
+    }
+    const restIndex = parameters.findIndex((parameter) => parameter.isRest);
+    if (restIndex < 0) {
+        return parameterTypes;
+    }
+    const expanded = [];
+    for (let argumentIndex = 0; argumentIndex < argumentCount; argumentIndex += 1) {
+        if (argumentIndex < restIndex) {
+            expanded.push(parameterTypes[argumentIndex]);
+            continue;
+        }
+        const restType = parameterTypes[restIndex];
+        if (!restType) {
+            expanded.push(undefined);
+            continue;
+        }
+        expanded.push(getExpandedRestArgumentType(restType, argumentIndex - restIndex));
+    }
+    return expanded;
+};
+export const buildResolvedRestParameter = (parameterFlags, parameterTypes) => {
+    const index = parameterFlags.findIndex((parameter) => parameter.isRest);
+    if (index < 0) {
+        return undefined;
+    }
+    const arrayType = parameterTypes[index];
+    if (!arrayType) {
+        return {
+            index,
+            arrayType: undefined,
+            elementType: undefined,
+        };
+    }
+    const elementType = arrayType.kind === "arrayType"
+        ? arrayType.elementType
+        : arrayType.kind === "referenceType" &&
+            (arrayType.name === "Array" || arrayType.name === "ReadonlyArray") &&
+            arrayType.typeArguments?.length === 1
+            ? arrayType.typeArguments[0]
+            : undefined;
+    return {
+        index,
+        arrayType,
+        elementType,
+    };
+};
+// ─────────────────────────────────────────────────────────────────────────
+// collectExpectedReturnCandidates — Return type candidate expansion
+// ─────────────────────────────────────────────────────────────────────────
+export const collectExpectedReturnCandidates = (state, type) => {
+    return collectExpandedTypeCandidates(state, type, {
+        includeOriginal: true,
+        unwrapAsyncWrappers: true,
+        flattenToLeaves: false,
+    });
+};
+export const collectNarrowingCandidates = (state, type) => {
+    return collectExpandedTypeCandidates(state, type, {
+        includeOriginal: false,
+        unwrapAsyncWrappers: false,
+        flattenToLeaves: true,
+    });
+};
+const collectExpandedTypeCandidates = (state, type, options) => {
+    const queue = [type];
+    const out = [];
+    const seen = new Set();
+    const visitKeyState = createLocalTypeIdentityState();
+    const visitKey = (candidate) => {
+        return localTypeIdentityKey(candidate, visitKeyState);
+    };
+    const enqueue = (candidate) => {
+        if (!candidate)
+            return;
+        const key = visitKey(candidate);
+        if (seen.has(key))
+            return;
+        seen.add(key);
+        queue.push(candidate);
+    };
+    while (queue.length > 0) {
+        const current = queue.shift();
+        if (!current)
+            continue;
+        if (current.kind === "unionType") {
+            for (const member of current.types)
+                enqueue(member);
+            if (!options.flattenToLeaves) {
+                out.push(current);
+            }
+            continue;
+        }
+        let expandedAlias;
+        if (current.kind === "referenceType") {
+            expandedAlias = expandReferenceAlias(state, current);
+            if (expandedAlias) {
+                enqueue(expandedAlias);
+            }
+            if (options.unwrapAsyncWrappers) {
+                enqueue(unwrapAsyncWrapperType(current));
+            }
+        }
+        if (options.includeOriginal || !expandedAlias) {
+            out.push(current);
+        }
+    }
+    return out;
+};
+//# sourceMappingURL=call-resolution-parameters.js.map

package/dist/ir/type-system/call-resolution-parameters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-parameters.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-parameters.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EACL,4BAA4B,EAC5B,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAEjE,4EAA4E;AAC5E,uEAAuE;AACvE,4EAA4E;AAE5E,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,UAAmD,EACnD,cAA+C,EAC/C,aAAqB,EACY,EAAE;IACnC,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACxE,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IAC3C,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC5B,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IACpD,MAAM,eAAe,GACnB,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;IAElE,OAAO,QAAQ,CAAC,MAAM,GAAG,aAAa,EAAE,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,QAAgB,EAChB,qBAA6B,EACrB,EAAE;IACV,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,WAAW,CAAC;IAC9B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,qBAAqB,CAAC,CAAC;QAC5D,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,OAAO,QAAQ,IAAI,QAAQ,CAAC;IAC9B,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,EAChE,CAAC;QACD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QACrD,IAAI,gBAAgB,EAAE,CAAC;YACrB,OAAO,gBAAgB,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,UAAmD,EACnD,cAA+C,EAC/C,aAAqB,EACY,EAAE;IACnC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACxE,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,KACE,IAAI,aAAa,GAAG,CAAC,EACrB,aAAa,GAAG,aAAa,EAC7B,aAAa,IAAI,CAAC,EAClB,CAAC;QACD,IAAI,aAAa,GAAG,SAAS,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QAED,QAAQ,CAAC,IAAI,CACX,2BAA2B,CAAC,QAAQ,EAAE,aAAa,GAAG,SAAS,CAAC,CACjE,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,cAAuD,EACvD,cAA+C,EAOnC,EAAE;IACd,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACxE,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,KAAK;YACL,SAAS,EAAE,SAAS;YACpB,WAAW,EAAE,SAAS;SACvB,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GACf,SAAS,CAAC,IAAI,KAAK,WAAW;QAC5B,CAAC,CAAC,SAAS,CAAC,WAAW;QACvB,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe;YAChC,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,CAAC;YAClE,SAAS,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC;YACvC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC;YAC5B,CAAC,CAAC,SAAS,CAAC;IAElB,OAAO;QACL,KAAK;QACL,SAAS;QACT,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,4EAA4E;AAC5E,oEAAoE;AACpE,4EAA4E;AAE5E,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,KAAsB,EACtB,IAAY,EACO,EAAE;IACrB,OAAO,6BAA6B,CAAC,KAAK,EAAE,IAAI,EAAE;QAChD,eAAe,EAAE,IAAI;QACrB,mBAAmB,EAAE,IAAI;QACzB,eAAe,EAAE,KAAK;KACvB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,KAAsB,EACtB,IAAY,EACO,EAAE;IACrB,OAAO,6BAA6B,CAAC,KAAK,EAAE,IAAI,EAAE;QAChD,eAAe,EAAE,KAAK;QACtB,mBAAmB,EAAE,KAAK;QAC1B,eAAe,EAAE,IAAI;KACtB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,KAAsB,EACtB,IAAY,EACZ,OAIC,EACkB,EAAE;IACrB,MAAM,KAAK,GAAa,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,aAAa,GAAG,4BAA4B,EAAE,CAAC;IAErD,MAAM,QAAQ,GAAG,CAAC,SAAiB,EAAU,EAAE;QAC7C,OAAO,oBAAoB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IACxD,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,SAA6B,EAAQ,EAAE;QACtD,IAAI,CAAC,SAAS;YAAE,OAAO;QACvB,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QAChC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC,CAAC;IAEF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACjC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,KAAK;gBAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YACpD,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;gBAC7B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,aAAiC,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACrC,aAAa,GAAG,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,aAAa,EAAE,CAAC;gBAClB,OAAO,CAAC,aAAa,CAAC,CAAC;YACzB,CAAC;YAED,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;gBAChC,OAAO,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,eAAe,IAAI,CAAC,aAAa,EAAE,CAAC;YAC9C,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC,CAAC"}

package/dist/ir/type-system/call-resolution-receiver-substitution.d.ts

@@ -0,0 +1,12 @@
+import type { IrType } from "../types/index.js";
+import type { RawSignatureInfo, ResolvedCall, TypeSystemState } from "./type-system-state.js";
+type WorkingPredicate = ResolvedCall["typePredicate"];
+type WorkingSignature = {
+    readonly workingParams: (IrType | undefined)[];
+    readonly workingThisParam: IrType | undefined;
+    readonly workingReturn: IrType;
+    readonly workingPredicate: WorkingPredicate;
+};
+export declare const applyReceiverSubstitution: (state: TypeSystemState, rawSig: RawSignatureInfo, effectiveReceiverType: IrType | undefined, exactDeclaringClrType: string | undefined, signature: WorkingSignature) => WorkingSignature;
+export {};
+//# sourceMappingURL=call-resolution-receiver-substitution.d.ts.map

package/dist/ir/type-system/call-resolution-receiver-substitution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-receiver-substitution.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-receiver-substitution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAOhD,OAAO,KAAK,EACV,gBAAgB,EAChB,YAAY,EACZ,eAAe,EAChB,MAAM,wBAAwB,CAAC;AAEhC,KAAK,gBAAgB,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC;AAEtD,KAAK,gBAAgB,GAAG;IACtB,QAAQ,CAAC,aAAa,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;CAC7C,CAAC;AA2EF,eAAO,MAAM,yBAAyB,GACpC,OAAO,eAAe,EACtB,QAAQ,gBAAgB,EACxB,uBAAuB,MAAM,GAAG,SAAS,EACzC,uBAAuB,MAAM,GAAG,SAAS,EACzC,WAAW,gBAAgB,KAC1B,gBA2FF,CAAC"}

package/dist/ir/type-system/call-resolution-receiver-substitution.js

@@ -0,0 +1,134 @@
+import { substituteIrType as irSubstitute, } from "../types/ir-substitution.js";
+import { computeReceiverSubstitution } from "./call-resolution-signatures.js";
+import { substitutePolymorphicThis } from "./call-resolution-utilities.js";
+const collectTypeParameterNames = (type, acc) => {
+    if (!type)
+        return;
+    switch (type.kind) {
+        case "typeParameterType":
+            acc.add(type.name);
+            return;
+        case "arrayType":
+            collectTypeParameterNames(type.elementType, acc);
+            return;
+        case "tupleType":
+            for (const element of type.elementTypes) {
+                collectTypeParameterNames(element, acc);
+            }
+            return;
+        case "dictionaryType":
+            collectTypeParameterNames(type.keyType, acc);
+            collectTypeParameterNames(type.valueType, acc);
+            return;
+        case "referenceType":
+            for (const argument of type.typeArguments ?? []) {
+                collectTypeParameterNames(argument, acc);
+            }
+            for (const member of type.structuralMembers ?? []) {
+                if (member.kind === "propertySignature") {
+                    collectTypeParameterNames(member.type, acc);
+                }
+                else {
+                    for (const parameter of member.parameters) {
+                        collectTypeParameterNames(parameter.type, acc);
+                    }
+                    collectTypeParameterNames(member.returnType, acc);
+                }
+            }
+            return;
+        case "unionType":
+        case "intersectionType":
+            for (const member of type.types) {
+                collectTypeParameterNames(member, acc);
+            }
+            return;
+        case "functionType":
+            for (const parameter of type.parameters) {
+                collectTypeParameterNames(parameter.type, acc);
+            }
+            collectTypeParameterNames(type.returnType, acc);
+            return;
+        default:
+            return;
+    }
+};
+const collectReceiverGenericNames = (rawSig, signature) => {
+    const names = new Set();
+    for (const parameter of signature.workingParams) {
+        collectTypeParameterNames(parameter, names);
+    }
+    collectTypeParameterNames(signature.workingThisParam, names);
+    collectTypeParameterNames(signature.workingReturn, names);
+    if (signature.workingPredicate) {
+        collectTypeParameterNames(signature.workingPredicate.targetType, names);
+    }
+    for (const methodTp of rawSig.typeParameters) {
+        names.delete(methodTp.name);
+    }
+    return names;
+};
+export const applyReceiverSubstitution = (state, rawSig, effectiveReceiverType, exactDeclaringClrType, signature) => {
+    let { workingParams, workingThisParam, workingReturn, workingPredicate } = signature;
+    if (effectiveReceiverType &&
+        rawSig.declaringTypeTsName &&
+        rawSig.declaringMemberName) {
+        let receiverSubst = computeReceiverSubstitution(state, effectiveReceiverType, rawSig.declaringTypeTsName, rawSig.declaringMemberName, rawSig.declaringTypeParameterNames, exactDeclaringClrType);
+        if ((!receiverSubst || receiverSubst.size === 0) &&
+            effectiveReceiverType.kind === "arrayType") {
+            const receiverGenericNames = collectReceiverGenericNames(rawSig, {
+                workingParams,
+                workingThisParam,
+                workingReturn,
+                workingPredicate,
+            });
+            if (receiverGenericNames.size === 1) {
+                const [only] = receiverGenericNames;
+                if (only) {
+                    receiverSubst = new Map([
+                        [only, effectiveReceiverType.elementType],
+                    ]);
+                }
+            }
+        }
+        if (receiverSubst && receiverSubst.size > 0) {
+            workingParams = workingParams.map((parameter) => parameter ? irSubstitute(parameter, receiverSubst) : undefined);
+            if (workingThisParam) {
+                workingThisParam = irSubstitute(workingThisParam, receiverSubst);
+            }
+            workingReturn = irSubstitute(workingReturn, receiverSubst);
+            if (workingPredicate) {
+                workingPredicate = {
+                    ...workingPredicate,
+                    targetType: irSubstitute(workingPredicate.targetType, receiverSubst),
+                };
+            }
+        }
+    }
+    if (effectiveReceiverType) {
+        workingParams = workingParams.map((parameter) => parameter
+            ? (substitutePolymorphicThis(parameter, effectiveReceiverType) ??
+                parameter)
+            : undefined);
+        if (workingThisParam) {
+            workingThisParam =
+                substitutePolymorphicThis(workingThisParam, effectiveReceiverType) ??
+                    workingThisParam;
+        }
+        workingReturn =
+            substitutePolymorphicThis(workingReturn, effectiveReceiverType) ??
+                workingReturn;
+        if (workingPredicate) {
+            workingPredicate = {
+                ...workingPredicate,
+                targetType: substitutePolymorphicThis(workingPredicate.targetType, effectiveReceiverType) ?? workingPredicate.targetType,
+            };
+        }
+    }
+    return {
+        workingParams,
+        workingThisParam,
+        workingReturn,
+        workingPredicate,
+    };
+};
+//# sourceMappingURL=call-resolution-receiver-substitution.js.map

package/dist/ir/type-system/call-resolution-receiver-substitution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-receiver-substitution.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-receiver-substitution.ts"],"names":[],"mappings":"AACA,OAAO,EACL,gBAAgB,IAAI,YAAY,GAEjC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,2BAA2B,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAgB3E,MAAM,yBAAyB,GAAG,CAChC,IAAwB,EACxB,GAAgB,EACV,EAAE;IACR,IAAI,CAAC,IAAI;QAAE,OAAO;IAElB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB;YACtB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO;QACT,KAAK,WAAW;YACd,yBAAyB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACjD,OAAO;QACT,KAAK,WAAW;YACd,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACxC,yBAAyB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO;QACT,KAAK,gBAAgB;YACnB,yBAAyB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC7C,yBAAyB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC/C,OAAO;QACT,KAAK,eAAe;YAClB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;gBAChD,yBAAyB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;gBAClD,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC9C,CAAC;qBAAM,CAAC;oBACN,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBAC1C,yBAAyB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBACjD,CAAC;oBACD,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;YACD,OAAO;QACT,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAChC,yBAAyB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzC,CAAC;YACD,OAAO;QACT,KAAK,cAAc;YACjB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACxC,yBAAyB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACjD,CAAC;YACD,yBAAyB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChD,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,MAAwB,EACxB,SAA2B,EACd,EAAE;IACf,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,aAAa,EAAE,CAAC;QAChD,yBAAyB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IACD,yBAAyB,CAAC,SAAS,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;IAC7D,yBAAyB,CAAC,SAAS,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IAC1D,IAAI,SAAS,CAAC,gBAAgB,EAAE,CAAC;QAC/B,yBAAyB,CAAC,SAAS,CAAC,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC1E,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAC7C,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,KAAsB,EACtB,MAAwB,EACxB,qBAAyC,EACzC,qBAAyC,EACzC,SAA2B,EACT,EAAE;IACpB,IAAI,EAAE,aAAa,EAAE,gBAAgB,EAAE,aAAa,EAAE,gBAAgB,EAAE,GACtE,SAAS,CAAC;IAEZ,IACE,qBAAqB;QACrB,MAAM,CAAC,mBAAmB;QAC1B,MAAM,CAAC,mBAAmB,EAC1B,CAAC;QACD,IAAI,aAAa,GAAG,2BAA2B,CAC7C,KAAK,EACL,qBAAqB,EACrB,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,2BAA2B,EAClC,qBAAqB,CACtB,CAAC;QAEF,IACE,CAAC,CAAC,aAAa,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,CAAC;YAC5C,qBAAqB,CAAC,IAAI,KAAK,WAAW,EAC1C,CAAC;YACD,MAAM,oBAAoB,GAAG,2BAA2B,CAAC,MAAM,EAAE;gBAC/D,aAAa;gBACb,gBAAgB;gBAChB,aAAa;gBACb,gBAAgB;aACjB,CAAC,CAAC;YACH,IAAI,oBAAoB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC;gBACpC,IAAI,IAAI,EAAE,CAAC;oBACT,aAAa,GAAG,IAAI,GAAG,CAAiB;wBACtC,CAAC,IAAI,EAAE,qBAAqB,CAAC,WAAW,CAAC;qBAC1C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,aAAa,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC5C,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAC;YACF,IAAI,gBAAgB,EAAE,CAAC;gBACrB,gBAAgB,GAAG,YAAY,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;YACnE,CAAC;YACD,aAAa,GAAG,YAAY,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;YAC3D,IAAI,gBAAgB,EAAE,CAAC;gBACrB,gBAAgB,GAAG;oBACjB,GAAG,gBAAgB;oBACnB,UAAU,EAAE,YAAY,CACtB,gBAAgB,CAAC,UAAU,EAC3B,aAAkC,CACnC;iBACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,qBAAqB,EAAE,CAAC;QAC1B,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,SAAS;YACP,CAAC,CAAC,CAAC,yBAAyB,CAAC,SAAS,EAAE,qBAAqB,CAAC;gBAC5D,SAAS,CAAC;YACZ,CAAC,CAAC,SAAS,CACd,CAAC;QACF,IAAI,gBAAgB,EAAE,CAAC;YACrB,gBAAgB;gBACd,yBAAyB,CAAC,gBAAgB,EAAE,qBAAqB,CAAC;oBAClE,gBAAgB,CAAC;QACrB,CAAC;QACD,aAAa;YACX,yBAAyB,CAAC,aAAa,EAAE,qBAAqB,CAAC;gBAC/D,aAAa,CAAC;QAChB,IAAI,gBAAgB,EAAE,CAAC;YACrB,gBAAgB,GAAG;gBACjB,GAAG,gBAAgB;gBACnB,UAAU,EACR,yBAAyB,CACvB,gBAAgB,CAAC,UAAU,EAC3B,qBAAqB,CACtB,IAAI,gBAAgB,CAAC,UAAU;aACnC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,aAAa;QACb,gBAAgB;QAChB,aAAa;QACb,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-system/call-resolution-resolve.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Call Resolution Resolve — Main resolveCall entry point.
+ *
+ * Contains the resolveCall function that orchestrates signature loading,
+ * receiver substitution, and method type parameter inference.
+ *
+ * DAG position: depends on type-system-state, type-system-relations,
+ * call-resolution-utilities, call-resolution-signatures, call-resolution-inference
+ */
+import type { TypeSystemState, CallQuery, ResolvedCall } from "./type-system-state.js";
+export declare const resolveCall: (state: TypeSystemState, query: CallQuery) => ResolvedCall;
+//# sourceMappingURL=call-resolution-resolve.d.ts.map

package/dist/ir/type-system/call-resolution-resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-resolve.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAOH,OAAO,KAAK,EACV,eAAe,EACf,SAAS,EACT,YAAY,EACb,MAAM,wBAAwB,CAAC;AAkLhC,eAAO,MAAM,WAAW,GACtB,OAAO,eAAe,EACtB,OAAO,SAAS,KACf,YA0OF,CAAC"}

package/dist/ir/type-system/call-resolution-resolve.js

@@ -0,0 +1,275 @@
+/**
+ * Call Resolution Resolve — Main resolveCall entry point.
+ *
+ * Contains the resolveCall function that orchestrates signature loading,
+ * receiver substitution, and method type parameter inference.
+ *
+ * DAG position: depends on type-system-state, type-system-relations,
+ * call-resolution-utilities, call-resolution-signatures, call-resolution-inference
+ */
+import { substituteIrType as irSubstitute, } from "../types/ir-substitution.js";
+import { emitDiagnostic, stripTsonicExtensionWrappers, poisonedCall, resolveTypeIdByName, } from "./type-system-state.js";
+import { expandParameterTypesForArguments, buildResolvedRestParameter, containsMethodTypeParameter, collectExpectedReturnCandidates, delegateToFunctionType, } from "./call-resolution-utilities.js";
+import { getRawSignature } from "./call-resolution-signatures.js";
+import { refineResolvedParameterTypesForArguments } from "./call-resolution-inference.js";
+import { applyReceiverSubstitution } from "./call-resolution-receiver-substitution.js";
+import { resolveMethodTypeSubstitution } from "./call-resolution-method-substitution.js";
+import { isAssignableTo, typesEqual } from "./type-system-relations.js";
+import { referenceTypeIdentity } from "../types/type-ops.js";
+// ─────────────────────────────────────────────────────────────────────────
+// resolveCall — Main entry point for call resolution
+// ─────────────────────────────────────────────────────────────────────────
+const matchesConstructorExpectedReturnShape = (actual, expected) => {
+    if (typesEqual(actual, expected)) {
+        return true;
+    }
+    if (actual.kind === "referenceType" && expected.kind === "referenceType") {
+        const actualIdentity = referenceTypeIdentity(actual);
+        const expectedIdentity = referenceTypeIdentity(expected);
+        if (actualIdentity === undefined ||
+            expectedIdentity === undefined ||
+            actualIdentity !== expectedIdentity) {
+            return false;
+        }
+        const actualTypeArguments = actual.typeArguments ?? [];
+        const expectedTypeArguments = expected.typeArguments ?? [];
+        if (actualTypeArguments.length !== expectedTypeArguments.length) {
+            return false;
+        }
+        return actualTypeArguments.every((argument, index) => {
+            const expectedArgument = expectedTypeArguments[index];
+            return (argument !== undefined &&
+                expectedArgument !== undefined &&
+                matchesConstructorExpectedReturnShape(argument, expectedArgument));
+        });
+    }
+    return false;
+};
+const analyzeDeferredLambdaInferencePositions = (state, type, unresolved) => {
+    const deferredOnly = new Set();
+    const blocked = new Set();
+    const visit = (current, position) => {
+        if (current.kind === "typeParameterType") {
+            if (!unresolved.has(current.name)) {
+                return;
+            }
+            if (position === "deferredReturn") {
+                deferredOnly.add(current.name);
+            }
+            else {
+                blocked.add(current.name);
+            }
+            return;
+        }
+        const delegateShape = current.kind === "referenceType"
+            ? delegateToFunctionType(state, current)
+            : undefined;
+        if (delegateShape) {
+            visit(delegateShape, position);
+            return;
+        }
+        switch (current.kind) {
+            case "referenceType":
+                for (const typeArgument of current.typeArguments ?? []) {
+                    if (typeArgument) {
+                        visit(typeArgument, position);
+                    }
+                }
+                return;
+            case "arrayType":
+                visit(current.elementType, position);
+                return;
+            case "tupleType":
+                for (const elementType of current.elementTypes) {
+                    if (elementType) {
+                        visit(elementType, position);
+                    }
+                }
+                return;
+            case "functionType":
+                for (const parameter of current.parameters) {
+                    if (parameter.type) {
+                        visit(parameter.type, "normal");
+                    }
+                }
+                visit(current.returnType, "deferredReturn");
+                return;
+            case "unionType":
+            case "intersectionType":
+                for (const member of current.types) {
+                    if (member) {
+                        visit(member, position);
+                    }
+                }
+                return;
+            case "objectType":
+                for (const member of current.members) {
+                    if (member.kind === "propertySignature") {
+                        visit(member.type, position);
+                        continue;
+                    }
+                    if (member.kind === "methodSignature") {
+                        for (const parameter of member.parameters) {
+                            if (parameter.type) {
+                                visit(parameter.type, "normal");
+                            }
+                        }
+                        if (member.returnType) {
+                            visit(member.returnType, "deferredReturn");
+                        }
+                    }
+                }
+                return;
+            default:
+                return;
+        }
+    };
+    visit(type, "normal");
+    for (const name of blocked) {
+        deferredOnly.delete(name);
+    }
+    return {
+        deferredOnly,
+        blocked,
+    };
+};
+export const resolveCall = (state, query) => {
+    const { sigId, argumentCount, receiverType, explicitTypeArgs, argTypes, expectedReturnType, site, } = query;
+    // Extension method scopes are modeled as TS-only wrapper types (e.g. __TsonicExt_Ef<T>).
+    // They must erase to their underlying CLR shapes for deterministic call inference.
+    const effectiveReceiverType = receiverType
+        ? stripTsonicExtensionWrappers(receiverType)
+        : undefined;
+    // 1. Load raw signature (cached)
+    const rawSig = getRawSignature(state, sigId);
+    if (!rawSig) {
+        // BINDING CONTRACT VIOLATION (Alice's spec): If Binding returned a
+        // SignatureId, HandleRegistry.getSignature(sigId) MUST succeed.
+        // This indicates a bug in Binding, not a normal runtime condition.
+        //
+        // However, we cannot throw during normal compilation as it would
+        // crash the compiler. Instead, emit diagnostic and return poisoned
+        // result with correct arity.
+        emitDiagnostic(state, "TSN5203", `Cannot resolve signature (Binding contract violation: ID ${sigId.id} not in HandleRegistry)`, site);
+        return poisonedCall(argumentCount, state.diagnostics.slice());
+    }
+    // 2. Start with raw types
+    let workingParams = [...rawSig.parameterTypes];
+    let workingThisParam = rawSig.thisParameterType;
+    let workingReturn = rawSig.returnType;
+    let workingPredicate = rawSig.typePredicate;
+    if (rawSig.constructsDeclaringType &&
+        query.declaringClrType &&
+        workingReturn.kind === "referenceType") {
+        const arity = workingReturn.typeArguments?.length;
+        const typeId = resolveTypeIdByName(state, query.declaringClrType, arity) ??
+            resolveTypeIdByName(state, query.declaringClrType);
+        workingReturn = {
+            ...workingReturn,
+            ...(typeId ? { typeId, resolvedClrType: typeId.clrName } : {}),
+            ...(!typeId ? { resolvedClrType: query.declaringClrType } : {}),
+        };
+    }
+    ({ workingParams, workingThisParam, workingReturn, workingPredicate } =
+        applyReceiverSubstitution(state, rawSig, effectiveReceiverType, query.declaringClrType, {
+            workingParams,
+            workingThisParam,
+            workingReturn,
+            workingPredicate,
+        }));
+    // 4. Compute call substitution (method type params)
+    const methodTypeParams = rawSig.typeParameters;
+    if (methodTypeParams.length > 0) {
+        const substitution = resolveMethodTypeSubstitution(state, rawSig, {
+            argTypes,
+            explicitTypeArgs,
+            expectedReturnType,
+            receiverType: effectiveReceiverType,
+        }, site, workingParams, workingThisParam, workingReturn, workingPredicate);
+        if (substitution.kind === "error") {
+            return poisonedCall(argumentCount, state.diagnostics.slice());
+        }
+        const callSubst = substitution.substitution;
+        // Apply call substitution
+        if (callSubst.size > 0) {
+            workingParams = workingParams.map((p) => p ? irSubstitute(p, callSubst) : undefined);
+            workingReturn = irSubstitute(workingReturn, callSubst);
+            if (workingPredicate) {
+                workingPredicate =
+                    workingPredicate.kind === "param"
+                        ? {
+                            ...workingPredicate,
+                            targetType: irSubstitute(workingPredicate.targetType, callSubst),
+                        }
+                        : {
+                            ...workingPredicate,
+                            targetType: irSubstitute(workingPredicate.targetType, callSubst),
+                        };
+            }
+        }
+        // Check for unresolved method type parameters (after explicit/arg/default inference)
+        const unresolved = new Set(methodTypeParams
+            .map((tp) => tp.name)
+            .filter((name) => !callSubst.has(name)));
+        const hasUnresolvedReturnSurface = containsMethodTypeParameter(workingReturn, unresolved);
+        const deferredLambdaInferableNames = new Set();
+        const hasUnresolvedParameterSurface = workingParams.some((parameterType) => {
+            if (!parameterType) {
+                return false;
+            }
+            const analysis = analyzeDeferredLambdaInferencePositions(state, parameterType, unresolved);
+            for (const name of analysis.deferredOnly) {
+                deferredLambdaInferableNames.add(name);
+            }
+            return analysis.blocked.size > 0;
+        });
+        const hasUnresolvedThisSurface = !!workingThisParam &&
+            containsMethodTypeParameter(workingThisParam, unresolved);
+        const hasUnresolvedPredicateSurface = !!workingPredicate &&
+            containsMethodTypeParameter(workingPredicate.targetType, unresolved);
+        const hasUnresolvedReturnSurfaceOutsideDeferredLambdaInference = hasUnresolvedReturnSurface &&
+            [...unresolved].some((name) => {
+                if (!deferredLambdaInferableNames.has(name)) {
+                    return containsMethodTypeParameter(workingReturn, new Set([name]));
+                }
+                return false;
+            });
+        const preservesExpectedConstructorReturn = rawSig.declaringMemberName === "constructor" &&
+            query.expectedReturnType !== undefined &&
+            collectExpectedReturnCandidates(state, query.expectedReturnType).some((candidate) => matchesConstructorExpectedReturnShape(workingReturn, candidate) ||
+                (isAssignableTo(state, workingReturn, candidate) &&
+                    isAssignableTo(state, candidate, workingReturn)));
+        const preservesExpectedConstructorSurface = preservesExpectedConstructorReturn &&
+            rawSig.declaringMemberName === "constructor";
+        if (unresolved.size > 0 &&
+            (hasUnresolvedThisSurface ||
+                hasUnresolvedPredicateSurface ||
+                (!preservesExpectedConstructorSurface &&
+                    hasUnresolvedParameterSurface) ||
+                (!preservesExpectedConstructorSurface &&
+                    hasUnresolvedReturnSurfaceOutsideDeferredLambdaInference))) {
+            emitDiagnostic(state, "TSN5202", "Signature contains unresolved type parameters - explicit type arguments required", site);
+            return poisonedCall(argumentCount, state.diagnostics.slice());
+        }
+    }
+    const resolved = {
+        thisParameterType: workingThisParam,
+        restParameter: buildResolvedRestParameter(rawSig.parameterFlags, workingParams),
+        surfaceRestParameter: buildResolvedRestParameter(rawSig.parameterFlags, workingParams),
+        surfaceParameterTypes: expandParameterTypesForArguments(rawSig.parameterFlags, workingParams, argumentCount),
+        parameterTypes: refineResolvedParameterTypesForArguments(state, rawSig.parameterFlags, workingParams, argTypes, argumentCount),
+        parameterModes: rawSig.parameterModes,
+        returnType: workingReturn,
+        hasDeclaredReturnType: rawSig.hasDeclaredReturnType,
+        typePredicate: workingPredicate,
+        selectionMeta: {
+            hasRestParameter: rawSig.parameterFlags.some((parameter) => parameter.isRest),
+            typeParamCount: rawSig.typeParameters.length,
+            parameterCount: rawSig.parameterTypes.length,
+            stableId: String(sigId.id),
+        },
+        diagnostics: [],
+    };
+    return resolved;
+};
+//# sourceMappingURL=call-resolution-resolve.js.map

package/dist/ir/type-system/call-resolution-resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-resolve.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,gBAAgB,IAAI,YAAY,GAEjC,MAAM,6BAA6B,CAAC;AAOrC,OAAO,EACL,cAAc,EACd,4BAA4B,EAC5B,YAAY,EACZ,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,gCAAgC,EAChC,0BAA0B,EAC1B,2BAA2B,EAC3B,+BAA+B,EAC/B,sBAAsB,GACvB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,wCAAwC,EAAE,MAAM,gCAAgC,CAAC;AAC1F,OAAO,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,EAAE,6BAA6B,EAAE,MAAM,0CAA0C,CAAC;AACzF,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE7D,4EAA4E;AAC5E,qDAAqD;AACrD,4EAA4E;AAE5E,MAAM,qCAAqC,GAAG,CAC5C,MAAc,EACd,QAAgB,EACP,EAAE;IACX,IAAI,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACzE,MAAM,cAAc,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QACzD,IACE,cAAc,KAAK,SAAS;YAC5B,gBAAgB,KAAK,SAAS;YAC9B,cAAc,KAAK,gBAAgB,EACnC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,mBAAmB,GAAG,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;QACvD,MAAM,qBAAqB,GAAG,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;QAC3D,IAAI,mBAAmB,CAAC,MAAM,KAAK,qBAAqB,CAAC,MAAM,EAAE,CAAC;YAChE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC,QAAgB,EAAE,KAAa,EAAE,EAAE;YACnE,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;YACtD,OAAO,CACL,QAAQ,KAAK,SAAS;gBACtB,gBAAgB,KAAK,SAAS;gBAC9B,qCAAqC,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAClE,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAOF,MAAM,uCAAuC,GAAG,CAC9C,KAAsB,EACtB,IAAY,EACZ,UAA+B,EACE,EAAE;IACnC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,MAAM,KAAK,GAAG,CACZ,OAAe,EACf,QAAqC,EAC/B,EAAE;QACR,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,OAAO;YACT,CAAC;YAED,IAAI,QAAQ,KAAK,gBAAgB,EAAE,CAAC;gBAClC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACjC,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC;YACD,OAAO;QACT,CAAC;QAED,MAAM,aAAa,GACjB,OAAO,CAAC,IAAI,KAAK,eAAe;YAC9B,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC;YACxC,CAAC,CAAC,SAAS,CAAC;QAChB,IAAI,aAAa,EAAE,CAAC;YAClB,KAAK,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;YAC/B,OAAO;QACT,CAAC;QAED,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,eAAe;gBAClB,KAAK,MAAM,YAAY,IAAI,OAAO,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;oBACvD,IAAI,YAAY,EAAE,CAAC;wBACjB,KAAK,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;oBAChC,CAAC;gBACH,CAAC;gBACD,OAAO;YAET,KAAK,WAAW;gBACd,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;gBACrC,OAAO;YAET,KAAK,WAAW;gBACd,KAAK,MAAM,WAAW,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;oBAC/C,IAAI,WAAW,EAAE,CAAC;wBAChB,KAAK,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;oBAC/B,CAAC;gBACH,CAAC;gBACD,OAAO;YAET,KAAK,cAAc;gBACjB,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;oBAC3C,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;wBACnB,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;gBACD,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;gBAC5C,OAAO;YAET,KAAK,WAAW,CAAC;YACjB,KAAK,kBAAkB;gBACrB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;oBACnC,IAAI,MAAM,EAAE,CAAC;wBACX,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;oBAC1B,CAAC;gBACH,CAAC;gBACD,OAAO;YAET,KAAK,YAAY;gBACf,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;oBACrC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACxC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;wBAC7B,SAAS;oBACX,CAAC;oBAED,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;wBACtC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;4BAC1C,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;gCACnB,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;4BAClC,CAAC;wBACH,CAAC;wBACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;4BACtB,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;wBAC7C,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO;YAET;gBACE,OAAO;QACX,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAEtB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO;QACL,YAAY;QACZ,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAsB,EACtB,KAAgB,EACF,EAAE;IAChB,MAAM,EACJ,KAAK,EACL,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,QAAQ,EACR,kBAAkB,EAClB,IAAI,GACL,GAAG,KAAK,CAAC;IAEV,yFAAyF;IACzF,mFAAmF;IACnF,MAAM,qBAAqB,GAAG,YAAY;QACxC,CAAC,CAAC,4BAA4B,CAAC,YAAY,CAAC;QAC5C,CAAC,CAAC,SAAS,CAAC;IAEd,iCAAiC;IACjC,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,mEAAmE;QACnE,gEAAgE;QAChE,mEAAmE;QACnE,EAAE;QACF,iEAAiE;QACjE,mEAAmE;QACnE,6BAA6B;QAC7B,cAAc,CACZ,KAAK,EACL,SAAS,EACT,4DAA4D,KAAK,CAAC,EAAE,yBAAyB,EAC7F,IAAI,CACL,CAAC;QACF,OAAO,YAAY,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,0BAA0B;IAC1B,IAAI,aAAa,GAAG,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IAC/C,IAAI,gBAAgB,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAChD,IAAI,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC;IACtC,IAAI,gBAAgB,GAAG,MAAM,CAAC,aAAa,CAAC;IAE5C,IACE,MAAM,CAAC,uBAAuB;QAC9B,KAAK,CAAC,gBAAgB;QACtB,aAAa,CAAC,IAAI,KAAK,eAAe,EACtC,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,aAAa,EAAE,MAAM,CAAC;QAClD,MAAM,MAAM,GACV,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC;YACzD,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACrD,aAAa,GAAG;YACd,GAAG,aAAa;YAChB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChE,CAAC;IACJ,CAAC;IAED,CAAC,EAAE,aAAa,EAAE,gBAAgB,EAAE,aAAa,EAAE,gBAAgB,EAAE;QACnE,yBAAyB,CACvB,KAAK,EACL,MAAM,EACN,qBAAqB,EACrB,KAAK,CAAC,gBAAgB,EACtB;YACE,aAAa;YACb,gBAAgB;YAChB,aAAa;YACb,gBAAgB;SACjB,CACF,CAAC,CAAC;IAEL,oDAAoD;IACpD,MAAM,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC;IAC/C,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,6BAA6B,CAChD,KAAK,EACL,MAAM,EACN;YACE,QAAQ;YACR,gBAAgB;YAChB,kBAAkB;YAClB,YAAY,EAAE,qBAAqB;SACpC,EACD,IAAI,EACJ,aAAa,EACb,gBAAgB,EAChB,aAAa,EACb,gBAAgB,CACjB,CAAC;QACF,IAAI,YAAY,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAClC,OAAO,YAAY,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;QAChE,CAAC;QACD,MAAM,SAAS,GAAG,YAAY,CAAC,YAAY,CAAC;QAE5C,0BAA0B;QAC1B,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACvB,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAC3C,CAAC;YACF,aAAa,GAAG,YAAY,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;YACvD,IAAI,gBAAgB,EAAE,CAAC;gBACrB,gBAAgB;oBACd,gBAAgB,CAAC,IAAI,KAAK,OAAO;wBAC/B,CAAC,CAAC;4BACE,GAAG,gBAAgB;4BACnB,UAAU,EAAE,YAAY,CACtB,gBAAgB,CAAC,UAAU,EAC3B,SAA8B,CAC/B;yBACF;wBACH,CAAC,CAAC;4BACE,GAAG,gBAAgB;4BACnB,UAAU,EAAE,YAAY,CACtB,gBAAgB,CAAC,UAAU,EAC3B,SAA8B,CAC/B;yBACF,CAAC;YACV,CAAC;QACH,CAAC;QAED,qFAAqF;QACrF,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,gBAAgB;aACb,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;aACpB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAC1C,CAAC;QACF,MAAM,0BAA0B,GAAG,2BAA2B,CAC5D,aAAa,EACb,UAAU,CACX,CAAC;QACF,MAAM,4BAA4B,GAAG,IAAI,GAAG,EAAU,CAAC;QACvD,MAAM,6BAA6B,GAAG,aAAa,CAAC,IAAI,CACtD,CAAC,aAAa,EAAE,EAAE;YAChB,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,OAAO,KAAK,CAAC;YACf,CAAC;YAED,MAAM,QAAQ,GAAG,uCAAuC,CACtD,KAAK,EACL,aAAa,EACb,UAAU,CACX,CAAC;YAEF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;gBACzC,4BAA4B,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC;YAED,OAAO,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;QACnC,CAAC,CACF,CAAC;QACF,MAAM,wBAAwB,GAC5B,CAAC,CAAC,gBAAgB;YAClB,2BAA2B,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;QAC5D,MAAM,6BAA6B,GACjC,CAAC,CAAC,gBAAgB;YAClB,2BAA2B,CAAC,gBAAgB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QACvE,MAAM,wDAAwD,GAC5D,0BAA0B;YAC1B,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC5B,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC5C,OAAO,2BAA2B,CAAC,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACrE,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;QACL,MAAM,kCAAkC,GACtC,MAAM,CAAC,mBAAmB,KAAK,aAAa;YAC5C,KAAK,CAAC,kBAAkB,KAAK,SAAS;YACtC,+BAA+B,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC,IAAI,CACnE,CAAC,SAAS,EAAE,EAAE,CACZ,qCAAqC,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,CAAC,cAAc,CAAC,KAAK,EAAE,aAAa,EAAE,SAAS,CAAC;oBAC9C,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CACrD,CAAC;QACJ,MAAM,mCAAmC,GACvC,kCAAkC;YAClC,MAAM,CAAC,mBAAmB,KAAK,aAAa,CAAC;QAC/C,IACE,UAAU,CAAC,IAAI,GAAG,CAAC;YACnB,CAAC,wBAAwB;gBACvB,6BAA6B;gBAC7B,CAAC,CAAC,mCAAmC;oBACnC,6BAA6B,CAAC;gBAChC,CAAC,CAAC,mCAAmC;oBACnC,wDAAwD,CAAC,CAAC,EAC9D,CAAC;YACD,cAAc,CACZ,KAAK,EACL,SAAS,EACT,kFAAkF,EAClF,IAAI,CACL,CAAC;YACF,OAAO,YAAY,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAiB;QAC7B,iBAAiB,EAAE,gBAAgB;QACnC,aAAa,EAAE,0BAA0B,CACvC,MAAM,CAAC,cAAc,EACrB,aAAa,CACd;QACD,oBAAoB,EAAE,0BAA0B,CAC9C,MAAM,CAAC,cAAc,EACrB,aAAa,CACd;QACD,qBAAqB,EAAE,gCAAgC,CACrD,MAAM,CAAC,cAAc,EACrB,aAAa,EACb,aAAa,CACd;QACD,cAAc,EAAE,wCAAwC,CACtD,KAAK,EACL,MAAM,CAAC,cAAc,EACrB,aAAa,EACb,QAAQ,EACR,aAAa,CACd;QACD,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,UAAU,EAAE,aAAa;QACzB,qBAAqB,EAAE,MAAM,CAAC,qBAAqB;QACnD,aAAa,EAAE,gBAAgB;QAC/B,aAAa,EAAE;YACb,gBAAgB,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,CAC1C,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAChC;YACD,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM;YAC5C,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM;YAC5C,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;SAC3B;QACD,WAAW,EAAE,EAAE;KAChB,CAAC;IAEF,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}