@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/types/ir-substitution-core.js

@@ -0,0 +1,402 @@
+/**
+ * IR Type Substitution -- Core Operations
+ *
+ * Provides containsTypeParameter, unify, and typesEqual.
+ * These are the foundational type-analysis operations used by
+ * both substitution and builder modules.
+ */
+import { referenceTypeIdentity } from "./type-ops.js";
+const compareTupleMetadataForUnify = (formal, actual) => {
+    const formalPrefix = formal.tuplePrefixElementTypes ?? [];
+    const actualPrefix = actual.tuplePrefixElementTypes ?? [];
+    if (formalPrefix.length !== actualPrefix.length)
+        return false;
+    for (let i = 0; i < formalPrefix.length; i += 1) {
+        const formalElement = formalPrefix[i];
+        const actualElement = actualPrefix[i];
+        if (!formalElement ||
+            !actualElement ||
+            !typesEqual(formalElement, actualElement)) {
+            return false;
+        }
+    }
+    if (!formal.tupleRestElementType && !actual.tupleRestElementType) {
+        return true;
+    }
+    return !!(formal.tupleRestElementType &&
+        actual.tupleRestElementType &&
+        typesEqual(formal.tupleRestElementType, actual.tupleRestElementType));
+};
+const compareTupleMetadataForEquality = (left, right) => {
+    const leftPrefix = left.tuplePrefixElementTypes ?? [];
+    const rightPrefix = right.tuplePrefixElementTypes ?? [];
+    if (leftPrefix.length !== rightPrefix.length)
+        return false;
+    for (let i = 0; i < leftPrefix.length; i += 1) {
+        const leftElement = leftPrefix[i];
+        const rightElement = rightPrefix[i];
+        if (!leftElement ||
+            !rightElement ||
+            !typesEqual(leftElement, rightElement)) {
+            return false;
+        }
+    }
+    if (!left.tupleRestElementType && !right.tupleRestElementType) {
+        return true;
+    }
+    return !!(left.tupleRestElementType &&
+        right.tupleRestElementType &&
+        typesEqual(left.tupleRestElementType, right.tupleRestElementType));
+};
+/**
+ * Check if an IrType contains any type parameters (typeParameterType).
+ *
+ * Used to determine if a type needs substitution.
+ * For example:
+ * - `int` -> false (no type parameters)
+ * - `T` -> true (is a type parameter)
+ * - `List<T>` -> true (contains type parameter)
+ * - `List<int>` -> false (fully instantiated)
+ */
+export const containsTypeParameter = (type) => {
+    switch (type.kind) {
+        case "typeParameterType":
+            return true;
+        case "referenceType":
+            return (type.typeArguments?.some((arg) => containsTypeParameter(arg)) ?? false);
+        case "arrayType":
+            return (containsTypeParameter(type.elementType) ||
+                (type.tuplePrefixElementTypes?.some((elementType) => containsTypeParameter(elementType)) ??
+                    false) ||
+                (type.tupleRestElementType
+                    ? containsTypeParameter(type.tupleRestElementType)
+                    : false));
+        case "tupleType":
+            return type.elementTypes.some((el) => containsTypeParameter(el));
+        case "functionType":
+            return (containsTypeParameter(type.returnType) ||
+                type.parameters.some((p) => p.type && containsTypeParameter(p.type)));
+        case "unionType":
+        case "intersectionType":
+            return type.types.some((t) => containsTypeParameter(t));
+        case "dictionaryType":
+            return (containsTypeParameter(type.keyType) ||
+                containsTypeParameter(type.valueType));
+        case "objectType":
+            return type.members.some((m) => {
+                if (m.kind === "propertySignature") {
+                    return containsTypeParameter(m.type);
+                }
+                if (m.kind === "methodSignature") {
+                    return ((m.returnType && containsTypeParameter(m.returnType)) ||
+                        m.parameters.some((p) => p.type && containsTypeParameter(p.type)));
+                }
+                return false;
+            });
+        // Primitive types never contain type parameters
+        case "primitiveType":
+        case "literalType":
+        case "anyType":
+        case "unknownType":
+        case "voidType":
+        case "neverType":
+            return false;
+    }
+};
+/**
+ * Unify a formal type (with type parameters) against an actual type (instantiated).
+ *
+ * Returns a substitution map if unification succeeds, undefined if it fails.
+ *
+ * Examples:
+ * - unify(T, int) -> { "T" -> int }
+ * - unify(List<T>, List<int>) -> { "T" -> int }
+ * - unify(Map<K, V>, Map<string, int>) -> { "K" -> string, "V" -> int }
+ * - unify(int, string) -> undefined (no type parameters to match)
+ *
+ * The unification is one-way: we're matching the formal type's shape against
+ * the actual type and extracting bindings for type parameters found in formal.
+ */
+export const unify = (formal, actual) => {
+    const bindings = new Map();
+    const unifyRecursive = (f, a) => {
+        // If formal is a type parameter, bind it to actual
+        if (f.kind === "typeParameterType") {
+            const existing = bindings.get(f.name);
+            if (existing) {
+                // Already bound - check consistency
+                return typesEqual(existing, a);
+            }
+            bindings.set(f.name, a);
+            return true;
+        }
+        // If kinds don't match, unification fails
+        if (f.kind !== a.kind) {
+            return false;
+        }
+        // Match by kind
+        switch (f.kind) {
+            case "primitiveType":
+                return a.kind === "primitiveType" && f.name === a.name;
+            case "referenceType": {
+                if (a.kind !== "referenceType")
+                    return false;
+                const formalIdentity = referenceTypeIdentity(f);
+                const actualIdentity = referenceTypeIdentity(a);
+                if (formalIdentity === undefined ||
+                    actualIdentity === undefined ||
+                    formalIdentity !== actualIdentity)
+                    return false;
+                const fArgs = f.typeArguments ?? [];
+                const aArgs = a.typeArguments ?? [];
+                if (fArgs.length !== aArgs.length)
+                    return false;
+                for (let i = 0; i < fArgs.length; i++) {
+                    const fArg = fArgs[i];
+                    const aArg = aArgs[i];
+                    if (!fArg || !aArg)
+                        return false;
+                    if (!unifyRecursive(fArg, aArg))
+                        return false;
+                }
+                return true;
+            }
+            case "arrayType":
+                return (a.kind === "arrayType" &&
+                    unifyRecursive(f.elementType, a.elementType) &&
+                    compareTupleMetadataForUnify(f, a));
+            case "tupleType": {
+                if (a.kind !== "tupleType")
+                    return false;
+                if (f.elementTypes.length !== a.elementTypes.length)
+                    return false;
+                for (let i = 0; i < f.elementTypes.length; i++) {
+                    const fEl = f.elementTypes[i];
+                    const aEl = a.elementTypes[i];
+                    if (!fEl || !aEl)
+                        return false;
+                    if (!unifyRecursive(fEl, aEl))
+                        return false;
+                }
+                return true;
+            }
+            case "unionType":
+            case "intersectionType": {
+                // DETERMINISTIC TYPING: Cannot infer type parameters through unions/intersections.
+                // This makes inference non-deterministic (TS-like complexity).
+                // If formal contains type parameters in a union/intersection, fail inference.
+                if (containsTypeParameter(f)) {
+                    return false; // Caller should emit TSN5202
+                }
+                // If no type parameters in formal, just check equality
+                if (a.kind !== f.kind)
+                    return false;
+                if (f.types.length !== a.types.length)
+                    return false;
+                for (let i = 0; i < f.types.length; i++) {
+                    const fType = f.types[i];
+                    const aType = a.types[i];
+                    if (!fType || !aType)
+                        return false;
+                    if (!unifyRecursive(fType, aType))
+                        return false;
+                }
+                return true;
+            }
+            case "dictionaryType":
+                return (a.kind === "dictionaryType" &&
+                    unifyRecursive(f.keyType, a.keyType) &&
+                    unifyRecursive(f.valueType, a.valueType));
+            case "functionType": {
+                if (a.kind !== "functionType")
+                    return false;
+                if (f.parameters.length !== a.parameters.length)
+                    return false;
+                for (let i = 0; i < f.parameters.length; i++) {
+                    const fParam = f.parameters[i];
+                    const aParam = a.parameters[i];
+                    if (!fParam || !aParam)
+                        return false;
+                    if (fParam.type && aParam.type) {
+                        if (!unifyRecursive(fParam.type, aParam.type))
+                            return false;
+                    }
+                }
+                return unifyRecursive(f.returnType, a.returnType);
+            }
+            // Literal types, any, unknown, void, never - just check equality
+            case "literalType":
+                return a.kind === "literalType" && f.value === a.value;
+            case "anyType":
+            case "unknownType":
+            case "voidType":
+            case "neverType":
+                return true; // Kind already matched
+            case "objectType":
+                // Object types are structural - for now, don't try to unify
+                // This is a conservative approach; could be enhanced if needed
+                return false;
+        }
+    };
+    const success = unifyRecursive(formal, actual);
+    return success && bindings.size > 0 ? bindings : undefined;
+};
+/**
+ * Check if two IrTypes are structurally equal.
+ */
+const parametersEqual = (left, right) => {
+    if (left.isOptional !== right.isOptional ||
+        left.isRest !== right.isRest ||
+        left.passing !== right.passing) {
+        return false;
+    }
+    if (!left.type || !right.type) {
+        return left.type === right.type;
+    }
+    return typesEqual(left.type, right.type);
+};
+const interfaceMembersEqual = (left, right) => {
+    if (left.kind !== right.kind ||
+        left.name !== right.name) {
+        return false;
+    }
+    if (left.kind === "propertySignature") {
+        return (right.kind === "propertySignature" &&
+            left.isOptional === right.isOptional &&
+            left.isReadonly === right.isReadonly &&
+            typesEqual(left.type, right.type));
+    }
+    if (right.kind !== "methodSignature") {
+        return false;
+    }
+    if ((left.typeParameters?.length ?? 0) !==
+        (right.typeParameters?.length ?? 0) ||
+        left.parameters.length !== right.parameters.length) {
+        return false;
+    }
+    for (let index = 0; index < left.parameters.length; index += 1) {
+        const leftParameter = left.parameters[index];
+        const rightParameter = right.parameters[index];
+        if (!leftParameter ||
+            !rightParameter ||
+            !parametersEqual(leftParameter, rightParameter)) {
+            return false;
+        }
+    }
+    if (!left.returnType || !right.returnType) {
+        return left.returnType === right.returnType;
+    }
+    return typesEqual(left.returnType, right.returnType);
+};
+const structuralReferenceMembersEqual = (left, right) => {
+    if (!left || !right || left.length !== right.length) {
+        return false;
+    }
+    const sortMembers = (members) => [...members].sort((a, b) => `${a.kind}:${a.name}`.localeCompare(`${b.kind}:${b.name}`));
+    const leftMembers = sortMembers(left);
+    const rightMembers = sortMembers(right);
+    for (let index = 0; index < leftMembers.length; index += 1) {
+        const leftMember = leftMembers[index];
+        const rightMember = rightMembers[index];
+        if (!leftMember ||
+            !rightMember ||
+            !interfaceMembersEqual(leftMember, rightMember)) {
+            return false;
+        }
+    }
+    return true;
+};
+export const typesEqual = (a, b) => {
+    if (a.kind !== b.kind)
+        return false;
+    switch (a.kind) {
+        case "primitiveType":
+            return b.kind === "primitiveType" && a.name === b.name;
+        case "typeParameterType":
+            return b.kind === "typeParameterType" && a.name === b.name;
+        case "referenceType": {
+            if (b.kind !== "referenceType")
+                return false;
+            const leftIdentity = referenceTypeIdentity(a);
+            const rightIdentity = referenceTypeIdentity(b);
+            if (leftIdentity === undefined || rightIdentity === undefined) {
+                return structuralReferenceMembersEqual(a.structuralMembers, b.structuralMembers);
+            }
+            if (leftIdentity !== rightIdentity) {
+                return false;
+            }
+            const aArgs = a.typeArguments ?? [];
+            const bArgs = b.typeArguments ?? [];
+            if (aArgs.length !== bArgs.length)
+                return false;
+            for (let i = 0; i < aArgs.length; i++) {
+                const aArg = aArgs[i];
+                const bArg = bArgs[i];
+                if (!aArg || !bArg || !typesEqual(aArg, bArg))
+                    return false;
+            }
+            return true;
+        }
+        case "arrayType":
+            return (b.kind === "arrayType" &&
+                typesEqual(a.elementType, b.elementType) &&
+                compareTupleMetadataForEquality(a, b));
+        case "tupleType": {
+            if (b.kind !== "tupleType")
+                return false;
+            if (a.elementTypes.length !== b.elementTypes.length)
+                return false;
+            for (let i = 0; i < a.elementTypes.length; i++) {
+                const aEl = a.elementTypes[i];
+                const bEl = b.elementTypes[i];
+                if (!aEl || !bEl || !typesEqual(aEl, bEl))
+                    return false;
+            }
+            return true;
+        }
+        case "unionType":
+        case "intersectionType": {
+            if (b.kind !== a.kind)
+                return false;
+            if (a.types.length !== b.types.length)
+                return false;
+            for (let i = 0; i < a.types.length; i++) {
+                const aType = a.types[i];
+                const bType = b.types[i];
+                if (!aType || !bType || !typesEqual(aType, bType))
+                    return false;
+            }
+            return true;
+        }
+        case "literalType":
+            return b.kind === "literalType" && a.value === b.value;
+        case "dictionaryType":
+            return (b.kind === "dictionaryType" &&
+                typesEqual(a.keyType, b.keyType) &&
+                typesEqual(a.valueType, b.valueType));
+        case "functionType": {
+            if (b.kind !== "functionType")
+                return false;
+            if (a.parameters.length !== b.parameters.length)
+                return false;
+            for (let i = 0; i < a.parameters.length; i++) {
+                const aParam = a.parameters[i];
+                const bParam = b.parameters[i];
+                if (!aParam || !bParam)
+                    return false;
+                if (aParam.type && bParam.type && !typesEqual(aParam.type, bParam.type))
+                    return false;
+            }
+            return typesEqual(a.returnType, b.returnType);
+        }
+        case "objectType":
+            // Structural comparison for object types - simplified
+            return false;
+        case "anyType":
+        case "unknownType":
+        case "voidType":
+        case "neverType":
+            return true;
+    }
+};
+//# sourceMappingURL=ir-substitution-core.js.map

package/dist/ir/types/ir-substitution-core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-substitution-core.js","sourceRoot":"","sources":["../../../src/ir/types/ir-substitution-core.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAEtD,MAAM,4BAA4B,GAAG,CACnC,MAA8C,EAC9C,MAA8C,EACrC,EAAE;IACX,MAAM,YAAY,GAAG,MAAM,CAAC,uBAAuB,IAAI,EAAE,CAAC;IAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,uBAAuB,IAAI,EAAE,CAAC;IAC1D,IAAI,YAAY,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,IACE,CAAC,aAAa;YACd,CAAC,aAAa;YACd,CAAC,UAAU,CAAC,aAAa,EAAE,aAAa,CAAC,EACzC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,oBAAoB,IAAI,CAAC,MAAM,CAAC,oBAAoB,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,CAAC,CACP,MAAM,CAAC,oBAAoB;QAC3B,MAAM,CAAC,oBAAoB;QAC3B,UAAU,CAAC,MAAM,CAAC,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,CAAC,CACrE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,IAA4C,EAC5C,KAA6C,EACpC,EAAE;IACX,MAAM,UAAU,GAAG,IAAI,CAAC,uBAAuB,IAAI,EAAE,CAAC;IACtD,MAAM,WAAW,GAAG,KAAK,CAAC,uBAAuB,IAAI,EAAE,CAAC;IACxD,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QACpC,IACE,CAAC,WAAW;YACZ,CAAC,YAAY;YACb,CAAC,UAAU,CAAC,WAAW,EAAE,YAAY,CAAC,EACtC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,oBAAoB,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,CAAC,CACP,IAAI,CAAC,oBAAoB;QACzB,KAAK,CAAC,oBAAoB;QAC1B,UAAU,CAAC,IAAI,CAAC,oBAAoB,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAClE,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAW,EAAE;IAC7D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB;YACtB,OAAO,IAAI,CAAC;QAEd,KAAK,eAAe;YAClB,OAAO,CACL,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CACvE,CAAC;QAEJ,KAAK,WAAW;YACd,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC;gBACvC,CAAC,IAAI,CAAC,uBAAuB,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAClD,qBAAqB,CAAC,WAAW,CAAC,CACnC;oBACC,KAAK,CAAC;gBACR,CAAC,IAAI,CAAC,oBAAoB;oBACxB,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,oBAAoB,CAAC;oBAClD,CAAC,CAAC,KAAK,CAAC,CACX,CAAC;QAEJ,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC,CAAC;QAEnE,KAAK,cAAc;YACjB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CACrE,CAAC;QAEJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;QAE1D,KAAK,gBAAgB;YACnB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC;gBACnC,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,CACtC,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACvC,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACjC,OAAO,CACL,CAAC,CAAC,CAAC,UAAU,IAAI,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;wBACrD,CAAC,CAAC,UAAU,CAAC,IAAI,CACf,CAAC,CAAoB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAClE,CACF,CAAC;gBACJ,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;QAEL,gDAAgD;QAChD,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAsBF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,MAAc,EACd,MAAc,EACmB,EAAE;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE3C,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE;QACvD,mDAAmD;QACnD,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,QAAQ,EAAE,CAAC;gBACb,oCAAoC;gBACpC,OAAO,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YACjC,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACxB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,0CAA0C;QAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACtB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,gBAAgB;QAChB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,eAAe;gBAClB,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;YAEzD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;oBAAE,OAAO,KAAK,CAAC;gBAC7C,MAAM,cAAc,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;gBAChD,MAAM,cAAc,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;gBAChD,IACE,cAAc,KAAK,SAAS;oBAC5B,cAAc,KAAK,SAAS;oBAC5B,cAAc,KAAK,cAAc;oBAEjC,OAAO,KAAK,CAAC;gBAEf,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAEhD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACtB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACtB,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;wBAAE,OAAO,KAAK,CAAC;oBACjC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAChD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,KAAK,WAAW;gBACd,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,WAAW;oBACtB,cAAc,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC;oBAC5C,4BAA4B,CAAC,CAAC,EAAE,CAAC,CAAC,CACnC,CAAC;YAEJ,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;oBAAE,OAAO,KAAK,CAAC;gBACzC,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/C,MAAM,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG;wBAAE,OAAO,KAAK,CAAC;oBAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAC9C,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,KAAK,WAAW,CAAC;YACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,mFAAmF;gBACnF,+DAA+D;gBAC/D,8EAA8E;gBAC9E,IAAI,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7B,OAAO,KAAK,CAAC,CAAC,6BAA6B;gBAC7C,CAAC;gBACD,uDAAuD;gBACvD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;oBAAE,OAAO,KAAK,CAAC;gBACpC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBACzB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBACzB,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK;wBAAE,OAAO,KAAK,CAAC;oBACnC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAClD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,KAAK,gBAAgB;gBACnB,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,gBAAgB;oBAC3B,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;oBACpC,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CACzC,CAAC;YAEJ,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO,KAAK,CAAC;gBAC5C,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC/B,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;wBAAE,OAAO,KAAK,CAAC;oBACrC,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;wBAC/B,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;4BAAE,OAAO,KAAK,CAAC;oBAC9D,CAAC;gBACH,CAAC;gBACD,OAAO,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;YACpD,CAAC;YAED,iEAAiE;YACjE,KAAK,aAAa;gBAChB,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC;YAEzD,KAAK,SAAS,CAAC;YACf,KAAK,aAAa,CAAC;YACnB,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC,CAAC,uBAAuB;YAEtC,KAAK,YAAY;gBACf,4DAA4D;gBAC5D,+DAA+D;gBAC/D,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/C,OAAO,OAAO,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,eAAe,GAAG,CAAC,IAAiB,EAAE,KAAkB,EAAW,EAAE;IACzE,IACE,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;QACpC,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC5B,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAC9B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;IAClC,CAAC;IAED,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAuB,EACvB,KAAwB,EACf,EAAE;IACX,IACE,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QACxB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EACxB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,mBAAmB;YAClC,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;YACpC,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;YACpC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAClC,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC;QAChC,CAAC,KAAK,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM,EAClD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,cAAc,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC/C,IACE,CAAC,aAAa;YACd,CAAC,cAAc;YACf,CAAC,eAAe,CAAC,aAAa,EAAE,cAAc,CAAC,EAC/C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC;IAC9C,CAAC;IAED,OAAO,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,IAA8C,EAC9C,KAA+C,EACtC,EAAE;IACX,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,WAAW,GAAG,CAClB,OAAqC,EACP,EAAE,CAChC,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACzB,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAC3D,CAAC;IAEJ,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,YAAY,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACxC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACxC,IACE,CAAC,UAAU;YACX,CAAC,WAAW;YACZ,CAAC,qBAAqB,CAAC,UAAU,EAAE,WAAW,CAAC,EAC/C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE;IAC1D,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,eAAe;YAClB,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;QAEzD,KAAK,mBAAmB;YACtB,OAAO,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;QAE7D,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;gBAAE,OAAO,KAAK,CAAC;YAC7C,MAAM,YAAY,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,aAAa,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAI,YAAY,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAC9D,OAAO,+BAA+B,CACpC,CAAC,CAAC,iBAAiB,EACnB,CAAC,CAAC,iBAAiB,CACpB,CAAC;YACJ,CAAC;YACD,IAAI,YAAY,KAAK,aAAa,EAAE,CAAC;gBACnC,OAAO,KAAK,CAAC;YACf,CAAC;YAED,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC;YACpC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;YAC9D,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,WAAW;YACd,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,WAAW;gBACtB,UAAU,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC;gBACxC,+BAA+B,CAAC,CAAC,EAAE,CAAC,CAAC,CACtC,CAAC;QAEJ,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;gBAAE,OAAO,KAAK,CAAC;YACzC,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;oBAAE,OAAO,KAAK,CAAC;YAC1D,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACpC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACzB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;YAClE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC;QAEzD,KAAK,gBAAgB;YACnB,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,gBAAgB;gBAC3B,UAAU,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;gBAChC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CACrC,CAAC;QAEJ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;gBAAE,OAAO,KAAK,CAAC;YAC5C,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACrC,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;oBACrE,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,OAAO,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAChD,CAAC;QAED,KAAK,YAAY;YACf,sDAAsD;YACtD,OAAO,KAAK,CAAC;QAEf,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC"}

package/dist/ir/types/ir-substitution.d.ts

@@ -1,144 +1,15 @@
 /**
- * IR Type Substitution Module
- *
- * Provides deterministic type substitution at the IR level.
- * This replaces TypeNode-based substitution with pure IR operations,
- * ensuring CLR type aliases are preserved through generic instantiation.
- *
- * Key functions:
- * - containsTypeParameter: Check if a type contains any type parameters
- * - unify: Match formal type parameters with actual types
- * - substituteIrType: Apply type parameter substitutions
- */
-import type { IrType } from "./ir-types.js";
-/**
- * Check if an IrType contains any type parameters (typeParameterType).
- *
- * Used to determine if a type needs substitution.
- * For example:
- * - `int` → false (no type parameters)
- * - `T` → true (is a type parameter)
- * - `List<T>` → true (contains type parameter)
- * - `List<int>` → false (fully instantiated)
- */
-export declare const containsTypeParameter: (type: IrType) => boolean;
-/**
- * Type substitution map: type parameter name → concrete IrType
- */
-export type TypeSubstitutionMap = ReadonlyMap<string, IrType>;
-/**
- * Result of substitution building - either success with map, or conflict error.
- * Conflicts occur when the same type parameter binds to different types.
- */
-export type SubstitutionResult = {
-    readonly ok: true;
-    readonly map: TypeSubstitutionMap;
-} | {
-    readonly ok: false;
-    readonly conflict: {
-        readonly param: string;
-        readonly type1: IrType;
-        readonly type2: IrType;
-    };
-};
-/**
- * Unify a formal type (with type parameters) against an actual type (instantiated).
- *
- * Returns a substitution map if unification succeeds, undefined if it fails.
- *
- * Examples:
- * - unify(T, int) → { "T" → int }
- * - unify(List<T>, List<int>) → { "T" → int }
- * - unify(Map<K, V>, Map<string, int>) → { "K" → string, "V" → int }
- * - unify(int, string) → undefined (no type parameters to match)
- *
- * The unification is one-way: we're matching the formal type's shape against
- * the actual type and extracting bindings for type parameters found in formal.
- */
-export declare const unify: (formal: IrType, actual: IrType) => TypeSubstitutionMap | undefined;
-/**
- * Check if two IrTypes are structurally equal.
- */
-export declare const typesEqual: (a: IrType, b: IrType) => boolean;
-/**
- * Apply type parameter substitutions to an IrType.
- *
- * Given a type with type parameters and a substitution map,
- * returns a new type with all type parameters replaced.
- *
- * Examples:
- * - substituteIrType(T, { "T" → int }) → int
- * - substituteIrType(List<T>, { "T" → int }) → List<int>
- * - substituteIrType(T | null, { "T" → int }) → int | null
- *
- * If no substitutions apply, returns the original type unchanged.
- */
-export declare const substituteIrType: (type: IrType, substitutions: TypeSubstitutionMap) => IrType;
-/**
- * Build IR substitution map from a receiver's type and the formal type parameters.
- *
- * Given a receiver like `list: List<int>` and a formal interface with type parameter T,
- * returns { "T" → int }.
- *
- * This is the IR-level equivalent of buildTypeParameterSubstitutionMap from calls.ts,
- * but works entirely at the IR level without TS AST archaeology.
- */
-export declare const buildIrSubstitutionMap: (receiverType: IrType, formalTypeParams: readonly string[]) => TypeSubstitutionMap | undefined;
-/**
- * Build substitution map from explicit call type arguments.
- *
- * For a call like `identity<int>(x)` with formal type param `T`,
- * returns { "T" → int }.
- *
- * This is binding source #2: explicit type arguments in the call.
- */
-export declare const buildSubstitutionFromExplicitTypeArgs: (explicitTypeArgs: readonly IrType[], formalTypeParams: readonly string[]) => TypeSubstitutionMap | undefined;
-/**
- * Build substitution map from call arguments via bounded unification.
- *
- * For a call like `identity(a)` where `a: int` and formal param is `x: T`,
- * returns { "T" → int }.
- *
- * This is binding source #3: argument-driven unification.
- * No body analysis - just matches argument types against parameter types.
- *
- * Returns SubstitutionResult to detect conflicts (TSN5202):
- * - If T binds to `int` from arg0 and `long` from arg1, returns conflict error
- */
-export declare const buildSubstitutionFromArguments: (argTypes: readonly (IrType | undefined)[], formalParamTypes: readonly (IrType | undefined)[]) => SubstitutionResult;
-/**
- * Complete substitution with separate maps for receiver and call type params.
- * This avoids name collisions between class type params (T in List<T>)
- * and method type params (T in Select<T>).
- */
-export type CompleteSubstitution = {
-    readonly receiverSubst: TypeSubstitutionMap;
-    readonly callSubst: TypeSubstitutionMap;
-};
-/**
- * Result of building complete substitution - success or conflict error.
- */
-export type CompleteSubstitutionResult = {
-    readonly ok: true;
-    readonly substitution: CompleteSubstitution;
-} | {
-    readonly ok: false;
-    readonly conflict: {
-        readonly param: string;
-        readonly type1: IrType;
-        readonly type2: IrType;
-    };
-};
-/**
- * Build complete substitution map from all 3 binding sources.
- *
- * Keeps receiver and call substitutions SEPARATE to avoid name collisions.
- *
- * Priority order for call substitutions:
- * 1. Explicit call type arguments (e.g., `identity<int>(x)` → T=int)
- * 2. Argument-driven unification (e.g., `identity(a:int)` → T=int)
- *
- * Receiver substitutions are separate and used for instantiating member signatures.
- */
-export declare const buildCompleteSubstitutionMap: (receiverType: IrType | undefined, receiverFormalTypeParams: readonly string[], explicitTypeArgs: readonly IrType[], callFormalTypeParams: readonly string[], argTypes: readonly (IrType | undefined)[], formalParamTypes: readonly (IrType | undefined)[]) => CompleteSubstitutionResult;
+ * IR Type Substitution — Facade
+ *
+ * Re-exports from sub-modules:
+ * - ir-substitution-core: containsTypeParameter, TypeSubstitutionMap,
+ *     SubstitutionResult, unify, typesEqual
+ * - ir-substitution-builders: substituteIrType, buildIrSubstitutionMap,
+ *     buildSubstitutionFromExplicitTypeArgs, buildSubstitutionFromArguments,
+ *     CompleteSubstitution, CompleteSubstitutionResult, buildCompleteSubstitutionMap
+ */
+export { containsTypeParameter, unify, typesEqual, } from "./ir-substitution-core.js";
+export type { TypeSubstitutionMap, SubstitutionResult, } from "./ir-substitution-core.js";
+export { substituteIrType, buildIrSubstitutionMap, buildSubstitutionFromExplicitTypeArgs, buildSubstitutionFromArguments, buildCompleteSubstitutionMap, } from "./ir-substitution-builders.js";
+export type { CompleteSubstitution, CompleteSubstitutionResult, } from "./ir-substitution-builders.js";
 //# sourceMappingURL=ir-substitution.d.ts.map

package/dist/ir/types/ir-substitution.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ir-substitution.d.ts","sourceRoot":"","sources":["../../../src/ir/types/ir-substitution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAE5C;;;;;;;;;GASG;AACH,eAAO,MAAM,qBAAqB,GAAI,MAAM,MAAM,KAAG,OAyDpD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE9D;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAA;CAAE,GACxD;IACE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC;CACH,CAAC;AAEN;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,KAAK,GAChB,QAAQ,MAAM,EACd,QAAQ,MAAM,KACb,mBAAmB,GAAG,SAuHxB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,EAAE,GAAG,MAAM,KAAG,OAmFjD,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,eAAe,mBAAmB,KACjC,MAkJF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,kBAAkB,SAAS,MAAM,EAAE,KAClC,mBAAmB,GAAG,SAgBxB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,qCAAqC,GAChD,kBAAkB,SAAS,MAAM,EAAE,EACnC,kBAAkB,SAAS,MAAM,EAAE,KAClC,mBAAmB,GAAG,SAaxB,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,8BAA8B,GACzC,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACzC,kBAAkB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,KAChD,kBAkCF,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,aAAa,EAAE,mBAAmB,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;CACzC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAClC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,oBAAoB,CAAA;CAAE,GAClE;IACE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC;CACH,CAAC;AAEN;;;;;;;;;;GAUG;AACH,eAAO,MAAM,4BAA4B,GACvC,cAAc,MAAM,GAAG,SAAS,EAChC,0BAA0B,SAAS,MAAM,EAAE,EAC3C,kBAAkB,SAAS,MAAM,EAAE,EACnC,sBAAsB,SAAS,MAAM,EAAE,EACvC,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACzC,kBAAkB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,KAChD,0BA8CF,CAAC"}
+{"version":3,"file":"ir-substitution.d.ts","sourceRoot":"","sources":["../../../src/ir/types/ir-substitution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EACL,qBAAqB,EACrB,KAAK,EACL,UAAU,GACX,MAAM,2BAA2B,CAAC;AAEnC,YAAY,EACV,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,qCAAqC,EACrC,8BAA8B,EAC9B,4BAA4B,GAC7B,MAAM,+BAA+B,CAAC;AAEvC,YAAY,EACV,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC"}