@tsonic/frontend 0.0.74 → 0.0.75

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

@@ -0,0 +1,242 @@
+/**
+ * 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 { substituteIrType as irSubstitute, } from "../types/ir-substitution.js";
+import { unknownType, voidType } from "./types.js";
+import { emitDiagnostic, addUndefinedToType, resolveTypeIdByName, } from "./type-system-state.js";
+import { convertTypeNode } from "./call-resolution-utilities.js";
+// ─────────────────────────────────────────────────────────────────────────
+// getRawSignature — Extract raw signature from HandleRegistry
+// ─────────────────────────────────────────────────────────────────────────
+/**
+ * Get or compute raw signature info from SignatureId.
+ * Caches the result for subsequent calls.
+ */
+export const getRawSignature = (state, sigId) => {
+    const cached = state.signatureRawCache.get(sigId.id);
+    if (cached)
+        return cached;
+    const sigInfo = state.handleRegistry.getSignature(sigId);
+    if (!sigInfo)
+        return undefined;
+    // Convert parameter types from TypeNodes to IrTypes
+    const effectiveParameters = sigInfo.resolvedParameters ?? sigInfo.parameters;
+    const rawParameterTypes = effectiveParameters.map((p) => {
+        const baseType = p.typeNode
+            ? convertTypeNode(state, p.typeNode)
+            : undefined;
+        if (!baseType)
+            return undefined;
+        // Optional/defaulted parameters must accept explicit `undefined` at call sites.
+        return p.isOptional ? addUndefinedToType(baseType) : baseType;
+    });
+    // Convert a TypeScript `this:` parameter type (if present) to an IrType.
+    const rawThisParameterType = (() => {
+        const n = sigInfo.thisTypeNode;
+        return n ? convertTypeNode(state, n) : undefined;
+    })();
+    // Extract parameter modes
+    const parameterModes = effectiveParameters.map((p) => p.mode ?? "value");
+    // Extract parameter names
+    const parameterNames = effectiveParameters.map((p) => p.name);
+    const isConstructor = sigInfo.declaringMemberName === "constructor";
+    // Extract type parameters.
+    //
+    // Constructors of generic classes do not declare their own type-parameter list in
+    // TypeScript syntax, but constructor call resolution must still infer the enclosing
+    // class type parameters from arguments / expected return context so `new Box(value)`
+    // emits `new Box<T>(value)` when appropriate.
+    const rawTypeParameters = isConstructor
+        ? (sigInfo.typeParameters && sigInfo.typeParameters.length > 0
+            ? sigInfo.typeParameters
+            : (sigInfo.declaringTypeParameterNames ?? []).map((name) => ({
+                name,
+                constraintNode: undefined,
+                defaultNode: undefined,
+            }))).map((tp) => ({
+            name: tp.name,
+            constraint: tp.constraintNode
+                ? convertTypeNode(state, tp.constraintNode)
+                : undefined,
+            defaultType: tp.defaultNode
+                ? convertTypeNode(state, tp.defaultNode)
+                : undefined,
+        }))
+        : (sigInfo.typeParameters ?? []).map((tp) => ({
+            name: tp.name,
+            constraint: tp.constraintNode
+                ? convertTypeNode(state, tp.constraintNode)
+                : undefined,
+            defaultType: tp.defaultNode
+                ? convertTypeNode(state, tp.defaultNode)
+                : undefined,
+        }));
+    const constructorTypeParameterRenames = isConstructor && rawTypeParameters.length > 0
+        ? new Map(rawTypeParameters.map((typeParameter, index) => [
+            typeParameter.name,
+            {
+                kind: "typeParameterType",
+                name: `__ctor_${sigId.id}_${index}_${typeParameter.name}`,
+            },
+        ]))
+        : undefined;
+    const applyConstructorTypeParameterRename = (type) => type &&
+        constructorTypeParameterRenames &&
+        constructorTypeParameterRenames.size > 0
+        ? irSubstitute(type, constructorTypeParameterRenames)
+        : type;
+    const parameterTypes = rawParameterTypes.map((parameterType) => applyConstructorTypeParameterRename(parameterType));
+    const thisParameterType = applyConstructorTypeParameterRename(rawThisParameterType);
+    const typeParameters = rawTypeParameters.map((typeParameter) => {
+        const renamedTypeParameter = constructorTypeParameterRenames?.get(typeParameter.name);
+        return {
+            ...typeParameter,
+            name: renamedTypeParameter?.kind === "typeParameterType"
+                ? renamedTypeParameter.name
+                : typeParameter.name,
+            constraint: applyConstructorTypeParameterRename(typeParameter.constraint),
+            defaultType: applyConstructorTypeParameterRename(typeParameter.defaultType),
+        };
+    });
+    const hasDeclaredReturnType = sigInfo.returnTypeNode !== undefined || isConstructor;
+    // Convert return type
+    const returnType = (() => {
+        if (sigInfo.returnTypeNode) {
+            return (applyConstructorTypeParameterRename(convertTypeNode(state, sigInfo.returnTypeNode)) ?? voidType);
+        }
+        // Class constructor declarations do not have return type annotations in TS syntax.
+        // Deterministically synthesize the constructed instance type using the declaring
+        // identity captured in Binding and the (class) type parameters captured for the
+        // constructor signature.
+        if (isConstructor && sigInfo.declaringTypeTsName) {
+            const typeArguments = typeParameters.map((tp) => ({
+                kind: "typeParameterType",
+                name: tp.name,
+            }));
+            const typeId = resolveTypeIdByName(state, sigInfo.declaringTypeTsName, typeArguments.length) ?? resolveTypeIdByName(state, sigInfo.declaringTypeTsName);
+            return {
+                kind: "referenceType",
+                name: sigInfo.declaringTypeTsName,
+                ...(typeArguments.length > 0 ? { typeArguments } : {}),
+                ...(typeId
+                    ? {
+                        typeId,
+                        resolvedClrType: typeId.clrName,
+                    }
+                    : {}),
+            };
+        }
+        return voidType;
+    })();
+    // Extract type predicate (already extracted in Binding at registration time)
+    let typePredicate;
+    if (sigInfo.typePredicate) {
+        const pred = sigInfo.typePredicate;
+        const targetType = applyConstructorTypeParameterRename(convertTypeNode(state, pred.targetTypeNode)) ?? unknownType;
+        if (pred.kind === "param") {
+            typePredicate = {
+                kind: "param",
+                parameterIndex: pred.parameterIndex,
+                targetType,
+            };
+        }
+        else {
+            typePredicate = {
+                kind: "this",
+                targetType,
+            };
+        }
+    }
+    const rawSig = {
+        parameterTypes,
+        parameterFlags: effectiveParameters.map((parameter) => ({
+            isRest: parameter.isRest,
+            isOptional: parameter.isOptional,
+        })),
+        thisParameterType,
+        returnType,
+        constructsDeclaringType: isConstructor && sigInfo.returnTypeNode === undefined,
+        hasDeclaredReturnType,
+        parameterModes,
+        typeParameters,
+        parameterNames,
+        typePredicate,
+        declaringTypeTsName: sigInfo.declaringTypeTsName,
+        declaringTypeParameterNames: sigInfo.declaringTypeParameterNames,
+        declaringMemberName: sigInfo.declaringMemberName,
+    };
+    state.signatureRawCache.set(sigId.id, rawSig);
+    return rawSig;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// lookupStructuralMember — Structural (object) type member lookup
+// ─────────────────────────────────────────────────────────────────────────
+/**
+ * Look up a member on a structural (object) type.
+ */
+export const lookupStructuralMember = (state, type, memberName, site) => {
+    const addUndefinedToTypeLocal = (t) => {
+        const undefinedType = {
+            kind: "primitiveType",
+            name: "undefined",
+        };
+        if (t.kind === "unionType") {
+            const hasUndefined = t.types.some((x) => x.kind === "primitiveType" && x.name === "undefined");
+            return hasUndefined ? t : { ...t, types: [...t.types, undefinedType] };
+        }
+        return { kind: "unionType", types: [t, undefinedType] };
+    };
+    if (type.kind === "objectType") {
+        const member = type.members.find((m) => m.name === memberName);
+        if (member) {
+            if (member.kind === "propertySignature") {
+                return member.isOptional
+                    ? addUndefinedToTypeLocal(member.type)
+                    : member.type;
+            }
+            // Method signature - return function type using the same parameters
+            if (member.kind === "methodSignature") {
+                const typeParameters = member.typeParameters;
+                const funcType = {
+                    kind: "functionType",
+                    ...(typeParameters ? { typeParameters } : {}),
+                    parameters: member.parameters,
+                    returnType: member.returnType ?? voidType,
+                };
+                return funcType;
+            }
+        }
+    }
+    if (type.kind === "referenceType" &&
+        type.structuralMembers &&
+        type.structuralMembers.length > 0) {
+        const member = type.structuralMembers.find((m) => m.name === memberName);
+        if (member) {
+            if (member.kind === "propertySignature") {
+                return member.isOptional
+                    ? addUndefinedToTypeLocal(member.type)
+                    : member.type;
+            }
+            if (member.kind === "methodSignature") {
+                const typeParameters = member.typeParameters;
+                const funcType = {
+                    kind: "functionType",
+                    ...(typeParameters ? { typeParameters } : {}),
+                    parameters: member.parameters,
+                    returnType: member.returnType ?? voidType,
+                };
+                return funcType;
+            }
+        }
+    }
+    if (site) {
+        emitDiagnostic(state, "TSN5203", `Member '${memberName}' not found on structural type`, site);
+    }
+    return unknownType;
+};
+//# sourceMappingURL=call-resolution-signatures-raw.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-signatures-raw.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-signatures-raw.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EACL,gBAAgB,IAAI,YAAY,GAEjC,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAOnD,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAEjE,4EAA4E;AAC5E,8DAA8D;AAC9D,4EAA4E;AAE5E;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAsB,EACtB,KAAkB,EACY,EAAE;IAChC,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,MAAM,OAAO,GAAG,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,oDAAoD;IACpD,MAAM,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,IAAI,OAAO,CAAC,UAAU,CAAC;IAE7E,MAAM,iBAAiB,GAA2B,mBAAmB,CAAC,GAAG,CACvE,CAAC,CAAC,EAAE,EAAE;QACJ,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ;YACzB,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC;YACpC,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAChC,gFAAgF;QAChF,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChE,CAAC,CACF,CAAC;IAEF,yEAAyE;IACzE,MAAM,oBAAoB,GAAuB,CAAC,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,OAAO,CAAC,YAAuC,CAAC;QAC1D,OAAO,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnD,CAAC,CAAC,EAAE,CAAC;IAEL,0BAA0B;IAC1B,MAAM,cAAc,GAAoB,mBAAmB,CAAC,GAAG,CAC7D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CACzB,CAAC;IAEF,0BAA0B;IAC1B,MAAM,cAAc,GAAa,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAExE,MAAM,aAAa,GAAG,OAAO,CAAC,mBAAmB,KAAK,aAAa,CAAC;IACpE,2BAA2B;IAC3B,EAAE;IACF,kFAAkF;IAClF,oFAAoF;IACpF,qFAAqF;IACrF,8CAA8C;IAC9C,MAAM,iBAAiB,GAAwB,aAAa;QAC1D,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;YAC1D,CAAC,CAAC,OAAO,CAAC,cAAc;YACxB,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzD,IAAI;gBACJ,cAAc,EAAE,SAAS;gBACzB,WAAW,EAAE,SAAS;aACvB,CAAC,CAAC,CACN,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACb,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,UAAU,EAAE,EAAE,CAAC,cAAc;gBAC3B,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC;gBAC3C,CAAC,CAAC,SAAS;YACb,WAAW,EAAE,EAAE,CAAC,WAAW;gBACzB,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC;gBACxC,CAAC,CAAC,SAAS;SACd,CAAC,CAAC;QACL,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1C,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,UAAU,EAAE,EAAE,CAAC,cAAc;gBAC3B,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC;gBAC3C,CAAC,CAAC,SAAS;YACb,WAAW,EAAE,EAAE,CAAC,WAAW;gBACzB,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC;gBACxC,CAAC,CAAC,SAAS;SACd,CAAC,CAAC,CAAC;IACR,MAAM,+BAA+B,GACnC,aAAa,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC3C,CAAC,CAAC,IAAI,GAAG,CACL,iBAAiB,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CAAC;YAC9C,aAAa,CAAC,IAAI;YAClB;gBACE,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,UAAU,KAAK,CAAC,EAAE,IAAI,KAAK,IAAI,aAAa,CAAC,IAAI,EAAE;aACzC;SACnB,CAAC,CACH;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,mCAAmC,GAAG,CAC1C,IAAwB,EACJ,EAAE,CACtB,IAAI;QACJ,+BAA+B;QAC/B,+BAA+B,CAAC,IAAI,GAAG,CAAC;QACtC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,+BAAoD,CAAC;QAC1E,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,cAAc,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAC7D,mCAAmC,CAAC,aAAa,CAAC,CACnD,CAAC;IACF,MAAM,iBAAiB,GACrB,mCAAmC,CAAC,oBAAoB,CAAC,CAAC;IAC5D,MAAM,cAAc,GAAwB,iBAAiB,CAAC,GAAG,CAC/D,CAAC,aAAa,EAAE,EAAE;QAChB,MAAM,oBAAoB,GAAG,+BAA+B,EAAE,GAAG,CAC/D,aAAa,CAAC,IAAI,CACnB,CAAC;QACF,OAAO;YACL,GAAG,aAAa;YAChB,IAAI,EACF,oBAAoB,EAAE,IAAI,KAAK,mBAAmB;gBAChD,CAAC,CAAC,oBAAoB,CAAC,IAAI;gBAC3B,CAAC,CAAC,aAAa,CAAC,IAAI;YACxB,UAAU,EAAE,mCAAmC,CAC7C,aAAa,CAAC,UAAU,CACzB;YACD,WAAW,EAAE,mCAAmC,CAC9C,aAAa,CAAC,WAAW,CAC1B;SACF,CAAC;IACJ,CAAC,CACF,CAAC;IAEF,MAAM,qBAAqB,GACzB,OAAO,CAAC,cAAc,KAAK,SAAS,IAAI,aAAa,CAAC;IAExD,sBAAsB;IACtB,MAAM,UAAU,GAAW,CAAC,GAAG,EAAE;QAC/B,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;YAC3B,OAAO,CACL,mCAAmC,CACjC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,CAC/C,IAAI,QAAQ,CACd,CAAC;QACJ,CAAC;QAED,mFAAmF;QACnF,iFAAiF;QACjF,gFAAgF;QAChF,yBAAyB;QACzB,IAAI,aAAa,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;YACjD,MAAM,aAAa,GAAG,cAAc,CAAC,GAAG,CACtC,CAAC,EAAE,EAAE,EAAE,CACL,CAAC;gBACC,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,EAAE,CAAC,IAAI;aACd,CAAkB,CACtB,CAAC;YACF,MAAM,MAAM,GACV,mBAAmB,CACjB,KAAK,EACL,OAAO,CAAC,mBAAmB,EAC3B,aAAa,CAAC,MAAM,CACrB,IAAI,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC;YAE/D,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtD,GAAG,CAAC,MAAM;oBACR,CAAC,CAAC;wBACE,MAAM;wBACN,eAAe,EAAE,MAAM,CAAC,OAAO;qBAChC;oBACH,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;QACJ,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,EAAE,CAAC;IAEL,6EAA6E;IAC7E,IAAI,aAA8C,CAAC;IACnD,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC;QACnC,MAAM,UAAU,GACd,mCAAmC,CACjC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,CAC5C,IAAI,WAAW,CAAC;QACnB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,aAAa,GAAG;gBACd,IAAI,EAAE,OAAO;gBACb,cAAc,EAAE,IAAI,CAAC,cAAc;gBACnC,UAAU;aACX,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,aAAa,GAAG;gBACd,IAAI,EAAE,MAAM;gBACZ,UAAU;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAqB;QAC/B,cAAc;QACd,cAAc,EAAE,mBAAmB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACtD,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,UAAU,EAAE,SAAS,CAAC,UAAU;SACjC,CAAC,CAAC;QACH,iBAAiB;QACjB,UAAU;QACV,uBAAuB,EACrB,aAAa,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS;QACvD,qBAAqB;QACrB,cAAc;QACd,cAAc;QACd,cAAc;QACd,aAAa;QACb,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,2BAA2B,EAAE,OAAO,CAAC,2BAA2B;QAChE,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;KACjD,CAAC;IAEF,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9C,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,4EAA4E;AAC5E,kEAAkE;AAClE,4EAA4E;AAE5E;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAsB,EACtB,IAAY,EACZ,UAAkB,EAClB,IAAW,EACH,EAAE;IACV,MAAM,uBAAuB,GAAG,CAAC,CAAS,EAAU,EAAE;QACpD,MAAM,aAAa,GAAW;YAC5B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,WAAW;SAClB,CAAC;QACF,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC3B,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC5D,CAAC;YACF,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,EAAE,CAAC;IAC1D,CAAC,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAC/D,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACxC,OAAO,MAAM,CAAC,UAAU;oBACtB,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC;oBACtC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAClB,CAAC;YACD,oEAAoE;YACpE,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACtC,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,CAAC;gBAC7C,MAAM,QAAQ,GAAmB;oBAC/B,IAAI,EAAE,cAAc;oBACpB,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7C,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,QAAQ;iBAC1C,CAAC;gBACF,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,IAAI,CAAC,iBAAiB;QACtB,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EACjC,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QACzE,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACxC,OAAO,MAAM,CAAC,UAAU;oBACtB,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC;oBACtC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAClB,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACtC,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,CAAC;gBAC7C,MAAM,QAAQ,GAAmB;oBAC/B,IAAI,EAAE,cAAc;oBACpB,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7C,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,QAAQ;iBAC1C,CAAC;gBACF,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,IAAI,EAAE,CAAC;QACT,cAAc,CACZ,KAAK,EACL,SAAS,EACT,WAAW,UAAU,gCAAgC,EACrD,IAAI,CACL,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Call Resolution Signatures (facade)
+ *
+ * Sub-modules:
+ * - call-resolution-signatures-raw.ts     : getRawSignature, lookupStructuralMember
+ * - call-resolution-signatures-catalog.ts : computeReceiverSubstitution
+ */
+export { getRawSignature, lookupStructuralMember, } from "./call-resolution-signatures-raw.js";
+export { computeReceiverSubstitution } from "./call-resolution-signatures-catalog.js";
+//# sourceMappingURL=call-resolution-signatures.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-signatures.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-signatures.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,eAAe,EACf,sBAAsB,GACvB,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Call Resolution Signatures (facade)
+ *
+ * Sub-modules:
+ * - call-resolution-signatures-raw.ts     : getRawSignature, lookupStructuralMember
+ * - call-resolution-signatures-catalog.ts : computeReceiverSubstitution
+ */
+export { getRawSignature, lookupStructuralMember, } from "./call-resolution-signatures-raw.js";
+export { computeReceiverSubstitution } from "./call-resolution-signatures-catalog.js";
+//# sourceMappingURL=call-resolution-signatures.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-signatures.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-signatures.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,eAAe,EACf,sBAAsB,GACvB,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC"}

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

@@ -0,0 +1,43 @@
+/**
+ * Call Resolution Type IDs — Polymorphic-this substitution, TypeId attachment,
+ * type node conversion, delegate conversion, and pure type helpers
+ *
+ * Contains:
+ * - substitutePolymorphicThis: polymorphic this substitution
+ * - attachParameterTypeIds, attachTypeParameterTypeIds, attachInterfaceMemberTypeIds,
+ *   attachTypeIds: canonical TypeId attachment
+ * - convertTypeNode: deterministic type syntax conversion
+ * - delegateToFunctionType: delegate → IrFunctionType conversion
+ * - mapEntriesEqual: pure map comparison helper
+ * - containsMethodTypeParameter: recursive type parameter check
+ * - normalizeCatalogTsName: catalog name normalization
+ *
+ * DAG position: depends on type-system-state and type-system-relations
+ */
+import type { IrType, IrFunctionType, IrParameter, IrInterfaceMember, IrTypeParameter } from "../types/index.js";
+import type { TypeSystemState } from "./type-system-state.js";
+export declare const POLYMORPHIC_THIS_MARKER = "__tsonic_polymorphic_this";
+export declare const substitutePolymorphicThis: (type: IrType | undefined, receiverType: IrType | undefined) => IrType | undefined;
+export declare const attachParameterTypeIds: (state: TypeSystemState, p: IrParameter) => IrParameter;
+export declare const attachTypeParameterTypeIds: (state: TypeSystemState, tp: IrTypeParameter) => IrTypeParameter;
+export declare const attachInterfaceMemberTypeIds: (state: TypeSystemState, m: IrInterfaceMember) => IrInterfaceMember;
+export declare const attachTypeIds: (state: TypeSystemState, type: IrType) => IrType;
+/**
+ * Deterministic type syntax conversion with canonical TypeId attachment.
+ *
+ * The underlying converter is syntax-only; this wrapper re-attaches the
+ * nominal identity from the UnifiedUniverse so downstream passes (including
+ * the emitter) can resolve CLR types without re-driving a parallel lookup.
+ */
+export declare const convertTypeNode: (state: TypeSystemState, node: unknown) => IrType;
+/**
+ * Convert a nominal CLR delegate type to an IrFunctionType by reading its Invoke signature.
+ *
+ * This is used for deterministic lambda typing when the expected type is a delegate
+ * (e.g., custom delegates from CLR metadata).
+ */
+export declare const delegateToFunctionType: (state: TypeSystemState, type: IrType) => IrFunctionType | undefined;
+export declare const mapEntriesEqual: (left: ReadonlyMap<string, IrType>, right: ReadonlyMap<string, IrType>) => boolean;
+export declare const containsMethodTypeParameter: (type: IrType, unresolved: ReadonlySet<string>) => boolean;
+export declare const normalizeCatalogTsName: (name: string) => string;
+//# sourceMappingURL=call-resolution-type-ids.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-type-ids.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-type-ids.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EACV,MAAM,EACN,cAAc,EACd,WAAW,EACX,iBAAiB,EACjB,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAS3B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAS9D,eAAO,MAAM,uBAAuB,8BAA8B,CAAC;AAEnE,eAAO,MAAM,yBAAyB,GACpC,MAAM,MAAM,GAAG,SAAS,EACxB,cAAc,MAAM,GAAG,SAAS,KAC/B,MAAM,GAAG,SAMX,CAAC;AAkVF,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,GAAG,WAAW,KACb,WAC8D,CAAC;AAElE,eAAO,MAAM,0BAA0B,GACrC,OAAO,eAAe,EACtB,IAAI,eAAe,KAClB,eACmE,CAAC;AAEvE,eAAO,MAAM,4BAA4B,GACvC,OAAO,eAAe,EACtB,GAAG,iBAAiB,KACnB,iBACoE,CAAC;AAExE,eAAO,MAAM,aAAa,GAAI,OAAO,eAAe,EAAE,MAAM,MAAM,KAAG,MACV,CAAC;AA+F5D;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,MAAM,OAAO,KACZ,MAUF,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,MAAM,MAAM,KACX,cAAc,GAAG,SAmEnB,CAAC;AAMF,eAAO,MAAM,eAAe,GAC1B,MAAM,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,OAAO,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KACjC,OAOF,CAAC;AAMF,eAAO,MAAM,2BAA2B,GACtC,MAAM,MAAM,EACZ,YAAY,WAAW,CAAC,MAAM,CAAC,KAC9B,OAgDF,CAAC;AAMF,eAAO,MAAM,sBAAsB,GAAI,MAAM,MAAM,KAAG,MAMrD,CAAC"}