@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/type-system/internal/registry-helpers-inference.js

@@ -0,0 +1,237 @@
+/**
+ * Expression and member type inference helpers for TypeRegistry.
+ *
+ * Split from registry-helpers.ts for file-size compliance (< 500 LOC).
+ */
+import * as ts from "typescript";
+import { irTypesEqual } from "../../types/type-ops.js";
+import { tryResolveDeterministicPropertyName } from "../../syntax/property-names.js";
+export const inferExpressionTypeSyntax = (expr, convertType) => {
+    let current = expr;
+    while (ts.isParenthesizedExpression(current)) {
+        current = current.expression;
+    }
+    if (ts.isAsExpression(current) || ts.isTypeAssertionExpression(current)) {
+        return convertType(current.type);
+    }
+    if (ts.isNonNullExpression(current)) {
+        return inferExpressionTypeSyntax(current.expression, convertType);
+    }
+    if (ts.isStringLiteral(current) ||
+        ts.isNoSubstitutionTemplateLiteral(current)) {
+        return { kind: "primitiveType", name: "string" };
+    }
+    if (ts.isNumericLiteral(current)) {
+        return { kind: "primitiveType", name: "number" };
+    }
+    if (current.kind === ts.SyntaxKind.TrueKeyword ||
+        current.kind === ts.SyntaxKind.FalseKeyword) {
+        return { kind: "primitiveType", name: "boolean" };
+    }
+    if (current.kind === ts.SyntaxKind.UndefinedKeyword) {
+        return { kind: "primitiveType", name: "undefined" };
+    }
+    if (current.kind === ts.SyntaxKind.NullKeyword) {
+        return { kind: "primitiveType", name: "null" };
+    }
+    if (ts.isArrayLiteralExpression(current)) {
+        const elementTypes = [];
+        for (const element of current.elements) {
+            if (ts.isOmittedExpression(element) || ts.isSpreadElement(element)) {
+                return undefined;
+            }
+            const elementType = inferExpressionTypeSyntax(element, convertType);
+            if (!elementType)
+                return undefined;
+            elementTypes.push(elementType);
+        }
+        if (elementTypes.length === 0)
+            return undefined;
+        const first = elementTypes[0];
+        if (first &&
+            elementTypes.every((candidate) => irTypesEqual(candidate, first))) {
+            return { kind: "arrayType", elementType: first };
+        }
+        return { kind: "tupleType", elementTypes };
+    }
+    if (ts.isArrowFunction(current) || ts.isFunctionExpression(current)) {
+        const parameters = current.parameters.map((parameter, index) => ({
+            kind: "parameter",
+            pattern: {
+                kind: "identifierPattern",
+                name: ts.isIdentifier(parameter.name)
+                    ? parameter.name.text
+                    : `arg${index}`,
+            },
+            type: parameter.type ? convertType(parameter.type) : undefined,
+            initializer: undefined,
+            isOptional: !!parameter.questionToken,
+            isRest: !!parameter.dotDotDotToken,
+            passing: "value",
+        }));
+        const returnType = current.type
+            ? convertType(current.type)
+            : ts.isBlock(current.body)
+                ? (() => {
+                    const returns = current.body.statements.filter(ts.isReturnStatement);
+                    if (returns.length === 0)
+                        return { kind: "voidType" };
+                    const firstExpr = returns[0]?.expression;
+                    return firstExpr
+                        ? inferExpressionTypeSyntax(firstExpr, convertType)
+                        : { kind: "voidType" };
+                })()
+                : inferExpressionTypeSyntax(current.body, convertType);
+        if (!returnType)
+            return undefined;
+        return {
+            kind: "functionType",
+            parameters,
+            returnType,
+        };
+    }
+    if (ts.isObjectLiteralExpression(current)) {
+        const members = [];
+        for (const property of current.properties) {
+            if (ts.isSpreadAssignment(property) ||
+                ts.isShorthandPropertyAssignment(property)) {
+                return undefined;
+            }
+            if (ts.isPropertyAssignment(property)) {
+                const name = tryResolveDeterministicPropertyName(property.name);
+                if (!name)
+                    return undefined;
+                const propertyType = inferExpressionTypeSyntax(property.initializer, convertType);
+                if (!propertyType)
+                    return undefined;
+                members.push({
+                    kind: "propertySignature",
+                    name,
+                    type: propertyType,
+                    isOptional: false,
+                    isReadonly: false,
+                });
+                continue;
+            }
+            if (ts.isMethodDeclaration(property)) {
+                const name = tryResolveDeterministicPropertyName(property.name);
+                if (!name)
+                    return undefined;
+                const parameters = property.parameters.map((parameter, index) => ({
+                    kind: "parameter",
+                    pattern: {
+                        kind: "identifierPattern",
+                        name: ts.isIdentifier(parameter.name)
+                            ? parameter.name.text
+                            : `arg${index}`,
+                    },
+                    type: parameter.type ? convertType(parameter.type) : undefined,
+                    initializer: undefined,
+                    isOptional: !!parameter.questionToken,
+                    isRest: !!parameter.dotDotDotToken,
+                    passing: "value",
+                }));
+                const returnType = property.type
+                    ? convertType(property.type)
+                    : property.body
+                        ? (() => {
+                            const returns = property.body.statements.filter(ts.isReturnStatement);
+                            if (returns.length === 0)
+                                return { kind: "voidType" };
+                            const firstExpr = returns[0]?.expression;
+                            return firstExpr
+                                ? inferExpressionTypeSyntax(firstExpr, convertType)
+                                : { kind: "voidType" };
+                        })()
+                        : undefined;
+                if (!returnType)
+                    return undefined;
+                members.push({
+                    kind: "methodSignature",
+                    name,
+                    parameters,
+                    returnType,
+                });
+                continue;
+            }
+            return undefined;
+        }
+        return { kind: "objectType", members };
+    }
+    return undefined;
+};
+export const inferMemberType = (member, convertType) => {
+    if ("type" in member && member.type) {
+        return convertType(member.type);
+    }
+    if (ts.isPropertyDeclaration(member) && member.initializer) {
+        return inferExpressionTypeSyntax(member.initializer, convertType);
+    }
+    if (ts.isGetAccessorDeclaration(member) && member.body) {
+        const returns = member.body.statements.filter(ts.isReturnStatement);
+        if (returns.length === 0)
+            return undefined;
+        const firstExpr = returns[0]?.expression;
+        return firstExpr
+            ? inferExpressionTypeSyntax(firstExpr, convertType)
+            : undefined;
+    }
+    if (ts.isSetAccessorDeclaration(member)) {
+        const valueParam = member.parameters[0];
+        if (valueParam?.type) {
+            return convertType(valueParam.type);
+        }
+    }
+    return undefined;
+};
+/**
+ * Convert method declaration to IrMethodSignature
+ */
+export const convertMethodToSignature = (method, convertType) => ({
+    kind: "methodSignature",
+    name: tryResolveDeterministicPropertyName(method.name) ?? "[computed]",
+    parameters: method.parameters.map((p) => ({
+        kind: "parameter",
+        pattern: {
+            kind: "identifierPattern",
+            name: ts.isIdentifier(p.name) ? p.name.text : "param",
+        },
+        type: p.type ? convertType(p.type) : undefined,
+        isOptional: !!p.questionToken || !!p.initializer,
+        isRest: !!p.dotDotDotToken,
+        passing: "value",
+    })),
+    returnType: method.type ? convertType(method.type) : undefined,
+    typeParameters: method.typeParameters?.map((tp) => ({
+        kind: "typeParameter",
+        name: tp.name.text,
+        constraint: tp.constraint ? convertType(tp.constraint) : undefined,
+        default: tp.default ? convertType(tp.default) : undefined,
+    })),
+});
+/**
+ * Convert method signature to IrMethodSignature
+ */
+export const convertMethodSignatureToIr = (method, convertType) => ({
+    kind: "methodSignature",
+    name: tryResolveDeterministicPropertyName(method.name) ?? "[computed]",
+    parameters: method.parameters.map((p) => ({
+        kind: "parameter",
+        pattern: {
+            kind: "identifierPattern",
+            name: ts.isIdentifier(p.name) ? p.name.text : "param",
+        },
+        type: p.type ? convertType(p.type) : undefined,
+        isOptional: !!p.questionToken || !!p.initializer,
+        isRest: !!p.dotDotDotToken,
+        passing: "value",
+    })),
+    returnType: method.type ? convertType(method.type) : undefined,
+    typeParameters: method.typeParameters?.map((tp) => ({
+        kind: "typeParameter",
+        name: tp.name.text,
+        constraint: tp.constraint ? convertType(tp.constraint) : undefined,
+        default: tp.default ? convertType(tp.default) : undefined,
+    })),
+});
+//# sourceMappingURL=registry-helpers-inference.js.map

package/dist/ir/type-system/internal/registry-helpers-inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry-helpers-inference.js","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/registry-helpers-inference.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAGrF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAmB,EACnB,WAA0B,EACN,EAAE;IACtB,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IAED,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QACxE,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QACpC,OAAO,yBAAyB,CAAC,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IACpE,CAAC;IAED,IACE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC3B,EAAE,CAAC,+BAA+B,CAAC,OAAO,CAAC,EAC3C,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IACE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC1C,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAC3C,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjD,CAAC;IAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACvC,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnE,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,WAAW,GAAG,yBAAyB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;YACpE,IAAI,CAAC,WAAW;gBAAE,OAAO,SAAS,CAAC;YACnC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAChD,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IACE,KAAK;YACL,YAAY,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,EACjE,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QACnD,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IAC7C,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QACpE,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YAC/D,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE;gBACP,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;oBACnC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI;oBACrB,CAAC,CAAC,MAAM,KAAK,EAAE;aAClB;YACD,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;YAC9D,WAAW,EAAE,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,SAAS,CAAC,aAAa;YACrC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,cAAc;YAClC,OAAO,EAAE,OAAgB;SAC1B,CAAC,CAAC,CAAC;QAEJ,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI;YAC7B,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC;YAC3B,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;gBACxB,CAAC,CAAC,CAAC,GAAG,EAAE;oBACJ,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAC5C,EAAE,CAAC,iBAAiB,CACrB,CAAC;oBACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAO,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;oBAC/D,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;oBACzC,OAAO,SAAS;wBACd,CAAC,CAAC,yBAAyB,CAAC,SAAS,EAAE,WAAW,CAAC;wBACnD,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;gBACpC,CAAC,CAAC,EAAE;gBACN,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAE3D,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAClC,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,UAAU;YACV,UAAU;SACX,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAwB,EAAE,CAAC;QACxC,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YAC1C,IACE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC;gBAC/B,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAC1C,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,mCAAmC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,IAAI;oBAAE,OAAO,SAAS,CAAC;gBAC5B,MAAM,YAAY,GAAG,yBAAyB,CAC5C,QAAQ,CAAC,WAAW,EACpB,WAAW,CACZ,CAAC;gBACF,IAAI,CAAC,YAAY;oBAAE,OAAO,SAAS,CAAC;gBACpC,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,mBAAmB;oBACzB,IAAI;oBACJ,IAAI,EAAE,YAAY;oBAClB,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,GAAG,mCAAmC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,IAAI;oBAAE,OAAO,SAAS,CAAC;gBAC5B,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;oBAChE,IAAI,EAAE,WAAoB;oBAC1B,OAAO,EAAE;wBACP,IAAI,EAAE,mBAA4B;wBAClC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;4BACnC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI;4BACrB,CAAC,CAAC,MAAM,KAAK,EAAE;qBAClB;oBACD,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC9D,WAAW,EAAE,SAAS;oBACtB,UAAU,EAAE,CAAC,CAAC,SAAS,CAAC,aAAa;oBACrC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,cAAc;oBAClC,OAAO,EAAE,OAAgB;iBAC1B,CAAC,CAAC,CAAC;gBACJ,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI;oBAC9B,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAC5B,CAAC,CAAC,QAAQ,CAAC,IAAI;wBACb,CAAC,CAAC,CAAC,GAAG,EAAE;4BACJ,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAC7C,EAAE,CAAC,iBAAiB,CACrB,CAAC;4BACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gCAAE,OAAO,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;4BAC/D,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;4BACzC,OAAO,SAAS;gCACd,CAAC,CAAC,yBAAyB,CAAC,SAAS,EAAE,WAAW,CAAC;gCACnD,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;wBACpC,CAAC,CAAC,EAAE;wBACN,CAAC,CAAC,SAAS,CAAC;gBAChB,IAAI,CAAC,UAAU;oBAAE,OAAO,SAAS,CAAC;gBAClC,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,iBAAiB;oBACvB,IAAI;oBACJ,UAAU;oBACV,UAAU;iBACX,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;IACzC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,MAG6B,EAC7B,WAA0B,EACN,EAAE;IACtB,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACpC,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QAC3D,OAAO,yBAAyB,CAAC,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACpE,CAAC;IAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACvD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;QACpE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;QACzC,OAAO,SAAS;YACd,CAAC,CAAC,yBAAyB,CAAC,SAAS,EAAE,WAAW,CAAC;YACnD,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,UAAU,EAAE,IAAI,EAAE,CAAC;YACrB,OAAO,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,MAA4B,EAC5B,WAA0B,EACP,EAAE,CAAC,CAAC;IACvB,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,mCAAmC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY;IACtE,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,WAAoB;QAC1B,OAAO,EAAE;YACP,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;SACtD;QACD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAC9C,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW;QAChD,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc;QAC1B,OAAO,EAAE,OAAgB;KAC1B,CAAC,CAAC;IACH,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;IAC9D,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,EAAE,eAAwB;QAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI;QAClB,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;QAClE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;KAC1D,CAAC,CAAC;CACJ,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,MAA0B,EAC1B,WAA0B,EACP,EAAE,CAAC,CAAC;IACvB,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,mCAAmC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY;IACtE,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,WAAoB;QAC1B,OAAO,EAAE;YACP,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;SACtD;QACD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAC9C,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW;QAChD,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc;QAC1B,OAAO,EAAE,OAAgB;KAC1B,CAAC,CAAC;IACH,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;IAC9D,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,EAAE,eAAwB;QAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI;QAClB,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;QAClE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;KAC1D,CAAC,CAAC;CACJ,CAAC,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * TypeRegistry helper functions — Facade
+ *
+ * Re-exports extraction and inference logic from sub-modules:
+ * - registry-helpers-inference: inferExpressionTypeSyntax, inferMemberType,
+ *     convertMethodToSignature, convertMethodSignatureToIr
+ * - registry-helpers-extraction: CLR name helpers, type parameter extraction,
+ *     member extraction, callable interface conversion, heritage extraction
+ */
+export { inferExpressionTypeSyntax, inferMemberType, convertMethodToSignature, convertMethodSignatureToIr, } from "./registry-helpers-inference.js";
+export { isWellKnownLibrary, getCanonicalClrFQName, extractTypeParameters, getTypeNodeName, resolveHeritageTypeName, extractMembers, extractMembersFromAliasedObjectType, convertCallableInterfaceOnlyType, extractHeritage, } from "./registry-helpers-extraction.js";
+//# sourceMappingURL=registry-helpers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"registry-helpers.d.ts","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/registry-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,yBAAyB,EACzB,eAAe,EACf,wBAAwB,EACxB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,qBAAqB,EACrB,eAAe,EACf,uBAAuB,EACvB,cAAc,EACd,mCAAmC,EACnC,gCAAgC,EAChC,eAAe,GAChB,MAAM,kCAAkC,CAAC"}

package/dist/ir/type-system/internal/registry-helpers.js

@@ -0,0 +1,12 @@
+/**
+ * TypeRegistry helper functions — Facade
+ *
+ * Re-exports extraction and inference logic from sub-modules:
+ * - registry-helpers-inference: inferExpressionTypeSyntax, inferMemberType,
+ *     convertMethodToSignature, convertMethodSignatureToIr
+ * - registry-helpers-extraction: CLR name helpers, type parameter extraction,
+ *     member extraction, callable interface conversion, heritage extraction
+ */
+export { inferExpressionTypeSyntax, inferMemberType, convertMethodToSignature, convertMethodSignatureToIr, } from "./registry-helpers-inference.js";
+export { isWellKnownLibrary, getCanonicalClrFQName, extractTypeParameters, getTypeNodeName, resolveHeritageTypeName, extractMembers, extractMembersFromAliasedObjectType, convertCallableInterfaceOnlyType, extractHeritage, } from "./registry-helpers-extraction.js";
+//# sourceMappingURL=registry-helpers.js.map

package/dist/ir/type-system/internal/registry-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry-helpers.js","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/registry-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,yBAAyB,EACzB,eAAe,EACf,wBAAwB,EACxB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,qBAAqB,EACrB,eAAe,EACf,uBAAuB,EACvB,cAAc,EACd,mCAAmC,EACnC,gCAAgC,EAChC,eAAe,GAChB,MAAM,kCAAkC,CAAC"}

package/dist/ir/type-system/internal/type-converter/conditional-utility-types-core.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Conditional utility type expansion - core infrastructure, NonNullable,
+ * and Exclude/Extract expansion.
+ *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * These utility types are expanded using AST-based syntactic algorithms only.
+ * No banned APIs (getTypeAtLocation, getTypeOfSymbolAtLocation, typeToTypeNode).
+ * Uses Binding for symbol resolution and extracts types from TypeNodes.
+ *
+ * Split from conditional-utility-types.ts for file-size compliance (< 500 LOC).
+ */
+import * as ts from "typescript";
+import { IrType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
+/**
+ * Set of supported conditional utility types that can be expanded
+ * Uses AST-based syntactic algorithms, not TS type evaluation.
+ */
+export declare const EXPANDABLE_CONDITIONAL_UTILITY_TYPES: Set<string>;
+/**
+ * Check if a type name is an expandable conditional utility type
+ */
+export declare const isExpandableConditionalUtilityType: (name: string) => boolean;
+/**
+ * Maximum recursion depth for nested conditional utility expansion.
+ * Prevents infinite recursion on cyclic aliases or pathological inputs.
+ */
+export declare const MAX_CONDITIONAL_UTILITY_RECURSION = 16;
+/**
+ * Resolve a type alias to its underlying TypeNode (AST-based, INV-0 compliant).
+ * Follows type alias chains to get the actual type definition.
+ *
+ * @param node - The TypeNode to resolve
+ * @param binding - The Binding layer for symbol resolution
+ * @returns The resolved TypeNode, or the original if not a resolvable alias
+ */
+export declare const resolveTypeAlias: (node: ts.TypeNode, binding: Binding) => ts.TypeNode;
+export declare const unwrapParens: (node: ts.TypeNode) => ts.TypeNode;
+export declare const flattenUnionTypeNodes: (node: ts.TypeNode) => readonly ts.TypeNode[];
+/**
+ * Expand NonNullable<T> using syntactic filtering (INV-0 compliant).
+ */
+export declare const expandNonNullable: (typeArg: ts.TypeNode, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrType | null;
+/**
+ * Expand Exclude<T, U> or Extract<T, U> using syntactic filtering (INV-0 compliant).
+ */
+export declare const expandExcludeExtract: (tArg: ts.TypeNode, uArg: ts.TypeNode, isExtract: boolean, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType, depth: number) => IrType | null;
+/**
+ * Internal recursive expander for conditional utility types.
+ * Exported for use by sub-modules.
+ */
+export declare const expandConditionalUtilityTypeInternal: (node: ts.TypeReferenceNode, typeName: string, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType, depth: number) => IrType | null;
+//# sourceMappingURL=conditional-utility-types-core.d.ts.map

package/dist/ir/type-system/internal/type-converter/conditional-utility-types-core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditional-utility-types-core.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/conditional-utility-types-core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AAS1E;;;GAGG;AACH,eAAO,MAAM,oCAAoC,aAS/C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,kCAAkC,GAAI,MAAM,MAAM,KAAG,OAClB,CAAC;AAEjD;;;GAGG;AACH,eAAO,MAAM,iCAAiC,KAAK,CAAC;AAEpD;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,QAAQ,EACjB,SAAS,OAAO,KACf,EAAE,CAAC,QAoCL,CAAC;AAEF,eAAO,MAAM,YAAY,GAAI,MAAM,EAAE,CAAC,QAAQ,KAAG,EAAE,CAAC,QAMnD,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,QAAQ,KAChB,SAAS,EAAE,CAAC,QAAQ,EAStB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,EAAE,CAAC,QAAQ,EACpB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,MAAM,GAAG,IAkDX,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,QAAQ,EACjB,MAAM,EAAE,CAAC,QAAQ,EACjB,WAAW,OAAO,EAClB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,EAC5D,OAAO,MAAM,KACZ,MAAM,GAAG,IAwFX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,oCAAoC,GAC/C,MAAM,EAAE,CAAC,iBAAiB,EAC1B,UAAU,MAAM,EAChB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,EAC5D,OAAO,MAAM,KACZ,MAAM,GAAG,IA4EX,CAAC"}

package/dist/ir/type-system/internal/type-converter/conditional-utility-types-core.js

@@ -0,0 +1,281 @@
+/**
+ * Conditional utility type expansion - core infrastructure, NonNullable,
+ * and Exclude/Extract expansion.
+ *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * These utility types are expanded using AST-based syntactic algorithms only.
+ * No banned APIs (getTypeAtLocation, getTypeOfSymbolAtLocation, typeToTypeNode).
+ * Uses Binding for symbol resolution and extracts types from TypeNodes.
+ *
+ * Split from conditional-utility-types.ts for file-size compliance (< 500 LOC).
+ */
+import * as ts from "typescript";
+import { isExpandableUtilityType, isTypeParameterNode, typeNodeContainsTypeParameter, flattenUnionIrType, isProvablyAssignable, } from "./mapped-utility-types.js";
+/**
+ * Set of supported conditional utility types that can be expanded
+ * Uses AST-based syntactic algorithms, not TS type evaluation.
+ */
+export const EXPANDABLE_CONDITIONAL_UTILITY_TYPES = new Set([
+    "NonNullable",
+    "Exclude",
+    "Extract",
+    "ReturnType",
+    "Parameters",
+    "Awaited",
+    "ConstructorParameters",
+    "InstanceType",
+]);
+/**
+ * Check if a type name is an expandable conditional utility type
+ */
+export const isExpandableConditionalUtilityType = (name) => EXPANDABLE_CONDITIONAL_UTILITY_TYPES.has(name);
+/**
+ * Maximum recursion depth for nested conditional utility expansion.
+ * Prevents infinite recursion on cyclic aliases or pathological inputs.
+ */
+export const MAX_CONDITIONAL_UTILITY_RECURSION = 16;
+/**
+ * Resolve a type alias to its underlying TypeNode (AST-based, INV-0 compliant).
+ * Follows type alias chains to get the actual type definition.
+ *
+ * @param node - The TypeNode to resolve
+ * @param binding - The Binding layer for symbol resolution
+ * @returns The resolved TypeNode, or the original if not a resolvable alias
+ */
+export const resolveTypeAlias = (node, binding) => {
+    // Only type references can be aliases
+    if (!ts.isTypeReferenceNode(node))
+        return node;
+    if (!ts.isIdentifier(node.typeName))
+        return node;
+    // IMPORTANT: Do not resolve compiler-known utility types to their lib.d.ts
+    // conditional/type-alias definitions. We treat these as intrinsic and expand
+    // them ourselves (deterministically) when requested.
+    const name = node.typeName.text;
+    if (isExpandableUtilityType(name) ||
+        isExpandableConditionalUtilityType(name) ||
+        name === "Record" ||
+        name === "CLROf" ||
+        name === "out" ||
+        name === "ref" ||
+        name === "inref") {
+        return node;
+    }
+    // Use Binding to resolve the type reference
+    const declId = binding.resolveTypeReference(node);
+    if (!declId)
+        return node;
+    const declInfo = binding
+        ._getHandleRegistry()
+        .getDecl(declId);
+    if (!declInfo)
+        return node;
+    // Look for a type alias declaration
+    const decl = declInfo.declNode;
+    if (!decl || !ts.isTypeAliasDeclaration(decl))
+        return node;
+    // Recursively resolve in case of chained aliases
+    return resolveTypeAlias(decl.type, binding);
+};
+export const unwrapParens = (node) => {
+    let current = node;
+    while (ts.isParenthesizedTypeNode(current)) {
+        current = current.type;
+    }
+    return current;
+};
+export const flattenUnionTypeNodes = (node) => {
+    const unwrapped = unwrapParens(node);
+    if (!ts.isUnionTypeNode(unwrapped))
+        return [unwrapped];
+    const parts = [];
+    for (const t of unwrapped.types) {
+        parts.push(...flattenUnionTypeNodes(t));
+    }
+    return parts;
+};
+/**
+ * Expand NonNullable<T> using syntactic filtering (INV-0 compliant).
+ */
+export const expandNonNullable = (typeArg, binding, convertType) => {
+    // Check for type parameter
+    if (isTypeParameterNode(typeArg, binding)) {
+        return null;
+    }
+    // Resolve type aliases to get the underlying type
+    const resolved = resolveTypeAlias(typeArg, binding);
+    // Handle special keywords
+    if (resolved.kind === ts.SyntaxKind.AnyKeyword)
+        return { kind: "anyType" };
+    if (resolved.kind === ts.SyntaxKind.UnknownKeyword)
+        return { kind: "unknownType", explicit: true };
+    if (resolved.kind === ts.SyntaxKind.NeverKeyword)
+        return { kind: "neverType" };
+    // Syntactic filtering of union types
+    if (ts.isUnionTypeNode(resolved)) {
+        const filtered = resolved.types.filter((t) => {
+            // Direct null/undefined keywords
+            if (t.kind === ts.SyntaxKind.NullKeyword)
+                return false;
+            if (t.kind === ts.SyntaxKind.UndefinedKeyword)
+                return false;
+            // LiteralTypeNode wrapping null/undefined
+            if (ts.isLiteralTypeNode(t) &&
+                (t.literal.kind === ts.SyntaxKind.NullKeyword ||
+                    t.literal.kind === ts.SyntaxKind.UndefinedKeyword)) {
+                return false;
+            }
+            return true;
+        });
+        if (filtered.length === 0)
+            return { kind: "neverType" };
+        if (filtered.length === 1 && filtered[0]) {
+            return convertType(filtered[0], binding);
+        }
+        return {
+            kind: "unionType",
+            types: filtered.map((t) => convertType(t, binding)),
+        };
+    }
+    // Not a union — return as-is (null/undefined are already filtered by check above)
+    if (resolved.kind === ts.SyntaxKind.NullKeyword)
+        return { kind: "neverType" };
+    if (resolved.kind === ts.SyntaxKind.UndefinedKeyword)
+        return { kind: "neverType" };
+    return convertType(resolved, binding);
+};
+/**
+ * Expand Exclude<T, U> or Extract<T, U> using syntactic filtering (INV-0 compliant).
+ */
+export const expandExcludeExtract = (tArg, uArg, isExtract, binding, convertType, depth) => {
+    // Check for type parameters
+    if (typeNodeContainsTypeParameter(tArg, binding)) {
+        return null;
+    }
+    if (typeNodeContainsTypeParameter(uArg, binding)) {
+        return null;
+    }
+    if (depth > MAX_CONDITIONAL_UTILITY_RECURSION) {
+        return null;
+    }
+    const tryExpandConditionalArg = (node) => {
+        const unwrapped = unwrapParens(node);
+        if (!ts.isTypeReferenceNode(unwrapped) ||
+            !ts.isIdentifier(unwrapped.typeName)) {
+            return null;
+        }
+        const name = unwrapped.typeName.text;
+        if (!isExpandableConditionalUtilityType(name)) {
+            return null;
+        }
+        if (!unwrapped.typeArguments?.length) {
+            return null;
+        }
+        return expandConditionalUtilityTypeInternal(unwrapped, name, binding, convertType, depth + 1);
+    };
+    const convertForFiltering = (node) => {
+        const directExpanded = tryExpandConditionalArg(node);
+        if (directExpanded)
+            return directExpanded;
+        const resolved = unwrapParens(resolveTypeAlias(unwrapParens(node), binding));
+        const resolvedExpanded = tryExpandConditionalArg(resolved);
+        if (resolvedExpanded)
+            return resolvedExpanded;
+        if (ts.isUnionTypeNode(resolved)) {
+            const parts = flattenUnionTypeNodes(resolved);
+            const converted = [];
+            for (const p of parts) {
+                const inner = convertForFiltering(p);
+                if (!inner)
+                    return null;
+                converted.push(inner);
+            }
+            return { kind: "unionType", types: converted };
+        }
+        return convertType(resolved, binding);
+    };
+    const tType = convertForFiltering(tArg);
+    const uType = convertForFiltering(uArg);
+    if (!tType || !uType) {
+        return null;
+    }
+    const tMembers = flattenUnionIrType(tType);
+    const filtered = [];
+    for (const t of tMembers) {
+        const assignable = isProvablyAssignable(t, uType);
+        if (isExtract) {
+            // Conservative: keep unless we can prove NOT assignable
+            if (assignable !== false) {
+                filtered.push(t);
+            }
+        }
+        else {
+            // Conservative: exclude only when we can prove assignable
+            if (assignable !== true) {
+                filtered.push(t);
+            }
+        }
+    }
+    if (filtered.length === 0)
+        return { kind: "neverType" };
+    if (filtered.length === 1)
+        return filtered[0] ?? { kind: "neverType" };
+    return { kind: "unionType", types: filtered };
+};
+/**
+ * Internal recursive expander for conditional utility types.
+ * Exported for use by sub-modules.
+ */
+export const expandConditionalUtilityTypeInternal = (node, typeName, binding, convertType, depth) => {
+    if (depth > MAX_CONDITIONAL_UTILITY_RECURSION) {
+        return null;
+    }
+    const typeArgs = node.typeArguments;
+    if (!typeArgs || typeArgs.length === 0) {
+        return null;
+    }
+    // Check for type parameters in any argument
+    for (const typeArg of typeArgs) {
+        if (typeNodeContainsTypeParameter(typeArg, binding)) {
+            return null;
+        }
+    }
+    const firstArg = typeArgs[0];
+    if (!firstArg) {
+        return null;
+    }
+    // Import the extract-type expanders lazily to avoid circular dependency
+    // at module load time. They are in the sibling sub-module.
+    switch (typeName) {
+        case "NonNullable":
+            return expandNonNullable(firstArg, binding, convertType);
+        case "Exclude": {
+            const secondArg = typeArgs[1];
+            if (!secondArg)
+                return null;
+            return expandExcludeExtract(firstArg, secondArg, false, binding, convertType, depth);
+        }
+        case "Extract": {
+            const secondArg = typeArgs[1];
+            if (!secondArg)
+                return null;
+            return expandExcludeExtract(firstArg, secondArg, true, binding, convertType, depth);
+        }
+        case "ReturnType":
+            return expandReturnTypeFromExtract(firstArg, binding, convertType);
+        case "Parameters":
+            return expandParametersFromExtract(firstArg, binding, convertType);
+        case "Awaited":
+            return expandAwaitedFromExtract(firstArg, binding, convertType);
+        case "ConstructorParameters":
+            return expandConstructorParametersFromExtract(firstArg, binding, convertType);
+        case "InstanceType":
+            return expandInstanceTypeFromExtract(firstArg, binding, convertType);
+        default:
+            return null;
+    }
+};
+// These imports are resolved at call time to avoid circular module issues.
+// The functions are defined in conditional-utility-types-extract.ts.
+import { expandReturnType as expandReturnTypeFromExtract, expandParameters as expandParametersFromExtract, expandAwaited as expandAwaitedFromExtract, expandConstructorParameters as expandConstructorParametersFromExtract, expandInstanceType as expandInstanceTypeFromExtract, } from "./conditional-utility-types-extract.js";
+//# sourceMappingURL=conditional-utility-types-core.js.map

package/dist/ir/type-system/internal/type-converter/conditional-utility-types-core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditional-utility-types-core.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/conditional-utility-types-core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,6BAA6B,EAC7B,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AAEnC;;;GAGG;AACH,MAAM,CAAC,MAAM,oCAAoC,GAAG,IAAI,GAAG,CAAC;IAC1D,aAAa;IACb,SAAS;IACT,SAAS;IACT,YAAY;IACZ,YAAY;IACZ,SAAS;IACT,uBAAuB;IACvB,cAAc;CACf,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC,IAAY,EAAW,EAAE,CAC1E,oCAAoC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAEjD;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,EAAE,CAAC;AAEpD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAiB,EACjB,OAAgB,EACH,EAAE;IACf,sCAAsC;IACtC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAEjD,2EAA2E;IAC3E,6EAA6E;IAC7E,qDAAqD;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAChC,IACE,uBAAuB,CAAC,IAAI,CAAC;QAC7B,kCAAkC,CAAC,IAAI,CAAC;QACxC,IAAI,KAAK,QAAQ;QACjB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,KAAK;QACd,IAAI,KAAK,KAAK;QACd,IAAI,KAAK,OAAO,EAChB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,4CAA4C;IAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzB,MAAM,QAAQ,GAAI,OAA2B;SAC1C,kBAAkB,EAAE;SACpB,OAAO,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3B,oCAAoC;IACpC,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAsC,CAAC;IAC7D,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAE3D,iDAAiD;IACjD,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAiB,EAAe,EAAE;IAC7D,IAAI,OAAO,GAAgB,IAAI,CAAC;IAChC,OAAO,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAiB,EACO,EAAE;IAC1B,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAEvD,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,OAAoB,EACpB,OAAgB,EAChB,WAA4D,EAC7C,EAAE;IACjB,2BAA2B;IAC3B,IAAI,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kDAAkD;IAClD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAEpD,0BAA0B;IAC1B,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC3E,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;QAChD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACjD,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC9C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAE/B,qCAAqC;IACrC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3C,iCAAiC;YACjC,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBAAE,OAAO,KAAK,CAAC;YACvD,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;gBAAE,OAAO,KAAK,CAAC;YAC5D,0CAA0C;YAC1C,IACE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC;gBACvB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;oBAC3C,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EACpD,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QAEH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACxD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,OAAO,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;SACpD,CAAC;IACJ,CAAC;IAED,kFAAkF;IAClF,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC9E,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAClD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAE/B,OAAO,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAiB,EACjB,IAAiB,EACjB,SAAkB,EAClB,OAAgB,EAChB,WAA4D,EAC5D,KAAa,EACE,EAAE;IACjB,4BAA4B;IAC5B,IAAI,6BAA6B,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,6BAA6B,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,KAAK,GAAG,iCAAiC,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,uBAAuB,GAAG,CAAC,IAAiB,EAAiB,EAAE;QACnE,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACrC,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAClC,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,QAAQ,CAAC,EACpC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;QACrC,IAAI,CAAC,kCAAkC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;YACrC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,oCAAoC,CACzC,SAAS,EACT,IAAI,EACJ,OAAO,EACP,WAAW,EACX,KAAK,GAAG,CAAC,CACV,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,mBAAmB,GAAG,CAAC,IAAiB,EAAiB,EAAE;QAC/D,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,cAAc;YAAE,OAAO,cAAc,CAAC;QAE1C,MAAM,QAAQ,GAAG,YAAY,CAC3B,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAC9C,CAAC;QACF,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3D,IAAI,gBAAgB;YAAE,OAAO,gBAAgB,CAAC;QAE9C,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;YAC9C,MAAM,SAAS,GAAa,EAAE,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,MAAM,KAAK,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;gBACrC,IAAI,CAAC,KAAK;oBAAE,OAAO,IAAI,CAAC;gBACxB,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxB,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QACjD,CAAC;QAED,OAAO,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAE3C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,oBAAoB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAClD,IAAI,SAAS,EAAE,CAAC;YACd,wDAAwD;YACxD,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,0DAA0D;YAC1D,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;gBACxB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACxD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACvE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,IAA0B,EAC1B,QAAgB,EAChB,OAAgB,EAChB,WAA4D,EAC5D,KAAa,EACE,EAAE;IACjB,IAAI,KAAK,GAAG,iCAAiC,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC;IACpC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,4CAA4C;IAC5C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,6BAA6B,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IAED,wEAAwE;IACxE,2DAA2D;IAC3D,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,aAAa;YAChB,OAAO,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QAE3D,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,SAAS;gBAAE,OAAO,IAAI,CAAC;YAC5B,OAAO,oBAAoB,CACzB,QAAQ,EACR,SAAS,EACT,KAAK,EACL,OAAO,EACP,WAAW,EACX,KAAK,CACN,CAAC;QACJ,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,SAAS;gBAAE,OAAO,IAAI,CAAC;YAC5B,OAAO,oBAAoB,CACzB,QAAQ,EACR,SAAS,EACT,IAAI,EACJ,OAAO,EACP,WAAW,EACX,KAAK,CACN,CAAC;QACJ,CAAC;QAED,KAAK,YAAY;YACf,OAAO,2BAA2B,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QAErE,KAAK,YAAY;YACf,OAAO,2BAA2B,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QAErE,KAAK,SAAS;YACZ,OAAO,wBAAwB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QAElE,KAAK,uBAAuB;YAC1B,OAAO,sCAAsC,CAC3C,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO,6BAA6B,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QAEvE;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,2EAA2E;AAC3E,qEAAqE;AACrE,OAAO,EACL,gBAAgB,IAAI,2BAA2B,EAC/C,gBAAgB,IAAI,2BAA2B,EAC/C,aAAa,IAAI,wBAAwB,EACzC,2BAA2B,IAAI,sCAAsC,EACrE,kBAAkB,IAAI,6BAA6B,GACpD,MAAM,wCAAwC,CAAC"}