@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-return-params.test.js

@@ -0,0 +1,163 @@
+import { describe, it, expect, ts, expandConditionalUtilityType, assertDefined, createTestProgram, findTypeAliasReference, stubConvertType, } from "./helpers.js";
+describe("Conditional Utility Type Expansion", () => {
+    describe("ReturnType<T>", () => {
+        it("should expand ReturnType<() => string> to string", () => {
+            const source = `
+        type Result = ReturnType<() => string>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "Result");
+            const result = expandConditionalUtilityType(assertDefined(typeRef, "typeRef should be defined"), "ReturnType", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("primitiveType");
+            if (result?.kind === "primitiveType") {
+                expect(result.name).to.equal("string");
+            }
+        });
+        it("should expand ReturnType<(x: number) => boolean> to boolean", () => {
+            const source = `
+        type Result = ReturnType<(x: number) => boolean>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "Result");
+            const result = expandConditionalUtilityType(assertDefined(typeRef, "typeRef should be defined"), "ReturnType", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("primitiveType");
+            if (result?.kind === "primitiveType") {
+                expect(result.name).to.equal("boolean");
+            }
+        });
+        it("should expand ReturnType with void return type", () => {
+            const source = `
+        type Result = ReturnType<() => void>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "Result");
+            const result = expandConditionalUtilityType(assertDefined(typeRef, "typeRef should be defined"), "ReturnType", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            // void is handled by fallback
+        });
+        it("should expand ReturnType with union function types", () => {
+            const source = `
+        type Fn1 = () => string;
+        type Fn2 = () => number;
+        type Result = ReturnType<Fn1 | Fn2>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "Result");
+            const result = expandConditionalUtilityType(assertDefined(typeRef, "typeRef should be defined"), "ReturnType", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            // Should be string | number
+            expect(result?.kind).to.equal("unionType");
+            if (result?.kind === "unionType") {
+                expect(result.types).to.have.length(2);
+                const names = result.types
+                    .filter((t) => t.kind === "primitiveType")
+                    .map((t) => (t.kind === "primitiveType" ? t.name : null));
+                expect(names).to.deep.equal(["string", "number"]);
+            }
+        });
+        it("should return null for ReturnType<T> where T is a type parameter", () => {
+            const source = `
+        function process<T extends () => unknown>(fn: T): ReturnType<T> {
+          return fn();
+        }
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            let typeRef = null;
+            const visitor = (node) => {
+                if (ts.isTypeReferenceNode(node) &&
+                    ts.isIdentifier(node.typeName) &&
+                    node.typeName.text === "ReturnType") {
+                    typeRef = node;
+                }
+                ts.forEachChild(node, visitor);
+            };
+            ts.forEachChild(sourceFile, visitor);
+            const result = expandConditionalUtilityType(assertDefined(typeRef, "typeRef should be defined"), "ReturnType", binding, stubConvertType);
+            expect(result).to.equal(null);
+        });
+        it("should expand ReturnType with typeof function", () => {
+            const source = `
+        function add(a: number, b: number): number {
+          return a + b;
+        }
+        type Result = ReturnType<typeof add>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "Result");
+            const result = expandConditionalUtilityType(assertDefined(typeRef, "typeRef should be defined"), "ReturnType", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("primitiveType");
+            if (result?.kind === "primitiveType") {
+                expect(result.name).to.equal("number");
+            }
+        });
+    });
+    describe("Parameters<T>", () => {
+        it("should expand Parameters<(x: string, y: number) => void> to tuple", () => {
+            const source = `
+        type Result = Parameters<(x: string, y: number) => void>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "Result");
+            const result = expandConditionalUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Parameters", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            // Parameters returns a tuple type - the exact representation depends on TypeScript
+        });
+        it("should handle Parameters<() => void> (empty tuple)", () => {
+            const source = `
+        type Result = Parameters<() => void>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "Result");
+            // Empty tuple may return null (falls through to referenceType)
+            // or may return an expanded type - both are acceptable behaviors
+            // The key is that it doesn't throw an error
+            expandConditionalUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Parameters", binding, stubConvertType);
+        });
+        it("should expand Parameters with single parameter", () => {
+            const source = `
+        type Result = Parameters<(x: boolean) => void>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "Result");
+            const result = expandConditionalUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Parameters", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+        });
+        it("should return null for Parameters<T> where T is a type parameter", () => {
+            const source = `
+        function callWith<T extends (...args: unknown[]) => unknown>(
+          fn: T,
+          args: Parameters<T>
+        ): void {
+          fn(...args);
+        }
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            let typeRef = null;
+            const visitor = (node) => {
+                if (ts.isTypeReferenceNode(node) &&
+                    ts.isIdentifier(node.typeName) &&
+                    node.typeName.text === "Parameters") {
+                    typeRef = node;
+                }
+                ts.forEachChild(node, visitor);
+            };
+            ts.forEachChild(sourceFile, visitor);
+            const result = expandConditionalUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Parameters", binding, stubConvertType);
+            expect(result).to.equal(null);
+        });
+        it("should expand Parameters with typeof function", () => {
+            const source = `
+        function greet(name: string, age: number): void {}
+        type Result = Parameters<typeof greet>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "Result");
+            const result = expandConditionalUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Parameters", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+        });
+    });
+});
+//# sourceMappingURL=conditional-return-params.test.js.map

package/dist/ir/type-system/internal/type-converter/utility-types-cases/conditional-return-params.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditional-return-params.test.js","sourceRoot":"","sources":["../../../../../../src/ir/type-system/internal/type-converter/utility-types-cases/conditional-return-params.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,EAAE,EACF,4BAA4B,EAC5B,aAAa,EACb,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,GAChB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,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,4BAA4B,CACzC,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,YAAY,EACZ,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,eAAe,CAAC,CAAC;YAC/C,IAAI,MAAM,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACzC,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,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,4BAA4B,CACzC,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,YAAY,EACZ,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,eAAe,CAAC,CAAC;YAC/C,IAAI,MAAM,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,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,4BAA4B,CACzC,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,YAAY,EACZ,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,8BAA8B;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG;;;;OAId,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,4BAA4B,CACzC,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,YAAY,EACZ,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,4BAA4B;YAC5B,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC3C,IAAI,MAAM,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;gBACjC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBACvC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK;qBACvB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;qBACzC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5D,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YACpD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,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,YAAY,EACnC,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,MAAM,MAAM,GAAG,4BAA4B,CACzC,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,YAAY,EACZ,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,MAAM,GAAG;;;;;OAKd,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,4BAA4B,CACzC,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,YAAY,EACZ,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,eAAe,CAAC,CAAC;YAC/C,IAAI,MAAM,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACzC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,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,4BAA4B,CACzC,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,YAAY,EACZ,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,mFAAmF;QACrF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,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,+DAA+D;YAC/D,iEAAiE;YACjE,4CAA4C;YAC5C,4BAA4B,CAC1B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,YAAY,EACZ,OAAO,EACP,eAAe,CAChB,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,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,4BAA4B,CACzC,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,YAAY,EACZ,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,MAAM,MAAM,GAAG;;;;;;;OAOd,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,YAAY,EACnC,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,MAAM,MAAM,GAAG,4BAA4B,CACzC,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,YAAY,EACZ,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,MAAM,GAAG;;;OAGd,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,4BAA4B,CACzC,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,YAAY,EACZ,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,305 @@
+import { describe, it, expect, ts, expandUtilityType, assertDefined, createTestProgram, findTypeAliasReference, stubConvertType, } from "./helpers.js";
+describe("Utility Type Expansion Safety", () => {
+    describe("Index signatures block expansion", () => {
+        it("should return null for Partial<T> when T has string index signature", () => {
+            const source = `
+        interface WithStringIndex {
+          [key: string]: number;
+          name: string;
+        }
+        type PartialWithIndex = Partial<WithStringIndex>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "PartialWithIndex");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Partial", binding, stubConvertType);
+            // Should return null because expansion would lose the index signature
+            expect(result).to.equal(null);
+        });
+        it("should return null for Readonly<T> when T has number index signature", () => {
+            const source = `
+        interface WithNumberIndex {
+          [key: number]: string;
+          length: number;
+        }
+        type ReadonlyWithIndex = Readonly<WithNumberIndex>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "ReadonlyWithIndex");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Readonly", binding, stubConvertType);
+            // Should return null because expansion would lose the index signature
+            expect(result).to.equal(null);
+        });
+        it("should expand normally when T has no index signatures", () => {
+            const source = `
+        interface Person {
+          name: string;
+          age: number;
+        }
+        type PartialPerson = Partial<Person>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "PartialPerson");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Partial", binding, stubConvertType);
+            // Should expand successfully
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            expect(result?.members).to.have.length(2);
+        });
+    });
+    describe("Symbol/computed keys block expansion", () => {
+        it("should return null when T has symbol keys", () => {
+            // Note: Symbol keys in TypeScript are represented with __@ prefix internally
+            // This test validates that the expansion correctly identifies and rejects them
+            const source = `
+        const sym = Symbol("test");
+        interface WithSymbol {
+          [sym]: string;
+          name: string;
+        }
+        type PartialWithSymbol = Partial<WithSymbol>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "PartialWithSymbol");
+            // This may or may not find the type ref depending on how TS handles it
+            if (typeRef) {
+                const result = expandUtilityType(typeRef, "Partial", binding, stubConvertType);
+                // If expansion proceeds, it should return null due to symbol key
+                // (symbol keys start with __@ internally)
+                // Note: The actual behavior depends on whether TS resolves the symbol key
+                // Either result is null (rejected) or expanded (symbol was ignored)
+                expect(result === null || result.kind === "objectType").to.equal(true);
+            }
+            // Test passes if we get here - the key insight is the code handles this case
+        });
+    });
+    describe("Explicit undefined preservation", () => {
+        it("should preserve explicit undefined in optional property type", () => {
+            const source = `
+        interface WithExplicitUndefined {
+          x?: string | undefined;
+        }
+        type PartialWithUndefined = Partial<WithExplicitUndefined>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "PartialWithUndefined");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Partial", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            // The property should preserve the union with undefined
+            const xProp = result?.members.find((m) => m.kind === "propertySignature" && m.name === "x");
+            expect(xProp).not.to.equal(undefined);
+            // The type should be a union containing undefined
+            if (xProp && xProp.kind === "propertySignature") {
+                // With explicit undefined, the type should include undefined in the union
+                // The exact representation depends on whether we stripped synthetic undefined
+                // The key is that we DON'T strip it when explicit undefined was declared
+                expect(xProp.type.kind).to.equal("unionType");
+            }
+        });
+        it("should strip synthetic undefined from optional property without explicit undefined", () => {
+            const source = `
+        interface WithSyntheticUndefined {
+          x?: string;
+        }
+        type PartialWithSynthetic = Partial<WithSyntheticUndefined>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "PartialWithSynthetic");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Partial", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            // The property type should be string (not string | undefined)
+            // because we strip synthetic undefined
+            const xProp = result?.members.find((m) => m.kind === "propertySignature" && m.name === "x");
+            expect(xProp).not.to.equal(undefined);
+            if (xProp && xProp.kind === "propertySignature") {
+                // Synthetic undefined should be stripped, leaving just string
+                expect(xProp.type.kind).to.equal("primitiveType");
+                if (xProp.type.kind === "primitiveType") {
+                    expect(xProp.type.name).to.equal("string");
+                }
+            }
+        });
+        it("should preserve explicit undefined in required property", () => {
+            const source = `
+        interface WithRequiredUndefined {
+          x: string | undefined;
+        }
+        type PartialRequired = Partial<WithRequiredUndefined>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "PartialRequired");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Partial", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            const xProp = result?.members.find((m) => m.kind === "propertySignature" && m.name === "x");
+            expect(xProp).not.to.equal(undefined);
+            // Required property with explicit undefined should keep the union
+            if (xProp && xProp.kind === "propertySignature") {
+                expect(xProp.type.kind).to.equal("unionType");
+            }
+        });
+    });
+    describe("Readonly preservation in nested utility types", () => {
+        it("should preserve readonly in Partial<Readonly<T>>", () => {
+            const source = `
+        interface Person {
+          name: string;
+          age: number;
+        }
+        type PartialReadonly = Partial<Readonly<Person>>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "PartialReadonly");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Partial", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            // All properties should be readonly (from inner Readonly<T>)
+            const nameProp = result?.members.find((m) => m.kind === "propertySignature" && m.name === "name");
+            expect(nameProp).not.to.equal(undefined);
+            if (nameProp && nameProp.kind === "propertySignature") {
+                expect(nameProp.isReadonly).to.equal(true);
+                expect(nameProp.isOptional).to.equal(true);
+            }
+        });
+        it("should preserve readonly and optional in Readonly<Partial<T>>", () => {
+            const source = `
+        interface Person {
+          name: string;
+          age: number;
+        }
+        type ReadonlyPartial = Readonly<Partial<Person>>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "ReadonlyPartial");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Readonly", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            // All properties should be both readonly (from Readonly<T>) and optional (from Partial<T>)
+            const nameProp = result?.members.find((m) => m.kind === "propertySignature" && m.name === "name");
+            expect(nameProp).not.to.equal(undefined);
+            if (nameProp && nameProp.kind === "propertySignature") {
+                expect(nameProp.isReadonly).to.equal(true);
+                expect(nameProp.isOptional).to.equal(true);
+            }
+        });
+    });
+    describe("Method signatures in utility types", () => {
+        it("should expand interface with method as methodSignature", () => {
+            const source = `
+        interface WithMethod {
+          name: string;
+          greet(greeting: string): string;
+        }
+        type PartialWithMethod = Partial<WithMethod>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "PartialWithMethod");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Partial", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            // Should have both property and method
+            const nameProp = result?.members.find((m) => m.kind === "propertySignature" && m.name === "name");
+            const greetMethod = result?.members.find((m) => m.kind === "methodSignature" && m.name === "greet");
+            expect(nameProp).not.to.equal(undefined);
+            expect(greetMethod).not.to.equal(undefined);
+            // Method should have parameters
+            if (greetMethod && greetMethod.kind === "methodSignature") {
+                expect(greetMethod.parameters).to.have.length(1);
+            }
+        });
+        it("should ignore internal marker members during utility expansion", () => {
+            const source = `
+        interface Probe {
+          readonly "__tsonic_binding_alias_Acme.Core.Probe"?: never;
+          readonly __tsonic_type_Acme_Core_Probe?: never;
+          readonly __tsonic_iface_Acme_Core_Probe?: never;
+          value?: number;
+          greet(name: string): string;
+        }
+        type RequiredProbe = Required<Probe>;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "RequiredProbe");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Required", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            const memberNames = result?.members.map((member) => member.name).sort() ?? [];
+            expect(memberNames).to.deep.equal(["greet", "value"]);
+        });
+    });
+    describe("Pick and Omit with multiple keys", () => {
+        it("should expand Pick with multiple keys", () => {
+            const source = `
+        interface Person {
+          name: string;
+          age: number;
+          email: string;
+          phone: string;
+        }
+        type ContactInfo = Pick<Person, "name" | "email" | "phone">;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "ContactInfo");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Pick", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            // Should only have name, email, phone (not age)
+            expect(result?.members).to.have.length(3);
+            const propNames = result?.members
+                .filter((m) => m.kind === "propertySignature")
+                .map((m) => m.name);
+            expect(propNames).to.include("name");
+            expect(propNames).to.include("email");
+            expect(propNames).to.include("phone");
+            expect(propNames).not.to.include("age");
+        });
+        it("should expand Omit with multiple keys", () => {
+            const source = `
+        interface Person {
+          name: string;
+          age: number;
+          email: string;
+          phone: string;
+        }
+        type MinimalPerson = Omit<Person, "email" | "phone">;
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            const typeRef = findTypeAliasReference(sourceFile, "MinimalPerson");
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Omit", binding, stubConvertType);
+            expect(result).not.to.equal(null);
+            expect(result?.kind).to.equal("objectType");
+            // Should only have name, age (not email, phone)
+            expect(result?.members).to.have.length(2);
+            const propNames = result?.members
+                .filter((m) => m.kind === "propertySignature")
+                .map((m) => m.name);
+            expect(propNames).to.include("name");
+            expect(propNames).to.include("age");
+            expect(propNames).not.to.include("email");
+            expect(propNames).not.to.include("phone");
+        });
+    });
+    describe("Type parameter detection", () => {
+        it("should return null for Partial<T> where T is a type parameter", () => {
+            const source = `
+        function process<T>(data: Partial<T>): void {}
+      `;
+            const { binding, sourceFile } = createTestProgram(source);
+            // Find the Partial<T> type reference in the function parameter
+            let typeRef = null;
+            const visitor = (node) => {
+                if (ts.isTypeReferenceNode(node) &&
+                    ts.isIdentifier(node.typeName) &&
+                    node.typeName.text === "Partial") {
+                    typeRef = node;
+                }
+                ts.forEachChild(node, visitor);
+            };
+            ts.forEachChild(sourceFile, visitor);
+            const result = expandUtilityType(assertDefined(typeRef, "typeRef should be defined"), "Partial", binding, stubConvertType);
+            // Should return null because T is a type parameter - can't expand at compile time
+            expect(result).to.equal(null);
+        });
+    });
+});
+//# sourceMappingURL=expansion-safety.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expansion-safety.test.js","sourceRoot":"","sources":["../../../../../../src/ir/type-system/internal/type-converter/utility-types-cases/expansion-safety.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,EAAE,EACF,iBAAiB,EACjB,aAAa,EACb,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,GAChB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAChD,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,MAAM,GAAG;;;;;;OAMd,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,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,SAAS,EACT,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,sEAAsE;YACtE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC;YAExE,MAAM,MAAM,GAAG,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,UAAU,EACV,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,sEAAsE;YACtE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,MAAM,GAAG;;;;;;OAMd,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,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,SAAS,EACT,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,6BAA6B;YAC7B,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,sCAAsC,EAAE,GAAG,EAAE;QACpD,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,6EAA6E;YAC7E,+EAA+E;YAC/E,MAAM,MAAM,GAAG;;;;;;;OAOd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC;YAExE,uEAAuE;YACvE,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,iBAAiB,CAC9B,OAAO,EACP,SAAS,EACT,OAAO,EACP,eAAe,CAChB,CAAC;gBACF,iEAAiE;gBACjE,0CAA0C;gBAC1C,0EAA0E;gBAC1E,oEAAoE;gBACpE,MAAM,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzE,CAAC;YACD,6EAA6E;QAC/E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CACpC,UAAU,EACV,sBAAsB,CACvB,CAAC;YAEF,MAAM,MAAM,GAAG,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,SAAS,EACT,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;YAE5C,wDAAwD;YACxD,MAAM,KAAK,GAAG,MAAM,EAAE,OAAO,CAAC,IAAI,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CACxD,CAAC;YACF,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAEtC,kDAAkD;YAClD,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBAChD,0EAA0E;gBAC1E,8EAA8E;gBAC9E,yEAAyE;gBACzE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAChD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;YAC5F,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CACpC,UAAU,EACV,sBAAsB,CACvB,CAAC;YAEF,MAAM,MAAM,GAAG,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,SAAS,EACT,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;YAE5C,8DAA8D;YAC9D,uCAAuC;YACvC,MAAM,KAAK,GAAG,MAAM,EAAE,OAAO,CAAC,IAAI,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CACxD,CAAC;YACF,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAEtC,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBAChD,8DAA8D;gBAC9D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBAClD,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBACxC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;YAEtE,MAAM,MAAM,GAAG,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,SAAS,EACT,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,MAAM,EAAE,OAAO,CAAC,IAAI,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CACxD,CAAC;YACF,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAEtC,kEAAkE;YAClE,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBAChD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAChD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;QAC7D,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;YAEtE,MAAM,MAAM,GAAG,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,SAAS,EACT,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;YAE5C,6DAA6D;YAC7D,MAAM,QAAQ,GAAG,MAAM,EAAE,OAAO,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAC3D,CAAC;YACF,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACzC,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACtD,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC3C,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;YAEtE,MAAM,MAAM,GAAG,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,UAAU,EACV,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;YAE5C,2FAA2F;YAC3F,MAAM,QAAQ,GAAG,MAAM,EAAE,OAAO,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAC3D,CAAC;YACF,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACzC,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACtD,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC3C,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAClD,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC;YAExE,MAAM,MAAM,GAAG,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,SAAS,EACT,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;YAE5C,uCAAuC;YACvC,MAAM,QAAQ,GAAG,MAAM,EAAE,OAAO,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAC3D,CAAC;YACF,MAAM,WAAW,GAAG,MAAM,EAAE,OAAO,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAC1D,CAAC;YAEF,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACzC,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAE5C,gCAAgC;YAChC,IAAI,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC1D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACnD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,MAAM,MAAM,GAAG;;;;;;;;;OASd,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,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,UAAU,EACV,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;YAE5C,MAAM,WAAW,GACf,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;YAC5D,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAChD,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG;;;;;;;;OAQd,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,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,MAAM,EACN,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,gDAAgD;YAChD,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,MAAM,CAAC,CAAC;YACrC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACtC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACtC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG;;;;;;;;OAQd,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,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,MAAM,EACN,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,gDAAgD;YAChD,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,MAAM,CAAC,CAAC;YACrC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAC1C,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACxC,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;YAE1D,+DAA+D;YAC/D,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,SAAS,EAChC,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,MAAM,MAAM,GAAG,iBAAiB,CAC9B,aAAa,CAAC,OAAO,EAAE,2BAA2B,CAAC,EACnD,SAAS,EACT,OAAO,EACP,eAAe,CAChB,CAAC;YAEF,kFAAkF;YAClF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,38 @@
+/**
+ * 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 { IrType } from "../../../../types.js";
+import { Binding } from "../../../../binding/index.js";
+/**
+ * Assert value is not null/undefined and return it typed as non-null.
+ * Throws if value is null or undefined.
+ */
+declare function assertDefined<T>(value: T, msg?: string): NonNullable<T>;
+/**
+ * Helper to create a TypeScript program from source code
+ */
+declare const createTestProgram: (source: string, fileName?: string) => {
+    program: ts.Program;
+    checker: ts.TypeChecker;
+    sourceFile: ts.SourceFile;
+    binding: Binding;
+};
+/**
+ * Helper to find a type alias by name and get its type reference node
+ */
+declare const findTypeAliasReference: (sourceFile: ts.SourceFile, aliasName: string) => ts.TypeReferenceNode | null;
+/**
+ * Stub convertType for testing - just returns the type name
+ */
+declare const stubConvertType: (node: ts.TypeNode, _binding: Binding) => IrType;
+export { describe, it, expect, ts, expandUtilityType, expandConditionalUtilityType, expandRecordType, assertDefined, createTestProgram, findTypeAliasReference, stubConvertType, };
+//# sourceMappingURL=helpers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","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,EACjB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAiB,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAEtE;;;GAGG;AACH,iBAAS,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAKhE;AAED;;GAEG;AACH,QAAA,MAAM,iBAAiB,GACrB,QAAQ,MAAM,EACd,iBAAoB,KACnB;IACD,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC;IACpB,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACxB,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IAC1B,OAAO,EAAE,OAAO,CAAC;CAqDlB,CAAC;AAEF;;GAEG;AACH,QAAA,MAAM,sBAAsB,GAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,WAAW,MAAM,KAChB,EAAE,CAAC,iBAAiB,GAAG,IAczB,CAAC;AAEF;;GAEG;AACH,QAAA,MAAM,eAAe,GAAI,MAAM,EAAE,CAAC,QAAQ,EAAE,UAAU,OAAO,KAAG,MAsD/D,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"}