@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/type-resolution-cases/structural-resolution.test.js

@@ -0,0 +1,511 @@
+import { describe, it, expect, normalizeStructuralEmissionType, resolveStructuralReferenceType, } from "./helpers.js";
+describe("type-resolution", () => {
+    describe("resolveStructuralReferenceType", () => {
+        const makeContext = (localTypes, options) => ({
+            indentLevel: 0,
+            options: {
+                rootNamespace: "App",
+                indent: 2,
+                ...options,
+            },
+            isStatic: false,
+            isAsync: false,
+            localTypes,
+            usings: new Set(),
+        });
+        it("does not silently rebind inline structural shapes to local aliases", () => {
+            const localTypes = new Map([
+                [
+                    "Todo",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: [],
+                        type: {
+                            kind: "objectType",
+                            members: [
+                                {
+                                    kind: "propertySignature",
+                                    name: "id",
+                                    type: { kind: "primitiveType", name: "number" },
+                                    isOptional: false,
+                                    isReadonly: false,
+                                },
+                                {
+                                    kind: "propertySignature",
+                                    name: "title",
+                                    type: { kind: "primitiveType", name: "string" },
+                                    isOptional: false,
+                                    isReadonly: false,
+                                },
+                            ],
+                        },
+                    },
+                ],
+            ]);
+            const result = resolveStructuralReferenceType({
+                kind: "objectType",
+                members: [
+                    {
+                        kind: "propertySignature",
+                        name: "id",
+                        type: { kind: "primitiveType", name: "number" },
+                        isOptional: false,
+                        isReadonly: false,
+                    },
+                    {
+                        kind: "propertySignature",
+                        name: "title",
+                        type: { kind: "primitiveType", name: "string" },
+                        isOptional: false,
+                        isReadonly: false,
+                    },
+                ],
+            }, makeContext(localTypes));
+            expect(result).to.equal(undefined);
+        });
+        it("leaves inline structural array element types unchanged", () => {
+            const localTypes = new Map([
+                [
+                    "TopRow",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: [],
+                        type: {
+                            kind: "objectType",
+                            members: [
+                                {
+                                    kind: "propertySignature",
+                                    name: "key",
+                                    type: { kind: "primitiveType", name: "string" },
+                                    isOptional: false,
+                                    isReadonly: false,
+                                },
+                                {
+                                    kind: "propertySignature",
+                                    name: "pageviews",
+                                    type: { kind: "primitiveType", name: "number" },
+                                    isOptional: false,
+                                    isReadonly: false,
+                                },
+                            ],
+                        },
+                    },
+                ],
+            ]);
+            const result = normalizeStructuralEmissionType({
+                kind: "arrayType",
+                elementType: {
+                    kind: "objectType",
+                    members: [
+                        {
+                            kind: "propertySignature",
+                            name: "key",
+                            type: { kind: "primitiveType", name: "string" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                        {
+                            kind: "propertySignature",
+                            name: "pageviews",
+                            type: { kind: "primitiveType", name: "number" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                    ],
+                },
+            }, makeContext(localTypes));
+            expect(result).to.deep.equal({
+                kind: "arrayType",
+                elementType: {
+                    kind: "objectType",
+                    members: [
+                        {
+                            kind: "propertySignature",
+                            name: "key",
+                            type: { kind: "primitiveType", name: "string" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                        {
+                            kind: "propertySignature",
+                            name: "pageviews",
+                            type: { kind: "primitiveType", name: "number" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                    ],
+                },
+            });
+        });
+        it("preserves generic local structural alias identity and type arguments", () => {
+            const localTypes = new Map([
+                [
+                    "Ok",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: ["T"],
+                        type: {
+                            kind: "objectType",
+                            members: [
+                                {
+                                    kind: "propertySignature",
+                                    name: "ok",
+                                    type: { kind: "literalType", value: true },
+                                    isOptional: false,
+                                    isReadonly: false,
+                                },
+                                {
+                                    kind: "propertySignature",
+                                    name: "value",
+                                    type: { kind: "typeParameterType", name: "T" },
+                                    isOptional: false,
+                                    isReadonly: false,
+                                },
+                            ],
+                        },
+                    },
+                ],
+            ]);
+            const result = resolveStructuralReferenceType({
+                kind: "referenceType",
+                name: "Ok",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            }, makeContext(localTypes));
+            expect(result).to.deep.equal({
+                kind: "referenceType",
+                name: "Ok",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            });
+        });
+        it("preserves generic type arguments when rebinding compiler-generated structural references", () => {
+            const localTypes = new Map([
+                [
+                    "__Anon_wrap",
+                    {
+                        kind: "class",
+                        typeParameters: ["T"],
+                        members: [
+                            {
+                                kind: "propertyDeclaration",
+                                name: "value",
+                                type: { kind: "typeParameterType", name: "T" },
+                                accessibility: "public",
+                                isStatic: false,
+                                isReadonly: false,
+                            },
+                        ],
+                        implements: [],
+                    },
+                ],
+            ]);
+            const result = resolveStructuralReferenceType({
+                kind: "referenceType",
+                name: "__Anon_wrap",
+                typeArguments: [{ kind: "primitiveType", name: "int" }],
+            }, makeContext(localTypes));
+            expect(result).to.deep.equal({
+                kind: "referenceType",
+                name: "__Anon_wrap",
+                typeArguments: [{ kind: "primitiveType", name: "int" }],
+            });
+        });
+        it("prefers direct local structural identities over binding-backed name collisions", () => {
+            const localTypes = new Map([
+                [
+                    "Container",
+                    {
+                        kind: "interface",
+                        typeParameters: ["T"],
+                        members: [
+                            {
+                                kind: "propertySignature",
+                                name: "value",
+                                type: { kind: "typeParameterType", name: "T" },
+                                isOptional: false,
+                                isReadonly: false,
+                            },
+                        ],
+                        extends: [],
+                    },
+                ],
+            ]);
+            const bindingsRegistry = new Map([
+                [
+                    "Container",
+                    {
+                        name: "System.ComponentModel.Container",
+                        alias: "Container",
+                        kind: "class",
+                        members: [],
+                    },
+                ],
+            ]);
+            const result = resolveStructuralReferenceType({
+                kind: "referenceType",
+                name: "Container",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            }, {
+                ...makeContext(localTypes),
+                bindingsRegistry,
+            });
+            expect(result).to.deep.equal({
+                kind: "referenceType",
+                name: "Container",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            });
+        });
+        it("does not silently rebind inline structural shapes across modules", () => {
+            const currentModulePath = "/src/app.ts";
+            const typeAliasInfo = {
+                kind: "typeAlias",
+                typeParameters: [],
+                type: {
+                    kind: "objectType",
+                    members: [
+                        {
+                            kind: "propertySignature",
+                            name: "path",
+                            type: { kind: "primitiveType", name: "string" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                    ],
+                },
+            };
+            const result = resolveStructuralReferenceType({
+                kind: "objectType",
+                members: [
+                    {
+                        kind: "propertySignature",
+                        name: "path",
+                        type: { kind: "primitiveType", name: "string" },
+                        isOptional: false,
+                        isReadonly: false,
+                    },
+                ],
+            }, makeContext(undefined, {
+                moduleMap: new Map([
+                    [
+                        currentModulePath,
+                        {
+                            namespace: "App",
+                            className: "App",
+                            filePath: currentModulePath,
+                            hasRuntimeContainer: true,
+                            hasTypeCollision: false,
+                            localTypes: new Map(),
+                        },
+                    ],
+                    [
+                        "/src/router.ts",
+                        {
+                            namespace: "App.Http",
+                            className: "Router",
+                            filePath: "/src/router.ts",
+                            hasRuntimeContainer: true,
+                            hasTypeCollision: false,
+                            localTypes: new Map([["RouteLayer", typeAliasInfo]]),
+                        },
+                    ],
+                ]),
+            }));
+            expect(result).to.equal(undefined);
+        });
+        it("does not silently rebind inline structural shapes to binding-backed nominal types", () => {
+            const sharedShape = {
+                kind: "objectType",
+                members: [
+                    {
+                        kind: "propertySignature",
+                        name: "recursive",
+                        type: { kind: "primitiveType", name: "boolean" },
+                        isOptional: true,
+                        isReadonly: false,
+                    },
+                    {
+                        kind: "propertySignature",
+                        name: "mode",
+                        type: { kind: "primitiveType", name: "int" },
+                        isOptional: true,
+                        isReadonly: false,
+                    },
+                ],
+            };
+            const bindingsRegistry = new Map([
+                [
+                    "__Anon_7701_6a8c0992",
+                    {
+                        name: "js.__Anon_7701_6a8c0992",
+                        alias: "__Anon_7701_6a8c0992",
+                        kind: "class",
+                        members: [
+                            {
+                                kind: "property",
+                                alias: "recursive",
+                                name: "recursive",
+                                semanticType: { kind: "primitiveType", name: "boolean" },
+                                semanticOptional: true,
+                                binding: {
+                                    assembly: "js",
+                                    type: "js.__Anon_7701_6a8c0992",
+                                    member: "recursive",
+                                },
+                            },
+                            {
+                                kind: "property",
+                                alias: "mode",
+                                name: "mode",
+                                semanticType: { kind: "primitiveType", name: "int" },
+                                semanticOptional: true,
+                                binding: {
+                                    assembly: "js",
+                                    type: "js.__Anon_7701_6a8c0992",
+                                    member: "mode",
+                                },
+                            },
+                        ],
+                    },
+                ],
+                [
+                    "MkdirOptions",
+                    {
+                        name: "nodejs.MkdirOptions",
+                        alias: "MkdirOptions",
+                        kind: "class",
+                        members: [
+                            {
+                                kind: "property",
+                                alias: "recursive",
+                                name: "recursive",
+                                semanticType: { kind: "primitiveType", name: "boolean" },
+                                semanticOptional: true,
+                                binding: {
+                                    assembly: "nodejs",
+                                    type: "nodejs.MkdirOptions",
+                                    member: "recursive",
+                                },
+                            },
+                            {
+                                kind: "property",
+                                alias: "mode",
+                                name: "mode",
+                                semanticType: { kind: "primitiveType", name: "int" },
+                                semanticOptional: true,
+                                binding: {
+                                    assembly: "nodejs",
+                                    type: "nodejs.MkdirOptions",
+                                    member: "mode",
+                                },
+                            },
+                        ],
+                    },
+                ],
+            ]);
+            const result = resolveStructuralReferenceType(sharedShape, {
+                ...makeContext(),
+                bindingsRegistry,
+            });
+            expect(result).to.equal(undefined);
+        });
+        it("preserves generic imported structural alias identity and type arguments", () => {
+            const result = resolveStructuralReferenceType({
+                kind: "referenceType",
+                name: "Ok",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+                resolvedClrType: "App.Core.Ok__Alias",
+            }, makeContext(undefined, {
+                moduleMap: new Map([
+                    [
+                        "/src/app.ts",
+                        {
+                            namespace: "App",
+                            className: "App",
+                            filePath: "/src/app.ts",
+                            hasRuntimeContainer: true,
+                            hasTypeCollision: false,
+                            localTypes: new Map(),
+                        },
+                    ],
+                    [
+                        "/src/result.ts",
+                        {
+                            namespace: "App.Core",
+                            className: "result",
+                            filePath: "/src/result.ts",
+                            hasRuntimeContainer: true,
+                            hasTypeCollision: false,
+                            localTypes: new Map([
+                                [
+                                    "Ok",
+                                    {
+                                        kind: "typeAlias",
+                                        typeParameters: ["T"],
+                                        type: {
+                                            kind: "objectType",
+                                            members: [
+                                                {
+                                                    kind: "propertySignature",
+                                                    name: "ok",
+                                                    type: { kind: "literalType", value: true },
+                                                    isOptional: false,
+                                                    isReadonly: false,
+                                                },
+                                                {
+                                                    kind: "propertySignature",
+                                                    name: "value",
+                                                    type: { kind: "typeParameterType", name: "T" },
+                                                    isOptional: false,
+                                                    isReadonly: false,
+                                                },
+                                            ],
+                                        },
+                                    },
+                                ],
+                            ]),
+                        },
+                    ],
+                ]),
+            }));
+            expect(result).to.deep.equal({
+                kind: "referenceType",
+                name: "Ok",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+                resolvedClrType: "App.Core.Ok__Alias",
+            });
+        });
+        it("refuses ambiguous structural matches", () => {
+            const sharedShape = {
+                kind: "objectType",
+                members: [
+                    {
+                        kind: "propertySignature",
+                        name: "id",
+                        type: { kind: "primitiveType", name: "string" },
+                        isOptional: false,
+                        isReadonly: false,
+                    },
+                ],
+            };
+            const localTypes = new Map([
+                [
+                    "Foo",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: [],
+                        type: sharedShape,
+                    },
+                ],
+                [
+                    "Bar",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: [],
+                        type: sharedShape,
+                    },
+                ],
+            ]);
+            expect(resolveStructuralReferenceType(sharedShape, makeContext(localTypes))).to.equal(undefined);
+        });
+    });
+});
+//# sourceMappingURL=structural-resolution.test.js.map

package/dist/core/semantic/type-resolution-cases/structural-resolution.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-resolution.test.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/structural-resolution.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,+BAA+B,EAC/B,8BAA8B,GAM/B,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC9C,MAAM,WAAW,GAAG,CAClB,UAA+C,EAC/C,OAAiC,EACjB,EAAE,CAAC,CAAC;YACpB,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,KAAK;gBACpB,MAAM,EAAE,CAAC;gBACT,GAAG,OAAO;aACX;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,UAAU;YACV,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;gBAChD;oBACE,MAAM;oBACN;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oCAC/C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,OAAO;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oCAC/C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,8BAA8B,CAC3C;gBACE,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,mBAAmB;wBACzB,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAC/C,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,KAAK;qBAClB;oBACD;wBACE,IAAI,EAAE,mBAAmB;wBACzB,IAAI,EAAE,OAAO;wBACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAC/C,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF,EACD,WAAW,CAAC,UAAU,CAAC,CACxB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;gBAChD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,KAAK;oCACX,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oCAC/C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,WAAW;oCACjB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oCAC/C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,+BAA+B,CAC5C;gBACE,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE;oBACX,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,WAAW;4BACjB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;aACF,EACD,WAAW,CAAC,UAAU,CAAC,CACxB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE;oBACX,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,WAAW;4BACjB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;aACF,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;gBAChD;oBACE,IAAI;oBACJ;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;oCAC1C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,OAAO;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,8BAA8B,CAC3C;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,IAAI;gBACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD,WAAW,CAAC,UAAU,CAAC,CACxB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,IAAI;gBACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0FAA0F,EAAE,GAAG,EAAE;YAClG,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;gBAChD;oBACE,aAAa;oBACb;wBACE,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gCAC9C,aAAa,EAAE,QAAQ;gCACvB,QAAQ,EAAE,KAAK;gCACf,UAAU,EAAE,KAAK;6BAClB;yBACF;wBACD,UAAU,EAAE,EAAE;qBACf;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,8BAA8B,CAC3C;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,aAAa;gBACnB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;aACxD,EACD,WAAW,CAAC,UAAU,CAAC,CACxB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,aAAa;gBACnB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;aACxD,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;YACxF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;gBAChD;oBACE,WAAW;oBACX;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,mBAAmB;gCACzB,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gCAC9C,UAAU,EAAE,KAAK;gCACjB,UAAU,EAAE,KAAK;6BAClB;yBACF;wBACD,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAA8B;gBAC5D;oBACE,WAAW;oBACX;wBACE,IAAI,EAAE,iCAAiC;wBACvC,KAAK,EAAE,WAAW;wBAClB,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,8BAA8B,CAC3C;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,WAAW;gBACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD;gBACE,GAAG,WAAW,CAAC,UAAU,CAAC;gBAC1B,gBAAgB;aACjB,CACF,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,WAAW;gBACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,MAAM,iBAAiB,GAAG,aAAa,CAAC;YACxC,MAAM,aAAa,GAAkB;gBACnC,IAAI,EAAE,WAAW;gBACjB,cAAc,EAAE,EAAE;gBAClB,IAAI,EAAE;oBACJ,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;aACF,CAAC;YAEF,MAAM,MAAM,GAAG,8BAA8B,CAC3C;gBACE,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,mBAAmB;wBACzB,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAC/C,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF,EACD,WAAW,CAAC,SAAS,EAAE;gBACrB,SAAS,EAAE,IAAI,GAAG,CAAC;oBACjB;wBACE,iBAAiB;wBACjB;4BACE,SAAS,EAAE,KAAK;4BAChB,SAAS,EAAE,KAAK;4BAChB,QAAQ,EAAE,iBAAiB;4BAC3B,mBAAmB,EAAE,IAAI;4BACzB,gBAAgB,EAAE,KAAK;4BACvB,UAAU,EAAE,IAAI,GAAG,EAAE;yBACtB;qBACF;oBACD;wBACE,gBAAgB;wBAChB;4BACE,SAAS,EAAE,UAAU;4BACrB,SAAS,EAAE,QAAQ;4BACnB,QAAQ,EAAE,gBAAgB;4BAC1B,mBAAmB,EAAE,IAAI;4BACzB,gBAAgB,EAAE,KAAK;4BACvB,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;yBACrD;qBACF;iBACF,CAAC;aACH,CAAC,CACH,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;YAC3F,MAAM,WAAW,GAA4C;gBAC3D,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,mBAAmB;wBACzB,IAAI,EAAE,WAAW;wBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;wBAChD,UAAU,EAAE,IAAI;wBAChB,UAAU,EAAE,KAAK;qBAClB;oBACD;wBACE,IAAI,EAAE,mBAAmB;wBACzB,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;wBAC5C,UAAU,EAAE,IAAI;wBAChB,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF,CAAC;YAEF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAA8B;gBAC5D;oBACE,sBAAsB;oBACtB;wBACE,IAAI,EAAE,yBAAyB;wBAC/B,KAAK,EAAE,sBAAsB;wBAC7B,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,UAAU;gCAChB,KAAK,EAAE,WAAW;gCAClB,IAAI,EAAE,WAAW;gCACjB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;gCACxD,gBAAgB,EAAE,IAAI;gCACtB,OAAO,EAAE;oCACP,QAAQ,EAAE,IAAI;oCACd,IAAI,EAAE,yBAAyB;oCAC/B,MAAM,EAAE,WAAW;iCACpB;6BACF;4BACD;gCACE,IAAI,EAAE,UAAU;gCAChB,KAAK,EAAE,MAAM;gCACb,IAAI,EAAE,MAAM;gCACZ,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gCACpD,gBAAgB,EAAE,IAAI;gCACtB,OAAO,EAAE;oCACP,QAAQ,EAAE,IAAI;oCACd,IAAI,EAAE,yBAAyB;oCAC/B,MAAM,EAAE,MAAM;iCACf;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,cAAc;oBACd;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,KAAK,EAAE,cAAc;wBACrB,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,UAAU;gCAChB,KAAK,EAAE,WAAW;gCAClB,IAAI,EAAE,WAAW;gCACjB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;gCACxD,gBAAgB,EAAE,IAAI;gCACtB,OAAO,EAAE;oCACP,QAAQ,EAAE,QAAQ;oCAClB,IAAI,EAAE,qBAAqB;oCAC3B,MAAM,EAAE,WAAW;iCACpB;6BACF;4BACD;gCACE,IAAI,EAAE,UAAU;gCAChB,KAAK,EAAE,MAAM;gCACb,IAAI,EAAE,MAAM;gCACZ,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gCACpD,gBAAgB,EAAE,IAAI;gCACtB,OAAO,EAAE;oCACP,QAAQ,EAAE,QAAQ;oCAClB,IAAI,EAAE,qBAAqB;oCAC3B,MAAM,EAAE,MAAM;iCACf;6BACF;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,8BAA8B,CAAC,WAAW,EAAE;gBACzD,GAAG,WAAW,EAAE;gBAChB,gBAAgB;aACjB,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;YACjF,MAAM,MAAM,GAAG,8BAA8B,CAC3C;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,IAAI;gBACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBAC1D,eAAe,EAAE,oBAAoB;aACtC,EACD,WAAW,CAAC,SAAS,EAAE;gBACrB,SAAS,EAAE,IAAI,GAAG,CAAC;oBACjB;wBACE,aAAa;wBACb;4BACE,SAAS,EAAE,KAAK;4BAChB,SAAS,EAAE,KAAK;4BAChB,QAAQ,EAAE,aAAa;4BACvB,mBAAmB,EAAE,IAAI;4BACzB,gBAAgB,EAAE,KAAK;4BACvB,UAAU,EAAE,IAAI,GAAG,EAAE;yBACtB;qBACF;oBACD;wBACE,gBAAgB;wBAChB;4BACE,SAAS,EAAE,UAAU;4BACrB,SAAS,EAAE,QAAQ;4BACnB,QAAQ,EAAE,gBAAgB;4BAC1B,mBAAmB,EAAE,IAAI;4BACzB,gBAAgB,EAAE,KAAK;4BACvB,UAAU,EAAE,IAAI,GAAG,CAAC;gCAClB;oCACE,IAAI;oCACJ;wCACE,IAAI,EAAE,WAAW;wCACjB,cAAc,EAAE,CAAC,GAAG,CAAC;wCACrB,IAAI,EAAE;4CACJ,IAAI,EAAE,YAAY;4CAClB,OAAO,EAAE;gDACP;oDACE,IAAI,EAAE,mBAAmB;oDACzB,IAAI,EAAE,IAAI;oDACV,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;oDAC1C,UAAU,EAAE,KAAK;oDACjB,UAAU,EAAE,KAAK;iDAClB;gDACD;oDACE,IAAI,EAAE,mBAAmB;oDACzB,IAAI,EAAE,OAAO;oDACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oDAC9C,UAAU,EAAE,KAAK;oDACjB,UAAU,EAAE,KAAK;iDAClB;6CACF;yCACF;qCACF;iCACF;6BACF,CAAC;yBACH;qBACF;iBACF,CAAC;aACH,CAAC,CACH,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,IAAI;gBACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBAC1D,eAAe,EAAE,oBAAoB;aACtC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,WAAW,GAA4C;gBAC3D,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,mBAAmB;wBACzB,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAC/C,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF,CAAC;YAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;gBAChD;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,WAAW;qBAClB;iBACF;gBACD;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,WAAW;qBAClB;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,CACJ,8BAA8B,CAAC,WAAW,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC,CACrE,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/type-resolution-cases/structural-target.test.d.ts

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

package/dist/core/semantic/type-resolution-cases/structural-target.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-target.test.d.ts","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/structural-target.test.ts"],"names":[],"mappings":""}

package/dist/core/semantic/type-resolution-cases/structural-target.test.js

@@ -0,0 +1,80 @@
+import { describe, it, expect, isTypeOnlyStructuralTarget, } from "./helpers.js";
+describe("type-resolution", () => {
+    describe("isTypeOnlyStructuralTarget", () => {
+        const defaultOptions = {
+            rootNamespace: "Test",
+            indent: 4,
+        };
+        const createContext = (localTypes) => ({
+            indentLevel: 0,
+            options: defaultOptions,
+            isStatic: false,
+            isAsync: false,
+            localTypes,
+            usings: new Set(),
+        });
+        it("treats compiler-generated anonymous carrier classes as structural", () => {
+            const context = createContext(new Map([
+                [
+                    "__Anon_handler",
+                    {
+                        kind: "class",
+                        typeParameters: [],
+                        members: [],
+                        implements: [],
+                    },
+                ],
+            ]));
+            expect(isTypeOnlyStructuralTarget({
+                kind: "referenceType",
+                name: "__Anon_handler",
+                resolvedClrType: "Test.__Anon_handler",
+            }, context)).to.equal(true);
+        });
+        it("treats compiler-generated rest carrier classes as structural", () => {
+            const context = createContext(new Map([
+                [
+                    "__Rest_handler",
+                    {
+                        kind: "class",
+                        typeParameters: [],
+                        members: [],
+                        implements: [],
+                    },
+                ],
+            ]));
+            expect(isTypeOnlyStructuralTarget({
+                kind: "referenceType",
+                name: "__Rest_handler",
+                resolvedClrType: "Test.__Rest_handler",
+            }, context)).to.equal(true);
+        });
+        it("preserves user-authored nominal classes as runtime cast targets", () => {
+            const context = createContext(new Map([
+                [
+                    "Animal",
+                    {
+                        kind: "class",
+                        typeParameters: [],
+                        members: [],
+                        implements: [],
+                    },
+                ],
+            ]));
+            expect(isTypeOnlyStructuralTarget({
+                kind: "referenceType",
+                name: "Animal",
+                resolvedClrType: "Test.Animal",
+            }, context)).to.equal(false);
+        });
+        it("preserves dictionary targets as runtime cast targets", () => {
+            const context = createContext(new Map());
+            expect(isTypeOnlyStructuralTarget({
+                kind: "dictionaryType",
+                keyType: { kind: "primitiveType", name: "string" },
+                valueType: { kind: "unknownType" },
+            }, context)).to.equal(false);
+        });
+    });
+});
+//# sourceMappingURL=structural-target.test.js.map

package/dist/core/semantic/type-resolution-cases/structural-target.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-target.test.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/structural-target.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,0BAA0B,GAI3B,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,MAAM,cAAc,GAAmB;YACrC,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,CAAC;SACV,CAAC;QAEF,MAAM,aAAa,GAAG,CACpB,UAA8C,EAC9B,EAAE,CAAC,CAAC;YACpB,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,cAAc;YACvB,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,UAAU;YACV,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,GAAG,CAAC;gBACN;oBACE,gBAAgB;oBAChB;wBACE,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,EAAE;wBACX,UAAU,EAAE,EAAE;qBACf;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,CACJ,0BAA0B,CACxB;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,gBAAgB;gBACtB,eAAe,EAAE,qBAAqB;aACvC,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,GAAG,CAAC;gBACN;oBACE,gBAAgB;oBAChB;wBACE,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,EAAE;wBACX,UAAU,EAAE,EAAE;qBACf;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,CACJ,0BAA0B,CACxB;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,gBAAgB;gBACtB,eAAe,EAAE,qBAAqB;aACvC,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,GAAG,CAAC;gBACN;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,EAAE;wBACX,UAAU,EAAE,EAAE;qBACf;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,CACJ,0BAA0B,CACxB;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;gBACd,eAAe,EAAE,aAAa;aAC/B,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YAEzC,MAAM,CACJ,0BAA0B,CACxB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAClD,SAAS,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;aACnC,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.d.ts

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

package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"substitute-type-args.test.d.ts","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/substitute-type-args.test.ts"],"names":[],"mappings":""}