@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/type-system/inference-type-preference.js

@@ -0,0 +1,67 @@
+const scoreMemberIdentity = (member, seen) => {
+    if (member.kind === "propertySignature") {
+        return 2 + scoreTypeIdentity(member.type, seen);
+    }
+    return (3 +
+        member.parameters.reduce((total, parameter) => total + scoreOptionalTypeIdentity(parameter.type, seen), scoreOptionalTypeIdentity(member.returnType, seen)));
+};
+const scoreOptionalTypeIdentity = (type, seen = new WeakSet()) => (type ? scoreTypeIdentity(type, seen) : 0);
+const scoreTypeIdentity = (type, seen = new WeakSet()) => {
+    if (seen.has(type)) {
+        return 0;
+    }
+    seen.add(type);
+    try {
+        switch (type.kind) {
+            case "referenceType":
+                return (100 +
+                    (type.typeId ? 40 : 0) +
+                    (type.resolvedClrType ? 20 : 0) +
+                    (type.typeArguments?.reduce((total, member) => total + scoreTypeIdentity(member, seen), 0) ?? 0) +
+                    (type.structuralMembers?.reduce((total, member) => total + scoreMemberIdentity(member, seen), 0) ?? 0));
+            case "functionType":
+                return (70 +
+                    type.parameters.reduce((total, parameter) => total + scoreOptionalTypeIdentity(parameter.type, seen), scoreOptionalTypeIdentity(type.returnType, seen)));
+            case "tupleType":
+                return (60 +
+                    type.elementTypes.reduce((total, elementType) => total + scoreTypeIdentity(elementType, seen), 0));
+            case "arrayType":
+                return 55 + scoreTypeIdentity(type.elementType, seen);
+            case "dictionaryType":
+                return (55 +
+                    scoreTypeIdentity(type.keyType, seen) +
+                    scoreTypeIdentity(type.valueType, seen));
+            case "intersectionType":
+                return (50 +
+                    type.types.reduce((total, member) => total + scoreTypeIdentity(member, seen), 0));
+            case "unionType":
+                return (45 +
+                    type.types.reduce((total, member) => total + scoreTypeIdentity(member, seen), 0));
+            case "objectType":
+                return (40 +
+                    type.members.reduce((total, member) => total + scoreMemberIdentity(member, seen), 0));
+            case "typeParameterType":
+                return 20;
+            case "literalType":
+                return 15;
+            case "primitiveType":
+                return 10;
+            default:
+                return 5;
+        }
+    }
+    finally {
+        seen.delete(type);
+    }
+};
+export const areEquivalentInferenceTypes = (relations, left, right) => relations.typesEqual(left, right) ||
+    (relations.isAssignableTo(left, right) && relations.isAssignableTo(right, left));
+export const choosePreferredEquivalentInferenceType = (relations, existing, next) => {
+    if (!areEquivalentInferenceTypes(relations, existing, next)) {
+        return undefined;
+    }
+    const existingScore = scoreTypeIdentity(existing);
+    const nextScore = scoreTypeIdentity(next);
+    return nextScore > existingScore ? next : existing;
+};
+//# sourceMappingURL=inference-type-preference.js.map

package/dist/ir/type-system/inference-type-preference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-type-preference.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-type-preference.ts"],"names":[],"mappings":"AAOA,MAAM,mBAAmB,GAAG,CAC1B,MAAyB,EACzB,IAAqB,EACb,EAAE;IACV,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,CACL,CAAC;QACD,MAAM,CAAC,UAAU,CAAC,MAAM,CACtB,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CACnB,KAAK,GAAG,yBAAyB,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EACzD,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CACnD,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAwB,EACxB,OAAwB,IAAI,OAAO,EAAU,EACrC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAExD,MAAM,iBAAiB,GAAG,CACxB,IAAY,EACZ,OAAwB,IAAI,OAAO,EAAU,EACrC,EAAE;IACV,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEf,IAAI,CAAC;QACH,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,eAAe;gBAClB,OAAO,CACL,GAAG;oBACH,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBACtB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC/B,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,CACzB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,EAC1D,CAAC,CACF,IAAI,CAAC,CAAC;oBACP,CAAC,IAAI,CAAC,iBAAiB,EAAE,MAAM,CAC7B,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,EAC5D,CAAC,CACF,IAAI,CAAC,CAAC,CACR,CAAC;YACJ,KAAK,cAAc;gBACjB,OAAO,CACL,EAAE;oBACF,IAAI,CAAC,UAAU,CAAC,MAAM,CACpB,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CACnB,KAAK,GAAG,yBAAyB,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EACzD,yBAAyB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CACjD,CACF,CAAC;YACJ,KAAK,WAAW;gBACd,OAAO,CACL,EAAE;oBACF,IAAI,CAAC,YAAY,CAAC,MAAM,CACtB,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,CAAC,KAAK,GAAG,iBAAiB,CAAC,WAAW,EAAE,IAAI,CAAC,EACpE,CAAC,CACF,CACF,CAAC;YACJ,KAAK,WAAW;gBACd,OAAO,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACxD,KAAK,gBAAgB;gBACnB,OAAO,CACL,EAAE;oBACF,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC;oBACrC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CACxC,CAAC;YACJ,KAAK,kBAAkB;gBACrB,OAAO,CACL,EAAE;oBACF,IAAI,CAAC,KAAK,CAAC,MAAM,CACf,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,EAC1D,CAAC,CACF,CACF,CAAC;YACJ,KAAK,WAAW;gBACd,OAAO,CACL,EAAE;oBACF,IAAI,CAAC,KAAK,CAAC,MAAM,CACf,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,EAC1D,CAAC,CACF,CACF,CAAC;YACJ,KAAK,YAAY;gBACf,OAAO,CACL,EAAE;oBACF,IAAI,CAAC,OAAO,CAAC,MAAM,CACjB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,EAC5D,CAAC,CACF,CACF,CAAC;YACJ,KAAK,mBAAmB;gBACtB,OAAO,EAAE,CAAC;YACZ,KAAK,aAAa;gBAChB,OAAO,EAAE,CAAC;YACZ,KAAK,eAAe;gBAClB,OAAO,EAAE,CAAC;YACZ;gBACE,OAAO,CAAC,CAAC;QACb,CAAC;IACH,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,SAAwB,EACxB,IAAY,EACZ,KAAa,EACJ,EAAE,CACX,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC;IACjC,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAEnF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,SAAwB,EACxB,QAAgB,EAChB,IAAY,EACQ,EAAE;IACtB,IAAI,CAAC,2BAA2B,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAE1C,OAAO,SAAS,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AACrD,CAAC,CAAC"}

package/dist/ir/type-system/inference-utilities.d.ts

@@ -0,0 +1,48 @@
+/**
+ * Inference Utilities — Pure helper functions for type inference
+ *
+ * Contains shared utility functions used across inference sub-modules:
+ * - collectResolutionArgTypes: spread-aware argument type collection
+ * - deriveTypeFromNumericKind: NumericKind → IrType conversion
+ * - makeOptionalReadType: add undefined to type for optional reads
+ * - unwrapParens: strip parenthesized expression wrappers
+ * - hasStaticModifier: check for static keyword on node
+ * - isLambdaExpression: detect arrow/function expressions
+ * - getNumericKindFromIrType: IrType → NumericKind lookup
+ * - unwrapAwaitedForInference: unwrap Promise/Task wrappers
+ * - buildFunctionTypeFromSignatureShape: create IrFunctionType from shape
+ * - buildCallableOverloadFamilyType: merge overloads into intersection
+ * - buildStructuralMethodFamilyType: structural method → callable type
+ *
+ * DAG position: leaf module — no circular deps
+ */
+import type { IrType, IrFunctionType, IrParameter, IrInterfaceMember, IrTypeParameter } from "../types/index.js";
+import * as ts from "typescript";
+import type { NumericKind } from "../types/numeric-kind.js";
+export declare const collectResolutionArgTypes: (types: readonly (IrType | undefined)[]) => {
+    readonly argumentCount: number;
+    readonly argTypes: readonly (IrType | undefined)[];
+};
+/**
+ * Derive IrType from NumericKind (deterministic, no TypeScript).
+ * Mirrors the logic in literals.ts deriveTypeFromNumericIntent.
+ */
+export declare const deriveTypeFromNumericKind: (kind: NumericKind) => IrType;
+export declare const makeOptionalReadType: (type: IrType) => IrType;
+export declare const unwrapParens: (expr: ts.Expression) => ts.Expression;
+export declare const hasStaticModifier: (node: ts.Node) => boolean;
+export declare const isLambdaExpression: (expr: ts.Expression) => boolean;
+export declare const getNumericKindFromIrType: (type: IrType) => NumericKind | undefined;
+export declare const unwrapAwaitedForInference: (type: IrType) => IrType;
+export declare const buildFunctionTypeFromSignatureShape: (parameters: readonly {
+    readonly name: string;
+    readonly type: IrType;
+    readonly isOptional: boolean;
+    readonly isRest: boolean;
+    readonly mode?: IrParameter["passing"];
+}[], returnType: IrType, typeParameters?: readonly IrTypeParameter[]) => IrFunctionType;
+export declare const buildCallableOverloadFamilyType: (overloads: readonly IrFunctionType[]) => IrType;
+export declare const buildStructuralMethodFamilyType: (members: readonly Extract<IrInterfaceMember, {
+    kind: "methodSignature";
+}>[]) => IrType | undefined;
+//# sourceMappingURL=inference-utilities.d.ts.map

package/dist/ir/type-system/inference-utilities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-utilities.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-utilities.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,cAAc,EACd,WAAW,EACX,iBAAiB,EACjB,eAAe,EAEhB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAG5D,eAAO,MAAM,yBAAyB,GACpC,OAAO,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,KACrC;IACD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;CAgBpD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,yBAAyB,GAAI,MAAM,WAAW,KAAG,MAa7D,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAAI,MAAM,MAAM,KAAG,MAoBnD,CAAC;AAEF,eAAO,MAAM,YAAY,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,EAAE,CAAC,UAMrD,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,OASjD,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,OAGxD,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,MAAM,MAAM,KACX,WAAW,GAAG,SAShB,CAAC;AAEF,eAAO,MAAM,yBAAyB,GAAI,MAAM,MAAM,KAAG,MAmCxD,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,YAAY,SAAS;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;CACxC,EAAE,EACH,YAAY,MAAM,EAClB,iBAAiB,SAAS,eAAe,EAAE,KAC1C,cAkBD,CAAC;AAEH,eAAO,MAAM,+BAA+B,GAC1C,WAAW,SAAS,cAAc,EAAE,KACnC,MAcF,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,SAAS,SAAS,OAAO,CAAC,iBAAiB,EAAE;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAC,EAAE,KAC1E,MAAM,GAAG,SAqBX,CAAC"}

package/dist/ir/type-system/inference-utilities.js

@@ -0,0 +1,182 @@
+/**
+ * Inference Utilities — Pure helper functions for type inference
+ *
+ * Contains shared utility functions used across inference sub-modules:
+ * - collectResolutionArgTypes: spread-aware argument type collection
+ * - deriveTypeFromNumericKind: NumericKind → IrType conversion
+ * - makeOptionalReadType: add undefined to type for optional reads
+ * - unwrapParens: strip parenthesized expression wrappers
+ * - hasStaticModifier: check for static keyword on node
+ * - isLambdaExpression: detect arrow/function expressions
+ * - getNumericKindFromIrType: IrType → NumericKind lookup
+ * - unwrapAwaitedForInference: unwrap Promise/Task wrappers
+ * - buildFunctionTypeFromSignatureShape: create IrFunctionType from shape
+ * - buildCallableOverloadFamilyType: merge overloads into intersection
+ * - buildStructuralMethodFamilyType: structural method → callable type
+ *
+ * DAG position: leaf module — no circular deps
+ */
+import * as ts from "typescript";
+import { TSONIC_TO_NUMERIC_KIND } from "../types/numeric-kind.js";
+import { getSpreadTupleShape } from "../types/index.js";
+import { unknownType, voidType } from "./types.js";
+export const collectResolutionArgTypes = (types) => {
+    const argTypes = [];
+    for (const type of types) {
+        if (!type)
+            continue;
+        const spreadShape = getSpreadTupleShape(type);
+        if (!spreadShape) {
+            argTypes.push(type);
+            continue;
+        }
+        for (const elementType of spreadShape.prefixElementTypes) {
+            argTypes.push(elementType);
+        }
+    }
+    return { argumentCount: argTypes.length, argTypes };
+};
+/**
+ * Derive IrType from NumericKind (deterministic, no TypeScript).
+ * Mirrors the logic in literals.ts deriveTypeFromNumericIntent.
+ */
+export const deriveTypeFromNumericKind = (kind) => {
+    if (kind === "Int32")
+        return { kind: "referenceType", name: "int" };
+    if (kind === "Int64")
+        return { kind: "referenceType", name: "long" };
+    if (kind === "Double")
+        return { kind: "primitiveType", name: "number" };
+    if (kind === "Single")
+        return { kind: "referenceType", name: "float" };
+    if (kind === "Byte")
+        return { kind: "referenceType", name: "byte" };
+    if (kind === "Int16")
+        return { kind: "referenceType", name: "short" };
+    if (kind === "UInt32")
+        return { kind: "referenceType", name: "uint" };
+    if (kind === "UInt64")
+        return { kind: "referenceType", name: "ulong" };
+    if (kind === "UInt16")
+        return { kind: "referenceType", name: "ushort" };
+    if (kind === "SByte")
+        return { kind: "referenceType", name: "sbyte" };
+    // Default to double for unknown
+    return { kind: "primitiveType", name: "number" };
+};
+export const makeOptionalReadType = (type) => {
+    if (type.kind === "unionType") {
+        const hasUndefined = type.types.some((member) => member.kind === "primitiveType" && member.name === "undefined");
+        if (hasUndefined)
+            return type;
+        return {
+            kind: "unionType",
+            types: [...type.types, { kind: "primitiveType", name: "undefined" }],
+        };
+    }
+    if (type.kind === "primitiveType" && type.name === "undefined") {
+        return type;
+    }
+    return {
+        kind: "unionType",
+        types: [type, { kind: "primitiveType", name: "undefined" }],
+    };
+};
+export const unwrapParens = (expr) => {
+    let current = expr;
+    while (ts.isParenthesizedExpression(current)) {
+        current = current.expression;
+    }
+    return current;
+};
+export const hasStaticModifier = (node) => {
+    const modifiers = node.modifiers;
+    return !!modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.StaticKeyword);
+};
+export const isLambdaExpression = (expr) => {
+    const unwrapped = unwrapParens(expr);
+    return ts.isArrowFunction(unwrapped) || ts.isFunctionExpression(unwrapped);
+};
+export const getNumericKindFromIrType = (type) => {
+    if (type.kind === "primitiveType" && type.name === "number")
+        return "Double";
+    if (type.kind === "primitiveType") {
+        return TSONIC_TO_NUMERIC_KIND.get(type.name);
+    }
+    if (type.kind === "referenceType") {
+        return TSONIC_TO_NUMERIC_KIND.get(type.name);
+    }
+    return undefined;
+};
+export const unwrapAwaitedForInference = (type) => {
+    if (type.kind === "unionType") {
+        return {
+            kind: "unionType",
+            types: type.types.map((t) => (t ? unwrapAwaitedForInference(t) : t)),
+        };
+    }
+    if (type.kind === "referenceType" &&
+        (type.name === "Promise" || type.name === "PromiseLike")) {
+        const inner = type.typeArguments?.[0];
+        if (inner)
+            return unwrapAwaitedForInference(inner);
+    }
+    if (type.kind === "referenceType") {
+        const clrName = type.typeId?.clrName;
+        if (clrName === "System.Threading.Tasks.Task" ||
+            clrName === "System.Threading.Tasks.ValueTask") {
+            return voidType;
+        }
+        if (clrName?.startsWith("System.Threading.Tasks.Task`") ||
+            clrName?.startsWith("System.Threading.Tasks.ValueTask`")) {
+            const inner = type.typeArguments?.[0];
+            if (inner)
+                return unwrapAwaitedForInference(inner);
+        }
+    }
+    return type;
+};
+export const buildFunctionTypeFromSignatureShape = (parameters, returnType, typeParameters) => ({
+    kind: "functionType",
+    ...(typeParameters && typeParameters.length > 0 ? { typeParameters } : {}),
+    parameters: parameters.map((parameter) => ({
+        kind: "parameter",
+        pattern: {
+            kind: "identifierPattern",
+            name: parameter.name,
+        },
+        type: parameter.type,
+        initializer: undefined,
+        isOptional: parameter.isOptional,
+        isRest: parameter.isRest,
+        passing: parameter.mode ?? "value",
+    })),
+    returnType,
+});
+export const buildCallableOverloadFamilyType = (overloads) => {
+    if (overloads.length === 0) {
+        return unknownType;
+    }
+    const [only] = overloads;
+    if (overloads.length === 1 && only) {
+        return only;
+    }
+    return {
+        kind: "intersectionType",
+        types: overloads,
+    };
+};
+export const buildStructuralMethodFamilyType = (members) => {
+    if (members.length === 0)
+        return undefined;
+    return buildCallableOverloadFamilyType(members.map((member) => buildFunctionTypeFromSignatureShape(member.parameters.map((parameter) => ({
+        name: parameter.pattern.kind === "identifierPattern"
+            ? parameter.pattern.name
+            : "param",
+        type: parameter.type ?? unknownType,
+        isOptional: parameter.isOptional,
+        isRest: parameter.isRest,
+        mode: parameter.passing,
+    })), member.returnType ?? voidType, member.typeParameters)));
+};
+//# sourceMappingURL=inference-utilities.js.map

package/dist/ir/type-system/inference-utilities.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-utilities.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-utilities.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAUH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEnD,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,KAAsC,EAItC,EAAE;IACF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,WAAW,GACf,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,kBAAkB,EAAE,CAAC;YACzD,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;AACtD,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,IAAiB,EAAU,EAAE;IACrE,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACpE,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACrE,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACxE,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACvE,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACpE,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACtE,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACtE,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACvE,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACxE,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACtE,gCAAgC;IAChC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAU,EAAE;IAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAClC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAC3E,CAAC;QACF,IAAI,YAAY;YAAE,OAAO,IAAI,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAmB,EAAiB,EAAE;IACjE,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAAW,EAAE;IAC1D,MAAM,SAAS,GACb,IAGD,CAAC,SAAS,CAAC;IACZ,OAAO,CAAC,CAAC,SAAS,EAAE,IAAI,CACtB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAC5D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAmB,EAAW,EAAE;IACjE,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;AAC7E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAY,EACa,EAAE;IAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC7E,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,IAAY,EAAU,EAAE;IAChE,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC,EACxD,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,KAAK;YAAE,OAAO,yBAAyB,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC;QACrC,IACE,OAAO,KAAK,6BAA6B;YACzC,OAAO,KAAK,kCAAkC,EAC9C,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,IACE,OAAO,EAAE,UAAU,CAAC,8BAA8B,CAAC;YACnD,OAAO,EAAE,UAAU,CAAC,mCAAmC,CAAC,EACxD,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,KAAK;gBAAE,OAAO,yBAAyB,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,UAMG,EACH,UAAkB,EAClB,cAA2C,EAC3B,EAAE,CAAC,CAAC;IACpB,IAAI,EAAE,cAAc;IACpB,GAAG,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,UAAU,EAAE,UAAU,CAAC,GAAG,CACxB,CAAC,SAAS,EAAe,EAAE,CAAC,CAAC;QAC3B,IAAI,EAAE,WAAW;QACjB,OAAO,EAAE;YACP,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,SAAS,CAAC,IAAI;SACrB;QACD,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,WAAW,EAAE,SAAS;QACtB,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,OAAO,EAAE,SAAS,CAAC,IAAI,IAAI,OAAO;KACnC,CAAC,CACH;IACD,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,SAAoC,EAC5B,EAAE;IACV,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC;IACzB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,SAAS;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,OAA2E,EACvD,EAAE;IACtB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE3C,OAAO,+BAA+B,CACpC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACrB,mCAAmC,CACjC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACpC,IAAI,EACF,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB;YAC5C,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI;YACxB,CAAC,CAAC,OAAO;QACb,IAAI,EAAE,SAAS,CAAC,IAAI,IAAI,WAAW;QACnC,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,IAAI,EAAE,SAAS,CAAC,OAAO;KACxB,CAAC,CAAC,EACH,MAAM,CAAC,UAAU,IAAI,QAAQ,EAC7B,MAAM,CAAC,cAAc,CACtB,CACF,CACF,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-system/internal/handle-types.d.ts

@@ -26,14 +26,25 @@ export type HandleRegistry = {
  */
 export type TypeSyntaxInfo = {
     readonly typeNode: unknown;
+    readonly referenceDeclId?: DeclId;
 };
 /**
  * Captured class member names for override detection.
  * Pure data — no TS nodes.
  */
 export type ClassMemberNames = {
+    readonly typeParameters: readonly string[];
     readonly methods: ReadonlySet<string>;
     readonly properties: ReadonlySet<string>;
+    readonly methodSignatures: ReadonlyMap<string, readonly CapturedClassMethodSignature[]>;
+    readonly propertyTypeNodes: ReadonlyMap<string, unknown | undefined>;
+};
+export type CapturedClassMethodSignature = {
+    readonly parameters: readonly CapturedClassMethodParameter[];
+};
+export type CapturedClassMethodParameter = {
+    readonly typeNode?: unknown;
+    readonly isRest: boolean;
 };
 /**
  * Declaration info stored in the handle registry.
@@ -58,6 +69,7 @@ export type DeclKind = "variable" | "function" | "class" | "interface" | "typeAl
  */
 export type SignatureInfo = {
     readonly parameters: readonly ParameterNode[];
+    readonly resolvedParameters?: readonly ParameterNode[];
     /** Type node of a TypeScript `this:` parameter (if present). Excluded from `parameters`. */
     readonly thisTypeNode?: unknown;
     readonly returnTypeNode?: unknown;

package/dist/ir/type-system/internal/handle-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"handle-types.d.ts","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/handle-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,aAAa,EACd,MAAM,aAAa,CAAC;AAMrB;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC1C,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;IACzD,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAChD,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC;CAC7D,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC1C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,QAAQ,GAChB,UAAU,GACV,UAAU,GACV,OAAO,GACP,WAAW,GACX,WAAW,GACX,MAAM,GACN,WAAW,GACX,UAAU,GACV,QAAQ,CAAC;AAEb;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACvD;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,aAAa,CAAC,EAAE,sBAAsB,CAAC;CACjD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAC9B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,CAAC;AAEN,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B,CAAC"}
+{"version":3,"file":"handle-types.d.ts","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/handle-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,aAAa,EACd,MAAM,aAAa,CAAC;AAMrB;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC1C,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;IACzD,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAChD,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC;CAC7D,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CACpC,MAAM,EACN,SAAS,4BAA4B,EAAE,CACxC,CAAC;IACF,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC,CAAC;CACtE,CAAC;AAEF,MAAM,MAAM,4BAA4B,GAAG;IACzC,QAAQ,CAAC,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;CAC9D,CAAC;AAEF,MAAM,MAAM,4BAA4B,GAAG;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,QAAQ,GAChB,UAAU,GACV,UAAU,GACV,OAAO,GACP,WAAW,GACX,WAAW,GACX,MAAM,GACN,WAAW,GACX,UAAU,GACV,QAAQ,CAAC;AAEb;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IACvD,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACvD;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,aAAa,CAAC,EAAE,sBAAsB,CAAC;CACjD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAC9B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,CAAC;AAEN,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B,CAAC"}

package/dist/ir/type-system/internal/nominal-env.d.ts

@@ -6,7 +6,7 @@
  * Computes type parameter substitution through inheritance chains
  * deterministically, using only the UnifiedTypeCatalog (no TypeNodes).
  */
-import type { IrType } from "../../types/index.js";
+import { type IrType } from "../../types/index.js";
 import type { UnifiedTypeCatalog, TypeId } from "./universe/types.js";
 /**
  * Map from type parameter name to concrete IR type

package/dist/ir/type-system/internal/nominal-env.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nominal-env.d.ts","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/nominal-env.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,KAAK,EACV,kBAAkB,EAClB,MAAM,EAEP,MAAM,qBAAqB,CAAC;AAE7B;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB;;;OAGG;IACH,QAAQ,CAAC,uBAAuB,EAAE,CAChC,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,UAAU,EAAE,MAAM,KACf,kBAAkB,GAAG,SAAS,CAAC;IAEpC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,gBAAgB,EAAE,CACzB,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,YAAY,EAAE,MAAM,KACjB,gBAAgB,GAAG,SAAS,CAAC;IAElC;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,MAAM,EAAE,CAAC;CACrE,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,OAAO,gBAAgB,KACtB,MA4HF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,SAAS,kBAAkB,KAAG,UAwM7D,CAAC"}
+{"version":3,"file":"nominal-env.d.ts","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/nominal-env.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAEL,KAAK,MAAM,EACZ,MAAM,sBAAsB,CAAC;AAK9B,OAAO,KAAK,EACV,kBAAkB,EAClB,MAAM,EAEP,MAAM,qBAAqB,CAAC;AAQ7B;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB;;;OAGG;IACH,QAAQ,CAAC,uBAAuB,EAAE,CAChC,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,UAAU,EAAE,MAAM,KACf,kBAAkB,GAAG,SAAS,CAAC;IAEpC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,gBAAgB,EAAE,CACzB,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,YAAY,EAAE,MAAM,KACjB,gBAAgB,GAAG,SAAS,CAAC;IAElC;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,MAAM,EAAE,CAAC;CACrE,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,OAAO,gBAAgB,KACtB,MAA6C,CAAC;AAEjD;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,SAAS,kBAAkB,KAAG,UA2M7D,CAAC"}

package/dist/ir/type-system/internal/nominal-env.js

@@ -6,122 +6,17 @@
  * Computes type parameter substitution through inheritance chains
  * deterministically, using only the UnifiedTypeCatalog (no TypeNodes).
  */
+import { substituteIrType as substituteSharedIrType, } from "../../types/index.js";
+import { createLocalTypeIdentityState, localTypeIdentityKey, } from "../../types/type-ops.js";
+const nominalEnvTypeKeyState = createLocalTypeIdentityState();
+const nominalEnvTypeArgKey = (type) => {
+    return localTypeIdentityKey(type, nominalEnvTypeKeyState);
+};
 /**
  * Apply a substitution map to an IrType.
  * Replaces typeParameterType nodes with their concrete values.
  */
-export const substituteIrType = (type, subst) => {
-    switch (type.kind) {
-        case "typeParameterType": {
-            const replacement = subst.get(type.name);
-            return replacement ?? type;
-        }
-        case "referenceType": {
-            // Substitute in type arguments and structural members
-            const hasTypeArgs = type.typeArguments && type.typeArguments.length > 0;
-            const hasStructural = type.structuralMembers && type.structuralMembers.length > 0;
-            if (hasTypeArgs || hasStructural) {
-                return {
-                    ...type,
-                    typeArguments: hasTypeArgs
-                        ? (type.typeArguments ?? []).map((arg) => substituteIrType(arg, subst))
-                        : type.typeArguments,
-                    structuralMembers: hasStructural
-                        ? (type.structuralMembers ?? []).map((m) => {
-                            if (m.kind === "propertySignature") {
-                                return {
-                                    ...m,
-                                    type: substituteIrType(m.type, subst),
-                                };
-                            }
-                            // methodSignature
-                            return {
-                                ...m,
-                                returnType: m.returnType
-                                    ? substituteIrType(m.returnType, subst)
-                                    : m.returnType,
-                                parameters: m.parameters.map((p) => ({
-                                    ...p,
-                                    type: p.type ? substituteIrType(p.type, subst) : p.type,
-                                })),
-                            };
-                        })
-                        : type.structuralMembers,
-                };
-            }
-            return type;
-        }
-        case "arrayType": {
-            return {
-                ...type,
-                elementType: substituteIrType(type.elementType, subst),
-            };
-        }
-        case "functionType": {
-            return {
-                ...type,
-                parameters: type.parameters.map((p) => ({
-                    ...p,
-                    type: p.type ? substituteIrType(p.type, subst) : p.type,
-                })),
-                returnType: type.returnType
-                    ? substituteIrType(type.returnType, subst)
-                    : type.returnType,
-            };
-        }
-        case "unionType": {
-            return {
-                ...type,
-                types: type.types.map((t) => substituteIrType(t, subst)),
-            };
-        }
-        case "tupleType": {
-            return {
-                ...type,
-                elementTypes: type.elementTypes.map((t) => substituteIrType(t, subst)),
-            };
-        }
-        case "dictionaryType": {
-            return {
-                ...type,
-                keyType: substituteIrType(type.keyType, subst),
-                valueType: substituteIrType(type.valueType, subst),
-            };
-        }
-        case "intersectionType": {
-            return {
-                ...type,
-                types: type.types.map((t) => substituteIrType(t, subst)),
-            };
-        }
-        case "objectType": {
-            return {
-                ...type,
-                members: type.members.map((m) => {
-                    if (m.kind === "propertySignature") {
-                        return {
-                            ...m,
-                            type: substituteIrType(m.type, subst),
-                        };
-                    }
-                    // methodSignature
-                    return {
-                        ...m,
-                        returnType: m.returnType
-                            ? substituteIrType(m.returnType, subst)
-                            : m.returnType,
-                        parameters: m.parameters.map((p) => ({
-                            ...p,
-                            type: p.type ? substituteIrType(p.type, subst) : p.type,
-                        })),
-                    };
-                }),
-            };
-        }
-        default:
-            return type;
-    }
-};
+export const substituteIrType = (type, subst) => substituteSharedIrType(type, subst);
 /**
  * Build a NominalEnv from a UnifiedTypeCatalog.
  *
@@ -142,7 +37,7 @@ export const buildNominalEnv = (catalog) => {
     const serializeTypeArgs = (typeArgs) => {
         if (typeArgs.length === 0)
             return "";
-        return typeArgs.map((a) => JSON.stringify(a)).join(",");
+        return typeArgs.map((a) => nominalEnvTypeArgKey(a)).join(",");
     };
     /**
      * Get the inheritance chain for a nominal type.
@@ -220,7 +115,10 @@ export const buildNominalEnv = (catalog) => {
         const serializeSubst = (typeId, subst) => {
             const typeParams = catalog.getTypeParameters(typeId);
             return typeParams
-                .map((tp) => JSON.stringify(subst.get(tp.name) ?? null))
+                .map((tp) => {
+                const arg = subst.get(tp.name);
+                return arg ? nominalEnvTypeArgKey(arg) : "null";
+            })
                 .join(",");
         };
         const visited = new Set();

package/dist/ir/type-system/internal/nominal-env.js.map

@@ -1 +1 @@
-{"version":3,"file":"nominal-env.js","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/nominal-env.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AA8DH;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,KAAuB,EACf,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,OAAO,WAAW,IAAI,IAAI,CAAC;QAC7B,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,sDAAsD;YACtD,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;YACxE,MAAM,aAAa,GACjB,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;YAE9D,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;gBACjC,OAAO;oBACL,GAAG,IAAI;oBACP,aAAa,EAAE,WAAW;wBACxB,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrC,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,CAC7B;wBACH,CAAC,CAAC,IAAI,CAAC,aAAa;oBACtB,iBAAiB,EAAE,aAAa;wBAC9B,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;4BACvC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gCACnC,OAAO;oCACL,GAAG,CAAC;oCACJ,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC;iCACtC,CAAC;4BACJ,CAAC;4BACD,kBAAkB;4BAClB,OAAO;gCACL,GAAG,CAAC;gCACJ,UAAU,EAAE,CAAC,CAAC,UAAU;oCACtB,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC;oCACvC,CAAC,CAAC,CAAC,CAAC,UAAU;gCAChB,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oCACnC,GAAG,CAAC;oCACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;iCACxD,CAAC,CAAC;6BACJ,CAAC;wBACJ,CAAC,CAAC;wBACJ,CAAC,CAAC,IAAI,CAAC,iBAAiB;iBAC3B,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC;aACvD,CAAC;QACJ,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtC,GAAG,CAAC;oBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;iBACxD,CAAC,CAAC;gBACH,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC;oBAC1C,CAAC,CAAC,IAAI,CAAC,UAAU;aACpB,CAAC;QACJ,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;aACzD,CAAC;QACJ,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;aACvE,CAAC;QACJ,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC;gBAC9C,SAAS,EAAE,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC;aACnD,CAAC;QACJ,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;aACzD,CAAC;QACJ,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACnC,OAAO;4BACL,GAAG,CAAC;4BACJ,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC;yBACtC,CAAC;oBACJ,CAAC;oBACD,kBAAkB;oBAClB,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,CAAC,CAAC,UAAU;4BACtB,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC;4BACvC,CAAC,CAAC,CAAC,CAAC,UAAU;wBAChB,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;4BACnC,GAAG,CAAC;4BACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;yBACxD,CAAC,CAAC;qBACJ,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QACJ,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAA2B,EAAc,EAAE;IACzE,wCAAwC;IACxC,gBAAgB;IAChB,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAA6B,CAAC;IAEnE,oCAAoC;IACpC,yDAAyD;IACzD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA4B,CAAC;IAE/D;;OAEG;IACH,MAAM,iBAAiB,GAAG,CAAC,QAA2B,EAAU,EAAE;QAChE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACrC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1D,CAAC,CAAC;IAEF;;;;;;OAMG;IACH,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAqB,EAAE;QAChE,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1D,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEnD,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,CAAC;QAEjC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YACpC,IAAI,CAAC,aAAa;gBAAE,SAAS;YAE7B,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrE,MAAM,IAAI,GAAG,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpE,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,IAAI,EAAE,KAAK,EAAE;oBAAE,OAAO,EAAE,GAAG,EAAE,CAAC;gBAC9B,OAAO,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAC1D,CAAC,CAAC,CAAC;YAEH,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC;oBAAE,SAAS;gBAE/C,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC/D,IAAI,CAAC,WAAW;oBAAE,SAAS;gBAE3B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBAC/B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QAED,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF;;OAEG;IACH,MAAM,gBAAgB,GAAG,CACvB,cAAsB,EACtB,gBAAmC,EACnC,YAAoB,EACU,EAAE;QAChC,cAAc;QACd,MAAM,QAAQ,GAAG,GAAG,cAAc,CAAC,QAAQ,IAAI,iBAAiB,CAAC,gBAAgB,CAAC,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;QAC9G,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,kFAAkF;QAClF,IAAI,cAAc,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;YACtD,MAAM,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC;YACrE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnD,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;gBAC9C,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;oBACrB,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;YACD,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACxC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,mEAAmE;QACnE,MAAM,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC;QACrE,IAAI,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnD,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YAC9C,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;gBACrB,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAKD,MAAM,cAAc,GAAG,CACrB,MAAc,EACd,KAAuB,EACf,EAAE;YACV,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACrD,OAAO,UAAU;iBACd,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;iBACvD,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAY;YACrB;gBACE,MAAM,EAAE,cAAc;gBACtB,KAAK,EAAE,YAAY;aACpB;SACF,CAAC;QAEF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;gBACpD,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC9C,OAAO,KAAK,CAAC,KAAK,CAAC;YACrB,CAAC;YAED,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACpE,MAAM,IAAI,GAAG,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpE,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,IAAI,EAAE,KAAK,EAAE;oBAAE,OAAO,EAAE,GAAG,EAAE,CAAC;gBAC9B,OAAO,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAC1D,CAAC,CAAC,CAAC;YAEH,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC/D,IAAI,CAAC,WAAW;oBAAE,SAAS;gBAE3B,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC;gBACxC,MAAM,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;gBAEjE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;gBAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;oBACtC,IAAI,SAAS,IAAI,OAAO,EAAE,CAAC;wBACzB,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACnE,CAAC;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,GAAG,YAAY,CAAC,QAAQ,IAAI,cAAc,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE,CAAC;gBACvF,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBACpC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAEtB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF;;OAEG;IACH,MAAM,uBAAuB,GAAG,CAC9B,cAAsB,EACtB,gBAAmC,EACnC,UAAkB,EACc,EAAE;QAClC,MAAM,KAAK,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;QAElD,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YACrD,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,KAAK,GAAG,gBAAgB,CAC5B,cAAc,EACd,gBAAgB,EAChB,MAAM,CACP,CAAC;gBACF,IAAI,KAAK,EAAE,CAAC;oBACV,OAAO;wBACL,eAAe,EAAE,MAAM;wBACvB,YAAY,EAAE,KAAK;qBACpB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,OAAO;QACL,gBAAgB;QAChB,uBAAuB;QACvB,mBAAmB;KACpB,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"nominal-env.js","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/nominal-env.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,gBAAgB,IAAI,sBAAsB,GAE3C,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,4BAA4B,EAC5B,oBAAoB,GACrB,MAAM,yBAAyB,CAAC;AAOjC,MAAM,sBAAsB,GAAG,4BAA4B,EAAE,CAAC;AAE9D,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAU,EAAE;IACpD,OAAO,oBAAoB,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;AAC5D,CAAC,CAAC;AAuDF;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,KAAuB,EACf,EAAE,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAA2B,EAAc,EAAE;IACzE,wCAAwC;IACxC,gBAAgB;IAChB,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAA6B,CAAC;IAEnE,oCAAoC;IACpC,yDAAyD;IACzD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA4B,CAAC;IAE/D;;OAEG;IACH,MAAM,iBAAiB,GAAG,CAAC,QAA2B,EAAU,EAAE;QAChE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACrC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChE,CAAC,CAAC;IAEF;;;;;;OAMG;IACH,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAqB,EAAE;QAChE,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1D,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEnD,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,CAAC;QAEjC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YACpC,IAAI,CAAC,aAAa;gBAAE,SAAS;YAE7B,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrE,MAAM,IAAI,GAAG,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpE,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,IAAI,EAAE,KAAK,EAAE;oBAAE,OAAO,EAAE,GAAG,EAAE,CAAC;gBAC9B,OAAO,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAC1D,CAAC,CAAC,CAAC;YAEH,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC;oBAAE,SAAS;gBAE/C,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC/D,IAAI,CAAC,WAAW;oBAAE,SAAS;gBAE3B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBAC/B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QAED,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF;;OAEG;IACH,MAAM,gBAAgB,GAAG,CACvB,cAAsB,EACtB,gBAAmC,EACnC,YAAoB,EACU,EAAE;QAChC,cAAc;QACd,MAAM,QAAQ,GAAG,GAAG,cAAc,CAAC,QAAQ,IAAI,iBAAiB,CAAC,gBAAgB,CAAC,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;QAC9G,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,kFAAkF;QAClF,IAAI,cAAc,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;YACtD,MAAM,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC;YACrE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnD,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;gBAC9C,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;oBACrB,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;YACD,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACxC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,mEAAmE;QACnE,MAAM,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC;QACrE,IAAI,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnD,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YAC9C,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;gBACrB,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAKD,MAAM,cAAc,GAAG,CACrB,MAAc,EACd,KAAuB,EACf,EAAE;YACV,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACrD,OAAO,UAAU;iBACd,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;gBACV,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBAC/B,OAAO,GAAG,CAAC,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAClD,CAAC,CAAC;iBACD,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAY;YACrB;gBACE,MAAM,EAAE,cAAc;gBACtB,KAAK,EAAE,YAAY;aACpB;SACF,CAAC;QAEF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;gBACpD,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC9C,OAAO,KAAK,CAAC,KAAK,CAAC;YACrB,CAAC;YAED,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACpE,MAAM,IAAI,GAAG,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpE,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,IAAI,EAAE,KAAK,EAAE;oBAAE,OAAO,EAAE,GAAG,EAAE,CAAC;gBAC9B,OAAO,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAC1D,CAAC,CAAC,CAAC;YAEH,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC/D,IAAI,CAAC,WAAW;oBAAE,SAAS;gBAE3B,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC;gBACxC,MAAM,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;gBAEjE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;gBAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;oBACtC,IAAI,SAAS,IAAI,OAAO,EAAE,CAAC;wBACzB,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACnE,CAAC;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,GAAG,YAAY,CAAC,QAAQ,IAAI,cAAc,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE,CAAC;gBACvF,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBACpC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAEtB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF;;OAEG;IACH,MAAM,uBAAuB,GAAG,CAC9B,cAAsB,EACtB,gBAAmC,EACnC,UAAkB,EACc,EAAE;QAClC,MAAM,KAAK,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;QAElD,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YACrD,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,KAAK,GAAG,gBAAgB,CAC5B,cAAc,EACd,gBAAgB,EAChB,MAAM,CACP,CAAC;gBACF,IAAI,KAAK,EAAE,CAAC;oBACV,OAAO;wBACL,eAAe,EAAE,MAAM;wBACvB,YAAY,EAAE,KAAK;qBACpB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,OAAO;QACL,gBAAgB;QAChB,uBAAuB;QACvB,mBAAmB;KACpB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-system/internal/registry-builder.d.ts

@@ -0,0 +1,19 @@
+/**
+ * TypeRegistry builder — constructs a TypeRegistry from source files.
+ *
+ * Split from type-registry.ts for file-size hygiene.
+ * The buildTypeRegistry function is copied EXACTLY from the original.
+ */
+import * as ts from "typescript";
+import type { TypeRegistry, BuildTypeRegistryOptions } from "./type-registry.js";
+/**
+ * Build a TypeRegistry from source files.
+ *
+ * @param sourceFiles Source files to scan for declarations
+ * @param checker TypeChecker for symbol resolution only (NOT for type inference)
+ * @param sourceRoot Absolute path to source root directory
+ * @param rootNamespace Root namespace for the project
+ * @param convertType Optional type converter for pure IR storage
+ */
+export declare const buildTypeRegistry: (sourceFiles: readonly ts.SourceFile[], checker: ts.TypeChecker, sourceRoot: string, rootNamespace: string, options?: BuildTypeRegistryOptions) => TypeRegistry;
+//# sourceMappingURL=registry-builder.d.ts.map

package/dist/ir/type-system/internal/registry-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry-builder.d.ts","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/registry-builder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,KAAK,EACV,YAAY,EAIZ,wBAAwB,EACzB,MAAM,oBAAoB,CAAC;AA0B5B;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAC5B,aAAa,SAAS,EAAE,CAAC,UAAU,EAAE,EACrC,SAAS,EAAE,CAAC,WAAW,EACvB,YAAY,MAAM,EAClB,eAAe,MAAM,EACrB,UAAS,wBAA6B,KACrC,YAgWF,CAAC"}