@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/type-equivalence.test.js

@@ -0,0 +1,380 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { createContext } from "../../emitter-types/context.js";
+import { areIrTypesEquivalent } from "./type-equivalence.js";
+const context = createContext({ rootNamespace: "Test" });
+describe("type-equivalence", () => {
+    it("treats union member order as irrelevant", () => {
+        const left = {
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "string" },
+                { kind: "primitiveType", name: "number" },
+            ],
+        };
+        const right = {
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "number" },
+                { kind: "primitiveType", name: "string" },
+            ],
+        };
+        expect(areIrTypesEquivalent(left, right, context)).to.equal(true);
+    });
+    it("compares object property signatures structurally", () => {
+        const left = {
+            kind: "objectType",
+            members: [
+                {
+                    kind: "propertySignature",
+                    name: "label",
+                    type: { kind: "primitiveType", name: "string" },
+                    isOptional: false,
+                    isReadonly: false,
+                },
+            ],
+        };
+        const right = {
+            kind: "objectType",
+            members: [
+                {
+                    kind: "propertySignature",
+                    name: "label",
+                    type: { kind: "primitiveType", name: "string" },
+                    isOptional: false,
+                    isReadonly: false,
+                },
+            ],
+        };
+        expect(areIrTypesEquivalent(left, right, context)).to.equal(true);
+    });
+    it("uses comparable-type normalization before checking equivalence", () => {
+        const aliasContext = {
+            ...createContext({ rootNamespace: "Test" }),
+            localTypes: new Map([
+                [
+                    "Alias",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: [],
+                        type: { kind: "primitiveType", name: "string" },
+                    },
+                ],
+            ]),
+        };
+        const left = {
+            kind: "referenceType",
+            name: "out",
+            typeArguments: [{ kind: "referenceType", name: "Alias" }],
+        };
+        const right = { kind: "primitiveType", name: "string" };
+        expect(areIrTypesEquivalent(left, right, aliasContext)).to.equal(true);
+    });
+    it("canonicalizes CLR generic metadata names against emitted generic names", () => {
+        const left = {
+            kind: "referenceType",
+            name: "Span",
+            resolvedClrType: "global::System.Span",
+            typeArguments: [{ kind: "primitiveType", name: "int" }],
+        };
+        const right = {
+            kind: "referenceType",
+            name: "Span_1",
+            resolvedClrType: "System.Span`1",
+            typeId: {
+                stableId: "System.Private.CoreLib:System.Span`1",
+                clrName: "System.Span`1",
+                assemblyName: "System.Private.CoreLib",
+                tsName: "Span_1",
+            },
+            typeArguments: [{ kind: "primitiveType", name: "int" }],
+        };
+        expect(areIrTypesEquivalent(left, right, context)).to.equal(true);
+    });
+    it("canonicalizes emitted CLR generic surfaces before comparing identities", () => {
+        const left = {
+            kind: "referenceType",
+            name: "Dictionary",
+            resolvedClrType: "global::System.Collections.Generic.Dictionary<string, int>",
+            typeArguments: [
+                { kind: "primitiveType", name: "string" },
+                { kind: "primitiveType", name: "int" },
+            ],
+        };
+        const right = {
+            kind: "referenceType",
+            name: "Dictionary_2",
+            resolvedClrType: "System.Collections.Generic.Dictionary`2",
+            typeArguments: [
+                { kind: "primitiveType", name: "string" },
+                { kind: "primitiveType", name: "int" },
+            ],
+        };
+        expect(areIrTypesEquivalent(left, right, context)).to.equal(true);
+    });
+    it("prefers proven nominal CLR identity over structural comparable shape", () => {
+        const messageMember = {
+            kind: "propertySignature",
+            name: "message",
+            type: { kind: "primitiveType", name: "string" },
+            isOptional: false,
+            isReadonly: false,
+        };
+        const narrowedBranchType = {
+            kind: "referenceType",
+            name: "Error",
+            resolvedClrType: "js.Error",
+        };
+        const sourceBackedBranchType = {
+            kind: "referenceType",
+            name: "Error",
+            resolvedClrType: "js.Error",
+            structuralMembers: [messageMember],
+            typeId: {
+                stableId: "@tsonic/js:js.Error",
+                clrName: "js.Error",
+                assemblyName: "@tsonic/js",
+                tsName: "Error",
+            },
+        };
+        expect(areIrTypesEquivalent(narrowedBranchType, sourceBackedBranchType, context)).to.equal(true);
+    });
+    it("does not conflate distinct TypeIds that report the same CLR name", () => {
+        const left = {
+            kind: "referenceType",
+            name: "Widget",
+            typeId: {
+                stableId: "package-a:Widget",
+                clrName: "Acme.Widget",
+                assemblyName: "PackageA",
+                tsName: "Widget",
+            },
+        };
+        const right = {
+            kind: "referenceType",
+            name: "Widget",
+            typeId: {
+                stableId: "package-b:Widget",
+                clrName: "Acme.Widget",
+                assemblyName: "PackageB",
+                tsName: "Widget",
+            },
+        };
+        expect(areIrTypesEquivalent(left, right, context)).to.equal(false);
+    });
+    it("does not compare nominal reference types by unqualified raw names", () => {
+        const left = {
+            kind: "referenceType",
+            name: "Item",
+        };
+        const right = {
+            kind: "referenceType",
+            name: "Item",
+        };
+        expect(areIrTypesEquivalent(left, right, context)).to.equal(false);
+    });
+    it("rejects fully qualified nominal names when no deterministic identity is available", () => {
+        const left = {
+            kind: "referenceType",
+            name: "Fixture.repo.Item",
+        };
+        const matching = {
+            kind: "referenceType",
+            name: "Fixture.repo.Item",
+        };
+        const different = {
+            kind: "referenceType",
+            name: "Fixture.domain.Item",
+        };
+        expect(areIrTypesEquivalent(left, matching, context)).to.equal(false);
+        expect(areIrTypesEquivalent(left, different, context)).to.equal(false);
+    });
+    it("compares local nominal references through resolved module-qualified identity", () => {
+        const localContext = {
+            ...createContext({ rootNamespace: "Test" }),
+            moduleNamespace: "Feature",
+            localTypes: new Map([
+                [
+                    "Item",
+                    {
+                        kind: "class",
+                        typeParameters: [],
+                        members: [],
+                        superClass: undefined,
+                        implements: [],
+                    },
+                ],
+            ]),
+        };
+        const left = {
+            kind: "referenceType",
+            name: "Item",
+        };
+        const right = {
+            kind: "referenceType",
+            name: "Item",
+        };
+        expect(areIrTypesEquivalent(left, right, localContext)).to.equal(true);
+    });
+    it("does not structurally conflate distinct local structural aliases", () => {
+        const entryMembers = [
+            {
+                kind: "propertySignature",
+                name: "key",
+                type: { kind: "typeParameterType", name: "K" },
+                isOptional: false,
+                isReadonly: true,
+            },
+            {
+                kind: "propertySignature",
+                name: "value",
+                type: { kind: "typeParameterType", name: "V" },
+                isOptional: false,
+                isReadonly: false,
+            },
+        ];
+        const localContext = {
+            ...createContext({ rootNamespace: "Test" }),
+            moduleNamespace: "js",
+            typeParameters: new Set(["K", "V"]),
+            localTypes: new Map([
+                [
+                    "MapEntry",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: ["K", "V"],
+                        type: { kind: "objectType", members: entryMembers },
+                    },
+                ],
+                [
+                    "WeakMapEntry",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: ["K", "V"],
+                        type: { kind: "objectType", members: entryMembers },
+                    },
+                ],
+            ]),
+        };
+        const left = {
+            kind: "referenceType",
+            name: "MapEntry",
+            typeArguments: [
+                { kind: "typeParameterType", name: "K" },
+                { kind: "typeParameterType", name: "V" },
+            ],
+        };
+        const right = {
+            kind: "referenceType",
+            name: "WeakMapEntry",
+            typeArguments: [
+                { kind: "typeParameterType", name: "K" },
+                { kind: "typeParameterType", name: "V" },
+            ],
+        };
+        expect(areIrTypesEquivalent(left, right, localContext)).to.equal(false);
+    });
+    it("does not structurally conflate TypeId references with matching members", () => {
+        const idMember = {
+            kind: "propertySignature",
+            name: "id",
+            type: { kind: "primitiveType", name: "number" },
+            isOptional: false,
+            isReadonly: false,
+        };
+        const left = {
+            kind: "arrayType",
+            elementType: {
+                kind: "referenceType",
+                name: "Item",
+                resolvedClrType: "Fixture.repo.Item",
+                typeId: {
+                    stableId: "@fixture/channels:Fixture.repo.Item",
+                    clrName: "Fixture.repo.Item",
+                    assemblyName: "@fixture/channels",
+                    tsName: "Item",
+                },
+                structuralMembers: [idMember],
+            },
+        };
+        const right = {
+            kind: "arrayType",
+            elementType: {
+                kind: "referenceType",
+                name: "Item",
+                resolvedClrType: "Fixture.domain.Item",
+                typeId: {
+                    stableId: "@fixture/channels:Fixture.domain.Item",
+                    clrName: "Fixture.domain.Item",
+                    assemblyName: "@fixture/channels",
+                    tsName: "Item",
+                },
+                structuralMembers: [idMember],
+            },
+        };
+        expect(areIrTypesEquivalent(left, right, context)).to.equal(false);
+    });
+    it("does not conflate distinct comparable-type pairs on first comparison", () => {
+        const left = {
+            kind: "referenceType",
+            name: "Uint8Array",
+            resolvedClrType: "js.Uint8Array",
+        };
+        const right = { kind: "primitiveType", name: "string" };
+        expect(areIrTypesEquivalent(left, right, context)).to.equal(false);
+    });
+    it("handles recursive alias families without overflowing", () => {
+        const recursiveContext = {
+            ...createContext({ rootNamespace: "Test" }),
+            localTypes: new Map([
+                [
+                    "Node",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: [],
+                        type: {
+                            kind: "objectType",
+                            members: [
+                                {
+                                    kind: "propertySignature",
+                                    name: "next",
+                                    type: {
+                                        kind: "unionType",
+                                        types: [
+                                            { kind: "primitiveType", name: "undefined" },
+                                            { kind: "referenceType", name: "Node" },
+                                        ],
+                                    },
+                                    isOptional: false,
+                                    isReadonly: false,
+                                },
+                            ],
+                        },
+                    },
+                ],
+            ]),
+        };
+        const left = { kind: "referenceType", name: "Node" };
+        const right = {
+            kind: "objectType",
+            members: [
+                {
+                    kind: "propertySignature",
+                    name: "next",
+                    type: {
+                        kind: "unionType",
+                        types: [
+                            { kind: "primitiveType", name: "undefined" },
+                            { kind: "referenceType", name: "Node" },
+                        ],
+                    },
+                    isOptional: false,
+                    isReadonly: false,
+                },
+            ],
+        };
+        expect(() => areIrTypesEquivalent(left, right, recursiveContext)).to.not.throw();
+        expect(areIrTypesEquivalent(left, right, recursiveContext)).to.equal(true);
+    });
+});
+//# sourceMappingURL=type-equivalence.test.js.map

package/dist/core/semantic/type-equivalence.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-equivalence.test.js","sourceRoot":"","sources":["../../../src/core/semantic/type-equivalence.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,MAAM,OAAO,GAAmB,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;AAEzE,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAW;YACnB,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,KAAK,GAAW;YACpB,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;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,YAAY,GAAmB;YACnC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBAChD;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,KAAK;YACX,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;SAC1D,CAAC;QACF,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAEhE,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;YACZ,eAAe,EAAE,qBAAqB;YACtC,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;SACxD,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,eAAe;YAChC,MAAM,EAAE;gBACN,QAAQ,EAAE,sCAAsC;gBAChD,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,wBAAwB;gBACtC,MAAM,EAAE,QAAQ;aACjB;YACD,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;SACxD,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,4DAA4D;YAC7E,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;aACvC;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,cAAc;YACpB,eAAe,EAAE,yCAAyC;YAC1D,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;aACvC;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,aAAa,GAAG;YACpB,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAiB,EAAE;YACjE,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;SAClB,CAAC;QACF,MAAM,kBAAkB,GAAW;YACjC,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,eAAe,EAAE,UAAU;SAC5B,CAAC;QACF,MAAM,sBAAsB,GAAW;YACrC,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,eAAe,EAAE,UAAU;YAC3B,iBAAiB,EAAE,CAAC,aAAa,CAAC;YAClC,MAAM,EAAE;gBACN,QAAQ,EAAE,qBAAqB;gBAC/B,OAAO,EAAE,UAAU;gBACnB,YAAY,EAAE,YAAY;gBAC1B,MAAM,EAAE,OAAO;aAChB;SACF,CAAC;QAEF,MAAM,CACJ,oBAAoB,CAClB,kBAAkB,EAClB,sBAAsB,EACtB,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,OAAO,EAAE,aAAa;gBACtB,YAAY,EAAE,UAAU;gBACxB,MAAM,EAAE,QAAQ;aACjB;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,OAAO,EAAE,aAAa;gBACtB,YAAY,EAAE,UAAU;gBACxB,MAAM,EAAE,QAAQ;aACjB;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,mBAAmB;SAC1B,CAAC;QACF,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,mBAAmB;SAC1B,CAAC;QACF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,qBAAqB;SAC5B,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtE,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,YAAY,GAAmB;YACnC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,SAAS;YAC1B,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,MAAM;oBACN;wBACE,IAAI,EAAE,OAAgB;wBACtB,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,EAAE;wBACX,UAAU,EAAE,SAAS;wBACrB,UAAU,EAAE,EAAE;qBACf;iBACF;aACF,CAAC;SACH,CAAC;QACF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,YAAY,GAAG;YACnB;gBACE,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,EAAE,IAAI,EAAE,mBAA4B,EAAE,IAAI,EAAE,GAAG,EAAE;gBACvD,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,IAAI;aACjB;YACD;gBACE,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAA4B,EAAE,IAAI,EAAE,GAAG,EAAE;gBACvD,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,KAAK;aAClB;SACF,CAAC;QACF,MAAM,YAAY,GAAmB;YACnC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,IAAI;YACrB,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACnC,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,UAAU;oBACV;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,YAAqB,EAAE,OAAO,EAAE,YAAY,EAAE;qBAC7D;iBACF;gBACD;oBACE,cAAc;oBACd;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,YAAqB,EAAE,OAAO,EAAE,YAAY,EAAE;qBAC7D;iBACF;aACF,CAAC;SACH,CAAC;QACF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;aACzC;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,cAAc;YACpB,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;aACzC;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAiB,EAAE;YACjE,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;SAClB,CAAC;QACF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,mBAAmB;gBACpC,MAAM,EAAE;oBACN,QAAQ,EAAE,qCAAqC;oBAC/C,OAAO,EAAE,mBAAmB;oBAC5B,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,qBAAqB;gBACtC,MAAM,EAAE;oBACN,QAAQ,EAAE,uCAAuC;oBACjD,OAAO,EAAE,qBAAqB;oBAC9B,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,eAAe;SACjC,CAAC;QACF,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAEhE,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,gBAAgB,GAAmB;YACvC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;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,MAAM;oCACZ,IAAI,EAAE;wCACJ,IAAI,EAAE,WAAW;wCACjB,KAAK,EAAE;4CACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;4CAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;yCACxC;qCACF;oCACD,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE;wBACJ,IAAI,EAAE,WAAW;wBACjB,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;4BAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;yBACxC;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,CAAC,GAAG,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QACjF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/type-param-substitution.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Type-parameter detection and substitution into IR types.
+ *
+ * Extracted from structural-resolution.ts — contains containsTypeParameter
+ * and substituteTypeArgs, both used independently by property-member-lookup
+ * and type-resolution consumers.
+ */
+import type { IrType } from "@tsonic/frontend";
+export declare const containsTypeParameter: (type: IrType) => boolean;
+/**
+ * Substitute type arguments into a type.
+ *
+ * @param type - The type to substitute into
+ * @param typeParamNames - List of type parameter names (in order)
+ * @param typeArgs - List of type arguments (in order, parallel to typeParamNames)
+ * @returns The type with type parameters substituted
+ */
+export declare const substituteTypeArgs: (type: IrType, typeParamNames: readonly string[], typeArgs: readonly IrType[]) => IrType;
+//# sourceMappingURL=type-param-substitution.d.ts.map

package/dist/core/semantic/type-param-substitution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-param-substitution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-param-substitution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,MAAM,EASP,MAAM,kBAAkB,CAAC;AAmG1B,eAAO,MAAM,qBAAqB,GAAI,MAAM,MAAM,KAAG,OACG,CAAC;AAEzD;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,MAAM,EACZ,gBAAgB,SAAS,MAAM,EAAE,EACjC,UAAU,SAAS,MAAM,EAAE,KAC1B,MAYF,CAAC"}

package/dist/core/semantic/type-param-substitution.js

@@ -0,0 +1,219 @@
+/**
+ * Type-parameter detection and substitution into IR types.
+ *
+ * Extracted from structural-resolution.ts — contains containsTypeParameter
+ * and substituteTypeArgs, both used independently by property-member-lookup
+ * and type-resolution consumers.
+ */
+/**
+ * Check if a type contains any type parameter.
+ *
+ * Uses IR kind "typeParameterType" only.
+ *
+ * @param type - The IR type to check
+ * @returns true if the type contains a type parameter
+ */
+const containsTypeParameterImpl = (type, visited) => {
+    if (visited.has(type)) {
+        return false;
+    }
+    visited.add(type);
+    switch (type.kind) {
+        case "typeParameterType":
+            // New IR kind - always a type parameter
+            return true;
+        case "referenceType":
+            // Recurse into type arguments
+            if (type.typeArguments) {
+                return type.typeArguments.some((arg) => containsTypeParameterImpl(arg, visited));
+            }
+            return false;
+        case "arrayType":
+            return containsTypeParameterImpl(type.elementType, visited);
+        case "dictionaryType":
+            return (containsTypeParameterImpl(type.keyType, visited) ||
+                containsTypeParameterImpl(type.valueType, visited));
+        case "unionType":
+        case "intersectionType":
+            return type.types.some((t) => containsTypeParameterImpl(t, visited));
+        case "tupleType":
+            return type.elementTypes.some((t) => containsTypeParameterImpl(t, visited));
+        case "functionType":
+            if (containsTypeParameterImpl(type.returnType, visited)) {
+                return true;
+            }
+            return type.parameters.some((p) => p.type && containsTypeParameterImpl(p.type, visited));
+        case "objectType":
+            return type.members.some((m) => {
+                if (m.kind === "propertySignature") {
+                    return containsTypeParameterImpl(m.type, visited);
+                }
+                if (m.kind === "methodSignature") {
+                    if (m.returnType &&
+                        containsTypeParameterImpl(m.returnType, visited)) {
+                        return true;
+                    }
+                    return m.parameters.some((p) => p.type && containsTypeParameterImpl(p.type, visited));
+                }
+                return false;
+            });
+        case "primitiveType":
+        case "literalType":
+        case "anyType":
+        case "unknownType":
+        case "voidType":
+        case "neverType":
+            return false;
+        default: {
+            // Exhaustive check - this will error if a new IR type kind is added
+            const exhaustive = type;
+            void exhaustive;
+            return false;
+        }
+    }
+};
+export const containsTypeParameter = (type) => containsTypeParameterImpl(type, new WeakSet());
+/**
+ * Substitute type arguments into a type.
+ *
+ * @param type - The type to substitute into
+ * @param typeParamNames - List of type parameter names (in order)
+ * @param typeArgs - List of type arguments (in order, parallel to typeParamNames)
+ * @returns The type with type parameters substituted
+ */
+export const substituteTypeArgs = (type, typeParamNames, typeArgs) => {
+    // Build mapping from name to type
+    const mapping = new Map();
+    for (let i = 0; i < typeParamNames.length && i < typeArgs.length; i++) {
+        const name = typeParamNames[i];
+        const arg = typeArgs[i];
+        if (name !== undefined && arg !== undefined) {
+            mapping.set(name, arg);
+        }
+    }
+    return substituteType(type, mapping);
+};
+/**
+ * Internal helper for type substitution
+ */
+const substituteType = (type, mapping, visited = new Map()) => {
+    const existing = visited.get(type);
+    if (existing) {
+        return existing;
+    }
+    switch (type.kind) {
+        case "typeParameterType": {
+            const substitution = mapping.get(type.name);
+            return substitution ?? type;
+        }
+        case "referenceType": {
+            // Recurse into type arguments
+            if (type.typeArguments) {
+                const clone = {
+                    ...type,
+                    typeArguments: [],
+                };
+                visited.set(type, clone);
+                clone.typeArguments = type.typeArguments.map((arg) => substituteType(arg, mapping, visited));
+                return clone;
+            }
+            return type;
+        }
+        case "arrayType": {
+            const clone = {
+                ...type,
+                elementType: type.elementType,
+            };
+            visited.set(type, clone);
+            clone.elementType = substituteType(type.elementType, mapping, visited);
+            return clone;
+        }
+        case "dictionaryType": {
+            const clone = {
+                ...type,
+                keyType: type.keyType,
+                valueType: type.valueType,
+            };
+            visited.set(type, clone);
+            clone.keyType = substituteType(type.keyType, mapping, visited);
+            clone.valueType = substituteType(type.valueType, mapping, visited);
+            return clone;
+        }
+        case "unionType": {
+            const clone = {
+                ...type,
+                types: [],
+            };
+            visited.set(type, clone);
+            clone.types = type.types.map((t) => substituteType(t, mapping, visited));
+            return clone;
+        }
+        case "tupleType": {
+            const clone = {
+                ...type,
+                elementTypes: [],
+            };
+            visited.set(type, clone);
+            clone.elementTypes = type.elementTypes.map((t) => substituteType(t, mapping, visited));
+            return clone;
+        }
+        case "intersectionType": {
+            const clone = {
+                ...type,
+                types: [],
+            };
+            visited.set(type, clone);
+            clone.types = type.types.map((t) => substituteType(t, mapping, visited));
+            return clone;
+        }
+        case "functionType": {
+            const clone = {
+                ...type,
+                returnType: type.returnType,
+                parameters: [],
+            };
+            visited.set(type, clone);
+            clone.returnType = substituteType(type.returnType, mapping, visited);
+            clone.parameters = type.parameters.map((p) => p.type ? { ...p, type: substituteType(p.type, mapping, visited) } : p);
+            return clone;
+        }
+        case "objectType": {
+            const clone = {
+                ...type,
+                members: [],
+            };
+            visited.set(type, clone);
+            clone.members = type.members.map((m) => {
+                if (m.kind === "propertySignature") {
+                    return { ...m, type: substituteType(m.type, mapping, visited) };
+                }
+                if (m.kind === "methodSignature") {
+                    return {
+                        ...m,
+                        returnType: m.returnType
+                            ? substituteType(m.returnType, mapping, visited)
+                            : undefined,
+                        parameters: m.parameters.map((p) => p.type
+                            ? { ...p, type: substituteType(p.type, mapping, visited) }
+                            : p),
+                    };
+                }
+                return m;
+            });
+            return clone;
+        }
+        case "primitiveType":
+        case "literalType":
+        case "anyType":
+        case "unknownType":
+        case "voidType":
+        case "neverType":
+            return type;
+        default: {
+            const exhaustive = type;
+            void exhaustive;
+            return type;
+        }
+    }
+};
+//# sourceMappingURL=type-param-substitution.js.map

package/dist/core/semantic/type-param-substitution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-param-substitution.js","sourceRoot":"","sources":["../../../src/core/semantic/type-param-substitution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAkBH;;;;;;;GAOG;AACH,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,OAAwB,EACf,EAAE;IACX,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAElB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB;YACtB,wCAAwC;YACxC,OAAO,IAAI,CAAC;QAEd,KAAK,eAAe;YAClB,8BAA8B;YAC9B,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CACrC,yBAAyB,CAAC,GAAG,EAAE,OAAO,CAAC,CACxC,CAAC;YACJ,CAAC;YACD,OAAO,KAAK,CAAC;QAEf,KAAK,WAAW;YACd,OAAO,yBAAyB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAE9D,KAAK,gBAAgB;YACnB,OAAO,CACL,yBAAyB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC;gBAChD,yBAAyB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CACnD,CAAC;QAEJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QAEvE,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,yBAAyB,CAAC,CAAC,EAAE,OAAO,CAAC,CACtC,CAAC;QAEJ,KAAK,cAAc;YACjB,IAAI,yBAAyB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;gBACxD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAC5D,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpD,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACjC,IACE,CAAC,CAAC,UAAU;wBACZ,yBAAyB,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,EAChD,CAAC;wBACD,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,OAAO,CAAC,CAAC,UAAU,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAC5D,CAAC;gBACJ,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;QAEL,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;QAEf,OAAO,CAAC,CAAC,CAAC;YACR,oEAAoE;YACpE,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,KAAK,UAAU,CAAC;YAChB,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAW,EAAE,CAC7D,yBAAyB,CAAC,IAAI,EAAE,IAAI,OAAO,EAAU,CAAC,CAAC;AAEzD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAY,EACZ,cAAiC,EACjC,QAA2B,EACnB,EAAE;IACV,kCAAkC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YAC5C,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,IAAY,EACZ,OAAoC,EACpC,UAA+B,IAAI,GAAG,EAAkB,EAChD,EAAE;IACV,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,OAAO,YAAY,IAAI,IAAI,CAAC;QAC9B,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,8BAA8B;YAC9B,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,MAAM,KAAK,GAA6B;oBACtC,GAAG,IAAI;oBACP,aAAa,EAAE,EAAE;iBAClB,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACzB,KAAK,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACnD,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CACtC,CAAC;gBACF,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;aAC9B,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAA8B;gBACvC,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,SAAS,EAAE,IAAI,CAAC,SAAS;aAC1B,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC/D,KAAK,CAAC,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACnE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,KAAK,EAAE,EAAE;aACV,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,YAAY,EAAE,EAAE;aACjB,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/C,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CACpC,CAAC;YACF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAgC;gBACzC,GAAG,IAAI;gBACP,KAAK,EAAE,EAAE;aACV,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,KAAK,GAA4B;gBACrC,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,UAAU,EAAE,EAAE;aACf,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACrE,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3C,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CACtE,CAAC;YACF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,KAAK,GAA0B;gBACnC,GAAG,IAAI;gBACP,OAAO,EAAE,EAAE;aACZ,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACrC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAClE,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACjC,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,CAAC,CAAC,UAAU;4BACtB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;4BAChD,CAAC,CAAC,SAAS;wBACb,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,CAAC,CAAC,IAAI;4BACJ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE;4BAC1D,CAAC,CAAC,CAAC,CACN;qBACF,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,OAAO,KAAe,CAAC;QACzB,CAAC;QAED,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QAEd,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,KAAK,UAAU,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}

package/dist/core/semantic/type-resolution-cases/array-like-element.test.d.ts

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

package/dist/core/semantic/type-resolution-cases/array-like-element.test.d.ts.map

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