@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/type-system/internal/type-converter/utility-types-cases/helpers.js

@@ -0,0 +1,127 @@
+/**
+ * Shared test helpers for utility type expansion tests
+ *
+ * Covers the safety guarantees per Alice's review:
+ * 1. Index signatures block expansion (never drop members)
+ * 2. Symbol/computed keys block expansion (never drop members)
+ * 3. Explicit undefined is preserved (not stripped)
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as ts from "typescript";
+import { expandUtilityType, expandConditionalUtilityType, expandRecordType, } from "../utility-types.js";
+import { createBinding } from "../../../../binding/index.js";
+/**
+ * Assert value is not null/undefined and return it typed as non-null.
+ * Throws if value is null or undefined.
+ */
+function assertDefined(value, msg) {
+    if (value === null || value === undefined) {
+        throw new Error(msg ?? "Expected value to be defined");
+    }
+    return value;
+}
+/**
+ * Helper to create a TypeScript program from source code
+ */
+const createTestProgram = (source, fileName = "test.ts") => {
+    const compilerOptions = {
+        target: ts.ScriptTarget.ES2022,
+        module: ts.ModuleKind.NodeNext,
+        strict: true,
+        noEmit: true,
+    };
+    const host = ts.createCompilerHost(compilerOptions);
+    const originalGetSourceFile = host.getSourceFile;
+    const originalFileExists = host.fileExists;
+    const originalReadFile = host.readFile;
+    host.getSourceFile = (name, languageVersionOrOptions, onError, shouldCreateNewSourceFile) => {
+        if (name === fileName) {
+            return ts.createSourceFile(fileName, source, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS);
+        }
+        return originalGetSourceFile.call(host, name, languageVersionOrOptions, onError, shouldCreateNewSourceFile);
+    };
+    host.fileExists = (name) => name === fileName || originalFileExists.call(host, name);
+    host.readFile = (name) => name === fileName ? source : originalReadFile.call(host, name);
+    const program = ts.createProgram([fileName], compilerOptions, host);
+    const sourceFile = assertDefined(program.getSourceFile(fileName), `Source file ${fileName} not found`);
+    const checker = program.getTypeChecker();
+    const binding = createBinding(checker);
+    return { program, checker, sourceFile, binding };
+};
+/**
+ * Helper to find a type alias by name and get its type reference node
+ */
+const findTypeAliasReference = (sourceFile, aliasName) => {
+    let result = null;
+    const visitor = (node) => {
+        if (ts.isTypeAliasDeclaration(node) && node.name.text === aliasName) {
+            if (ts.isTypeReferenceNode(node.type)) {
+                result = node.type;
+            }
+        }
+        ts.forEachChild(node, visitor);
+    };
+    ts.forEachChild(sourceFile, visitor);
+    return result;
+};
+/**
+ * Stub convertType for testing - just returns the type name
+ */
+const stubConvertType = (node, _binding) => {
+    if (ts.isTypeReferenceNode(node)) {
+        const name = ts.isIdentifier(node.typeName)
+            ? node.typeName.text
+            : node.typeName.getText();
+        return { kind: "referenceType", name, typeArguments: [] };
+    }
+    if (node.kind === ts.SyntaxKind.StringKeyword) {
+        return { kind: "primitiveType", name: "string" };
+    }
+    if (node.kind === ts.SyntaxKind.NumberKeyword) {
+        return { kind: "primitiveType", name: "number" };
+    }
+    if (node.kind === ts.SyntaxKind.BooleanKeyword) {
+        return { kind: "primitiveType", name: "boolean" };
+    }
+    if (node.kind === ts.SyntaxKind.BigIntKeyword) {
+        return {
+            kind: "referenceType",
+            name: "BigInteger",
+            typeArguments: [],
+            resolvedClrType: "System.Numerics.BigInteger",
+        };
+    }
+    if (node.kind === ts.SyntaxKind.UndefinedKeyword) {
+        return { kind: "primitiveType", name: "undefined" };
+    }
+    if (node.kind === ts.SyntaxKind.NullKeyword) {
+        return { kind: "primitiveType", name: "null" };
+    }
+    if (node.kind === ts.SyntaxKind.NeverKeyword) {
+        return { kind: "neverType" };
+    }
+    // Handle literal type nodes (e.g., "a", 1, null, undefined)
+    if (ts.isLiteralTypeNode(node)) {
+        const literal = node.literal;
+        if (ts.isStringLiteral(literal)) {
+            return { kind: "literalType", value: literal.text };
+        }
+        if (ts.isNumericLiteral(literal)) {
+            return { kind: "literalType", value: Number(literal.text) };
+        }
+        // null can appear as LiteralTypeNode in type positions
+        if (literal.kind === ts.SyntaxKind.NullKeyword) {
+            return { kind: "primitiveType", name: "null" };
+        }
+    }
+    if (ts.isUnionTypeNode(node)) {
+        return {
+            kind: "unionType",
+            types: node.types.map((t) => stubConvertType(t, _binding)),
+        };
+    }
+    return { kind: "anyType" };
+};
+export { describe, it, expect, ts, expandUtilityType, expandConditionalUtilityType, expandRecordType, assertDefined, createTestProgram, findTypeAliasReference, stubConvertType, };
+//# sourceMappingURL=helpers.js.map

package/dist/ir/type-system/internal/type-converter/utility-types-cases/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../../../../src/ir/type-system/internal/type-converter/utility-types-cases/helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,iBAAiB,EACjB,4BAA4B,EAC5B,gBAAgB,GACjB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,aAAa,EAAW,MAAM,8BAA8B,CAAC;AAEtE;;;GAGG;AACH,SAAS,aAAa,CAAI,KAAQ,EAAE,GAAY;IAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,8BAA8B,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,KAAuB,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,MAAM,iBAAiB,GAAG,CACxB,MAAc,EACd,QAAQ,GAAG,SAAS,EAMpB,EAAE;IACF,MAAM,eAAe,GAAuB;QAC1C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;QAC9B,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,IAAI;KACb,CAAC;IAEF,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;IACpD,MAAM,qBAAqB,GAAG,IAAI,CAAC,aAAa,CAAC;IACjD,MAAM,kBAAkB,GAAG,IAAI,CAAC,UAAU,CAAC;IAC3C,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,CAAC;IAEvC,IAAI,CAAC,aAAa,GAAG,CACnB,IAAY,EACZ,wBAAsE,EACtE,OAAmC,EACnC,yBAAmC,EACnC,EAAE;QACF,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,EAAE,CAAC,gBAAgB,CACxB,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;QACJ,CAAC;QACD,OAAO,qBAAqB,CAAC,IAAI,CAC/B,IAAI,EACJ,IAAI,EACJ,wBAAwB,EACxB,OAAO,EACP,yBAAyB,CAC1B,CAAC;IACJ,CAAC,CAAC;IAEF,IAAI,CAAC,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CACjC,IAAI,KAAK,QAAQ,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAE3D,IAAI,CAAC,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE,CAC/B,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAEjE,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,aAAa,CAC9B,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,EAC/B,eAAe,QAAQ,YAAY,CACpC,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAEvC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,sBAAsB,GAAG,CAC7B,UAAyB,EACzB,SAAiB,EACY,EAAE;IAC/B,IAAI,MAAM,GAAgC,IAAI,CAAC;IAE/C,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACpE,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;YACrB,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACrC,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,eAAe,GAAG,CAAC,IAAiB,EAAE,QAAiB,EAAU,EAAE;IACvE,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;YACzC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;YACpB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IAC5D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,aAAa,EAAE,EAAE;YACjB,eAAe,EAAE,4BAA4B;SAC9C,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;QAC7C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC/B,CAAC;IACD,4DAA4D;IAC5D,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC7B,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAY,CAAC;QAChE,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;YACjC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAY,CAAC;QACxE,CAAC;QACD,uDAAuD;QACvD,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAC/C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACjD,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;SAC3D,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC,CAAC;AAEF,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,EAAE,EACF,iBAAiB,EACjB,4BAA4B,EAC5B,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,GAChB,CAAC"}

package/dist/ir/type-system/internal/type-converter/utility-types-cases/record-expansion.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=record-expansion.test.d.ts.map

package/dist/ir/type-system/internal/type-converter/utility-types-cases/record-expansion.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-expansion.test.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/type-system/internal/type-converter/utility-types-cases/record-expansion.test.ts"],"names":[],"mappings":""}

package/dist/ir/type-system/internal/type-converter/utility-types-cases/record-expansion.test.js

@@ -0,0 +1,145 @@
+import { describe, it, expect, ts, expandRecordType, assertDefined, createTestProgram, findTypeAliasReference, stubConvertType, } from "./helpers.js";
+describe("Record Type Expansion", () => {
+    describe("Record with finite literal keys", () => {
+        it("should expand Record with string literal keys to IrObjectType", () => {
+            const source = `
+        type Config = Record<"a" | "b", number>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "Config");
+            const result = expandRecordType(assertDefined(typeRef, "typeRef should be defined"), binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            expect(result?.members).to.have.length(2);
+            const propNames = result?.members
+                .filter((m) => m.kind === "propertySignature")
+                .map((m) => m.name);
+            expect(propNames).to.include("a");
+            expect(propNames).to.include("b");
+        });
+        it("should expand Record with number literal keys to IrObjectType", () => {
+            const source = `
+        type IndexedConfig = Record<1 | 2, string>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "IndexedConfig");
+            const result = expandRecordType(assertDefined(typeRef, "typeRef should be defined"), binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            expect(result?.members).to.have.length(2);
+            // Numeric keys are prefixed with '_' to be valid C# identifiers
+            const propNames = result?.members
+                .filter((m) => m.kind === "propertySignature")
+                .map((m) => m.name);
+            expect(propNames).to.include("_1");
+            expect(propNames).to.include("_2");
+        });
+        it("should expand Record with mixed literal keys", () => {
+            const source = `
+        type MixedConfig = Record<"name" | "age" | "email", boolean>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "MixedConfig");
+            const result = expandRecordType(assertDefined(typeRef, "typeRef should be defined"), binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            expect(result?.members).to.have.length(3);
+        });
+    });
+    describe("Record should fall back for non-literal keys", () => {
+        it("should return null for Record<string, T>", () => {
+            const source = `
+        type Dictionary = Record<string, number>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "Dictionary");
+            const result = expandRecordType(assertDefined(typeRef, "typeRef should be defined"), binding, stubConvertType);
+            // Should return null - use IrDictionaryType instead
+            expect(result).to.equal(null);
+        });
+        it("should return null for Record<number, T>", () => {
+            const source = `
+        type NumberDictionary = Record<number, string>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "NumberDictionary");
+            const result = expandRecordType(assertDefined(typeRef, "typeRef should be defined"), binding, stubConvertType);
+            // Should return null - use IrDictionaryType instead
+            expect(result).to.equal(null);
+        });
+        it("should return null for Record<K, T> where K is a type parameter", () => {
+            const source = `
+        function makeRecord<K extends string>(keys: K[]): Record<K, number> {
+          return {} as Record<K, number>;
+        }
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            let typeRef = null;
+            const visitor = (node) => {
+                if (ts.isTypeReferenceNode(node) &&
+                    ts.isIdentifier(node.typeName) &&
+                    node.typeName.text === "Record") {
+                    typeRef = node;
+                    return; // Take first one (return type)
+                }
+                ts.forEachChild(node, visitor);
+            };
+            ts.forEachChild(sourceFile, visitor);
+            const result = expandRecordType(assertDefined(typeRef, "typeRef should be defined"), binding, stubConvertType);
+            // Should return null - type parameter can't be expanded
+            expect(result).to.equal(null);
+        });
+        it("should return null for Record<PropertyKey, T> (complex key type)", () => {
+            // PropertyKey is string | number | symbol - not a finite set of literals
+            // This should NOT be expanded to objectType or dictionaryType
+            const source = `
+        type AnyKeyRecord = Record<PropertyKey, number>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "AnyKeyRecord");
+            const result = expandRecordType(assertDefined(typeRef, "typeRef should be defined"), binding, stubConvertType);
+            // Should return null - PropertyKey is not a finite set of literals
+            // and should fall through to referenceType (not dictionaryType)
+            expect(result).to.equal(null);
+        });
+    });
+    describe("Record<K, V> full type conversion (integration test)", () => {
+        it("should convert Record<K, V> with type parameter K to referenceType, not dictionaryType", () => {
+            // This tests the full convertTypeReference flow, not just expandRecordType
+            // The bug was: Record<K, V> where K is a type parameter was incorrectly
+            // converted to dictionaryType instead of referenceType
+            const source = `
+        interface Wrapper<K extends string> {
+          data: Record<K, number>;
+        }
+      `;
+            const { checker, sourceFile } = createTestProgram(source);
+            // Find the Record<K, number> type reference in the interface property
+            let typeRef = null;
+            const visitor = (node) => {
+                if (ts.isTypeReferenceNode(node) &&
+                    ts.isIdentifier(node.typeName) &&
+                    node.typeName.text === "Record") {
+                    typeRef = node;
+                }
+                ts.forEachChild(node, visitor);
+            };
+            ts.forEachChild(sourceFile, visitor);
+            // Get the key type node and check its flags
+            expect(typeRef).not.to.equal(null);
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            const foundTypeRef = typeRef;
+            const keyTypeNode = foundTypeRef.typeArguments?.[0];
+            expect(keyTypeNode).not.to.equal(undefined);
+            // NOTE: This test uses getTypeAtLocation to verify TS internal behavior
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            const keyTsType = checker.getTypeAtLocation(keyTypeNode);
+            // The key type should be a type parameter, not string
+            expect(!!(keyTsType.flags & ts.TypeFlags.TypeParameter)).to.equal(true);
+            expect(!!(keyTsType.flags & ts.TypeFlags.String)).to.equal(false);
+            // This confirms the fix: when K is a type parameter, the code should
+            // fall through to referenceType instead of creating a dictionaryType
+        });
+    });
+});
+//# sourceMappingURL=record-expansion.test.js.map

package/dist/ir/type-system/internal/type-converter/utility-types-cases/record-expansion.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-expansion.test.js","sourceRoot":"","sources":["../../../../../../src/ir/type-system/internal/type-converter/utility-types-cases/record-expansion.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,EAAE,EACF,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,GAChB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YAE7D,MAAM,MAAM,GAAG,gBAAgB,CAC7B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE1C,MAAM,SAAS,GAAG,MAAM,EAAE,OAAO;iBAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC;iBAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAsB,CAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAClC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;YAEpE,MAAM,MAAM,GAAG,gBAAgB,CAC7B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE1C,gEAAgE;YAChE,MAAM,SAAS,GAAG,MAAM,EAAE,OAAO;iBAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC;iBAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAsB,CAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YAElE,MAAM,MAAM,GAAG,gBAAgB,CAC7B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;QAC5D,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;YAEjE,MAAM,MAAM,GAAG,gBAAgB,CAC7B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,oDAAoD;YACpD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;YAEvE,MAAM,MAAM,GAAG,gBAAgB,CAC7B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,oDAAoD;YACpD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAE1D,IAAI,OAAO,GAAgC,IAAI,CAAC;YAChD,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;gBACtC,IACE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;oBAC5B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;oBAC9B,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAC/B,CAAC;oBACD,OAAO,GAAG,IAAI,CAAC;oBACf,OAAO,CAAC,+BAA+B;gBACzC,CAAC;gBACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACjC,CAAC,CAAC;YACF,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAErC,MAAM,MAAM,GAAG,gBAAgB,CAC7B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,wDAAwD;YACxD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,yEAAyE;YACzE,8DAA8D;YAC9D,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YAEnE,MAAM,MAAM,GAAG,gBAAgB,CAC7B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,mEAAmE;YACnE,gEAAgE;YAChE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;QACpE,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;YAChG,2EAA2E;YAC3E,wEAAwE;YACxE,uDAAuD;YACvD,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAE1D,sEAAsE;YACtE,IAAI,OAAO,GAAgC,IAAI,CAAC;YAChD,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;gBACtC,IACE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;oBAC5B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;oBAC9B,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAC/B,CAAC;oBACD,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;gBACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACjC,CAAC,CAAC;YACF,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAErC,4CAA4C;YAC5C,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnC,oEAAoE;YACpE,MAAM,YAAY,GAAG,OAAQ,CAAC;YAC9B,MAAM,WAAW,GAAG,YAAY,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC5C,wEAAwE;YACxE,oEAAoE;YACpE,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,WAAY,CAAC,CAAC;YAE1D,sDAAsD;YACtD,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACxE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAElE,qEAAqE;YACrE,qEAAqE;QACvE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -1,80 +1,10 @@
 /**
- * Utility type expansion - Partial, Required, Readonly, Pick, Omit
+ * Utility type expansion - facade
  *
- * DETERMINISTIC IR TYPING (INV-0 compliant):
- * These utility types are expanded using AST-based analysis only.
- * No banned APIs (getTypeAtLocation, getTypeOfSymbolAtLocation, typeToTypeNode).
- * Uses Binding for symbol resolution and extracts types from TypeNodes.
+ * Re-exports mapped utility types (Partial, Required, Readonly, Pick, Omit, Record)
+ * and conditional utility types (NonNullable, Exclude, Extract, ReturnType,
+ * Parameters, Awaited, ConstructorParameters, InstanceType).
  */
-import * as ts from "typescript";
-import { IrType, IrObjectType } from "../../../types.js";
-import type { Binding } from "../../../binding/index.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
- * 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;
-/**
- * Expand a mapped utility type to an IrObjectType.
- *
- * DETERMINISTIC IR TYPING (INV-0 compliant):
- * Uses AST-based analysis only. Gets members from type declarations,
- * not from ts.Type resolution.
- *
- * @param node - The TypeReferenceNode for the utility type
- * @param typeName - The name of the utility type (Partial, Required, etc.)
- * @param binding - The Binding layer for symbol resolution
- * @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, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrObjectType | null;
-/**
- * Expand a conditional utility type (NonNullable, Exclude, Extract) to IR.
- *
- * DETERMINISTIC IR TYPING (INV-0 compliant):
- * Uses AST-based syntactic algorithms only. No getTypeAtLocation or typeToTypeNode.
- *
- * @param node - The TypeReferenceNode for the utility type
- * @param typeName - The name of the utility type (NonNullable, Exclude, Extract, etc.)
- * @param binding - The Binding layer for symbol resolution
- * @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, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrType | null;
-/**
- * Expand Record<K, T> to IrObjectType when K is a finite set of literal keys.
- *
- * DETERMINISTIC IR TYPING (INV-0 compliant):
- * Uses AST-based analysis only. Extracts literal keys from TypeNode,
- * not from ts.Type.
- *
- * 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 binding - The Binding layer for symbol resolution
- * @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, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrObjectType | null;
+export { EXPANDABLE_UTILITY_TYPES, isExpandableUtilityType, expandUtilityType, expandRecordType, } from "./mapped-utility-types.js";
+export { EXPANDABLE_CONDITIONAL_UTILITY_TYPES, isExpandableConditionalUtilityType, expandConditionalUtilityType, } from "./conditional-utility-types.js";
 //# sourceMappingURL=utility-types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"utility-types.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/utility-types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,YAAY,EAGb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AAE1E;;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,aAS/C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,kCAAkC,GAAI,MAAM,MAAM,KAAG,OAClB,CAAC;AAoPjD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,UAAU,MAAM,EAChB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,YAAY,GAAG,IA4JjB,CAAC;AA4sBF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,UAAU,MAAM,EAChB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,MAAM,GAAG,IAQX,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,YAAY,GAAG,IA4CjB,CAAC"}
+{"version":3,"file":"utility-types.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/utility-types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EACL,oCAAoC,EACpC,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,gCAAgC,CAAC"}