@tsonic/emitter 0.0.73 → 0.0.75

package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js

@@ -0,0 +1,482 @@
+import { describe, it, expect, emitExpressionAst, printExpression, } from "./helpers.js";
+import { normalizeRuntimeUnionCarrierNames } from "../../runtime-union-cases/helpers.js";
+const jsValueType = {
+    kind: "referenceType",
+    name: "JsValue",
+    resolvedClrType: "Tsonic.Runtime.JsValue",
+};
+describe("Expression Emission", () => {
+    it("reifies explicit runtime union narrowing casts through Match instead of raw CLR casts", () => {
+        const requestHandlerType = {
+            kind: "functionType",
+            parameters: [
+                {
+                    kind: "parameter",
+                    pattern: { kind: "identifierPattern", name: "req" },
+                    type: {
+                        kind: "referenceType",
+                        name: "Request",
+                        resolvedClrType: "Test.Request",
+                    },
+                    initializer: undefined,
+                    isOptional: false,
+                    isRest: false,
+                    passing: "value",
+                },
+            ],
+            returnType: jsValueType,
+        };
+        const routerType = {
+            kind: "referenceType",
+            name: "Router",
+            resolvedClrType: "Test.Router",
+        };
+        const pathSpecType = {
+            kind: "unionType",
+            types: [
+                {
+                    kind: "arrayType",
+                    elementType: jsValueType,
+                    origin: "explicit",
+                },
+                { kind: "primitiveType", name: "string" },
+                {
+                    kind: "referenceType",
+                    name: "RegExp",
+                    resolvedClrType: "global::js.RegExp",
+                },
+            ],
+        };
+        const broadType = {
+            kind: "unionType",
+            types: [...pathSpecType.types, routerType, requestHandlerType],
+        };
+        const [result] = emitExpressionAst({
+            kind: "typeAssertion",
+            expression: {
+                kind: "identifier",
+                name: "first",
+                inferredType: broadType,
+            },
+            targetType: pathSpecType,
+            inferredType: pathSpecType,
+        }, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+        });
+        const rendered = normalizeRuntimeUnionCarrierNames(printExpression(result));
+        expect(rendered).to.include("first.Match");
+        expect(rendered).to.include("From1(__tsonic_union_member_1)");
+        expect(rendered).to.include("From2(__tsonic_union_member_3)");
+        expect(rendered).to.include("From3(__tsonic_union_member_4)");
+        expect(rendered).to.include("new global::System.InvalidCastException(");
+        expect(rendered).to.not.include("(global::Tsonic.Internal.Union<object?[], string, global::js.RegExp>)first");
+    });
+    it("narrows runtime-subset identifiers through the full runtime-union arity", () => {
+        const requestHandlerType = {
+            kind: "functionType",
+            parameters: [
+                {
+                    kind: "parameter",
+                    pattern: { kind: "identifierPattern", name: "req" },
+                    type: {
+                        kind: "referenceType",
+                        name: "Request",
+                        resolvedClrType: "Test.Request",
+                    },
+                    initializer: undefined,
+                    isOptional: false,
+                    isRest: false,
+                    passing: "value",
+                },
+            ],
+            returnType: jsValueType,
+        };
+        const routerType = {
+            kind: "referenceType",
+            name: "Router",
+            resolvedClrType: "Test.Router",
+        };
+        const pathSpecType = {
+            kind: "unionType",
+            types: [
+                {
+                    kind: "arrayType",
+                    elementType: jsValueType,
+                    origin: "explicit",
+                },
+                { kind: "primitiveType", name: "string" },
+                {
+                    kind: "referenceType",
+                    name: "RegExp",
+                    resolvedClrType: "global::js.RegExp",
+                },
+            ],
+        };
+        const broadType = {
+            kind: "unionType",
+            types: [...pathSpecType.types, routerType, requestHandlerType],
+        };
+        const [result] = emitExpressionAst({
+            kind: "identifier",
+            name: "first",
+            inferredType: broadType,
+        }, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+            narrowedBindings: new Map([
+                [
+                    "first",
+                    {
+                        kind: "runtimeSubset",
+                        runtimeMemberNs: [1, 3, 4],
+                        runtimeUnionArity: 5,
+                        type: pathSpecType,
+                    },
+                ],
+            ]),
+        }, pathSpecType);
+        const rendered = normalizeRuntimeUnionCarrierNames(printExpression(result));
+        expect(rendered).to.include("first.Match");
+        expect(rendered).to.include("__tsonic_union_member_5");
+        expect(rendered).to.include("new global::System.InvalidCastException(");
+    });
+    it("does not re-wrap runtime-union assertions that already materialize the target union", () => {
+        const requestHandlerType = {
+            kind: "functionType",
+            parameters: [
+                {
+                    kind: "parameter",
+                    pattern: { kind: "identifierPattern", name: "req" },
+                    type: {
+                        kind: "referenceType",
+                        name: "Request",
+                        resolvedClrType: "Test.Request",
+                    },
+                    initializer: undefined,
+                    isOptional: false,
+                    isRest: false,
+                    passing: "value",
+                },
+            ],
+            returnType: jsValueType,
+        };
+        const routerType = {
+            kind: "referenceType",
+            name: "Router",
+            resolvedClrType: "Test.Router",
+        };
+        const pathSpecType = {
+            kind: "unionType",
+            types: [
+                {
+                    kind: "arrayType",
+                    elementType: jsValueType,
+                    origin: "explicit",
+                },
+                { kind: "primitiveType", name: "string" },
+                {
+                    kind: "referenceType",
+                    name: "RegExp",
+                    resolvedClrType: "global::js.RegExp",
+                },
+            ],
+        };
+        const broadType = {
+            kind: "unionType",
+            types: [...pathSpecType.types, routerType, requestHandlerType],
+        };
+        const [result] = emitExpressionAst({
+            kind: "typeAssertion",
+            expression: {
+                kind: "identifier",
+                name: "first",
+                inferredType: broadType,
+            },
+            targetType: pathSpecType,
+            inferredType: pathSpecType,
+        }, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+        }, pathSpecType);
+        const rendered = printExpression(result);
+        const matchCount = rendered.match(/\.Match(?:<|\()/g)?.length ?? 0;
+        expect(matchCount).to.equal(1);
+        expect(rendered).to.not.include(")).Match");
+    });
+    it("preserves source carrier storage when expr-narrowed assertions emit the original identifier", () => {
+        const callbackType = {
+            kind: "functionType",
+            parameters: [],
+            returnType: { kind: "voidType" },
+        };
+        const bindOptionsType = {
+            kind: "referenceType",
+            name: "BindOptions",
+            resolvedClrType: "Test.BindOptions",
+        };
+        const broadType = {
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "int" },
+                callbackType,
+                bindOptionsType,
+            ],
+        };
+        const narrowedType = {
+            kind: "unionType",
+            types: [{ kind: "primitiveType", name: "int" }, bindOptionsType],
+        };
+        const optionalIntType = {
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "int" },
+                { kind: "primitiveType", name: "undefined" },
+            ],
+        };
+        const [result] = emitExpressionAst({
+            kind: "typeAssertion",
+            expression: {
+                kind: "identifier",
+                name: "value",
+                inferredType: narrowedType,
+            },
+            targetType: optionalIntType,
+            inferredType: optionalIntType,
+        }, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+            localNameMap: new Map([["value", "value"]]),
+            narrowedBindings: new Map([
+                [
+                    "value",
+                    {
+                        kind: "expr",
+                        exprAst: {
+                            kind: "identifierExpression",
+                            identifier: "value",
+                        },
+                        storageExprAst: {
+                            kind: "identifierExpression",
+                            identifier: "value",
+                        },
+                        type: narrowedType,
+                        sourceType: broadType,
+                    },
+                ],
+            ]),
+        });
+        const rendered = printExpression(result);
+        expect(rendered).to.include("value.Match");
+        expect(rendered).to.not.include("((global::Tsonic.Internal.Union<int, Test.BindOptions>?)value).Match");
+    });
+    it("reuses the original expr-narrowed carrier when the expected surface is the full union", () => {
+        const bytesType = {
+            kind: "referenceType",
+            name: "Bytes",
+            resolvedClrType: "Test.Bytes",
+        };
+        const broadType = {
+            kind: "unionType",
+            types: [bytesType, { kind: "primitiveType", name: "string" }],
+        };
+        const [result] = emitExpressionAst({
+            kind: "identifier",
+            name: "key",
+            inferredType: { kind: "primitiveType", name: "string" },
+        }, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+            localNameMap: new Map([["key", "key"]]),
+            localValueTypes: new Map([["key", broadType]]),
+            narrowedBindings: new Map([
+                [
+                    "key",
+                    {
+                        kind: "expr",
+                        exprAst: {
+                            kind: "invocationExpression",
+                            expression: {
+                                kind: "memberAccessExpression",
+                                expression: {
+                                    kind: "identifierExpression",
+                                    identifier: "key",
+                                },
+                                memberName: "As2",
+                            },
+                            arguments: [],
+                        },
+                        storageExprAst: {
+                            kind: "identifierExpression",
+                            identifier: "key",
+                        },
+                        carrierExprAst: {
+                            kind: "identifierExpression",
+                            identifier: "key",
+                        },
+                        type: { kind: "primitiveType", name: "string" },
+                        sourceType: broadType,
+                    },
+                ],
+            ]),
+        }, broadType);
+        const rendered = printExpression(result);
+        expect(rendered).to.equal("key");
+    });
+    it("reuses the original runtime-subset carrier when the expected surface is the full union", () => {
+        const bytesType = {
+            kind: "referenceType",
+            name: "Bytes",
+            resolvedClrType: "Test.Bytes",
+        };
+        const broadType = {
+            kind: "unionType",
+            types: [{ kind: "primitiveType", name: "string" }, bytesType],
+        };
+        const [result] = emitExpressionAst({
+            kind: "identifier",
+            name: "key",
+            inferredType: { kind: "primitiveType", name: "string" },
+        }, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+            localNameMap: new Map([["key", "key"]]),
+            localValueTypes: new Map([["key", broadType]]),
+            narrowedBindings: new Map([
+                [
+                    "key",
+                    {
+                        kind: "runtimeSubset",
+                        runtimeMemberNs: [2],
+                        runtimeUnionArity: 2,
+                        type: { kind: "primitiveType", name: "string" },
+                        sourceType: broadType,
+                    },
+                ],
+            ]),
+        }, broadType);
+        const rendered = printExpression(result);
+        expect(rendered).to.equal("key");
+    });
+    it("reprojects nested runtime-subset assertions from the source carrier instead of raw subset casts", () => {
+        const callbackType = {
+            kind: "functionType",
+            parameters: [],
+            returnType: { kind: "voidType" },
+        };
+        const bindOptionsType = {
+            kind: "referenceType",
+            name: "BindOptions",
+            resolvedClrType: "Test.BindOptions",
+        };
+        const broadType = {
+            kind: "unionType",
+            types: [
+                callbackType,
+                { kind: "primitiveType", name: "int" },
+                bindOptionsType,
+                { kind: "primitiveType", name: "undefined" },
+            ],
+        };
+        const bindLikeType = {
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "int" },
+                bindOptionsType,
+                { kind: "primitiveType", name: "undefined" },
+            ],
+        };
+        const optionalIntType = {
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "int" },
+                { kind: "primitiveType", name: "undefined" },
+            ],
+        };
+        const [result] = emitExpressionAst({
+            kind: "typeAssertion",
+            expression: {
+                kind: "typeAssertion",
+                expression: {
+                    kind: "identifier",
+                    name: "value",
+                    inferredType: broadType,
+                },
+                targetType: bindLikeType,
+                inferredType: bindLikeType,
+            },
+            targetType: optionalIntType,
+            inferredType: optionalIntType,
+        }, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+            narrowedBindings: new Map([
+                [
+                    "value",
+                    {
+                        kind: "runtimeSubset",
+                        runtimeMemberNs: [2, 3, 4],
+                        runtimeUnionArity: 4,
+                        sourceMembers: [...broadType.types],
+                        sourceCandidateMemberNs: [1, 2, 3, 4],
+                        type: bindLikeType,
+                        sourceType: broadType,
+                    },
+                ],
+            ]),
+        });
+        const rendered = normalizeRuntimeUnionCarrierNames(printExpression(result));
+        expect(rendered).to.include("value.Match");
+        expect(rendered).to.not.include("((global::Tsonic.Internal.Union<int, Test.BindOptions>?)value).Match");
+    });
+});
+//# sourceMappingURL=runtime-subset-and-assertions.test.js.map

package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-subset-and-assertions.test.js","sourceRoot":"","sources":["../../../src/expressions/index-cases/runtime-subset-and-assertions.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,iBAAiB,EACjB,eAAe,GAEhB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AAEzF,MAAM,WAAW,GAAW;IAC1B,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,SAAS;IACf,eAAe,EAAE,wBAAwB;CAC1C,CAAC;AAEF,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,kBAAkB,GAAW;YACjC,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE;oBACnD,IAAI,EAAE;wBACJ,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,SAAS;wBACf,eAAe,EAAE,cAAc;qBAChC;oBACD,WAAW,EAAE,SAAS;oBACtB,UAAU,EAAE,KAAK;oBACjB,MAAM,EAAE,KAAK;oBACb,OAAO,EAAE,OAAO;iBACjB;aACF;YACD,UAAU,EAAE,WAAW;SACxB,CAAC;QAEF,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,aAAa;SAC/B,CAAC;QAEF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,WAAW;oBACjB,WAAW,EAAE,WAAW;oBACxB,MAAM,EAAE,UAAU;iBACnB;gBACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,QAAQ;oBACd,eAAe,EAAE,mBAAmB;iBACrC;aACF;SACF,CAAC;QAEF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,kBAAkB,CAAC;SAC/D,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAChC;YACE,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE;gBACV,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,OAAO;gBACb,YAAY,EAAE,SAAS;aACxB;YACD,UAAU,EAAE,YAAY;YACxB,YAAY,EAAE,YAAY;SAC3B,EACD;YACE,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,YAAY;gBACrB,MAAM,EAAE,CAAC;aACV;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,CACF,CAAC;QAEF,MAAM,QAAQ,GAAG,iCAAiC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QAC3C,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;QAC9D,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;QAC9D,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;QAC9D,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC;QACxE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAC7B,4EAA4E,CAC7E,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,kBAAkB,GAAW;YACjC,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE;oBACnD,IAAI,EAAE;wBACJ,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,SAAS;wBACf,eAAe,EAAE,cAAc;qBAChC;oBACD,WAAW,EAAE,SAAS;oBACtB,UAAU,EAAE,KAAK;oBACjB,MAAM,EAAE,KAAK;oBACb,OAAO,EAAE,OAAO;iBACjB;aACF;YACD,UAAU,EAAE,WAAW;SACxB,CAAC;QAEF,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,aAAa;SAC/B,CAAC;QAEF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,WAAW;oBACjB,WAAW,EAAE,WAAW;oBACxB,MAAM,EAAE,UAAU;iBACnB;gBACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,QAAQ;oBACd,eAAe,EAAE,mBAAmB;iBACrC;aACF;SACF,CAAC;QAEF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,kBAAkB,CAAC;SAC/D,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAChC;YACE,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,SAAS;SACxB,EACD;YACE,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,YAAY;gBACrB,MAAM,EAAE,CAAC;aACV;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;YACzB,gBAAgB,EAAE,IAAI,GAAG,CAAC;gBACxB;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,eAAe;wBACrB,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBAC1B,iBAAiB,EAAE,CAAC;wBACpB,IAAI,EAAE,YAAY;qBACnB;iBACF;aACF,CAAC;SACH,EACD,YAAY,CACb,CAAC;QAEF,MAAM,QAAQ,GAAG,iCAAiC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QAC3C,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;QACvD,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,kBAAkB,GAAW;YACjC,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE;oBACnD,IAAI,EAAE;wBACJ,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,SAAS;wBACf,eAAe,EAAE,cAAc;qBAChC;oBACD,WAAW,EAAE,SAAS;oBACtB,UAAU,EAAE,KAAK;oBACjB,MAAM,EAAE,KAAK;oBACb,OAAO,EAAE,OAAO;iBACjB;aACF;YACD,UAAU,EAAE,WAAW;SACxB,CAAC;QAEF,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,aAAa;SAC/B,CAAC;QAEF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,WAAW;oBACjB,WAAW,EAAE,WAAW;oBACxB,MAAM,EAAE,UAAU;iBACnB;gBACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,QAAQ;oBACd,eAAe,EAAE,mBAAmB;iBACrC;aACF;SACF,CAAC;QAEF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,kBAAkB,CAAC;SAC/D,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAChC;YACE,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE;gBACV,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,OAAO;gBACb,YAAY,EAAE,SAAS;aACxB;YACD,UAAU,EAAE,YAAY;YACxB,YAAY,EAAE,YAAY;SAC3B,EACD;YACE,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,YAAY;gBACrB,MAAM,EAAE,CAAC;aACV;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,EACD,YAAY,CACb,CAAC;QAEF,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;QACnE,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6FAA6F,EAAE,GAAG,EAAE;QACrG,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;SACjC,CAAC;QAEF,MAAM,eAAe,GAAW;YAC9B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,aAAa;YACnB,eAAe,EAAE,kBAAkB;SACpC,CAAC;QAEF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBACtC,YAAY;gBACZ,eAAe;aAChB;SACF,CAAC;QAEF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,eAAe,CAAC;SACjE,CAAC;QAEF,MAAM,eAAe,GAAW;YAC9B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAChC;YACE,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE;gBACV,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,OAAO;gBACb,YAAY,EAAE,YAAY;aAC3B;YACD,UAAU,EAAE,eAAe;YAC3B,YAAY,EAAE,eAAe;SAC9B,EACD;YACE,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,YAAY;gBACrB,MAAM,EAAE,CAAC;aACV;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;YACzB,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YAC3C,gBAAgB,EAAE,IAAI,GAAG,CAAC;gBACxB;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,MAAM;wBACZ,OAAO,EAAE;4BACP,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,OAAO;yBACpB;wBACD,cAAc,EAAE;4BACd,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,OAAO;yBACpB;wBACD,IAAI,EAAE,YAAY;wBAClB,UAAU,EAAE,SAAS;qBACtB;iBACF;aACF,CAAC;SACH,CACF,CAAC;QAEF,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QAC3C,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAC7B,sEAAsE,CACvE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,eAAe,EAAE,YAAY;SAC9B,CAAC;QAEF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;SAC9D,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAChC;YACE,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,KAAK;YACX,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACxD,EACD;YACE,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,YAAY;gBACrB,MAAM,EAAE,CAAC;aACV;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;YACzB,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YACvC,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YAC9C,gBAAgB,EAAE,IAAI,GAAG,CAAC;gBACxB;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,MAAM;wBACZ,OAAO,EAAE;4BACP,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE;gCACV,IAAI,EAAE,wBAAwB;gCAC9B,UAAU,EAAE;oCACV,IAAI,EAAE,sBAAsB;oCAC5B,UAAU,EAAE,KAAK;iCAClB;gCACD,UAAU,EAAE,KAAK;6BAClB;4BACD,SAAS,EAAE,EAAE;yBACd;wBACD,cAAc,EAAE;4BACd,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,KAAK;yBAClB;wBACD,cAAc,EAAE;4BACd,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,KAAK;yBAClB;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAC/C,UAAU,EAAE,SAAS;qBACtB;iBACF;aACF,CAAC;SACH,EACD,SAAS,CACV,CAAC;QAEF,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,eAAe,EAAE,YAAY;SAC9B,CAAC;QAEF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,SAAS,CAAC;SAC9D,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAChC;YACE,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,KAAK;YACX,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACxD,EACD;YACE,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,YAAY;gBACrB,MAAM,EAAE,CAAC;aACV;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;YACzB,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YACvC,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YAC9C,gBAAgB,EAAE,IAAI,GAAG,CAAC;gBACxB;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,eAAe;wBACrB,eAAe,EAAE,CAAC,CAAC,CAAC;wBACpB,iBAAiB,EAAE,CAAC;wBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAC/C,UAAU,EAAE,SAAS;qBACtB;iBACF;aACF,CAAC;SACH,EACD,SAAS,CACV,CAAC;QAEF,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;SACjC,CAAC;QAEF,MAAM,eAAe,GAAW;YAC9B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,aAAa;YACnB,eAAe,EAAE,kBAAkB;SACpC,CAAC;QAEF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,YAAY;gBACZ,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBACtC,eAAe;gBACf,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,CAAC;QAEF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBACtC,eAAe;gBACf,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,CAAC;QAEF,MAAM,eAAe,GAAW;YAC9B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAChC;YACE,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE;gBACV,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE;oBACV,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,OAAO;oBACb,YAAY,EAAE,SAAS;iBACxB;gBACD,UAAU,EAAE,YAAY;gBACxB,YAAY,EAAE,YAAY;aAC3B;YACD,UAAU,EAAE,eAAe;YAC3B,YAAY,EAAE,eAAe;SAC9B,EACD;YACE,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,YAAY;gBACrB,MAAM,EAAE,CAAC;aACV;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;YACzB,gBAAgB,EAAE,IAAI,GAAG,CAAC;gBACxB;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,eAAe;wBACrB,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBAC1B,iBAAiB,EAAE,CAAC;wBACpB,aAAa,EAAE,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC;wBACnC,uBAAuB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBACrC,IAAI,EAAE,YAAY;wBAClB,UAAU,EAAE,SAAS;qBACtB;iBACF;aACF,CAAC;SACH,CACF,CAAC;QAEF,MAAM,QAAQ,GAAG,iCAAiC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QAC3C,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAC7B,sEAAsE,CACvE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/expressions/index-cases/runtime-union-reification-a.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=runtime-union-reification-a.test.d.ts.map

package/dist/expressions/index-cases/runtime-union-reification-a.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-reification-a.test.d.ts","sourceRoot":"","sources":["../../../src/expressions/index-cases/runtime-union-reification-a.test.ts"],"names":[],"mappings":""}