@tsonic/frontend 0.0.12 → 0.0.14

package/dist/ir/type-converter/references.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAoB,MAAM,aAAa,CAAC;AAGvD;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MAsDF,CAAC"}
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EAKP,MAAM,aAAa,CAAC;AA2UrB;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MAmIF,CAAC"}

package/dist/ir/type-converter/references.js

@@ -2,7 +2,262 @@
  * Reference type conversion
  */
 import * as ts from "typescript";
-import { isPrimitiveTypeName, getPrimitiveType } from "./primitives.js";
+import { isPrimitiveTypeName, getPrimitiveType, isClrPrimitiveTypeName, getClrPrimitiveType, CLR_PRIMITIVE_TYPE_SET, } from "./primitives.js";
+import { isExpandableUtilityType, expandUtilityType, isExpandableConditionalUtilityType, expandConditionalUtilityType, expandRecordType, } from "./utility-types.js";
+/**
+ * Cache for structural member extraction to prevent infinite recursion
+ * on recursive types like `type Node = { next: Node }`.
+ *
+ * Key: ts.Type (by identity)
+ * Value: extracted members, null (not extractable), or "in-progress" sentinel
+ */
+const structuralMembersCache = new WeakMap();
+/**
+ * Check if a type should have structural members extracted.
+ *
+ * Only extract for:
+ * - Interfaces (InterfaceDeclaration)
+ * - Type aliases to object types (TypeAliasDeclaration)
+ *
+ * Do NOT extract for:
+ * - Classes (have implementation, not just shape)
+ * - Enums, namespaces
+ * - Library types (from node_modules or lib.*.d.ts)
+ * - CLR interop types
+ * - Union/intersection types (ambiguous property semantics)
+ */
+const shouldExtractStructuralMembers = (resolvedType, _checker) => {
+    // Don't extract for type parameters
+    if (resolvedType.flags & ts.TypeFlags.TypeParameter) {
+        return false;
+    }
+    // Don't extract for union types (ambiguous property semantics)
+    if (resolvedType.isUnion()) {
+        return false;
+    }
+    // Don't extract for intersection types (conservative)
+    if (resolvedType.isIntersection()) {
+        return false;
+    }
+    // Check the symbol to determine if this is a structural type we should extract
+    const symbol = resolvedType.getSymbol();
+    if (!symbol) {
+        return false;
+    }
+    const declarations = symbol.getDeclarations();
+    if (!declarations || declarations.length === 0) {
+        return false;
+    }
+    // Check if ANY declaration is from a library file (node_modules or lib.*.d.ts)
+    for (const decl of declarations) {
+        const sourceFile = decl.getSourceFile();
+        const fileName = sourceFile.fileName;
+        // Skip library types
+        if (fileName.includes("node_modules") ||
+            fileName.includes("lib.") ||
+            sourceFile.isDeclarationFile) {
+            return false;
+        }
+    }
+    // Check the first declaration to determine type
+    const firstDecl = declarations[0];
+    if (!firstDecl) {
+        return false;
+    }
+    // Only extract for interfaces and type aliases
+    if (ts.isInterfaceDeclaration(firstDecl)) {
+        return true;
+    }
+    if (ts.isTypeAliasDeclaration(firstDecl)) {
+        // Only extract if the alias resolves to an object-like type
+        // (has properties, not a primitive/union/etc)
+        const properties = resolvedType.getProperties();
+        return properties !== undefined && properties.length > 0;
+    }
+    // TypeLiteral: When a type alias resolves to an object type like `type Config = { x: number }`,
+    // TypeScript's getTypeAtLocation returns the underlying object type, whose declaration is TypeLiteral.
+    // We need to extract structural members in this case too.
+    if (ts.isTypeLiteralNode(firstDecl)) {
+        const properties = resolvedType.getProperties();
+        return properties !== undefined && properties.length > 0;
+    }
+    // Don't extract for classes, enums, etc.
+    return false;
+};
+/**
+ * Extract structural members from a resolved type.
+ *
+ * Used to populate structuralMembers on referenceType for interfaces and type aliases.
+ * This enables TSN5110 validation for object literal properties against expected types.
+ *
+ * Safety guards:
+ * - Only extracts for interfaces/type-aliases (not classes, enums, lib types)
+ * - Uses cache to prevent infinite recursion on recursive types
+ * - Skips unsupported keys instead of bailing entirely
+ * - Returns undefined for union/intersection (conservative)
+ * - Returns undefined for index signatures (can't fully represent)
+ *
+ * @param resolvedType - The resolved TypeScript type
+ * @param node - The enclosing node for type-to-node conversion
+ * @param checker - The TypeScript type checker
+ * @param convertType - Function to convert nested types
+ * @returns Structural members or undefined if extraction fails/skipped
+ */
+const extractStructuralMembers = (resolvedType, node, checker, convertType) => {
+    // Check cache first (handles recursion)
+    const cached = structuralMembersCache.get(resolvedType);
+    if (cached === "in-progress") {
+        // Recursive reference - return undefined to break cycle
+        return undefined;
+    }
+    if (cached !== undefined) {
+        return cached === null ? undefined : cached;
+    }
+    // Gate: only extract for structural types we own
+    if (!shouldExtractStructuralMembers(resolvedType, checker)) {
+        structuralMembersCache.set(resolvedType, null);
+        return undefined;
+    }
+    // Mark as in-progress before recursing.
+    // IMPORTANT: Use try/finally to ensure cache is always settled.
+    // If typeToTypeNode() or convertType() throws, we must not leave
+    // "in-progress" in the cache (would cause future lookups to fail).
+    structuralMembersCache.set(resolvedType, "in-progress");
+    try {
+        // Get properties
+        const properties = resolvedType.getProperties();
+        if (!properties || properties.length === 0) {
+            structuralMembersCache.set(resolvedType, null);
+            return undefined;
+        }
+        // Check for index signatures - can't fully represent these structurally
+        const stringIndexType = checker.getIndexInfoOfType(resolvedType, ts.IndexKind.String);
+        const numberIndexType = checker.getIndexInfoOfType(resolvedType, ts.IndexKind.Number);
+        if (stringIndexType || numberIndexType) {
+            structuralMembersCache.set(resolvedType, null);
+            return undefined;
+        }
+        // Extract members
+        const members = [];
+        for (const prop of properties) {
+            const propName = prop.getName();
+            // Skip non-string keys (symbols, computed) - don't bail entirely
+            if (propName.startsWith("__@") || propName.startsWith("[")) {
+                continue; // Skip this property, keep extracting others
+            }
+            const propType = checker.getTypeOfSymbolAtLocation(prop, node);
+            const declarations = prop.getDeclarations();
+            // Check optional/readonly
+            const isOptional = (prop.flags & ts.SymbolFlags.Optional) !== 0;
+            const isReadonly = declarations?.some((decl) => {
+                if (ts.isPropertySignature(decl) || ts.isPropertyDeclaration(decl)) {
+                    return (decl.modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword) ?? false);
+                }
+                return false;
+            }) ?? false;
+            // Check if it's a method
+            const isMethod = declarations?.some((decl) => ts.isMethodSignature(decl) || ts.isMethodDeclaration(decl)) ?? false;
+            // IMPORTANT: Check for CLR primitive type aliases BEFORE calling typeToTypeNode.
+            // TypeScript eagerly resolves type aliases like `int` to their underlying type `number`
+            // when converting to TypeNode. We need to preserve the alias identity for CLR primitives
+            // so that TSN5110 correctly validates `int` properties accept `int` values.
+            //
+            // The propType.aliasSymbol approach doesn't work because getTypeOfSymbolAtLocation
+            // returns the resolved type without alias info. Instead, we look at the property
+            // declaration's type node directly to see the original type reference.
+            //
+            // Only preserve alias identity when:
+            // 1. The type reference name is a known CLR primitive (e.g., "int")
+            // 2. The type reference resolves to @tsonic/core (not a random user alias)
+            const propDecl = declarations?.[0];
+            if (propDecl &&
+                (ts.isPropertySignature(propDecl) || ts.isPropertyDeclaration(propDecl))) {
+                const declTypeNode = propDecl.type;
+                // Check if the declared type is a type reference to a CLR primitive
+                if (declTypeNode && ts.isTypeReferenceNode(declTypeNode)) {
+                    const typeName = ts.isIdentifier(declTypeNode.typeName)
+                        ? declTypeNode.typeName.text
+                        : undefined;
+                    if (typeName && CLR_PRIMITIVE_TYPE_SET.has(typeName)) {
+                        // Resolve the type reference to check it comes from @tsonic/core
+                        // For type aliases like `int`, we need to get the symbol from the type name identifier
+                        // and follow any aliases (imports) to the original declaration
+                        const typeNameNode = declTypeNode.typeName;
+                        const typeSymbolRaw = ts.isIdentifier(typeNameNode)
+                            ? checker.getSymbolAtLocation(typeNameNode)
+                            : undefined;
+                        // Follow alias chain to get the original symbol (handles re-exports/imports)
+                        const typeSymbol = typeSymbolRaw
+                            ? checker.getAliasedSymbol(typeSymbolRaw)
+                            : undefined;
+                        const refDecl = typeSymbol?.declarations?.[0];
+                        const refSourceFile = refDecl?.getSourceFile();
+                        if (refSourceFile?.fileName.includes("@tsonic/core") ||
+                            refSourceFile?.fileName.includes("@tsonic/types")) {
+                            // Directly emit the CLR primitive type, bypassing typeToTypeNode
+                            const propSig = {
+                                kind: "propertySignature",
+                                name: propName,
+                                type: getClrPrimitiveType(typeName),
+                                isOptional,
+                                isReadonly,
+                            };
+                            members.push(propSig);
+                            continue;
+                        }
+                    }
+                }
+            }
+            const typeNodeFlags = ts.NodeBuilderFlags.NoTruncation;
+            const propTypeNode = checker.typeToTypeNode(propType, node, typeNodeFlags);
+            if (isMethod && propTypeNode && ts.isFunctionTypeNode(propTypeNode)) {
+                // Method signature
+                const methSig = {
+                    kind: "methodSignature",
+                    name: propName,
+                    parameters: propTypeNode.parameters.map((param, index) => ({
+                        kind: "parameter",
+                        pattern: {
+                            kind: "identifierPattern",
+                            name: ts.isIdentifier(param.name)
+                                ? param.name.text
+                                : `arg${index}`,
+                        },
+                        type: param.type ? convertType(param.type, checker) : undefined,
+                        isOptional: !!param.questionToken,
+                        isRest: !!param.dotDotDotToken,
+                        passing: "value",
+                    })),
+                    returnType: propTypeNode.type
+                        ? convertType(propTypeNode.type, checker)
+                        : undefined,
+                };
+                members.push(methSig);
+            }
+            else {
+                // Property signature
+                const propSig = {
+                    kind: "propertySignature",
+                    name: propName,
+                    type: propTypeNode
+                        ? convertType(propTypeNode, checker)
+                        : { kind: "anyType" },
+                    isOptional,
+                    isReadonly,
+                };
+                members.push(propSig);
+            }
+        }
+        const result = members.length > 0 ? members : undefined;
+        structuralMembersCache.set(resolvedType, result ?? null);
+        return result;
+    }
+    catch {
+        // On any error, settle cache to null (not extractable)
+        structuralMembersCache.set(resolvedType, null);
+        return undefined;
+    }
+};
 /**
  * Convert TypeScript type reference to IR type
  * Handles both primitive type names and user-defined types
@@ -15,6 +270,11 @@ export const convertTypeReference = (node, checker, convertType) => {
     if (isPrimitiveTypeName(typeName)) {
         return getPrimitiveType(typeName);
     }
+    // Check for CLR primitive type names (e.g., int from @tsonic/core)
+    // These are compiler-known types that map to distinct primitives, not referenceType
+    if (isClrPrimitiveTypeName(typeName)) {
+        return getClrPrimitiveType(typeName);
+    }
     // Check for Array<T> utility type → convert to arrayType with explicit origin
     // This ensures Array<T> and T[] are treated identically
     const firstTypeArg = node.typeArguments?.[0];
@@ -25,34 +285,87 @@ export const convertTypeReference = (node, checker, convertType) => {
             origin: "explicit",
         };
     }
-    // Check for Record<K, V> utility type → convert to IrDictionaryType
+    // Check for expandable conditional utility types (NonNullable, Exclude, Extract)
+    // These are expanded at compile time by delegating to TypeScript's type checker
+    if (isExpandableConditionalUtilityType(typeName) &&
+        node.typeArguments?.length) {
+        const expanded = expandConditionalUtilityType(node, typeName, checker, convertType);
+        if (expanded)
+            return expanded;
+        // Fall through to referenceType if can't expand (e.g., type parameter)
+    }
+    // Check for Record<K, V> utility type
+    // First try to expand to IrObjectType for finite literal keys
+    // Falls back to IrDictionaryType ONLY for string/number keys (not type parameters)
     const typeArgsForRecord = node.typeArguments;
     const keyTypeNode = typeArgsForRecord?.[0];
     const valueTypeNode = typeArgsForRecord?.[1];
     if (typeName === "Record" && keyTypeNode && valueTypeNode) {
-        const keyType = convertType(keyTypeNode, checker);
-        const valueType = convertType(valueTypeNode, checker);
+        // Try to expand to IrObjectType for finite literal keys
+        const expandedRecord = expandRecordType(node, checker, convertType);
+        if (expandedRecord)
+            return expandedRecord;
+        // Only create dictionary if K is exactly 'string' or 'number'
+        // Type parameters should fall through to referenceType
+        //
+        // NOTE: We check SyntaxKind FIRST because getTypeAtLocation fails on synthesized nodes
+        // (from typeToTypeNode). For synthesized nodes like NumberKeyword, getTypeAtLocation
+        // returns `any` instead of the correct type. Checking SyntaxKind handles both cases.
+        const isStringKey = keyTypeNode.kind === ts.SyntaxKind.StringKeyword ||
+            !!(checker.getTypeAtLocation(keyTypeNode).flags & ts.TypeFlags.String);
+        const isNumberKey = keyTypeNode.kind === ts.SyntaxKind.NumberKeyword ||
+            !!(checker.getTypeAtLocation(keyTypeNode).flags & ts.TypeFlags.Number);
+        if (isStringKey || isNumberKey) {
+            const keyType = convertType(keyTypeNode, checker);
+            const valueType = convertType(valueTypeNode, checker);
+            return {
+                kind: "dictionaryType",
+                keyType,
+                valueType,
+            };
+        }
+        // Type parameter or other complex key type - fall through to referenceType
+    }
+    // Check for expandable utility types (Partial, Required, Readonly, Pick, Omit)
+    // These are expanded to IrObjectType at compile time for concrete types
+    if (isExpandableUtilityType(typeName) && node.typeArguments?.length) {
+        const expanded = expandUtilityType(node, typeName, checker, convertType);
+        if (expanded)
+            return expanded;
+        // Fall through to referenceType if can't expand (e.g., type parameter)
+    }
+    // Handle parameter passing modifiers: out<T>, ref<T>, inref<T>
+    // These are type aliases that should NOT be resolved - we preserve them
+    // so the emitter can detect `as out<T>` casts and emit the correct C# prefix.
+    if ((typeName === "out" || typeName === "ref" || typeName === "inref") &&
+        node.typeArguments &&
+        node.typeArguments.length === 1) {
+        // Safe: we checked length === 1 above
+        const innerTypeArg = node.typeArguments[0];
+        if (!innerTypeArg) {
+            return { kind: "anyType" };
+        }
         return {
-            kind: "dictionaryType",
-            keyType,
-            valueType,
+            kind: "referenceType",
+            name: typeName,
+            typeArguments: [convertType(innerTypeArg, checker)],
         };
     }
-    // NOTE: ref<T>, out<T>, In<T> are no longer supported as types.
-    // Parameter modifiers will be expressed via syntax in the future.
-    // If someone uses ref<T> etc., it will fall through to referenceType
-    // and the validation pass will reject it with a hard error.
     // Check if this is a type parameter reference (e.g., T in Container<T>)
     // Use the type checker to determine if the reference resolves to a type parameter
     const type = checker.getTypeAtLocation(node);
     if (type.flags & ts.TypeFlags.TypeParameter) {
         return { kind: "typeParameterType", name: typeName };
     }
+    // Extract structural members for interfaces and type aliases.
+    // This enables TSN5110 validation for object literal properties.
+    const structuralMembers = extractStructuralMembers(type, node, checker, convertType);
     // Reference type (user-defined or library)
     return {
         kind: "referenceType",
         name: typeName,
         typeArguments: node.typeArguments?.map((t) => convertType(t, checker)),
+        structuralMembers,
     };
 };
 //# sourceMappingURL=references.js.map

package/dist/ir/type-converter/references.js.map

@@ -1 +1 @@
-{"version":3,"file":"references.js","sourceRoot":"","sources":["../../../src/ir/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAExE;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA0B,EAC1B,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;QACpB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IAE5B,iCAAiC;IACjC,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,OAAO,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED,8EAA8E;IAC9E,wDAAwD;IACxD,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,OAAO,IAAI,YAAY,EAAE,CAAC;QACzC,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC;YAC/C,MAAM,EAAE,UAAU;SACnB,CAAC;IACJ,CAAC;IAED,oEAAoE;IACpE,MAAM,iBAAiB,GAAG,IAAI,CAAC,aAAa,CAAC;IAC7C,MAAM,WAAW,GAAG,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,QAAQ,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;QAC1D,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,WAAW,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QAEtD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO;YACP,SAAS;SACU,CAAC;IACxB,CAAC;IAED,gEAAgE;IAChE,kEAAkE;IAClE,qEAAqE;IACrE,4DAA4D;IAE5D,wEAAwE;IACxE,kFAAkF;IAClF,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACvD,CAAC;IAED,2CAA2C;IAC3C,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;KACvE,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../../../src/ir/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,kCAAkC,EAClC,4BAA4B,EAC5B,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAE5B;;;;;;GAMG;AACH,MAAM,sBAAsB,GAAG,IAAI,OAAO,EAGvC,CAAC;AAEJ;;;;;;;;;;;;;GAaG;AACH,MAAM,8BAA8B,GAAG,CACrC,YAAqB,EACrB,QAAwB,EACf,EAAE;IACX,oCAAoC;IACpC,IAAI,YAAY,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,+DAA+D;IAC/D,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,sDAAsD;IACtD,IAAI,YAAY,CAAC,cAAc,EAAE,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,+EAA+E;IAC/E,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,EAAE,CAAC;IACxC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;IAC9C,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,+EAA+E;IAC/E,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;QAErC,qBAAqB;QACrB,IACE,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;YACjC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YACzB,UAAU,CAAC,iBAAiB,EAC5B,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,+CAA+C;IAC/C,IAAI,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,4DAA4D;QAC5D,8CAA8C;QAC9C,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,EAAE,CAAC;QAChD,OAAO,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3D,CAAC;IAED,gGAAgG;IAChG,uGAAuG;IACvG,0DAA0D;IAC1D,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,EAAE,CAAC;QAChD,OAAO,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3D,CAAC;IAED,yCAAyC;IACzC,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,wBAAwB,GAAG,CAC/B,YAAqB,EACrB,IAAa,EACb,OAAuB,EACvB,WAAmE,EACzB,EAAE;IAC5C,wCAAwC;IACxC,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACxD,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;QAC7B,wDAAwD;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9C,CAAC;IAED,iDAAiD;IACjD,IAAI,CAAC,8BAA8B,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QAC3D,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wCAAwC;IACxC,gEAAgE;IAChE,iEAAiE;IACjE,mEAAmE;IACnE,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;IAExD,IAAI,CAAC;QACH,iBAAiB;QACjB,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,EAAE,CAAC;QAChD,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YAC/C,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,wEAAwE;QACxE,MAAM,eAAe,GAAG,OAAO,CAAC,kBAAkB,CAChD,YAAY,EACZ,EAAE,CAAC,SAAS,CAAC,MAAM,CACpB,CAAC;QACF,MAAM,eAAe,GAAG,OAAO,CAAC,kBAAkB,CAChD,YAAY,EACZ,EAAE,CAAC,SAAS,CAAC,MAAM,CACpB,CAAC;QACF,IAAI,eAAe,IAAI,eAAe,EAAE,CAAC;YACvC,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YAC/C,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,kBAAkB;QAClB,MAAM,OAAO,GAAwB,EAAE,CAAC;QAExC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAEhC,iEAAiE;YACjE,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3D,SAAS,CAAC,6CAA6C;YACzD,CAAC;YAED,MAAM,QAAQ,GAAG,OAAO,CAAC,yBAAyB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;YAE5C,0BAA0B;YAC1B,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAChE,MAAM,UAAU,GACd,YAAY,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC1B,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnE,OAAO,CACL,IAAI,CAAC,SAAS,EAAE,IAAI,CAClB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAChD,IAAI,KAAK,CACX,CAAC;gBACJ,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,IAAI,KAAK,CAAC;YAEd,yBAAyB;YACzB,MAAM,QAAQ,GACZ,YAAY,EAAE,IAAI,CAChB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CACrE,IAAI,KAAK,CAAC;YAEb,iFAAiF;YACjF,wFAAwF;YACxF,yFAAyF;YACzF,4EAA4E;YAC5E,EAAE;YACF,mFAAmF;YACnF,iFAAiF;YACjF,uEAAuE;YACvE,EAAE;YACF,qCAAqC;YACrC,oEAAoE;YACpE,2EAA2E;YAC3E,MAAM,QAAQ,GAAG,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;YACnC,IACE,QAAQ;gBACR,CAAC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,EACxE,CAAC;gBACD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;gBACnC,oEAAoE;gBACpE,IAAI,YAAY,IAAI,EAAE,CAAC,mBAAmB,CAAC,YAAY,CAAC,EAAE,CAAC;oBACzD,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC;wBACrD,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI;wBAC5B,CAAC,CAAC,SAAS,CAAC;oBACd,IAAI,QAAQ,IAAI,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACrD,iEAAiE;wBACjE,uFAAuF;wBACvF,+DAA+D;wBAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,QAAQ,CAAC;wBAC3C,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC;4BACjD,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,YAAY,CAAC;4BAC3C,CAAC,CAAC,SAAS,CAAC;wBACd,6EAA6E;wBAC7E,MAAM,UAAU,GAAG,aAAa;4BAC9B,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC;4BACzC,CAAC,CAAC,SAAS,CAAC;wBACd,MAAM,OAAO,GAAG,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;wBAC9C,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,EAAE,CAAC;wBAC/C,IACE,aAAa,EAAE,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;4BAChD,aAAa,EAAE,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,EACjD,CAAC;4BACD,iEAAiE;4BACjE,MAAM,OAAO,GAAwB;gCACnC,IAAI,EAAE,mBAAmB;gCACzB,IAAI,EAAE,QAAQ;gCACd,IAAI,EAAE,mBAAmB,CAAC,QAAiB,CAAC;gCAC5C,UAAU;gCACV,UAAU;6BACX,CAAC;4BACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;4BACtB,SAAS;wBACX,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,MAAM,aAAa,GAAG,EAAE,CAAC,gBAAgB,CAAC,YAAY,CAAC;YACvD,MAAM,YAAY,GAAG,OAAO,CAAC,cAAc,CACzC,QAAQ,EACR,IAAI,EACJ,aAAa,CACd,CAAC;YAEF,IAAI,QAAQ,IAAI,YAAY,IAAI,EAAE,CAAC,kBAAkB,CAAC,YAAY,CAAC,EAAE,CAAC;gBACpE,mBAAmB;gBACnB,MAAM,OAAO,GAAsB;oBACjC,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;wBACzD,IAAI,EAAE,WAAoB;wBAC1B,OAAO,EAAE;4BACP,IAAI,EAAE,mBAA4B;4BAClC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;gCAC/B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI;gCACjB,CAAC,CAAC,MAAM,KAAK,EAAE;yBAClB;wBACD,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;wBAC/D,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;wBACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;wBAC9B,OAAO,EAAE,OAAgB;qBAC1B,CAAC,CAAC;oBACH,UAAU,EAAE,YAAY,CAAC,IAAI;wBAC3B,CAAC,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC;wBACzC,CAAC,CAAC,SAAS;iBACd,CAAC;gBACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,qBAAqB;gBACrB,MAAM,OAAO,GAAwB;oBACnC,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,YAAY;wBAChB,CAAC,CAAC,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC;wBACpC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE;oBACvB,UAAU;oBACV,UAAU;iBACX,CAAC;gBACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC;QACzD,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,uDAAuD;QACvD,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA0B,EAC1B,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;QACpB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IAE5B,iCAAiC;IACjC,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,OAAO,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED,mEAAmE;IACnE,oFAAoF;IACpF,IAAI,sBAAsB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,8EAA8E;IAC9E,wDAAwD;IACxD,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,OAAO,IAAI,YAAY,EAAE,CAAC;QACzC,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC;YAC/C,MAAM,EAAE,UAAU;SACnB,CAAC;IACJ,CAAC;IAED,iFAAiF;IACjF,gFAAgF;IAChF,IACE,kCAAkC,CAAC,QAAQ,CAAC;QAC5C,IAAI,CAAC,aAAa,EAAE,MAAM,EAC1B,CAAC;QACD,MAAM,QAAQ,GAAG,4BAA4B,CAC3C,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;QACF,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,uEAAuE;IACzE,CAAC;IAED,sCAAsC;IACtC,8DAA8D;IAC9D,mFAAmF;IACnF,MAAM,iBAAiB,GAAG,IAAI,CAAC,aAAa,CAAC;IAC7C,MAAM,WAAW,GAAG,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,QAAQ,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;QAC1D,wDAAwD;QACxD,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACpE,IAAI,cAAc;YAAE,OAAO,cAAc,CAAC;QAE1C,8DAA8D;QAC9D,uDAAuD;QACvD,EAAE;QACF,uFAAuF;QACvF,qFAAqF;QACrF,qFAAqF;QACrF,MAAM,WAAW,GACf,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAChD,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACzE,MAAM,WAAW,GACf,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAChD,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAEzE,IAAI,WAAW,IAAI,WAAW,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAClD,MAAM,SAAS,GAAG,WAAW,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;YAEtD,OAAO;gBACL,IAAI,EAAE,gBAAgB;gBACtB,OAAO;gBACP,SAAS;aACU,CAAC;QACxB,CAAC;QACD,2EAA2E;IAC7E,CAAC;IAED,+EAA+E;IAC/E,wEAAwE;IACxE,IAAI,uBAAuB,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QACpE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACzE,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,uEAAuE;IACzE,CAAC;IAED,+DAA+D;IAC/D,wEAAwE;IACxE,8EAA8E;IAC9E,IACE,CAAC,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,OAAO,CAAC;QAClE,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAC/B,CAAC;QACD,sCAAsC;QACtC,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,CAAC;QACD,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,CAAC,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;SACpD,CAAC;IACJ,CAAC;IAED,wEAAwE;IACxE,kFAAkF;IAClF,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACvD,CAAC;IAED,8DAA8D;IAC9D,iEAAiE;IACjE,MAAM,iBAAiB,GAAG,wBAAwB,CAChD,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,WAAW,CACZ,CAAC;IAEF,2CAA2C;IAC3C,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACtE,iBAAiB;KAClB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-converter/utility-types.d.ts

@@ -0,0 +1,93 @@
+/**
+ * Utility type expansion - Partial, Required, Readonly, Pick, Omit
+ *
+ * These utility types are expanded at compile time by resolving the type
+ * through TypeScript's type checker and converting the result to IrObjectType.
+ */
+import * as ts from "typescript";
+import { IrType, IrObjectType } from "../types.js";
+/**
+ * Set of supported mapped utility types that can be expanded
+ */
+export declare const EXPANDABLE_UTILITY_TYPES: Set<string>;
+/**
+ * Check if a type name is an expandable utility type
+ */
+export declare const isExpandableUtilityType: (name: string) => boolean;
+/**
+ * Set of supported conditional utility types that can be expanded
+ * These delegate to TypeScript's type checker for 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;
+/**
+ * Expand a mapped utility type to an IrObjectType.
+ *
+ * This function uses TypeScript's type checker to resolve the utility type
+ * and extracts the properties from the resolved type.
+ *
+ * @param node - The TypeReferenceNode for the utility type
+ * @param typeName - The name of the utility type (Partial, Required, etc.)
+ * @param checker - The TypeScript type checker
+ * @param convertType - Function to convert nested types
+ * @returns IrObjectType with the expanded properties, or null if expansion fails
+ */
+export declare const expandUtilityType: (node: ts.TypeReferenceNode, typeName: string, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrObjectType | null;
+/**
+ * Expand a conditional utility type (NonNullable, Exclude, Extract) to IR.
+ *
+ * This function delegates to TypeScript's type checker to evaluate the
+ * conditional type, then converts the resolved result to IR.
+ *
+ * CONCRETE-ONLY EXPANSION RULE:
+ * This function ONLY expands utility types when ALL type arguments are concrete
+ * (non-generic). If any type argument contains a type parameter, we return null
+ * and let the caller fall through to referenceType. This is intentional because:
+ *
+ * 1. TypeScript's conditional types are distributive over unions, which requires
+ *    knowing the actual types at compile time.
+ * 2. For generic contexts like `function f<T>(x: NonNullable<T>)`, we cannot
+ *    evaluate the conditional - it must remain as a type reference.
+ * 3. This matches TypeScript semantics: deferred evaluation in generic contexts.
+ *
+ * Gating conditions:
+ * - Returns null if any type argument contains type parameters (generic context)
+ * - Returns null if TypeScript cannot resolve the type
+ *
+ * Special handling:
+ * - NonNullable<any> → anyType (preserve)
+ * - NonNullable<unknown> → unknownType (preserve)
+ * - NonNullable<never> → neverType (preserve)
+ * - Result is never → neverType
+ *
+ * @param node - The TypeReferenceNode for the utility type
+ * @param typeName - The name of the utility type (NonNullable, Exclude, Extract)
+ * @param checker - The TypeScript type checker
+ * @param convertType - Function to convert nested types
+ * @returns IR type with the expanded result, or null if expansion fails
+ */
+export declare const expandConditionalUtilityType: (node: ts.TypeReferenceNode, typeName: string, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType | null;
+/**
+ * Expand Record<K, T> to IrObjectType when K is a finite set of literal keys.
+ *
+ * Gating conditions:
+ * - Returns null if K contains type parameters (generic context)
+ * - Returns null if K is string or number (should remain IrDictionaryType)
+ * - Returns null if K contains non-literal types
+ *
+ * Examples:
+ * - Record<"a" | "b", number> → IrObjectType with props {a: number, b: number}
+ * - Record<1 | 2, string> → IrObjectType with props {"1": string, "2": string}
+ * - Record<string, number> → null (use IrDictionaryType)
+ * - Record<K, T> → null (type parameter)
+ *
+ * @param node - The TypeReferenceNode for Record<K, T>
+ * @param checker - The TypeScript type checker
+ * @param convertType - Function to convert nested types
+ * @returns IrObjectType with the expanded properties, or null if should use dictionary
+ */
+export declare const expandRecordType: (node: ts.TypeReferenceNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrObjectType | null;
+//# sourceMappingURL=utility-types.d.ts.map

package/dist/ir/type-converter/utility-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility-types.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/utility-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,YAAY,EAIb,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,eAAO,MAAM,wBAAwB,aAMnC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,MAAM,KAAG,OACnB,CAAC;AAErC;;;GAGG;AACH,eAAO,MAAM,oCAAoC,aAO/C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,kCAAkC,GAAI,MAAM,MAAM,KAAG,OAClB,CAAC;AAkJjD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,UAAU,MAAM,EAChB,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,YAAY,GAAG,IAuIjB,CAAC;AA4BF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,UAAU,MAAM,EAChB,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MAAM,GAAG,IA6DX,CAAC;AAwHF;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,YAAY,GAAG,IAgDjB,CAAC"}