@tsonic/emitter 0.0.74 → 0.0.75

package/dist/type-assertion.test.js

@@ -5,6 +5,16 @@
 import { describe, it } from "mocha";
 import { expect } from "chai";
 import { emitModule } from "./emitter.js";
+import { createContext } from "./emitter-types/context.js";
+import { emitAssignment } from "./expressions/operators/assignment-emitter.js";
+import { printExpression } from "./core/format/backend-ast/printer.js";
+import { emitExpressionAst } from "./expression-emitter.js";
+import { normalizeRuntimeUnionCarrierNames, printRuntimeUnionCarrierType, printRuntimeUnionCarrierTypeForIrType, } from "./runtime-union-cases/helpers.js";
+const jsValueType = {
+    kind: "referenceType",
+    name: "JsValue",
+    resolvedClrType: "Tsonic.Runtime.JsValue",
+};
 describe("Type Assertion Emission", () => {
     it("should strip 'as' type assertions", () => {
         const module = {
@@ -77,6 +87,13 @@ describe("Type Assertion Emission", () => {
         expect(code).not.to.match(/\sas\s/);
     });
     it("should preserve union types when assertion is stripped", () => {
+        const inputType = {
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "string" },
+                { kind: "primitiveType", name: "number" },
+            ],
+        };
         const module = {
             kind: "module",
             filePath: "/test/unionAssert.ts",
@@ -93,13 +110,7 @@ describe("Type Assertion Emission", () => {
                         {
                             kind: "parameter",
                             pattern: { kind: "identifierPattern", name: "input" },
-                            type: {
-                                kind: "unionType",
-                                types: [
-                                    { kind: "primitiveType", name: "string" },
-                                    { kind: "primitiveType", name: "number" },
-                                ],
-                            },
+                            type: inputType,
                             isOptional: false,
                             isRest: false,
                             passing: "value",
@@ -125,9 +136,246 @@ describe("Type Assertion Emission", () => {
         };
         const code = emitModule(module);
         // Should preserve union type parameter
-        expect(code).to.include("Union<string, double> input");
-        // Should return the value directly
-        expect(code).to.include("return input");
+        expect(code).to.include(`${printRuntimeUnionCarrierTypeForIrType(inputType, [
+            { kind: "predefinedType", keyword: "double" },
+            { kind: "predefinedType", keyword: "string" },
+        ])} input`);
+        expect(code).to.include("return input.Match<string>(");
+    });
+    it("preserves dictionary assertions as runtime casts", () => {
+        const module = {
+            kind: "module",
+            filePath: "/test/dictionaryAssert.ts",
+            namespace: "Test",
+            className: "dictionaryAssert",
+            isStaticContainer: true,
+            imports: [],
+            exports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "read",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "input" },
+                            type: jsValueType,
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: {
+                        kind: "dictionaryType",
+                        keyType: { kind: "primitiveType", name: "string" },
+                        valueType: jsValueType,
+                    },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "returnStatement",
+                                expression: {
+                                    kind: "typeAssertion",
+                                    expression: {
+                                        kind: "identifier",
+                                        name: "input",
+                                        inferredType: jsValueType,
+                                    },
+                                    targetType: {
+                                        kind: "dictionaryType",
+                                        keyType: { kind: "primitiveType", name: "string" },
+                                        valueType: jsValueType,
+                                    },
+                                    inferredType: {
+                                        kind: "dictionaryType",
+                                        keyType: { kind: "primitiveType", name: "string" },
+                                        valueType: jsValueType,
+                                    },
+                                },
+                            },
+                        ],
+                    },
+                    isAsync: false,
+                    isGenerator: false,
+                    isExported: true,
+                },
+            ],
+        };
+        const code = emitModule(module);
+        expect(code).to.include("return (global::System.Collections.Generic.Dictionary<string, object?>)input;");
+    });
+    it("erases never assertions instead of emitting invalid void casts", () => {
+        const module = {
+            kind: "module",
+            filePath: "/test/neverAssert.ts",
+            namespace: "Test",
+            className: "neverAssert",
+            isStaticContainer: true,
+            imports: [],
+            exports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "value",
+                    parameters: [],
+                    returnType: jsValueType,
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "returnStatement",
+                                expression: {
+                                    kind: "typeAssertion",
+                                    expression: {
+                                        kind: "literal",
+                                        value: undefined,
+                                        inferredType: { kind: "primitiveType", name: "undefined" },
+                                    },
+                                    targetType: { kind: "neverType" },
+                                    inferredType: { kind: "neverType" },
+                                },
+                            },
+                        ],
+                    },
+                    isAsync: false,
+                    isGenerator: false,
+                    isExported: true,
+                },
+            ],
+        };
+        const code = emitModule(module);
+        expect(code).to.not.include("(void)default");
+    });
+    it("projects duplicate runtime-union assertions to a single Match", () => {
+        const memberType = { kind: "typeParameterType", name: "T" };
+        const duplicatedCarrier = {
+            kind: "unionType",
+            preserveRuntimeLayout: true,
+            types: [memberType, memberType],
+        };
+        const context = createContext({ rootNamespace: "Test" });
+        const [ast] = emitExpressionAst({
+            kind: "typeAssertion",
+            expression: {
+                kind: "identifier",
+                name: "value",
+                inferredType: duplicatedCarrier,
+            },
+            targetType: memberType,
+            inferredType: memberType,
+        }, context, memberType);
+        expect(printExpression(ast)).to.match(/^value\.Match(?:<.*?>)?\(__tsonic_union_member_1 => __tsonic_union_member_1, __tsonic_union_member_2 => __tsonic_union_member_2\)$/);
+    });
+    it("lifts duplicate runtime-union assertions with a single factory call", () => {
+        const memberType = { kind: "typeParameterType", name: "T" };
+        const duplicatedCarrier = {
+            kind: "unionType",
+            preserveRuntimeLayout: true,
+            types: [memberType, memberType],
+        };
+        const context = createContext({ rootNamespace: "Test" });
+        const [ast] = emitExpressionAst({
+            kind: "typeAssertion",
+            expression: {
+                kind: "identifier",
+                name: "value",
+                inferredType: memberType,
+            },
+            targetType: duplicatedCarrier,
+            inferredType: duplicatedCarrier,
+        }, context, duplicatedCarrier);
+        expect(printExpression(ast)).to.equal(`${printRuntimeUnionCarrierType([
+            { kind: "identifierType", name: "T" },
+            { kind: "identifierType", name: "T" },
+        ])}.From1(value)`);
+    });
+    it("threads narrowed typeof assertions into union assignments without re-widening the narrowed member", () => {
+        const numberType = { kind: "primitiveType", name: "number" };
+        const stringType = { kind: "primitiveType", name: "string" };
+        const nullType = { kind: "primitiveType", name: "null" };
+        const undefinedType = {
+            kind: "primitiveType",
+            name: "undefined",
+        };
+        const callbackType = {
+            kind: "functionType",
+            parameters: [],
+            returnType: { kind: "voidType" },
+        };
+        const hostnameType = {
+            kind: "unionType",
+            types: [callbackType, nullType, numberType, stringType, undefinedType],
+        };
+        const backlogType = {
+            kind: "unionType",
+            types: [callbackType, nullType, numberType, undefinedType],
+        };
+        const context = {
+            ...createContext({ rootNamespace: "Test" }),
+            localSemanticTypes: new Map([
+                ["hostname", hostnameType],
+                ["backlog", backlogType],
+            ]),
+            localValueTypes: new Map([
+                ["hostname", hostnameType],
+                ["backlog", backlogType],
+            ]),
+            narrowedBindings: new Map([
+                [
+                    "hostname",
+                    {
+                        kind: "expr",
+                        exprAst: {
+                            kind: "parenthesizedExpression",
+                            expression: {
+                                kind: "invocationExpression",
+                                expression: {
+                                    kind: "memberAccessExpression",
+                                    expression: {
+                                        kind: "identifierExpression",
+                                        identifier: "hostname",
+                                    },
+                                    memberName: "As2",
+                                },
+                                arguments: [],
+                            },
+                        },
+                        storageExprAst: {
+                            kind: "identifierExpression",
+                            identifier: "hostname",
+                        },
+                        type: numberType,
+                        sourceType: hostnameType,
+                    },
+                ],
+            ]),
+        };
+        const [assignmentAst] = emitAssignment({
+            kind: "assignment",
+            operator: "=",
+            left: {
+                kind: "identifier",
+                name: "backlog",
+                inferredType: backlogType,
+            },
+            right: {
+                kind: "typeAssertion",
+                expression: {
+                    kind: "identifier",
+                    name: "hostname",
+                    inferredType: hostnameType,
+                },
+                targetType: numberType,
+                inferredType: numberType,
+            },
+            inferredType: backlogType,
+        }, context);
+        const emitted = normalizeRuntimeUnionCarrierNames(printExpression(assignmentAst));
+        expect(emitted).to.not.include("(global::Tsonic.Internal.Union<global::System.Action, double>");
+        expect(emitted).to.not.include(".Match");
+        expect(emitted).to.include(".From2(");
+        expect(emitted).to.include("hostname.As2()");
     });
 });
 //# sourceMappingURL=type-assertion.test.js.map

package/dist/type-assertion.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-assertion.test.js","sourceRoot":"","sources":["../src/type-assertion.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG1C,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,oBAAoB;YAC9B,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,WAAW;YACtB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,UAAU,EAAE,KAAK;oBACjB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BAClD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,kDAAkD;4BAClD,4CAA4C;4BAC5C,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE;yBACjD;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEhC,4DAA4D;QAC5D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAClD,mFAAmF;QACnF,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,iBAAiB;YAC3B,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,QAAQ;YACnB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,uDAAuD;gCACvD,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE;6BAC3C;yBACF;qBACF;oBACD,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE,IAAI;iBACjB;aACF;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEhC,gFAAgF;QAChF,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACrC,mFAAmF;QACnF,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,sBAAsB;YAChC,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,aAAa;YACxB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,KAAK,EAAE;oCACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oCACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCAC1C;6BACF;4BACD,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,0DAA0D;gCAC1D,yCAAyC;gCACzC,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;6BAClD;yBACF;qBACF;oBACD,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE,IAAI;iBACjB;aACF;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEhC,uCAAuC;QACvC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QACvD,mCAAmC;QACnC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"type-assertion.test.js","sourceRoot":"","sources":["../src/type-assertion.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,+CAA+C,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EACL,iCAAiC,EACjC,4BAA4B,EAC5B,qCAAqC,GACtC,MAAM,kCAAkC,CAAC;AAE1C,MAAM,WAAW,GAAW;IAC1B,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,SAAS;IACf,eAAe,EAAE,wBAAwB;CAC1C,CAAC;AAEF,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,oBAAoB;YAC9B,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,WAAW;YACtB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,UAAU,EAAE,KAAK;oBACjB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BAClD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,kDAAkD;4BAClD,4CAA4C;4BAC5C,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE;yBACjD;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEhC,4DAA4D;QAC5D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAClD,mFAAmF;QACnF,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,iBAAiB;YAC3B,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,QAAQ;YACnB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,uDAAuD;gCACvD,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE;6BAC3C;yBACF;qBACF;oBACD,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE,IAAI;iBACjB;aACF;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEhC,gFAAgF;QAChF,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACrC,mFAAmF;QACnF,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,SAAS,GAAW;YACxB,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;QACF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,sBAAsB;YAChC,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,aAAa;YACxB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE,SAAS;4BACf,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,0DAA0D;gCAC1D,yCAAyC;gCACzC,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;6BAClD;yBACF;qBACF;oBACD,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE,IAAI;iBACjB;aACF;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEhC,uCAAuC;QACvC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CACrB,GAAG,qCAAqC,CAAC,SAAS,EAAE;YAClD,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;YAC7C,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;SAC9C,CAAC,QAAQ,CACX,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,2BAA2B;YACrC,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,kBAAkB;YAC7B,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE,WAAW;4BACjB,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI,EAAE,gBAAgB;wBACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAClD,SAAS,EAAE,WAAW;qBACvB;oBACD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE;oCACV,IAAI,EAAE,eAAe;oCACrB,UAAU,EAAE;wCACV,IAAI,EAAE,YAAY;wCAClB,IAAI,EAAE,OAAO;wCACb,YAAY,EAAE,WAAW;qCAC1B;oCACD,UAAU,EAAE;wCACV,IAAI,EAAE,gBAAgB;wCACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wCAClD,SAAS,EAAE,WAAW;qCACvB;oCACD,YAAY,EAAE;wCACZ,IAAI,EAAE,gBAAgB;wCACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wCAClD,SAAS,EAAE,WAAW;qCACvB;iCACF;6BACF;yBACF;qBACF;oBACD,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE,IAAI;iBACjB;aACF;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEhC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CACrB,+EAA+E,CAChF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,sBAAsB;YAChC,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,aAAa;YACxB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,OAAO;oBACb,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,WAAW;oBACvB,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE;oCACV,IAAI,EAAE,eAAe;oCACrB,UAAU,EAAE;wCACV,IAAI,EAAE,SAAS;wCACf,KAAK,EAAE,SAAS;wCAChB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;qCAC3D;oCACD,UAAU,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE;oCACjC,YAAY,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE;iCACpC;6BACF;yBACF;qBACF;oBACD,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE,IAAI;iBACjB;aACF;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEhC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACpE,MAAM,iBAAiB,GAAW;YAChC,IAAI,EAAE,WAAW;YACjB,qBAAqB,EAAE,IAAI;YAC3B,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;SAChC,CAAC;QACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CAAC,GAAG,CAAC,GAAG,iBAAiB,CAC7B;YACE,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE;gBACV,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,OAAO;gBACb,YAAY,EAAE,iBAAiB;aAChC;YACD,UAAU,EAAE,UAAU;YACtB,YAAY,EAAE,UAAU;SACzB,EACD,OAAO,EACP,UAAU,CACX,CAAC;QAEF,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnC,oIAAoI,CACrI,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACpE,MAAM,iBAAiB,GAAW;YAChC,IAAI,EAAE,WAAW;YACjB,qBAAqB,EAAE,IAAI;YAC3B,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;SAChC,CAAC;QACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CAAC,GAAG,CAAC,GAAG,iBAAiB,CAC7B;YACE,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE;gBACV,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,OAAO;gBACb,YAAY,EAAE,UAAU;aACzB;YACD,UAAU,EAAE,iBAAiB;YAC7B,YAAY,EAAE,iBAAiB;SAChC,EACD,OAAO,EACP,iBAAiB,CAClB,CAAC;QAEF,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnC,GAAG,4BAA4B,CAAC;YAC9B,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,GAAG,EAAE;YACrC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,GAAG,EAAE;SACtC,CAAC,eAAe,CAClB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mGAAmG,EAAE,GAAG,EAAE;QAC3G,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACrE,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACrE,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACjE,MAAM,aAAa,GAAW;YAC5B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,WAAW;SAClB,CAAC;QACF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;SACjC,CAAC;QACF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,CAAC;SACvE,CAAC;QACF,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,CAAC;SAC3D,CAAC;QAEF,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,kBAAkB,EAAE,IAAI,GAAG,CAAiB;gBAC1C,CAAC,UAAU,EAAE,YAAY,CAAC;gBAC1B,CAAC,SAAS,EAAE,WAAW,CAAC;aACzB,CAAC;YACF,eAAe,EAAE,IAAI,GAAG,CAAiB;gBACvC,CAAC,UAAU,EAAE,YAAY,CAAC;gBAC1B,CAAC,SAAS,EAAE,WAAW,CAAC;aACzB,CAAC;YACF,gBAAgB,EAAE,IAAI,GAAG,CAAC;gBACxB;oBACE,UAAU;oBACV;wBACE,IAAI,EAAE,MAAe;wBACrB,OAAO,EAAE;4BACP,IAAI,EAAE,yBAAkC;4BACxC,UAAU,EAAE;gCACV,IAAI,EAAE,sBAA+B;gCACrC,UAAU,EAAE;oCACV,IAAI,EAAE,wBAAiC;oCACvC,UAAU,EAAE;wCACV,IAAI,EAAE,sBAA+B;wCACrC,UAAU,EAAE,UAAU;qCACvB;oCACD,UAAU,EAAE,KAAK;iCAClB;gCACD,SAAS,EAAE,EAAE;6BACd;yBACF;wBACD,cAAc,EAAE;4BACd,IAAI,EAAE,sBAA+B;4BACrC,UAAU,EAAE,UAAU;yBACvB;wBACD,IAAI,EAAE,UAAU;wBAChB,UAAU,EAAE,YAAY;qBACzB;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,CAAC,aAAa,CAAC,GAAG,cAAc,CACpC;YACE,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,SAAS;gBACf,YAAY,EAAE,WAAW;aAC1B;YACD,KAAK,EAAE;gBACL,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE;oBACV,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,UAAU;oBAChB,YAAY,EAAE,YAAY;iBAC3B;gBACD,UAAU,EAAE,UAAU;gBACtB,YAAY,EAAE,UAAU;aACzB;YACD,YAAY,EAAE,WAAW;SAC1B,EACD,OAAO,CACR,CAAC;QAEF,MAAM,OAAO,GAAG,iCAAiC,CAC/C,eAAe,CAAC,aAAa,CAAC,CAC/B,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAC5B,+DAA+D,CAChE,CAAC;QACF,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/types/arrays.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"arrays.d.ts","sourceRoot":"","sources":["../../src/types/arrays.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAEzE;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EAC5C,SAAS,cAAc,KACtB,CAAC,aAAa,EAAE,cAAc,CAMhC,CAAC"}
+{"version":3,"file":"arrays.d.ts","sourceRoot":"","sources":["../../src/types/arrays.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAIzE;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EAC5C,SAAS,cAAc,KACtB,CAAC,aAAa,EAAE,cAAc,CAoBhC,CAAC"}

package/dist/types/arrays.js

@@ -5,11 +5,20 @@
  * List<T> is only used when explicitly requested via new List<T>().
  */
 import { emitTypeAst } from "./emitter.js";
+import { normalizeStructuralEmissionType } from "../core/semantic/type-resolution.js";
+import { getContextualTypeVisitKey } from "../core/semantic/deterministic-type-keys.js";
 /**
  * Emit array types as CSharpTypeAst (arrayType nodes)
  */
 export const emitArrayType = (type, context) => {
-    const [elementTypeAst, newContext] = emitTypeAst(type.elementType, context);
+    const currentArrayKey = getContextualTypeVisitKey(type, context);
+    const elementContext = context.activeTypeEmissionKeys?.has(currentArrayKey)
+        ? {
+            ...context,
+            activeTypeEmissionKeys: new Set(Array.from(context.activeTypeEmissionKeys).filter((key) => key !== currentArrayKey)),
+        }
+        : context;
+    const [elementTypeAst, newContext] = emitTypeAst(normalizeStructuralEmissionType(type.elementType, elementContext), elementContext);
     return [
         { kind: "arrayType", elementType: elementTypeAst, rank: 1 },
         newContext,

package/dist/types/arrays.js.map

@@ -1 +1 @@
-{"version":3,"file":"arrays.js","sourceRoot":"","sources":["../../src/types/arrays.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAG3C;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAA4C,EAC5C,OAAuB,EACU,EAAE;IACnC,MAAM,CAAC,cAAc,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC5E,OAAO;QACL,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE;QAC3D,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"arrays.js","sourceRoot":"","sources":["../../src/types/arrays.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,+BAA+B,EAAE,MAAM,qCAAqC,CAAC;AACtF,OAAO,EAAE,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAExF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAA4C,EAC5C,OAAuB,EACU,EAAE;IACnC,MAAM,eAAe,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,OAAO,CAAC,sBAAsB,EAAE,GAAG,CAAC,eAAe,CAAC;QACzE,CAAC,CAAC;YACE,GAAG,OAAO;YACV,sBAAsB,EAAE,IAAI,GAAG,CAC7B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC,MAAM,CAC/C,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,eAAe,CACjC,CACF;SACF;QACH,CAAC,CAAC,OAAO,CAAC;IACZ,MAAM,CAAC,cAAc,EAAE,UAAU,CAAC,GAAG,WAAW,CAC9C,+BAA+B,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,EACjE,cAAc,CACf,CAAC;IACF,OAAO;QACL,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE;QAC3D,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}

package/dist/types/emitter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"emitter.d.ts","sourceRoot":"","sources":["../../src/types/emitter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAW7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAEzE;;GAEG;AACH,eAAO,MAAM,WAAW,GACtB,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,CAAC,aAAa,EAAE,cAAc,CAyEhC,CAAC"}
+{"version":3,"file":"emitter.d.ts","sourceRoot":"","sources":["../../src/types/emitter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAW7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAqJzE;;GAEG;AACH,eAAO,MAAM,WAAW,GACtB,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,CAAC,aAAa,EAAE,cAAc,CA0F7B,CAAC"}

package/dist/types/emitter.js

@@ -16,62 +16,167 @@ import { emitDictionaryType } from "./dictionaries.js";
 import { emitUnionType } from "./unions.js";
 import { emitIntersectionType } from "./intersections.js";
 import { emitLiteralType } from "./literals.js";
+import { identifierType } from "../core/format/backend-ast/builders.js";
+import { escapeCSharpIdentifier } from "../emitter-types/index.js";
+import { resolveTypeAlias } from "../core/semantic/type-resolution.js";
+import { getContextualTypeVisitKey } from "../core/semantic/deterministic-type-keys.js";
+import { getReferenceNominalIdentityKey } from "../core/semantic/reference-type-identity.js";
+const RECURSIVE_TYPE_FALLBACK_AST = {
+    kind: "predefinedType",
+    keyword: "object",
+};
+const POLYMORPHIC_THIS_MARKER = "__tsonic_polymorphic_this";
+const getDeclaringTypeParameterAsts = (context) => (context.declaringTypeParameterNames ?? []).map((name) => identifierType(context.declaringTypeParameterNameMap?.get(name) ?? name));
+function tryEmitRuntimeUnionCarrierReferenceTypeAst(type, context) {
+    if (type.kind !== "referenceType") {
+        return undefined;
+    }
+    const resolvedAlias = resolveTypeAlias(type, context, {
+        preserveObjectTypeAliases: true,
+    });
+    if (resolvedAlias.kind !== "unionType" ||
+        !resolvedAlias.runtimeCarrierFamilyKey ||
+        !resolvedAlias.runtimeCarrierName ||
+        !resolvedAlias.runtimeCarrierNamespace) {
+        return undefined;
+    }
+    const typeArgumentTypes = type.typeArguments && type.typeArguments.length > 0
+        ? type.typeArguments
+        : resolvedAlias.runtimeCarrierTypeArguments;
+    if (!typeArgumentTypes || typeArgumentTypes.length === 0) {
+        return [
+            identifierType(`global::${resolvedAlias.runtimeCarrierNamespace}.${resolvedAlias.runtimeCarrierName}`),
+            context,
+        ];
+    }
+    const typeArguments = [];
+    let currentContext = context;
+    for (const typeArgument of typeArgumentTypes) {
+        const [typeArgumentAst, nextContext] = emitTypeAst(typeArgument, currentContext);
+        typeArguments.push(typeArgumentAst);
+        currentContext = nextContext;
+    }
+    return [
+        identifierType(`global::${resolvedAlias.runtimeCarrierNamespace}.${resolvedAlias.runtimeCarrierName}`, typeArguments),
+        currentContext,
+    ];
+}
+const withTypeEmissionGuard = (type, context, emit) => {
+    const key = getTypeEmissionVisitKey(type, context);
+    if (context.activeTypeEmissionKeys?.has(key)) {
+        const runtimeCarrierReference = tryEmitRuntimeUnionCarrierReferenceTypeAst(type, context);
+        if (runtimeCarrierReference) {
+            return runtimeCarrierReference;
+        }
+        return [RECURSIVE_TYPE_FALLBACK_AST, context];
+    }
+    const activeTypeEmissionKeys = new Set(context.activeTypeEmissionKeys ?? []);
+    activeTypeEmissionKeys.add(key);
+    const [emittedTypeAst, nextContext] = emit({
+        ...context,
+        activeTypeEmissionKeys,
+    });
+    if (nextContext.activeTypeEmissionKeys === context.activeTypeEmissionKeys) {
+        return [emittedTypeAst, nextContext];
+    }
+    return [
+        emittedTypeAst,
+        {
+            ...nextContext,
+            activeTypeEmissionKeys: context.activeTypeEmissionKeys,
+        },
+    ];
+};
+const getTypeEmissionVisitKey = (type, context) => {
+    if (type.kind !== "referenceType") {
+        return getContextualTypeVisitKey(type, context);
+    }
+    const nominalIdentity = getReferenceNominalIdentityKey(type, context);
+    if (!nominalIdentity) {
+        return getContextualTypeVisitKey(type, context);
+    }
+    const typeArgumentKeys = (type.typeArguments ?? []).map((typeArgument) => getContextualTypeVisitKey(typeArgument, context));
+    return `ref:${nominalIdentity}<${typeArgumentKeys.join(",")}>`;
+};
+const buildEmitterIceContext = (context) => {
+    const parts = [];
+    const moduleFilePath = context.options.currentModuleFilePath;
+    if (moduleFilePath) {
+        parts.push(`module=${moduleFilePath}`);
+    }
+    if (context.declaringTypeName) {
+        parts.push(`declaringType=${context.declaringTypeName}`);
+    }
+    if (context.className) {
+        parts.push(`class=${context.className}`);
+    }
+    if (parts.length === 0) {
+        return "";
+    }
+    return ` (${parts.join(", ")})`;
+};
 /**
  * Emit a CSharpTypeAst from an IR type (primary dispatcher)
  */
-export const emitTypeAst = (type, context) => {
+export const emitTypeAst = (type, context) => withTypeEmissionGuard(type, context, (guardedContext) => {
     switch (type.kind) {
         case "primitiveType":
-            return emitPrimitiveType(type, context);
+            return emitPrimitiveType(type, guardedContext);
         case "referenceType":
-            return emitReferenceType(type, context);
+            return emitReferenceType(type, guardedContext);
         case "typeParameterType":
+            if (type.name === POLYMORPHIC_THIS_MARKER &&
+                guardedContext.declaringTypeName) {
+                const declaringTypeName = guardedContext.className ??
+                    escapeCSharpIdentifier(guardedContext.declaringTypeName);
+                const declaringTypeParameterAsts = getDeclaringTypeParameterAsts(guardedContext);
+                return [
+                    identifierType(declaringTypeName, declaringTypeParameterAsts.length > 0
+                        ? declaringTypeParameterAsts
+                        : undefined),
+                    guardedContext,
+                ];
+            }
             // Type parameters emit as their mapped name (e.g., A -> TA) when needed to avoid
             // CLR naming collisions with members after namingPolicy transforms.
             return [
                 {
                     kind: "identifierType",
-                    name: context.typeParameterNameMap?.get(type.name) ?? type.name,
+                    name: guardedContext.typeParameterNameMap?.get(type.name) ?? type.name,
                 },
-                context,
+                guardedContext,
             ];
         case "arrayType":
-            return emitArrayType(type, context);
+            return emitArrayType(type, guardedContext);
         case "tupleType":
-            return emitTupleType(type, context);
+            return emitTupleType(type, guardedContext);
         case "functionType":
-            return emitFunctionType(type, context);
+            return emitFunctionType(type, guardedContext);
         case "objectType":
-            return emitObjectType(type, context);
+            return emitObjectType(type, guardedContext);
         case "dictionaryType":
-            return emitDictionaryType(type, context);
+            return emitDictionaryType(type, guardedContext);
         case "unionType":
-            return emitUnionType(type, context);
+            return emitUnionType(type, guardedContext);
         case "intersectionType":
-            return emitIntersectionType(type, context);
+            return emitIntersectionType(type, guardedContext);
         case "literalType":
-            return emitLiteralType(type, context);
+            return emitLiteralType(type, guardedContext);
         case "anyType":
             // ICE: Frontend validation (TSN7401) should have caught this.
             throw new Error("ICE: 'any' type reached emitter - validation missed TSN7401");
         case "unknownType":
-            // 'unknown' is a legitimate type - emit as nullable object
-            return [
-                {
-                    kind: "nullableType",
-                    underlyingType: { kind: "predefinedType", keyword: "object" },
-                },
-                context,
-            ];
+            throw new Error("ICE: 'unknown' type reached emitter - validated programs must erase overload stubs and reject unknown elsewhere" +
+                buildEmitterIceContext(guardedContext));
         case "voidType":
-            return [{ kind: "predefinedType", keyword: "void" }, context];
+            return [{ kind: "predefinedType", keyword: "void" }, guardedContext];
         case "neverType":
-            return [{ kind: "predefinedType", keyword: "void" }, context];
+            return [{ kind: "predefinedType", keyword: "void" }, guardedContext];
         default: {
             // ICE: All IR types should be handled explicitly
             const exhaustiveCheck = type;
             throw new Error(`ICE: Unhandled IR type kind: ${exhaustiveCheck.kind}`);
         }
     }
-};
+});
 //# sourceMappingURL=emitter.js.map

package/dist/types/emitter.js.map

@@ -1 +1 @@
-{"version":3,"file":"emitter.js","sourceRoot":"","sources":["../../src/types/emitter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGhD;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAY,EACZ,OAAuB,EACU,EAAE;IACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE1C,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE1C,KAAK,mBAAmB;YACtB,iFAAiF;YACjF,oEAAoE;YACpE,OAAO;gBACL;oBACE,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;iBAChE;gBACD,OAAO;aACR,CAAC;QAEJ,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEtC,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEtC,KAAK,cAAc;YACjB,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEzC,KAAK,YAAY;YACf,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEvC,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3C,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEtC,KAAK,kBAAkB;YACrB,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE7C,KAAK,aAAa;YAChB,OAAO,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAExC,KAAK,SAAS;YACZ,8DAA8D;YAC9D,MAAM,IAAI,KAAK,CACb,6DAA6D,CAC9D,CAAC;QAEJ,KAAK,aAAa;YAChB,2DAA2D;YAC3D,OAAO;gBACL;oBACE,IAAI,EAAE,cAAc;oBACpB,cAAc,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;iBAC9D;gBACD,OAAO;aACR,CAAC;QAEJ,KAAK,UAAU;YACb,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC;QAEhE,KAAK,WAAW;YACd,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC;QAEhE,OAAO,CAAC,CAAC,CAAC;YACR,iDAAiD;YACjD,MAAM,eAAe,GAAU,IAAI,CAAC;YACpC,MAAM,IAAI,KAAK,CACb,gCAAiC,eAA0B,CAAC,IAAI,EAAE,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}
+{"version":3,"file":"emitter.js","sourceRoot":"","sources":["../../src/types/emitter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AACxF,OAAO,EAAE,8BAA8B,EAAE,MAAM,6CAA6C,CAAC;AAE7F,MAAM,2BAA2B,GAAkB;IACjD,IAAI,EAAE,gBAAgB;IACtB,OAAO,EAAE,QAAQ;CAClB,CAAC;AACF,MAAM,uBAAuB,GAAG,2BAA2B,CAAC;AAE5D,MAAM,6BAA6B,GAAG,CACpC,OAAuB,EACG,EAAE,CAC5B,CAAC,OAAO,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACvD,cAAc,CAAC,OAAO,CAAC,6BAA6B,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CACzE,CAAC;AAEJ,SAAS,0CAA0C,CACjD,IAAY,EACZ,OAAuB;IAEvB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;QACpD,yBAAyB,EAAE,IAAI;KAChC,CAAC,CAAC;IACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;QAClC,CAAC,aAAa,CAAC,uBAAuB;QACtC,CAAC,aAAa,CAAC,kBAAkB;QACjC,CAAC,aAAa,CAAC,uBAAuB,EACtC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GACrB,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QACjD,CAAC,CAAC,IAAI,CAAC,aAAa;QACpB,CAAC,CAAC,aAAa,CAAC,2BAA2B,CAAC;IAChD,IAAI,CAAC,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO;YACL,cAAc,CACZ,WAAW,aAAa,CAAC,uBAAuB,IAAI,aAAa,CAAC,kBAAkB,EAAE,CACvF;YACD,OAAO;SACR,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAoB,EAAE,CAAC;IAC1C,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,KAAK,MAAM,YAAY,IAAI,iBAAiB,EAAE,CAAC;QAC7C,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,WAAW,CAChD,YAAY,EACZ,cAAc,CACf,CAAC;QACF,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACpC,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,OAAO;QACL,cAAc,CACZ,WAAW,aAAa,CAAC,uBAAuB,IAAI,aAAa,CAAC,kBAAkB,EAAE,EACtF,aAAa,CACd;QACD,cAAc;KACf,CAAC;AACJ,CAAC;AAED,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,OAAuB,EACvB,IAAyE,EACxC,EAAE;IACnC,MAAM,GAAG,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,IAAI,OAAO,CAAC,sBAAsB,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,uBAAuB,GAAG,0CAA0C,CACxE,IAAI,EACJ,OAAO,CACR,CAAC;QACF,IAAI,uBAAuB,EAAE,CAAC;YAC5B,OAAO,uBAAuB,CAAC;QACjC,CAAC;QAED,OAAO,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC;IAC7E,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAEhC,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,GAAG,IAAI,CAAC;QACzC,GAAG,OAAO;QACV,sBAAsB;KACvB,CAAC,CAAC;IAEH,IAAI,WAAW,CAAC,sBAAsB,KAAK,OAAO,CAAC,sBAAsB,EAAE,CAAC;QAC1E,OAAO,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IACvC,CAAC;IAED,OAAO;QACL,cAAc;QACd;YACE,GAAG,WAAW;YACd,sBAAsB,EAAE,OAAO,CAAC,sBAAsB;SACvD;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,eAAe,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,gBAAgB,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACvE,yBAAyB,CAAC,YAAY,EAAE,OAAO,CAAC,CACjD,CAAC;IACF,OAAO,OAAO,eAAe,IAAI,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,OAAuB,EAAU,EAAE;IACjE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAC7D,IAAI,cAAc,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,UAAU,cAAc,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAClC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAY,EACZ,OAAuB,EACU,EAAE,CACnC,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,cAAc,EAAE,EAAE;IACtD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAEjD,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAEjD,KAAK,mBAAmB;YACtB,IACE,IAAI,CAAC,IAAI,KAAK,uBAAuB;gBACrC,cAAc,CAAC,iBAAiB,EAChC,CAAC;gBACD,MAAM,iBAAiB,GACrB,cAAc,CAAC,SAAS;oBACxB,sBAAsB,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC;gBAC3D,MAAM,0BAA0B,GAC9B,6BAA6B,CAAC,cAAc,CAAC,CAAC;gBAChD,OAAO;oBACL,cAAc,CACZ,iBAAiB,EACjB,0BAA0B,CAAC,MAAM,GAAG,CAAC;wBACnC,CAAC,CAAC,0BAA0B;wBAC5B,CAAC,CAAC,SAAS,CACd;oBACD,cAAc;iBACf,CAAC;YACJ,CAAC;YACD,iFAAiF;YACjF,oEAAoE;YACpE,OAAO;gBACL;oBACE,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EACF,cAAc,CAAC,oBAAoB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;iBACnE;gBACD,cAAc;aACf,CAAC;QAEJ,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAE7C,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAE7C,KAAK,cAAc;YACjB,OAAO,gBAAgB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAEhD,KAAK,YAAY;YACf,OAAO,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAE9C,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAElD,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAE7C,KAAK,kBAAkB;YACrB,OAAO,oBAAoB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAEpD,KAAK,aAAa;YAChB,OAAO,eAAe,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAE/C,KAAK,SAAS;YACZ,8DAA8D;YAC9D,MAAM,IAAI,KAAK,CACb,6DAA6D,CAC9D,CAAC;QAEJ,KAAK,aAAa;YAChB,MAAM,IAAI,KAAK,CACb,iHAAiH;gBAC/G,sBAAsB,CAAC,cAAc,CAAC,CACzC,CAAC;QAEJ,KAAK,UAAU;YACb,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC;QAEvE,KAAK,WAAW;YACd,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC;QAEvE,OAAO,CAAC,CAAC,CAAC;YACR,iDAAiD;YACjD,MAAM,eAAe,GAAU,IAAI,CAAC;YACpC,MAAM,IAAI,KAAK,CACb,gCAAiC,eAA0B,CAAC,IAAI,EAAE,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC"}