@tsonic/emitter 0.0.73 → 0.0.75

package/dist/statements/statement-cases/scopes-and-storage.test.js

@@ -0,0 +1,216 @@
+import { describe, it, expect, emitModule } from "./helpers.js";
+describe("Statement Emission", () => {
+    it("does not leak outer localSemanticTypes/localValueTypes into inner block scope for shadowed variables", () => {
+        // TS: function test() {
+        //   const x: string | number = "hello";
+        //   {
+        //     const x: boolean = true;
+        //     console.log(x);
+        //   }
+        //   console.log(x);
+        // }
+        //
+        // The inner `x: boolean` must not inherit the outer `x: string | number`
+        // in either semantic or storage channels.
+        const stringOrNumber = {
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "string" },
+                { kind: "primitiveType", name: "number" },
+            ],
+        };
+        const boolType = { kind: "primitiveType", name: "boolean" };
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "test",
+                    parameters: [],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "variableDeclaration",
+                                declarationKind: "const",
+                                isExported: false,
+                                declarations: [
+                                    {
+                                        kind: "variableDeclarator",
+                                        name: { kind: "identifierPattern", name: "x" },
+                                        type: stringOrNumber,
+                                        initializer: {
+                                            kind: "literal",
+                                            value: "hello",
+                                            raw: '"hello"',
+                                            inferredType: { kind: "primitiveType", name: "string" },
+                                        },
+                                    },
+                                ],
+                            },
+                            {
+                                kind: "blockStatement",
+                                statements: [
+                                    {
+                                        kind: "variableDeclaration",
+                                        declarationKind: "const",
+                                        isExported: false,
+                                        declarations: [
+                                            {
+                                                kind: "variableDeclarator",
+                                                name: { kind: "identifierPattern", name: "x" },
+                                                type: boolType,
+                                                initializer: {
+                                                    kind: "literal",
+                                                    value: true,
+                                                    raw: "true",
+                                                    inferredType: boolType,
+                                                },
+                                            },
+                                        ],
+                                    },
+                                ],
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // Inner block must declare a bool-typed x (shadowed, renamed to x__1)
+        expect(result).to.include("bool");
+        // Must also have the outer union-typed x — emitted output should have both declarations
+        // The key invariant: the inner bool declaration must not be widened to the outer union type
+        expect(result).not.to.match(/bool.*x__1.*object/);
+    });
+    it("for-of loop variable gets correct semantic element type from array", () => {
+        // TS: function test(items: string[]) { for (const x of items) { console.log(x); } }
+        // Verifies that for-of element type registration populates semantic channel
+        const stringType = { kind: "primitiveType", name: "string" };
+        const stringArrayType = {
+            kind: "arrayType",
+            elementType: stringType,
+            origin: "explicit",
+        };
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "test",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "items" },
+                            type: stringArrayType,
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "forOfStatement",
+                                variable: { kind: "identifierPattern", name: "x" },
+                                expression: {
+                                    kind: "identifier",
+                                    name: "items",
+                                    inferredType: stringArrayType,
+                                },
+                                body: {
+                                    kind: "blockStatement",
+                                    statements: [],
+                                },
+                                isAwait: false,
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // The foreach should use 'var' for the element variable
+        expect(result).to.include("foreach (var x in items)");
+    });
+    it("variable with explicit union type annotation preserves semantic type separate from storage", () => {
+        // TS: function test() { const x: string | number = "hello"; }
+        // Verifies that the semantic channel gets the union type while storage may differ
+        const stringType = { kind: "primitiveType", name: "string" };
+        const numberType = { kind: "primitiveType", name: "number" };
+        const unionType = {
+            kind: "unionType",
+            types: [stringType, numberType],
+        };
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "test",
+                    parameters: [],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "variableDeclaration",
+                                declarationKind: "const",
+                                isExported: false,
+                                declarations: [
+                                    {
+                                        kind: "variableDeclarator",
+                                        name: { kind: "identifierPattern", name: "x" },
+                                        type: unionType,
+                                        initializer: {
+                                            kind: "literal",
+                                            value: "hello",
+                                            raw: '"hello"',
+                                            inferredType: stringType,
+                                        },
+                                    },
+                                ],
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // The variable should be emitted — union type annotation should produce
+        // a runtime union carrier or object storage, not be lost
+        expect(result).to.include("x");
+        expect(result).to.include('"hello"');
+    });
+});
+//# sourceMappingURL=scopes-and-storage.test.js.map

package/dist/statements/statement-cases/scopes-and-storage.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scopes-and-storage.test.js","sourceRoot":"","sources":["../../../src/statements/statement-cases/scopes-and-storage.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAEhE,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,sGAAsG,EAAE,GAAG,EAAE;QAC9G,wBAAwB;QACxB,wCAAwC;QACxC,MAAM;QACN,+BAA+B;QAC/B,sBAAsB;QACtB,MAAM;QACN,oBAAoB;QACpB,IAAI;QACJ,EAAE;QACF,yEAAyE;QACzE,0CAA0C;QAC1C,MAAM,cAAc,GAAW;YAC7B,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,QAAQ,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,eAAe,EAAE,OAAO;gCACxB,UAAU,EAAE,KAAK;gCACjB,YAAY,EAAE;oCACZ;wCACE,IAAI,EAAE,oBAAoB;wCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;wCAC9C,IAAI,EAAE,cAAc;wCACpB,WAAW,EAAE;4CACX,IAAI,EAAE,SAAS;4CACf,KAAK,EAAE,OAAO;4CACd,GAAG,EAAE,SAAS;4CACd,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;yCACxD;qCACF;iCACF;6BACF;4BACD;gCACE,IAAI,EAAE,gBAAgB;gCACtB,UAAU,EAAE;oCACV;wCACE,IAAI,EAAE,qBAAqB;wCAC3B,eAAe,EAAE,OAAO;wCACxB,UAAU,EAAE,KAAK;wCACjB,YAAY,EAAE;4CACZ;gDACE,IAAI,EAAE,oBAAoB;gDAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gDAC9C,IAAI,EAAE,QAAQ;gDACd,WAAW,EAAE;oDACX,IAAI,EAAE,SAAS;oDACf,KAAK,EAAE,IAAI;oDACX,GAAG,EAAE,MAAM;oDACX,YAAY,EAAE,QAAQ;iDACvB;6CACF;yCACF;qCACF;iCACF;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,sEAAsE;QACtE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClC,wFAAwF;QACxF,4FAA4F;QAC5F,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,oFAAoF;QACpF,4EAA4E;QAC5E,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACrE,MAAM,eAAe,GAAW;YAC9B,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,UAAU;YACvB,MAAM,EAAE,UAAmB;SAC5B,CAAC;QACF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE,eAAe;4BACrB,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,gBAAgB;gCACtB,QAAQ,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gCAClD,UAAU,EAAE;oCACV,IAAI,EAAE,YAAY;oCAClB,IAAI,EAAE,OAAO;oCACb,YAAY,EAAE,eAAe;iCAC9B;gCACD,IAAI,EAAE;oCACJ,IAAI,EAAE,gBAAgB;oCACtB,UAAU,EAAE,EAAE;iCACf;gCACD,OAAO,EAAE,KAAK;6BACf;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,wDAAwD;QACxD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,8DAA8D;QAC9D,kFAAkF;QAClF,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACrE,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACrE,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;SAChC,CAAC;QACF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,eAAe,EAAE,OAAO;gCACxB,UAAU,EAAE,KAAK;gCACjB,YAAY,EAAE;oCACZ;wCACE,IAAI,EAAE,oBAAoB;wCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;wCAC9C,IAAI,EAAE,SAAS;wCACf,WAAW,EAAE;4CACX,IAAI,EAAE,SAAS;4CACf,KAAK,EAAE,OAAO;4CACd,GAAG,EAAE,SAAS;4CACd,YAAY,EAAE,UAAU;yCACzB;qCACF;iCACF;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,wEAAwE;QACxE,yDAAyD;QACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/statements/statement-cases/union-guards-basic.test.d.ts

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

package/dist/statements/statement-cases/union-guards-basic.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-guards-basic.test.d.ts","sourceRoot":"","sources":["../../../src/statements/statement-cases/union-guards-basic.test.ts"],"names":[],"mappings":""}

package/dist/statements/statement-cases/union-guards-basic.test.js

@@ -0,0 +1,235 @@
+import { describe, it, expect, emitModule } from "./helpers.js";
+describe("Statement Emission", () => {
+    it("narrows discriminated unions on truthy/falsy property guards", () => {
+        const okType = { kind: "referenceType", name: "Ok" };
+        const errType = { kind: "referenceType", name: "Err" };
+        const unionReference = {
+            kind: "referenceType",
+            name: "Union_2",
+            resolvedClrType: "global::Tsonic.Runtime.Union_2",
+            typeArguments: [okType, errType],
+        };
+        const unionWrapper = {
+            kind: "intersectionType",
+            types: [unionReference, { kind: "referenceType", name: "__Union$views" }],
+        };
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "interfaceDeclaration",
+                    name: "Ok",
+                    typeParameters: [],
+                    extends: [],
+                    members: [
+                        {
+                            kind: "propertySignature",
+                            name: "success",
+                            type: { kind: "literalType", value: true },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                        {
+                            kind: "propertySignature",
+                            name: "data",
+                            type: { kind: "primitiveType", name: "string" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                    ],
+                    isExported: false,
+                    isStruct: false,
+                },
+                {
+                    kind: "interfaceDeclaration",
+                    name: "Err",
+                    typeParameters: [],
+                    extends: [],
+                    members: [
+                        {
+                            kind: "propertySignature",
+                            name: "success",
+                            type: { kind: "literalType", value: false },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                        {
+                            kind: "propertySignature",
+                            name: "error",
+                            type: { kind: "primitiveType", name: "string" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                    ],
+                    isExported: false,
+                    isStruct: false,
+                },
+                {
+                    kind: "functionDeclaration",
+                    name: "readResult",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "result" },
+                            type: unionWrapper,
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "primitiveType", name: "string" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "ifStatement",
+                                condition: {
+                                    kind: "unary",
+                                    operator: "!",
+                                    expression: {
+                                        kind: "memberAccess",
+                                        object: {
+                                            kind: "identifier",
+                                            name: "result",
+                                            inferredType: unionWrapper,
+                                        },
+                                        property: "success",
+                                        isComputed: false,
+                                        isOptional: false,
+                                        inferredType: { kind: "literalType", value: true },
+                                    },
+                                },
+                                thenStatement: {
+                                    kind: "blockStatement",
+                                    statements: [
+                                        {
+                                            kind: "returnStatement",
+                                            expression: {
+                                                kind: "memberAccess",
+                                                object: {
+                                                    kind: "identifier",
+                                                    name: "result",
+                                                    inferredType: errType,
+                                                },
+                                                property: "error",
+                                                isComputed: false,
+                                                isOptional: false,
+                                            },
+                                        },
+                                    ],
+                                },
+                            },
+                            {
+                                kind: "returnStatement",
+                                expression: {
+                                    kind: "memberAccess",
+                                    object: {
+                                        kind: "identifier",
+                                        name: "result",
+                                        inferredType: okType,
+                                    },
+                                    property: "data",
+                                    isComputed: false,
+                                    isOptional: false,
+                                },
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("if (!result.Match<bool>(");
+        expect(result).to.include("__tsonic_union_member_1 => __tsonic_union_member_1.success");
+        expect(result).to.include("__tsonic_union_member_2 => __tsonic_union_member_2.success");
+        expect(result).to.include("return result__2_1.error;");
+        expect(result).to.include("return (result.As1()).data;");
+    });
+    it("narrows `in`-guards for cross-module union members via the type member index", () => {
+        const typeMemberIndex = new Map([
+            [
+                "MyApp.Models.OkEvents",
+                new Map([["events", "property"]]),
+            ],
+            [
+                "MyApp.Models.ErrEvents",
+                new Map([["error", "property"]]),
+            ],
+        ]);
+        const unionReference = {
+            kind: "referenceType",
+            name: "Union_2",
+            resolvedClrType: "global::Tsonic.Runtime.Union_2",
+            typeArguments: [
+                { kind: "referenceType", name: "MyApp.Models.OkEvents" },
+                { kind: "referenceType", name: "MyApp.Models.ErrEvents" },
+            ],
+        };
+        const unionWrapper = {
+            kind: "intersectionType",
+            types: [unionReference, { kind: "referenceType", name: "__Union$views" }],
+        };
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "handle",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "result" },
+                            type: unionWrapper,
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "ifStatement",
+                                condition: {
+                                    kind: "binary",
+                                    operator: "in",
+                                    inferredType: { kind: "primitiveType", name: "boolean" },
+                                    left: { kind: "literal", value: "error" },
+                                    right: {
+                                        kind: "identifier",
+                                        name: "result",
+                                        inferredType: unionWrapper,
+                                    },
+                                },
+                                thenStatement: { kind: "blockStatement", statements: [] },
+                                elseStatement: undefined,
+                            },
+                        ],
+                    },
+                    isExported: false,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module, { typeMemberIndex });
+        expect(result).to.include("if (result.Is2())");
+    });
+});
+//# sourceMappingURL=union-guards-basic.test.js.map

package/dist/statements/statement-cases/union-guards-basic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-guards-basic.test.js","sourceRoot":"","sources":["../../../src/statements/statement-cases/union-guards-basic.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAEhE,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC7D,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC/D,MAAM,cAAc,GAAW;YAC7B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,SAAS;YACf,eAAe,EAAE,gCAAgC;YACjD,aAAa,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;SACjC,CAAC;QACF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;SAC1E,CAAC;QAEF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,IAAI;oBACV,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;4BAC1C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;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;oBACD,UAAU,EAAE,KAAK;oBACjB,QAAQ,EAAE,KAAK;iBAChB;gBACD;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,KAAK;oBACX,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;4BAC3C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,QAAQ,EAAE,KAAK;iBAChB;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,YAAY;oBAClB,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;4BACtD,IAAI,EAAE,YAAY;4BAClB,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,aAAa;gCACnB,SAAS,EAAE;oCACT,IAAI,EAAE,OAAO;oCACb,QAAQ,EAAE,GAAG;oCACb,UAAU,EAAE;wCACV,IAAI,EAAE,cAAc;wCACpB,MAAM,EAAE;4CACN,IAAI,EAAE,YAAY;4CAClB,IAAI,EAAE,QAAQ;4CACd,YAAY,EAAE,YAAY;yCAC3B;wCACD,QAAQ,EAAE,SAAS;wCACnB,UAAU,EAAE,KAAK;wCACjB,UAAU,EAAE,KAAK;wCACjB,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;qCACnD;iCACF;gCACD,aAAa,EAAE;oCACb,IAAI,EAAE,gBAAgB;oCACtB,UAAU,EAAE;wCACV;4CACE,IAAI,EAAE,iBAAiB;4CACvB,UAAU,EAAE;gDACV,IAAI,EAAE,cAAc;gDACpB,MAAM,EAAE;oDACN,IAAI,EAAE,YAAY;oDAClB,IAAI,EAAE,QAAQ;oDACd,YAAY,EAAE,OAAO;iDACtB;gDACD,QAAQ,EAAE,OAAO;gDACjB,UAAU,EAAE,KAAK;gDACjB,UAAU,EAAE,KAAK;6CAClB;yCACF;qCACF;iCACF;6BACF;4BACD;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE;oCACV,IAAI,EAAE,cAAc;oCACpB,MAAM,EAAE;wCACN,IAAI,EAAE,YAAY;wCAClB,IAAI,EAAE,QAAQ;wCACd,YAAY,EAAE,MAAM;qCACrB;oCACD,QAAQ,EAAE,MAAM;oCAChB,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,4DAA4D,CAC7D,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,4DAA4D,CAC7D,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAsC;YACnE;gBACE,uBAAuB;gBACvB,IAAI,GAAG,CAAyB,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;aAC1D;YACD;gBACE,wBAAwB;gBACxB,IAAI,GAAG,CAAyB,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;aACzD;SACF,CAAC,CAAC;QAEH,MAAM,cAAc,GAAW;YAC7B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,SAAS;YACf,eAAe,EAAE,gCAAgC;YACjD,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,uBAAuB,EAAE;gBACxD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,wBAAwB,EAAE;aAC1D;SACF,CAAC;QACF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;SAC1E,CAAC;QAEF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;4BACtD,IAAI,EAAE,YAAY;4BAClB,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,aAAa;gCACnB,SAAS,EAAE;oCACT,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,IAAI;oCACd,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;oCACxD,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE;oCACzC,KAAK,EAAE;wCACL,IAAI,EAAE,YAAY;wCAClB,IAAI,EAAE,QAAQ;wCACd,YAAY,EAAE,YAAY;qCAC3B;iCACF;gCACD,aAAa,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;gCACzD,aAAa,EAAE,SAAS;6BACzB;yBACF;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC;QAEvD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/statements/statement-cases/union-guards-nullish-and-object.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=union-guards-nullish-and-object.test.d.ts.map

package/dist/statements/statement-cases/union-guards-nullish-and-object.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-guards-nullish-and-object.test.d.ts","sourceRoot":"","sources":["../../../src/statements/statement-cases/union-guards-nullish-and-object.test.ts"],"names":[],"mappings":""}