@tsonic/frontend 0.0.73 → 0.0.75

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

@@ -0,0 +1,18 @@
+/**
+ * Call Resolution Scoring — Arity checking, overload scoring, and parameter type refinement.
+ *
+ * Contains isArityCompatible, scoreSignatureMatch, refineParameterTypeForConcreteArgument,
+ * and refineResolvedParameterTypesForArguments.
+ *
+ * DAG position: depends on type-system-state, type-system-relations, call-resolution-utilities
+ */
+import type { IrType } from "../types/index.js";
+import type { MethodSignatureEntry } from "./internal/universe/types.js";
+import type { TypeSystemState } from "./type-system-state.js";
+export declare const isArityCompatible: (signature: MethodSignatureEntry, argumentCount: number) => boolean;
+export declare const scoreSignatureMatch: (state: TypeSystemState, parameterTypes: readonly (IrType | undefined)[], argTypes: readonly (IrType | undefined)[], argumentCount: number) => number;
+export declare const refineParameterTypeForConcreteArgument: (state: TypeSystemState, parameterType: IrType | undefined, argumentType: IrType | undefined) => IrType | undefined;
+export declare const refineResolvedParameterTypesForArguments: (state: TypeSystemState, parameters: readonly {
+    readonly isRest: boolean;
+}[], parameterTypes: readonly (IrType | undefined)[], argTypes: readonly (IrType | undefined)[] | undefined, argumentCount: number) => readonly (IrType | undefined)[];
+//# sourceMappingURL=call-resolution-scoring.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-scoring.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-scoring.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAY9D,eAAO,MAAM,iBAAiB,GAC5B,WAAW,oBAAoB,EAC/B,eAAe,MAAM,KACpB,OAyBF,CAAC;AAMF,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC/C,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACzC,eAAe,MAAM,KACpB,MAqGF,CAAC;AAMF,eAAO,MAAM,sCAAsC,GACjD,OAAO,eAAe,EACtB,eAAe,MAAM,GAAG,SAAS,EACjC,cAAc,MAAM,GAAG,SAAS,KAC/B,MAAM,GAAG,SAiDX,CAAC;AAEF,eAAO,MAAM,wCAAwC,GACnD,OAAO,eAAe,EACtB,YAAY,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,EAAE,EACnD,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC/C,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,SAAS,EACrD,eAAe,MAAM,KACpB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EA4B/B,CAAC"}

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

@@ -0,0 +1,166 @@
+/**
+ * Call Resolution Scoring — Arity checking, overload scoring, and parameter type refinement.
+ *
+ * Contains isArityCompatible, scoreSignatureMatch, refineParameterTypeForConcreteArgument,
+ * and refineResolvedParameterTypesForArguments.
+ *
+ * DAG position: depends on type-system-state, type-system-relations, call-resolution-utilities
+ */
+import { normalizeToNominal } from "./type-system-state.js";
+import { isAssignableTo, typesEqual } from "./type-system-relations.js";
+import { expandParameterTypesForArguments, delegateToFunctionType, } from "./call-resolution-utilities.js";
+// ─────────────────────────────────────────────────────────────────────────
+// isArityCompatible — Pure arity check for overload resolution
+// ─────────────────────────────────────────────────────────────────────────
+export const isArityCompatible = (signature, argumentCount) => {
+    const params = signature.parameters;
+    if (params.length === 0)
+        return argumentCount === 0;
+    // Rest parameter can absorb any extra args.
+    const restIndex = params.findIndex((p) => p.isRest);
+    if (restIndex >= 0) {
+        // Only support `...rest` in the last position.
+        if (restIndex !== params.length - 1)
+            return false;
+        // Must supply all non-rest parameters.
+        if (argumentCount < restIndex)
+            return false;
+        return true;
+    }
+    // Too many args for non-rest signature.
+    if (argumentCount > params.length)
+        return false;
+    // Missing args must correspond to optional parameters.
+    for (let i = argumentCount; i < params.length; i++) {
+        const p = params[i];
+        if (!p || !p.isOptional)
+            return false;
+    }
+    return true;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// scoreSignatureMatch — Overload scoring
+// ─────────────────────────────────────────────────────────────────────────
+export const scoreSignatureMatch = (state, parameterTypes, argTypes, argumentCount) => {
+    const scoreTypeCompatibility = (parameterType, argumentType) => {
+        if (typesEqual(parameterType, argumentType)) {
+            return 4;
+        }
+        if (isAssignableTo(state, argumentType, parameterType)) {
+            return 3;
+        }
+        const pNom = normalizeToNominal(state, parameterType);
+        const aNom = normalizeToNominal(state, argumentType);
+        if (!pNom || !aNom)
+            return 0;
+        if (pNom.typeId.stableId === aNom.typeId.stableId) {
+            return 2;
+        }
+        const inst = state.nominalEnv.getInstantiation(aNom.typeId, aNom.typeArgs, pNom.typeId);
+        return inst ? 1 : 0;
+    };
+    const scoreFunctionLikeCompatibility = (parameterType, argumentType) => {
+        const parameterFn = parameterType.kind === "functionType"
+            ? parameterType
+            : delegateToFunctionType(state, parameterType);
+        const argumentFn = argumentType.kind === "functionType"
+            ? argumentType
+            : delegateToFunctionType(state, argumentType);
+        if (!parameterFn || !argumentFn) {
+            return 0;
+        }
+        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);
+        }
+        if (argumentFn.returnType.kind !== "unknownType" &&
+            argumentFn.returnType.kind !== "anyType") {
+            score += scoreTypeCompatibility(parameterFn.returnType, argumentFn.returnType);
+        }
+        return score;
+    };
+    let score = 0;
+    const pairs = Math.min(argumentCount, parameterTypes.length, argTypes.length);
+    for (let i = 0; i < pairs; i++) {
+        const pt = parameterTypes[i];
+        const at = argTypes[i];
+        if (!pt || !at)
+            continue;
+        const compatibleParameterType = refineParameterTypeForConcreteArgument(state, pt, at) ?? pt;
+        const functionLikeScore = scoreFunctionLikeCompatibility(compatibleParameterType, at);
+        if (functionLikeScore !== 0) {
+            score += functionLikeScore;
+            continue;
+        }
+        score += scoreTypeCompatibility(compatibleParameterType, at);
+    }
+    return score;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// refineParameterTypeForConcreteArgument — Union parameter refinement
+// ─────────────────────────────────────────────────────────────────────────
+export const refineParameterTypeForConcreteArgument = (state, parameterType, argumentType) => {
+    if (!parameterType || !argumentType) {
+        return parameterType;
+    }
+    if (parameterType.kind !== "unionType") {
+        return parameterType;
+    }
+    const matchingMembers = parameterType.types.filter((candidate) => isAssignableTo(state, argumentType, candidate));
+    const nonNullishMembers = parameterType.types.filter((candidate) => !(candidate.kind === "primitiveType" &&
+        (candidate.name === "null" || candidate.name === "undefined")));
+    const shouldPreserveNullableParameterSurface = (candidate) => !!candidate &&
+        nonNullishMembers.length === 1 &&
+        candidate.kind === "primitiveType" &&
+        (candidate.name === "null" || candidate.name === "undefined");
+    if (matchingMembers.length === 1) {
+        const only = matchingMembers[0];
+        return shouldPreserveNullableParameterSurface(only) ? parameterType : only;
+    }
+    const distinctMatches = matchingMembers.filter((candidate, index) => {
+        for (let i = 0; i < index; i += 1) {
+            const previous = matchingMembers[i];
+            if (previous && typesEqual(previous, candidate)) {
+                return false;
+            }
+        }
+        return true;
+    });
+    if (distinctMatches.length === 1) {
+        const only = distinctMatches[0];
+        return shouldPreserveNullableParameterSurface(only) ? parameterType : only;
+    }
+    return parameterType;
+};
+export const refineResolvedParameterTypesForArguments = (state, parameters, parameterTypes, argTypes, argumentCount) => {
+    const expandedParameterTypes = expandParameterTypesForArguments(parameters, parameterTypes, argumentCount);
+    if (!argTypes || argTypes.length === 0) {
+        return expandedParameterTypes;
+    }
+    let changed = false;
+    const refined = expandedParameterTypes.map((parameterType, index) => {
+        if (index >= argumentCount) {
+            return parameterType;
+        }
+        const next = refineParameterTypeForConcreteArgument(state, parameterType, argTypes[index]);
+        if (next !== parameterType) {
+            changed = true;
+        }
+        return next;
+    });
+    return changed ? refined : expandedParameterTypes;
+};
+//# sourceMappingURL=call-resolution-scoring.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-scoring.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-scoring.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EACL,gCAAgC,EAChC,sBAAsB,GACvB,MAAM,gCAAgC,CAAC;AAExC,4EAA4E;AAC5E,+DAA+D;AAC/D,4EAA4E;AAE5E,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAA+B,EAC/B,aAAqB,EACZ,EAAE;IACX,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC;IACpC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,aAAa,KAAK,CAAC,CAAC;IAEpD,4CAA4C;IAC5C,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QACnB,+CAA+C;QAC/C,IAAI,SAAS,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAElD,uCAAuC;QACvC,IAAI,aAAa,GAAG,SAAS;YAAE,OAAO,KAAK,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,wCAAwC;IACxC,IAAI,aAAa,GAAG,MAAM,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAEhD,uDAAuD;IACvD,KAAK,IAAI,CAAC,GAAG,aAAa,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU;YAAE,OAAO,KAAK,CAAC;IACxC,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,4EAA4E;AAC5E,yCAAyC;AACzC,4EAA4E;AAE5E,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAsB,EACtB,cAA+C,EAC/C,QAAyC,EACzC,aAAqB,EACb,EAAE;IACV,MAAM,sBAAsB,GAAG,CAC7B,aAAqB,EACrB,YAAoB,EACZ,EAAE;QACV,IAAI,UAAU,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,CAAC;YAC5C,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,cAAc,CAAC,KAAK,EAAE,YAAY,EAAE,aAAa,CAAC,EAAE,CAAC;YACvD,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,OAAO,CAAC,CAAC;QAE7B,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAClD,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,gBAAgB,CAC5C,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,MAAM,CACZ,CAAC;QACF,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC,CAAC;IAEF,MAAM,8BAA8B,GAAG,CACrC,aAAqB,EACrB,YAAoB,EACZ,EAAE;QACV,MAAM,WAAW,GACf,aAAa,CAAC,IAAI,KAAK,cAAc;YACnC,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,UAAU,GACd,YAAY,CAAC,IAAI,KAAK,cAAc;YAClC,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAElD,IAAI,CAAC,WAAW,IAAI,CAAC,UAAU,EAAE,CAAC;YAChC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,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,sBAAsB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC;QAED,IACE,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;YAC5C,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EACxC,CAAC;YACD,KAAK,IAAI,sBAAsB,CAC7B,WAAW,CAAC,UAAU,EACtB,UAAU,CAAC,UAAU,CACtB,CAAC;QACJ,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;YAAE,SAAS;QACzB,MAAM,uBAAuB,GAC3B,sCAAsC,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;QAE9D,MAAM,iBAAiB,GAAG,8BAA8B,CACtD,uBAAuB,EACvB,EAAE,CACH,CAAC;QACF,IAAI,iBAAiB,KAAK,CAAC,EAAE,CAAC;YAC5B,KAAK,IAAI,iBAAiB,CAAC;YAC3B,SAAS;QACX,CAAC;QAED,KAAK,IAAI,sBAAsB,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,4EAA4E;AAC5E,sEAAsE;AACtE,4EAA4E;AAE5E,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,KAAsB,EACtB,aAAiC,EACjC,YAAgC,EACZ,EAAE;IACtB,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,IAAI,aAAa,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvC,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,eAAe,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAC/D,cAAc,CAAC,KAAK,EAAE,YAAY,EAAE,SAAS,CAAC,CAC/C,CAAC;IAEF,MAAM,iBAAiB,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAClD,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,CACC,SAAS,CAAC,IAAI,KAAK,eAAe;QAClC,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9D,CACJ,CAAC;IACF,MAAM,sCAAsC,GAAG,CAC7C,SAA6B,EACpB,EAAE,CACX,CAAC,CAAC,SAAS;QACX,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAC9B,SAAS,CAAC,IAAI,KAAK,eAAe;QAClC,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAEhE,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QAChC,OAAO,sCAAsC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7E,CAAC;IAED,MAAM,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,QAAQ,IAAI,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;gBAChD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QAChC,OAAO,sCAAsC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7E,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,KAAsB,EACtB,UAAmD,EACnD,cAA+C,EAC/C,QAAqD,EACrD,aAAqB,EACY,EAAE;IACnC,MAAM,sBAAsB,GAAG,gCAAgC,CAC7D,UAAU,EACV,cAAc,EACd,aAAa,CACd,CAAC;IACF,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,sBAAsB,CAAC;IAChC,CAAC;IAED,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE;QAClE,IAAI,KAAK,IAAI,aAAa,EAAE,CAAC;YAC3B,OAAO,aAAa,CAAC;QACvB,CAAC;QAED,MAAM,IAAI,GAAG,sCAAsC,CACjD,KAAK,EACL,aAAa,EACb,QAAQ,CAAC,KAAK,CAAC,CAChB,CAAC;QACF,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;YAC3B,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,OAAO,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,sBAAsB,CAAC;AACpD,CAAC,CAAC"}

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

@@ -0,0 +1,19 @@
+/**
+ * Receiver substitution helpers.
+ *
+ * Contains computeReceiverSubstitution for receiver type parameter binding.
+ *
+ * DAG position: depends on type-system-state
+ */
+import type { IrType } from "../types/index.js";
+import type { TypeSystemState, TypeSubstitutionMap } from "./type-system-state.js";
+/**
+ * Compute receiver substitution for a method call.
+ *
+ * Given a receiver type (e.g., Array<string>) and a declaring type's TS name,
+ * computes the substitution map for class type parameters.
+ *
+ * Phase 6: Uses TypeId-based NominalEnv.getInstantiation().
+ */
+export declare const computeReceiverSubstitution: (state: TypeSystemState, receiverType: IrType, declaringTypeTsName: string, _declaringMemberName: string, declaringTypeParameterNames?: readonly string[], declaringClrType?: string) => TypeSubstitutionMap | undefined;
+//# sourceMappingURL=call-resolution-signatures-catalog.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-signatures-catalog.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-signatures-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EACV,eAAe,EACf,mBAAmB,EACpB,MAAM,wBAAwB,CAAC;AAiHhC;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,GACtC,OAAO,eAAe,EACtB,cAAc,MAAM,EACpB,qBAAqB,MAAM,EAC3B,sBAAsB,MAAM,EAC5B,8BAA8B,SAAS,MAAM,EAAE,EAC/C,mBAAmB,MAAM,KACxB,mBAAmB,GAAG,SAqDxB,CAAC"}

package/dist/ir/type-system/call-resolution-signatures-catalog.js

@@ -0,0 +1,121 @@
+/**
+ * Receiver substitution helpers.
+ *
+ * Contains computeReceiverSubstitution for receiver type parameter binding.
+ *
+ * DAG position: depends on type-system-state
+ */
+import { resolveTypeIdByName, normalizeToNominal, resolveSourceReferenceFQName, } from "./type-system-state.js";
+const normalizeTsbindgenDeclaringTypeName = (name) => {
+    if (name.endsWith("$instance")) {
+        return name.slice(0, -"$instance".length);
+    }
+    if (name.startsWith("__") && name.endsWith("$views")) {
+        return name.slice(2, -"$views".length);
+    }
+    return name;
+};
+const enumerateEquivalentDeclaringTypeNames = (name) => {
+    const names = [];
+    const push = (candidate) => {
+        if (!candidate) {
+            return;
+        }
+        if (!names.includes(candidate)) {
+            names.push(candidate);
+        }
+    };
+    const baseName = normalizeTsbindgenDeclaringTypeName(name);
+    push(name);
+    push(baseName);
+    push(`${baseName}$instance`);
+    push(`__${baseName}$views`);
+    return names;
+};
+const resolveDeclaringTypeCandidates = (state, declaringTypeTsName, arityHint, declaringClrType) => {
+    const candidates = [];
+    const pushCandidate = (candidate) => {
+        if (!candidate) {
+            return;
+        }
+        if (candidates.some((existing) => existing.stableId === candidate.stableId)) {
+            return;
+        }
+        candidates.push(candidate);
+    };
+    pushCandidate(declaringClrType
+        ? resolveTypeIdByName(state, declaringClrType, arityHint)
+        : undefined);
+    pushCandidate(declaringClrType ? resolveTypeIdByName(state, declaringClrType) : undefined);
+    for (const candidateName of enumerateEquivalentDeclaringTypeNames(declaringTypeTsName)) {
+        const sourceFqName = resolveSourceReferenceFQName(state, {
+            kind: "referenceType",
+            name: candidateName,
+        });
+        if (sourceFqName) {
+            pushCandidate(resolveTypeIdByName(state, sourceFqName, arityHint));
+            pushCandidate(resolveTypeIdByName(state, sourceFqName));
+        }
+        pushCandidate(resolveTypeIdByName(state, candidateName, arityHint));
+        pushCandidate(resolveTypeIdByName(state, candidateName));
+    }
+    return candidates;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// computeReceiverSubstitution — Receiver type → substitution map
+// ─────────────────────────────────────────────────────────────────────────
+const resolveDeclaringTypeParameterNames = (state, declaringTypeIds, explicitNames) => {
+    if (explicitNames && explicitNames.length > 0) {
+        return explicitNames;
+    }
+    for (const declaringTypeId of declaringTypeIds) {
+        const typeParameters = state.unifiedCatalog
+            .getTypeParameters(declaringTypeId)
+            .map((parameter) => parameter.name);
+        if (typeParameters.length > 0) {
+            return typeParameters;
+        }
+    }
+    return undefined;
+};
+/**
+ * Compute receiver substitution for a method call.
+ *
+ * Given a receiver type (e.g., Array<string>) and a declaring type's TS name,
+ * computes the substitution map for class type parameters.
+ *
+ * Phase 6: Uses TypeId-based NominalEnv.getInstantiation().
+ */
+export const computeReceiverSubstitution = (state, receiverType, declaringTypeTsName, _declaringMemberName, declaringTypeParameterNames, declaringClrType) => {
+    const normalized = normalizeToNominal(state, receiverType);
+    if (!normalized) {
+        return undefined;
+    }
+    const arityHint = normalized.typeArgs.length > 0
+        ? normalized.typeArgs.length
+        : declaringTypeParameterNames?.length;
+    const declaringTypeIds = resolveDeclaringTypeCandidates(state, declaringTypeTsName, arityHint, declaringClrType);
+    const resolvedDeclaringTypeParameterNames = resolveDeclaringTypeParameterNames(state, declaringTypeIds, declaringTypeParameterNames);
+    let emptyInstantiation;
+    for (const declaringTypeId of declaringTypeIds) {
+        const nominalInstantiation = state.nominalEnv.getInstantiation(normalized.typeId, normalized.typeArgs, declaringTypeId);
+        if (nominalInstantiation && nominalInstantiation.size > 0) {
+            return nominalInstantiation;
+        }
+        if (!emptyInstantiation && nominalInstantiation) {
+            emptyInstantiation = nominalInstantiation;
+        }
+        if (resolvedDeclaringTypeParameterNames &&
+            resolvedDeclaringTypeParameterNames.length > 0 &&
+            normalized.typeId.stableId === declaringTypeId.stableId &&
+            normalized.typeArgs.length === resolvedDeclaringTypeParameterNames.length) {
+            const directSubstitutionEntries = resolvedDeclaringTypeParameterNames.flatMap((name, index) => {
+                const typeArgument = normalized.typeArgs[index];
+                return typeArgument ? [[name, typeArgument]] : [];
+            });
+            return new Map(directSubstitutionEntries);
+        }
+    }
+    return emptyInstantiation ?? undefined;
+};
+//# sourceMappingURL=call-resolution-signatures-catalog.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-signatures-catalog.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-signatures-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAQH,OAAO,EACL,mBAAmB,EACnB,kBAAkB,EAClB,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAEhC,MAAM,mCAAmC,GAAG,CAAC,IAAY,EAAU,EAAE;IACnE,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,qCAAqC,GAAG,CAC5C,IAAY,EACO,EAAE;IACrB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,SAA6B,EAAQ,EAAE;QACnD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO;QACT,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,mCAAmC,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,IAAI,CAAC,QAAQ,CAAC,CAAC;IACf,IAAI,CAAC,GAAG,QAAQ,WAAW,CAAC,CAAC;IAC7B,IAAI,CAAC,KAAK,QAAQ,QAAQ,CAAC,CAAC;IAE5B,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,KAAsB,EACtB,mBAA2B,EAC3B,SAA6B,EAC7B,gBAAoC,EACjB,EAAE;IACrB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,aAAa,GAAG,CAAC,SAA6B,EAAQ,EAAE;QAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO;QACT,CAAC;QACD,IACE,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ,CAAC,EACvE,CAAC;YACD,OAAO;QACT,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC,CAAC;IAEF,aAAa,CACX,gBAAgB;QACd,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,gBAAgB,EAAE,SAAS,CAAC;QACzD,CAAC,CAAC,SAAS,CACd,CAAC;IACF,aAAa,CACX,gBAAgB,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAC5E,CAAC;IAEF,KAAK,MAAM,aAAa,IAAI,qCAAqC,CAC/D,mBAAmB,CACpB,EAAE,CAAC;QACF,MAAM,YAAY,GAAG,4BAA4B,CAAC,KAAK,EAAE;YACvD,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,aAAa;SACpB,CAAC,CAAC;QAEH,IAAI,YAAY,EAAE,CAAC;YACjB,aAAa,CAAC,mBAAmB,CAAC,KAAK,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC;YACnE,aAAa,CAAC,mBAAmB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1D,CAAC;QAED,aAAa,CAAC,mBAAmB,CAAC,KAAK,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;QACpE,aAAa,CAAC,mBAAmB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,4EAA4E;AAC5E,iEAAiE;AACjE,4EAA4E;AAE5E,MAAM,kCAAkC,GAAG,CACzC,KAAsB,EACtB,gBAAmC,EACnC,aAA4C,EACb,EAAE;IACjC,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,KAAK,MAAM,eAAe,IAAI,gBAAgB,EAAE,CAAC;QAC/C,MAAM,cAAc,GAAG,KAAK,CAAC,cAAc;aACxC,iBAAiB,CAAC,eAAe,CAAC;aAClC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,cAAc,CAAC;QACxB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,KAAsB,EACtB,YAAoB,EACpB,mBAA2B,EAC3B,oBAA4B,EAC5B,2BAA+C,EAC/C,gBAAyB,EACQ,EAAE;IACnC,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC3D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GACb,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAC5B,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM;QAC5B,CAAC,CAAC,2BAA2B,EAAE,MAAM,CAAC;IAC1C,MAAM,gBAAgB,GAAG,8BAA8B,CACrD,KAAK,EACL,mBAAmB,EACnB,SAAS,EACT,gBAAgB,CACjB,CAAC;IACF,MAAM,mCAAmC,GACvC,kCAAkC,CAChC,KAAK,EACL,gBAAgB,EAChB,2BAA2B,CAC5B,CAAC;IACJ,IAAI,kBAAmD,CAAC;IAExD,KAAK,MAAM,eAAe,IAAI,gBAAgB,EAAE,CAAC;QAC/C,MAAM,oBAAoB,GAAG,KAAK,CAAC,UAAU,CAAC,gBAAgB,CAC5D,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,QAAQ,EACnB,eAAe,CAChB,CAAC;QACF,IAAI,oBAAoB,IAAI,oBAAoB,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC1D,OAAO,oBAAoB,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,kBAAkB,IAAI,oBAAoB,EAAE,CAAC;YAChD,kBAAkB,GAAG,oBAAoB,CAAC;QAC5C,CAAC;QAED,IACE,mCAAmC;YACnC,mCAAmC,CAAC,MAAM,GAAG,CAAC;YAC9C,UAAU,CAAC,MAAM,CAAC,QAAQ,KAAK,eAAe,CAAC,QAAQ;YACvD,UAAU,CAAC,QAAQ,CAAC,MAAM,KAAK,mCAAmC,CAAC,MAAM,EACzE,CAAC;YACD,MAAM,yBAAyB,GAC7B,mCAAmC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBAC1D,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAChD,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,CAAC,CAAC,CAAC;YACL,OAAO,IAAI,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO,kBAAkB,IAAI,SAAS,CAAC;AACzC,CAAC,CAAC"}

package/dist/ir/type-system/call-resolution-signatures-catalog.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=call-resolution-signatures-catalog.test.d.ts.map

package/dist/ir/type-system/call-resolution-signatures-catalog.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-signatures-catalog.test.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-signatures-catalog.test.ts"],"names":[],"mappings":""}

package/dist/ir/type-system/call-resolution-signatures-catalog.test.js

@@ -0,0 +1,88 @@
+import { expect } from "chai";
+import { describe, it } from "mocha";
+import { computeReceiverSubstitution } from "./call-resolution-signatures-catalog.js";
+describe("call resolution signatures catalog", () => {
+    it("falls back to direct receiver type arguments when the declaring nominal type already matches", () => {
+        const dbSetId = {
+            stableId: "Microsoft.EntityFrameworkCore:Microsoft.EntityFrameworkCore.DbSet`1",
+            clrName: "Microsoft.EntityFrameworkCore.DbSet`1",
+            assemblyName: "Microsoft.EntityFrameworkCore",
+            tsName: "DbSet_1",
+        };
+        const state = {
+            aliasTable: new Map(),
+            nominalEnv: {
+                getInstantiation: () => undefined,
+            },
+            typeRegistry: {
+                getFQName: () => undefined,
+                getFQNames: () => [],
+                resolveNominal: () => undefined,
+            },
+            unifiedCatalog: {
+                resolveTsName: (name) => name === "DbSet_1" ? dbSetId : undefined,
+                resolveClrName: () => undefined,
+                getByTypeId: () => ({ origin: "assembly" }),
+                getTypeParameters: () => [{ name: "TEntity" }],
+            },
+        };
+        const substitution = computeReceiverSubstitution(state, {
+            kind: "referenceType",
+            name: "DbSet_1",
+            typeArguments: [{ kind: "referenceType", name: "PostEntity" }],
+            typeId: dbSetId,
+        }, "DbSet_1", "Find", ["TEntity"]);
+        expect(Array.from(substitution ?? [])).to.deep.equal([
+            ["TEntity", { kind: "referenceType", name: "PostEntity" }],
+        ]);
+    });
+    it("treats tsbindgen instance wrappers as equivalent to their exported generic aliases", () => {
+        const dbSetAliasId = {
+            stableId: "TestApp:DbSet_1",
+            clrName: "DbSet_1",
+            assemblyName: "TestApp",
+            tsName: "DbSet_1",
+        };
+        const dbSetInstanceId = {
+            stableId: "TestApp:DbSet_1$instance",
+            clrName: "DbSet_1$instance",
+            assemblyName: "TestApp",
+            tsName: "DbSet_1$instance",
+        };
+        const state = {
+            aliasTable: new Map(),
+            nominalEnv: {
+                getInstantiation: () => undefined,
+            },
+            typeRegistry: {
+                getFQName: (name) => name === "DbSet_1" || name === "DbSet_1$instance" ? name : undefined,
+                getFQNames: (name) => name === "DbSet_1" || name === "DbSet_1$instance" ? [name] : [],
+                resolveNominal: () => undefined,
+            },
+            unifiedCatalog: {
+                resolveTsName: (name) => {
+                    if (name === "DbSet_1")
+                        return dbSetAliasId;
+                    if (name === "DbSet_1$instance")
+                        return dbSetInstanceId;
+                    return undefined;
+                },
+                resolveClrName: () => undefined,
+                getByTypeId: () => ({ origin: "source" }),
+                getTypeParameters: (typeId) => typeId.stableId === dbSetAliasId.stableId
+                    ? []
+                    : [{ name: "TEntity" }],
+            },
+        };
+        const substitution = computeReceiverSubstitution(state, {
+            kind: "referenceType",
+            name: "DbSet_1$instance",
+            typeArguments: [{ kind: "referenceType", name: "PostEntity" }],
+            typeId: dbSetInstanceId,
+        }, "DbSet_1", "Find", ["TEntity"]);
+        expect(Array.from(substitution ?? [])).to.deep.equal([
+            ["TEntity", { kind: "referenceType", name: "PostEntity" }],
+        ]);
+    });
+});
+//# sourceMappingURL=call-resolution-signatures-catalog.test.js.map

package/dist/ir/type-system/call-resolution-signatures-catalog.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-signatures-catalog.test.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-signatures-catalog.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC;AAGtF,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,EAAE,CAAC,8FAA8F,EAAE,GAAG,EAAE;QACtG,MAAM,OAAO,GAAW;YACtB,QAAQ,EACN,qEAAqE;YACvE,OAAO,EAAE,uCAAuC;YAChD,YAAY,EAAE,+BAA+B;YAC7C,MAAM,EAAE,SAAS;SAClB,CAAC;QAEF,MAAM,KAAK,GAAG;YACZ,UAAU,EAAE,IAAI,GAAG,EAAkB;YACrC,UAAU,EAAE;gBACV,gBAAgB,EAAE,GAAG,EAAE,CAAC,SAAS;aAClC;YACD,YAAY,EAAE;gBACZ,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS;gBAC1B,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE;gBACpB,cAAc,EAAE,GAAG,EAAE,CAAC,SAAS;aAChC;YACD,cAAc,EAAE;gBACd,aAAa,EAAE,CAAC,IAAY,EAAE,EAAE,CAC9B,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;gBAC1C,cAAc,EAAE,GAAG,EAAE,CAAC,SAAS;gBAC/B,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;gBAC3C,iBAAiB,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;aAC/C;SACO,CAAC;QAEX,MAAM,YAAY,GAAG,2BAA2B,CAC9C,KAAc,EACd;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,SAAS;YACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YAC9D,MAAM,EAAE,OAAO;SAChB,EACD,SAAS,EACT,MAAM,EACN,CAAC,SAAS,CAAC,CACZ,CAAC;QAEF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACnD,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;SAC3D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,YAAY,GAAW;YAC3B,QAAQ,EAAE,iBAAiB;YAC3B,OAAO,EAAE,SAAS;YAClB,YAAY,EAAE,SAAS;YACvB,MAAM,EAAE,SAAS;SAClB,CAAC;QACF,MAAM,eAAe,GAAW;YAC9B,QAAQ,EAAE,0BAA0B;YACpC,OAAO,EAAE,kBAAkB;YAC3B,YAAY,EAAE,SAAS;YACvB,MAAM,EAAE,kBAAkB;SAC3B,CAAC;QAEF,MAAM,KAAK,GAAG;YACZ,UAAU,EAAE,IAAI,GAAG,EAAkB;YACrC,UAAU,EAAE;gBACV,gBAAgB,EAAE,GAAG,EAAE,CAAC,SAAS;aAClC;YACD,YAAY,EAAE;gBACZ,SAAS,EAAE,CAAC,IAAY,EAAE,EAAE,CAC1B,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;gBACtE,UAAU,EAAE,CAAC,IAAY,EAAE,EAAE,CAC3B,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;gBACjE,cAAc,EAAE,GAAG,EAAE,CAAC,SAAS;aAChC;YACD,cAAc,EAAE;gBACd,aAAa,EAAE,CAAC,IAAY,EAAE,EAAE;oBAC9B,IAAI,IAAI,KAAK,SAAS;wBAAE,OAAO,YAAY,CAAC;oBAC5C,IAAI,IAAI,KAAK,kBAAkB;wBAAE,OAAO,eAAe,CAAC;oBACxD,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,cAAc,EAAE,GAAG,EAAE,CAAC,SAAS;gBAC/B,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;gBACzC,iBAAiB,EAAE,CAAC,MAAc,EAAE,EAAE,CACpC,MAAM,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ;oBACvC,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;aAC5B;SACO,CAAC;QAEX,MAAM,YAAY,GAAG,2BAA2B,CAC9C,KAAc,EACd;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YAC9D,MAAM,EAAE,eAAe;SACxB,EACD,SAAS,EACT,MAAM,EACN,CAAC,SAAS,CAAC,CACZ,CAAC;QAEF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACnD,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;SAC3D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,21 @@
+/**
+ * Raw signature extraction and structural member lookup.
+ *
+ * Contains getRawSignature for extracting raw signatures from HandleRegistry
+ * and lookupStructuralMember for object type member lookup.
+ *
+ * DAG position: depends on type-system-state, call-resolution-utilities
+ */
+import type { IrType } from "../types/index.js";
+import type { SignatureId } from "./types.js";
+import type { TypeSystemState, RawSignatureInfo, Site } from "./type-system-state.js";
+/**
+ * Get or compute raw signature info from SignatureId.
+ * Caches the result for subsequent calls.
+ */
+export declare const getRawSignature: (state: TypeSystemState, sigId: SignatureId) => RawSignatureInfo | undefined;
+/**
+ * Look up a member on a structural (object) type.
+ */
+export declare const lookupStructuralMember: (state: TypeSystemState, type: IrType, memberName: string, site?: Site) => IrType;
+//# sourceMappingURL=call-resolution-signatures-raw.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-signatures-raw.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-signatures-raw.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAkB,MAAM,mBAAmB,CAAC;AAMhE,OAAO,KAAK,EAAoC,WAAW,EAAE,MAAM,YAAY,CAAC;AAEhF,OAAO,KAAK,EACV,eAAe,EACf,gBAAgB,EAEhB,IAAI,EACL,MAAM,wBAAwB,CAAC;AAYhC;;;GAGG;AACH,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,OAAO,WAAW,KACjB,gBAAgB,GAAG,SA8MrB,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,YAAY,MAAM,EAClB,OAAO,IAAI,KACV,MAqEF,CAAC"}