@tsonic/frontend 0.0.61 → 0.0.63

package/dist/ir/type-system/internal/type-converter/orchestrator.test.js

@@ -0,0 +1,265 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as ts from "typescript";
+import { createBinding } from "../../../binding/index.js";
+import { convertType } from "./orchestrator.js";
+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 = program.getSourceFile(fileName);
+    if (!sourceFile) {
+        throw new Error("missing source file");
+    }
+    return { sourceFile, binding: createBinding(program.getTypeChecker()) };
+};
+const convertAlias = (source, aliasName) => {
+    const { sourceFile, binding } = createTestProgram(source);
+    let alias;
+    for (const statement of sourceFile.statements) {
+        if (ts.isTypeAliasDeclaration(statement) &&
+            statement.name.text === aliasName) {
+            alias = statement;
+            break;
+        }
+    }
+    if (!alias) {
+        throw new Error(`type alias ${aliasName} not found`);
+    }
+    return convertType(alias.type, binding);
+};
+describe("Type Converter - Tuple Rest Lowering", () => {
+    it("lowers pure variadic tuple to array type", () => {
+        const converted = convertAlias("type T = [...number[]];", "T");
+        expect(converted).to.deep.equal({
+            kind: "arrayType",
+            elementType: { kind: "primitiveType", name: "number" },
+            origin: "explicit",
+        });
+    });
+    it("lowers fixed + variadic tuple to array with union element", () => {
+        const converted = convertAlias("type T = [string, ...number[]];", "T");
+        expect(converted).to.deep.equal({
+            kind: "arrayType",
+            elementType: {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "string" },
+                    { kind: "primitiveType", name: "number" },
+                ],
+            },
+            origin: "explicit",
+        });
+    });
+    it("lowers fixed + variadic + fixed tuple to array with full union", () => {
+        const converted = convertAlias("type T = [number, ...string[], boolean];", "T");
+        expect(converted).to.deep.equal({
+            kind: "arrayType",
+            elementType: {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "number" },
+                    { kind: "primitiveType", name: "string" },
+                    { kind: "primitiveType", name: "boolean" },
+                ],
+            },
+            origin: "explicit",
+        });
+    });
+    it("handles named tuple members with rest", () => {
+        const converted = convertAlias("type T = [head: string, ...tail: number[]];", "T");
+        expect(converted).to.deep.equal({
+            kind: "arrayType",
+            elementType: {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "string" },
+                    { kind: "primitiveType", name: "number" },
+                ],
+            },
+            origin: "explicit",
+        });
+    });
+});
+describe("Type Converter - Mapped/Conditional Syntax", () => {
+    const expectUnknown = (type) => {
+        expect(type).to.deep.equal({ kind: "unknownType" });
+    };
+    it("lowers direct mapped type syntax to unknownType (never anyType)", () => {
+        const converted = convertAlias("type T<U> = { [K in keyof U]: U[K] | null };", "T");
+        expectUnknown(converted);
+    });
+    it("lowers direct conditional syntax to unknownType (never anyType)", () => {
+        const converted = convertAlias("type T<U> = U extends Promise<infer V> ? V : U;", "T");
+        expectUnknown(converted);
+    });
+    it("lowers parenthesized mapped syntax to unknownType", () => {
+        const converted = convertAlias("type T<U> = ({ [K in keyof U]: U[K] });", "T");
+        expectUnknown(converted);
+    });
+    it("lowers parenthesized conditional syntax to unknownType", () => {
+        const converted = convertAlias("type T<U> = (U extends string ? number : boolean);", "T");
+        expectUnknown(converted);
+    });
+    it("lowers infer-only syntax to unknownType", () => {
+        const converted = convertAlias("type T<U> = U extends Promise<infer V> ? V : never;", "T");
+        expectUnknown(converted);
+    });
+    it("never leaks mapped syntax to anyType when used in unions", () => {
+        const converted = convertAlias("type T<U> = ({ [K in keyof U]: U[K] } | string);", "T");
+        expect(converted.kind).to.equal("unionType");
+        if (converted.kind !== "unionType") {
+            return;
+        }
+        expect(converted.types.some((member) => member.kind === "anyType" || member.kind === "unknownType")).to.equal(true);
+        expect(converted.types.some((member) => member.kind === "anyType")).to.equal(false);
+    });
+    it("never leaks conditional syntax to anyType when used in arrays", () => {
+        const converted = convertAlias("type T<U> = Array<U extends string ? number : boolean>;", "T");
+        expect(converted.kind).to.equal("arrayType");
+        if (converted.kind !== "arrayType") {
+            return;
+        }
+        expect(converted.elementType.kind).to.equal("unknownType");
+    });
+    it("lowers direct infer type node fallback to unknownType", () => {
+        const converted = convertAlias("type T<U> = (U extends infer V ? V : never) extends infer X ? X : never;", "T");
+        expectUnknown(converted);
+    });
+    it("preserves readonly type operator while still lowering nested conditional to unknown", () => {
+        const converted = convertAlias("type T<U> = readonly (U extends string ? number : boolean)[];", "T");
+        expect(converted.kind).to.equal("arrayType");
+        if (converted.kind !== "arrayType") {
+            return;
+        }
+        expect(converted.elementType.kind).to.equal("unknownType");
+    });
+});
+describe("Type Converter - Deterministic Type Operators", () => {
+    it("lowers keyof object literal types to a union of key literals", () => {
+        const converted = convertAlias("type T = keyof { alpha: number; beta: string };", "T");
+        expect(converted).to.deep.equal({
+            kind: "unionType",
+            types: [
+                { kind: "literalType", value: "alpha" },
+                { kind: "literalType", value: "beta" },
+            ],
+        });
+    });
+    it("lowers keyof constrained type parameters via their constraint", () => {
+        const converted = convertAlias("type Keys<T extends { id: number; slug: string }> = keyof T;", "Keys");
+        expect(converted).to.deep.equal({
+            kind: "unionType",
+            types: [
+                { kind: "literalType", value: "id" },
+                { kind: "literalType", value: "slug" },
+            ],
+        });
+    });
+    it("resolves indexed-access property lookups with literal keys", () => {
+        const converted = convertAlias('type T = { id: number; name: string }["id"];', "T");
+        expect(converted).to.deep.equal({ kind: "primitiveType", name: "number" });
+    });
+    it("resolves indexed-access unions of literal keys", () => {
+        const converted = convertAlias('type T = { id: number; name: string }["id" | "name"];', "T");
+        expect(converted).to.deep.equal({
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "number" },
+                { kind: "primitiveType", name: "string" },
+            ],
+        });
+    });
+    it("resolves indexed-access on constrained type parameters", () => {
+        const converted = convertAlias("type V<T extends { id: number; name: string }, K extends keyof T> = T[K];", "V");
+        expect(converted).to.deep.equal({
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "number" },
+                { kind: "primitiveType", name: "string" },
+            ],
+        });
+    });
+    it("expands finite template-literal types to literal unions", () => {
+        const converted = convertAlias('type T = `prefix-${"a" | "b"}`;', "T");
+        expect(converted).to.deep.equal({
+            kind: "unionType",
+            types: [
+                { kind: "literalType", value: "prefix-a" },
+                { kind: "literalType", value: "prefix-b" },
+            ],
+        });
+    });
+    it("falls back template-literal types to string when expansion is non-finite", () => {
+        const converted = convertAlias("type T<U> = `prefix-${U}`;", "T");
+        expect(converted).to.deep.equal({ kind: "primitiveType", name: "string" });
+    });
+    it("falls back template-literal types to string when expansion is too large", () => {
+        const converted = convertAlias('type T = `${"a"|"b"|"c"|"d"|"e"}${"f"|"g"|"h"|"i"|"j"}${"k"|"l"|"m"|"n"|"o"}`;', "T");
+        expect(converted).to.deep.equal({ kind: "primitiveType", name: "string" });
+    });
+});
+describe("Type Converter - Symbol Dictionary Keys", () => {
+    it("lowers symbol keyword types to object reference types", () => {
+        const converted = convertAlias("type T = symbol;", "T");
+        expect(converted).to.deep.equal({
+            kind: "referenceType",
+            name: "object",
+            typeArguments: [],
+        });
+    });
+    it("converts symbol index signatures to dictionaryType with object keys", () => {
+        const converted = convertAlias("type T = { [key: symbol]: number };", "T");
+        expect(converted).to.deep.equal({
+            kind: "dictionaryType",
+            keyType: { kind: "referenceType", name: "object" },
+            valueType: { kind: "primitiveType", name: "number" },
+        });
+    });
+    it("converts Record<symbol, V> to dictionaryType with object keys", () => {
+        const converted = convertAlias("type T = Record<symbol, number>;", "T");
+        expect(converted).to.deep.equal({
+            kind: "dictionaryType",
+            keyType: { kind: "referenceType", name: "object" },
+            valueType: { kind: "primitiveType", name: "number" },
+        });
+    });
+    it("converts Record<string | symbol, V> to dictionaryType with object keys", () => {
+        const converted = convertAlias("type T = Record<string | symbol, number>;", "T");
+        expect(converted).to.deep.equal({
+            kind: "dictionaryType",
+            keyType: { kind: "referenceType", name: "object" },
+            valueType: { kind: "primitiveType", name: "number" },
+        });
+    });
+    it("converts symbol-only interface index signatures to dictionaryType with object keys", () => {
+        const converted = convertAlias(`
+        interface SymbolMap {
+          [key: symbol]: number;
+        }
+        type T = SymbolMap;
+      `, "T");
+        expect(converted).to.deep.equal({
+            kind: "dictionaryType",
+            keyType: { kind: "referenceType", name: "object" },
+            valueType: { kind: "primitiveType", name: "number" },
+        });
+    });
+});
+//# sourceMappingURL=orchestrator.test.js.map

package/dist/ir/type-system/internal/type-converter/orchestrator.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.test.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/orchestrator.test.ts"],"names":[],"mappings":"AAAA,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,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD,MAAM,iBAAiB,GAAG,CACxB,MAAc,EACd,QAAQ,GAAG,SAAS,EACsD,EAAE;IAC5E,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;IACF,IAAI,CAAC,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CACjC,IAAI,KAAK,QAAQ,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3D,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,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACnD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACzC,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAU,EAAE;IACjE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAE1D,IAAI,KAA0C,CAAC;IAC/C,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IACE,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC;YACpC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EACjC,CAAC;YACD,KAAK,GAAG,SAAS,CAAC;YAClB,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,cAAc,SAAS,YAAY,CAAC,CAAC;IACvD,CAAC;IAED,OAAO,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,SAAS,GAAG,YAAY,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC;QAC/D,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,SAAS,GAAG,YAAY,CAAC,iCAAiC,EAAE,GAAG,CAAC,CAAC;QACvE,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAC1C;aACF;YACD,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,SAAS,GAAG,YAAY,CAC5B,0CAA0C,EAC1C,GAAG,CACJ,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;iBAC3C;aACF;YACD,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,SAAS,GAAG,YAAY,CAC5B,6CAA6C,EAC7C,GAAG,CACJ,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAC1C;aACF;YACD,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,MAAM,aAAa,GAAG,CAAC,IAAY,EAAQ,EAAE;QAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC;IAEF,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,SAAS,GAAG,YAAY,CAC5B,8CAA8C,EAC9C,GAAG,CACJ,CAAC;QACF,aAAa,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,SAAS,GAAG,YAAY,CAC5B,iDAAiD,EACjD,GAAG,CACJ,CAAC;QACF,aAAa,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,SAAS,GAAG,YAAY,CAC5B,yCAAyC,EACzC,GAAG,CACJ,CAAC;QACF,aAAa,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,SAAS,GAAG,YAAY,CAC5B,oDAAoD,EACpD,GAAG,CACJ,CAAC;QACF,aAAa,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,SAAS,GAAG,YAAY,CAC5B,qDAAqD,EACrD,GAAG,CACJ,CAAC;QACF,aAAa,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,SAAS,GAAG,YAAY,CAC5B,kDAAkD,EAClD,GAAG,CACJ,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACnC,OAAO;QACT,CAAC;QACD,MAAM,CACJ,SAAS,CAAC,KAAK,CAAC,IAAI,CAClB,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,CACvE,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,CACJ,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAC5D,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,SAAS,GAAG,YAAY,CAC5B,yDAAyD,EACzD,GAAG,CACJ,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACnC,OAAO;QACT,CAAC;QACD,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,SAAS,GAAG,YAAY,CAC5B,0EAA0E,EAC1E,GAAG,CACJ,CAAC;QACF,aAAa,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,SAAS,GAAG,YAAY,CAC5B,+DAA+D,EAC/D,GAAG,CACJ,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACnC,OAAO;QACT,CAAC;QACD,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,SAAS,GAAG,YAAY,CAC5B,iDAAiD,EACjD,GAAG,CACJ,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE;gBACvC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE;aACvC;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,SAAS,GAAG,YAAY,CAC5B,8DAA8D,EAC9D,MAAM,CACP,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;gBACpC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE;aACvC;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,SAAS,GAAG,YAAY,CAC5B,8CAA8C,EAC9C,GAAG,CACJ,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,SAAS,GAAG,YAAY,CAC5B,uDAAuD,EACvD,GAAG,CACJ,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,SAAS,GAAG,YAAY,CAC5B,2EAA2E,EAC3E,GAAG,CACJ,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,SAAS,GAAG,YAAY,CAAC,iCAAiC,EAAE,GAAG,CAAC,CAAC;QAEvE,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,UAAU,EAAE;gBAC1C,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,UAAU,EAAE;aAC3C;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,SAAS,GAAG,YAAY,CAAC,4BAA4B,EAAE,GAAG,CAAC,CAAC;QAElE,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,SAAS,GAAG,YAAY,CAC5B,gFAAgF,EAChF,GAAG,CACJ,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,SAAS,GAAG,YAAY,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;QAExD,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,EAAE;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,SAAS,GAAG,YAAY,CAAC,qCAAqC,EAAE,GAAG,CAAC,CAAC;QAE3E,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,SAAS,GAAG,YAAY,CAAC,kCAAkC,EAAE,GAAG,CAAC,CAAC;QAExE,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,SAAS,GAAG,YAAY,CAC5B,2CAA2C,EAC3C,GAAG,CACJ,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,SAAS,GAAG,YAAY,CAC5B;;;;;OAKC,EACD,GAAG,CACJ,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,aAA2B,CAAC;AAE/D;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,MAAM,GAAG,IA4BtE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,UAAU,MAAM,KACf,QAAQ,IAAI,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAIzD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,GACjC,UAAU,MAAM,KACf,QAAQ,IAAI,KAAK,GAAG,MAEtB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAAW,KAC/D,eAKF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,UAAU,KAAK,GAAG,MAAM,KACvB,eAKF,CAAC"}
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,aAA2B,CAAC;AAE/D;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,MAAM,GAAG,IAiCtE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,UAAU,MAAM,KACf,QAAQ,IAAI,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAIzD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,GACjC,UAAU,MAAM,KACf,QAAQ,IAAI,KAAK,GAAG,MAEtB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAAW,KAC/D,eAKF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,UAAU,KAAK,GAAG,MAAM,KACvB,eAKF,CAAC"}

package/dist/ir/type-system/internal/type-converter/primitives.js

@@ -26,6 +26,11 @@ export const convertPrimitiveKeyword = (kind) => {
             return { kind: "primitiveType", name: "number" };
         case ts.SyntaxKind.BooleanKeyword:
             return { kind: "primitiveType", name: "boolean" };
+        case ts.SyntaxKind.SymbolKeyword:
+            // TypeScript `symbol` is lowered as an opaque object identity handle.
+            // This keeps AOT semantics deterministic without introducing JS runtime symbol
+            // mechanics into the IR type lattice.
+            return { kind: "referenceType", name: "object", typeArguments: [] };
         case ts.SyntaxKind.NullKeyword:
             return { kind: "primitiveType", name: "null" };
         case ts.SyntaxKind.UndefinedKeyword:

package/dist/ir/type-system/internal/type-converter/primitives.js.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AAE/D;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAmB,EAAiB,EAAE;IAC5E,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACjD,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC9B,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAC7B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,gEAAgE;YAChE,sDAAsD;YACtD,6DAA6D;YAC7D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;QACtE;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAgB,EACoD,EAAE;IACtE,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAClE,QAAQ,CACT,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,QAAgB,EACY,EAAE;IAC9B,OAAO,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,QAAgE,EAC/C,EAAE;IACnB,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;KACf,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAwB,EACP,EAAE;IACnB,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;KACf,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AAE/D;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAmB,EAAiB,EAAE;IAC5E,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,sEAAsE;YACtE,+EAA+E;YAC/E,sCAAsC;YACtC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;QACtE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACjD,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC9B,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAC7B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,gEAAgE;YAChE,sDAAsD;YACtD,6DAA6D;YAC7D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;QACtE;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAgB,EACoD,EAAE;IACtE,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAClE,QAAQ,CACT,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,QAAgB,EACY,EAAE;IAC9B,OAAO,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,QAAgE,EAC/C,EAAE;IACnB,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;KACf,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAwB,EACP,EAAE;IACnB,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;KACf,CAAC;AACJ,CAAC,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAuC,MAAM,mBAAmB,CAAC;AAiBhF,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AA2X1E;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,MA2cF,CAAC"}
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAuC,MAAM,mBAAmB,CAAC;AAiBhF,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AA6d1E;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,MAykBF,CAAC"}

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

@@ -94,28 +94,75 @@ const normalizeNamespaceAliasQualifiedName = (typeName) => {
         return typeName;
     return typeName.slice(lastDot + 1);
 };
+const isSymbolTypeReferenceNode = (node) => ts.isTypeReferenceNode(node) &&
+    ts.isIdentifier(node.typeName) &&
+    node.typeName.text === "symbol";
+const classifyDictionaryKeyTypeNode = (keyTypeNode, convertType, binding) => {
+    const keyNodes = ts.isUnionTypeNode(keyTypeNode)
+        ? keyTypeNode.types
+        : [keyTypeNode];
+    let sawString = false;
+    let sawNumber = false;
+    let sawSymbol = false;
+    for (const node of keyNodes) {
+        if (node.kind === ts.SyntaxKind.StringKeyword) {
+            sawString = true;
+            continue;
+        }
+        if (node.kind === ts.SyntaxKind.NumberKeyword) {
+            sawNumber = true;
+            continue;
+        }
+        if (node.kind === ts.SyntaxKind.SymbolKeyword ||
+            isSymbolTypeReferenceNode(node)) {
+            sawSymbol = true;
+            continue;
+        }
+        return undefined;
+    }
+    const distinctKinds = (sawString ? 1 : 0) + (sawNumber ? 1 : 0) + (sawSymbol ? 1 : 0);
+    if (distinctKinds === 0) {
+        return undefined;
+    }
+    if (distinctKinds > 1 || sawSymbol) {
+        return { kind: "referenceType", name: "object" };
+    }
+    if (sawNumber) {
+        return convertType(ts.factory.createKeywordTypeNode(ts.SyntaxKind.NumberKeyword), binding);
+    }
+    return convertType(ts.factory.createKeywordTypeNode(ts.SyntaxKind.StringKeyword), binding);
+};
+const structuralMembersCacheByBinding = new WeakMap();
+const typeAliasBodyCacheByBinding = new WeakMap();
+const getStructuralMembersCache = (binding) => {
+    let cache = structuralMembersCacheByBinding.get(binding);
+    if (!cache) {
+        cache = new Map();
+        structuralMembersCacheByBinding.set(binding, cache);
+    }
+    return cache;
+};
+const getTypeAliasBodyCache = (binding) => {
+    let cache = typeAliasBodyCacheByBinding.get(binding);
+    if (!cache) {
+        cache = new Map();
+        typeAliasBodyCacheByBinding.set(binding, cache);
+    }
+    return cache;
+};
 /**
- * Cache for structural member extraction to prevent infinite recursion
- * on recursive types like `type Node = { next: Node }`.
- *
- * DETERMINISTIC IR TYPING (INV-0 compliant):
- * Key: DeclId.id (numeric identifier) - handles are stable identifiers
- * Value: extracted members, null (not extractable), or "in-progress" sentinel
- */
-const structuralMembersCache = new Map();
-/**
- * Cache for expanding non-declaration-file type aliases (TS-only) into their underlying shapes.
- *
- * Key: DeclId.id (numeric identifier)
- * Value:
- *  - IrType: the *uninstantiated* alias body converted to IR (with typeParameterType nodes)
- *  - "in-progress": recursion guard for self-referential aliases
+ * Check whether a declaration file is a Tsonic-generated bindings artifact.
  *
- * NOTE:
- * We intentionally cache the uninstantiated body and apply type-argument substitution at
- * the reference site. This keeps the cache small and deterministic.
+ * We only apply aggressive declaration-file type-alias erasure to these files.
+ * Airplane-grade rule: Never erase type aliases from tsbindgen-produced stdlib
+ * packages (e.g., @tsonic/dotnet, @tsonic/core). Those aliases often encode CLR
+ * nominal types (interfaces, delegates, indexers) and must remain NOMINAL.
  */
-const typeAliasBodyCache = new Map();
+const isTsonicBindingsDeclarationFile = (fileName) => {
+    // Cross-platform: handle both POSIX and Windows paths.
+    return (fileName.includes("/tsonic/bindings/") ||
+        fileName.includes("\\tsonic\\bindings\\"));
+};
 /**
  * Determine whether a TS-only type alias target is safe to erase to its underlying shape.
  *
@@ -202,6 +249,7 @@ const extractStructuralMembersFromDeclarations = (declId, binding, convertType)
         return undefined;
     }
     // Check cache first (handles recursion)
+    const structuralMembersCache = getStructuralMembersCache(binding);
     const cached = structuralMembersCache.get(declId);
     if (cached === "in-progress") {
         // Recursive reference - return undefined to break cycle
@@ -392,10 +440,8 @@ export const convertTypeReference = (node, binding, convertType) => {
         // DETERMINISTIC: Only check SyntaxKind - no getTypeAtLocation.
         // If the key is a type alias that resolves to string/number, it falls through
         // to referenceType (the user should use `string` or `number` directly).
-        const isStringKey = keyTypeNode.kind === ts.SyntaxKind.StringKeyword;
-        const isNumberKey = keyTypeNode.kind === ts.SyntaxKind.NumberKeyword;
-        if (isStringKey || isNumberKey) {
-            const keyType = convertType(keyTypeNode, binding);
+        const keyType = classifyDictionaryKeyTypeNode(keyTypeNode, convertType, binding);
+        if (keyType) {
             const valueType = convertType(valueTypeNode, binding);
             return {
                 kind: "dictionaryType",
@@ -475,6 +521,20 @@ export const convertTypeReference = (node, binding, convertType) => {
             if (declNode && ts.isTypeParameterDeclaration(declNode)) {
                 return { kind: "typeParameterType", name: typeName };
             }
+            // tsbindgen-generated extension method helpers are exported as `ExtensionMethods`
+            // from facade modules, then imported with a local alias:
+            //   import type { ExtensionMethods as __TsonicExt_Linq } from "@tsonic/dotnet/System.Linq.js";
+            //
+            // In this case the DeclId resolves to the import specifier (not the underlying
+            // `ExtensionMethods_<Namespace>` type alias declaration), so we must recognize
+            // the imported name and erase it to the receiver shape for deterministic typing.
+            if (declNode &&
+                ts.isImportSpecifier(declNode) &&
+                (declNode.propertyName ?? declNode.name).text === "ExtensionMethods" &&
+                node.typeArguments?.length === 1) {
+                const shape = node.typeArguments[0];
+                return shape ? convertType(shape, binding) : { kind: "unknownType" };
+            }
             // Pure index-signature interface/type alias: treat as dictionaryType.
             //
             // This supports idiomatic TS dictionary surfaces:
@@ -501,9 +561,12 @@ export const convertTypeReference = (node, binding, convertType) => {
                 const indexSig = indexSignatures[0];
                 const keyParam = indexSig?.parameters[0];
                 const keyTypeNode = keyParam?.type;
-                const keyType = keyTypeNode && keyTypeNode.kind === ts.SyntaxKind.NumberKeyword
-                    ? { kind: "primitiveType", name: "number" }
-                    : { kind: "primitiveType", name: "string" };
+                const keyType = (() => {
+                    if (!keyTypeNode) {
+                        return { kind: "primitiveType", name: "string" };
+                    }
+                    return (classifyDictionaryKeyTypeNode(keyTypeNode, convertType, binding) ?? { kind: "primitiveType", name: "string" });
+                })();
                 const valueType = indexSig?.type
                     ? convertType(indexSig.type, binding)
                     : { kind: "anyType" };
@@ -583,6 +646,70 @@ export const convertTypeReference = (node, binding, convertType) => {
                         return fnType;
                     }
                 }
+                // Declaration-file type aliases are often TS-only “ergonomic” names (including
+                // Tsonic source type aliases appended to generated bindings).
+                //
+                // These aliases have NO CLR identity and must erase to their underlying shapes
+                // so emission uses CLR-backed types.
+                //
+                // Examples (from generated bindings):
+                //   export type Ok<T> = Internal.Ok__Alias_1<T>;
+                //   export type Result<T, E = string> = Ok<T> | Err<E>;
+                //
+                // If we keep these nominal, the emitter will try to reference a CLR type
+                // named `Ok` / `Result` which does not exist, causing C# compile failures
+                // in downstream projects.
+                //
+                // IMPORTANT: We must NOT erase:
+                // - Delegate aliases (handled above)
+                // - Facade conditional “arity families” (handled below)
+                // - Conditional type aliases generally (unsupported in the compiler subset)
+                if (
+                // Only erase *type-only* declaration-file aliases.
+                //
+                // tsbindgen uses merged type+value symbols for CLR types:
+                //   export interface DbSet_1$instance<T> { ... }
+                //   export const DbSet_1: ...;
+                //   export type DbSet_1<T> = DbSet_1$instance<T> & __DbSet_1$views<T>;
+                //
+                // These must remain NOMINAL so we don't pull synthetic helper interfaces
+                // like `__DbSet_1$views` into user code (they have no CLR binding).
+                //
+                // By contrast, tsonic-generated bindings often include TS-only re-exports:
+                //   export type Ok<T> = Internal.Ok__Alias_1<T>;
+                //   export type Result<T, E = string> = Ok<T> | Err<E>;
+                //
+                // Those aliases have no CLR identity and must erase to their shapes.
+                declNode.getSourceFile().isDeclarationFile &&
+                    isTsonicBindingsDeclarationFile(declNode.getSourceFile().fileName) &&
+                    !declInfo.valueDeclNode &&
+                    !ts.isConditionalTypeNode(declNode.type)) {
+                    const key = declId.id;
+                    const typeAliasBodyCache = getTypeAliasBodyCache(binding);
+                    const cached = typeAliasBodyCache.get(key);
+                    if (cached !== "in-progress") {
+                        const base = cached ??
+                            (() => {
+                                typeAliasBodyCache.set(key, "in-progress");
+                                const converted = convertType(declNode.type, binding);
+                                typeAliasBodyCache.set(key, converted);
+                                return converted;
+                            })();
+                        const aliasTypeParams = (declNode.typeParameters ?? []).map((tp) => tp.name.text);
+                        const refTypeArgs = (node.typeArguments ?? []).map((t) => convertType(t, binding));
+                        if (aliasTypeParams.length > 0 && refTypeArgs.length > 0) {
+                            const subst = new Map();
+                            for (let i = 0; i < Math.min(aliasTypeParams.length, refTypeArgs.length); i++) {
+                                const name = aliasTypeParams[i];
+                                const arg = refTypeArgs[i];
+                                if (name && arg)
+                                    subst.set(name, arg);
+                            }
+                            return subst.size > 0 ? substituteIrType(base, subst) : base;
+                        }
+                        return base;
+                    }
+                }
                 // User-defined type aliases are TS-only and have no CLR identity.
                 //
                 // For deterministic typing (especially generic inference), we must erase them to their
@@ -598,6 +725,7 @@ export const convertTypeReference = (node, binding, convertType) => {
                 if (!declNode.getSourceFile().isDeclarationFile &&
                     isSafeToEraseUserTypeAliasTarget(declNode.type)) {
                     const key = declId.id;
+                    const typeAliasBodyCache = getTypeAliasBodyCache(binding);
                     const cached = typeAliasBodyCache.get(key);
                     if (cached === "in-progress") {
                         // Recursive alias expansion: fall through to the referenceType path to avoid infinite recursion.
@@ -703,6 +831,24 @@ export const convertTypeReference = (node, binding, convertType) => {
             .getDecl(declId);
         return declInfo?.fqName ?? typeName;
     })();
+    // tsbindgen exports extension method helpers as:
+    //   export type { ExtensionMethods_System_Linq as ExtensionMethods } from "./__internal/extensions/index.js";
+    //
+    // Call sites (and generated bindings for Tsonic source) will often import these with a local alias:
+    //   import type { ExtensionMethods as __TsonicExt_Linq } from "@tsonic/dotnet/System.Linq.js";
+    //
+    // In that case, the TypeReference's `typeName` is the local alias (e.g. "__TsonicExt_Linq"),
+    // and the earlier `declNode.name.text.startsWith("ExtensionMethods_")` erasure check won't match
+    // because the DeclId points at an import specifier, not the original type-alias declaration node.
+    //
+    // Airplane-grade rule: these helpers are TS-only wrappers and must erase to the receiver shape
+    // for deterministic IR typing / generic inference.
+    if ((resolvedName.startsWith("ExtensionMethods_") ||
+        resolvedName === "ExtensionMethods") &&
+        node.typeArguments?.length === 1) {
+        const shape = node.typeArguments[0];
+        return shape ? convertType(shape, binding) : { kind: "unknownType" };
+    }
     // Reference type (user-defined or library)
     return {
         kind: "referenceType",