@tsonic/emitter 0.0.73 → 0.0.75

package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js

@@ -0,0 +1,356 @@
+import { describe, it, expect, emitModule, emitExpressionAst, printExpression, createJsSurfaceBindingRegistry, } from "./helpers.js";
+import { normalizeRuntimeUnionCarrierNames } from "../../runtime-union-cases/helpers.js";
+const jsSurfaceBindingRegistry = createJsSurfaceBindingRegistry();
+describe("Expression Emission", () => {
+    it("should lower JS-surface array length to native CLR Length", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "memberAccess",
+                        object: {
+                            kind: "identifier",
+                            name: "nums",
+                            inferredType: {
+                                kind: "arrayType",
+                                elementType: { kind: "primitiveType", name: "int" },
+                            },
+                        },
+                        property: "length",
+                        isComputed: false,
+                        isOptional: false,
+                        memberBinding: {
+                            kind: "property",
+                            assembly: "js",
+                            type: "js.Array",
+                            member: "length",
+                        },
+                    },
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module, {
+            surface: "@tsonic/js",
+            bindingRegistry: jsSurfaceBindingRegistry,
+        });
+        expect(result).to.include("nums.Length");
+    });
+    it("should lower nullable JS-surface array length to native CLR Length", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "memberAccess",
+                        object: {
+                            kind: "identifier",
+                            name: "maybeNums",
+                            inferredType: {
+                                kind: "unionType",
+                                types: [
+                                    {
+                                        kind: "arrayType",
+                                        elementType: { kind: "primitiveType", name: "int" },
+                                    },
+                                    { kind: "primitiveType", name: "undefined" },
+                                ],
+                            },
+                        },
+                        property: "length",
+                        isComputed: false,
+                        isOptional: false,
+                        memberBinding: {
+                            kind: "property",
+                            assembly: "js",
+                            type: "js.Array",
+                            member: "length",
+                        },
+                    },
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module, {
+            surface: "@tsonic/js",
+            bindingRegistry: jsSurfaceBindingRegistry,
+        });
+        expect(result).to.include("maybeNums.Length");
+    });
+    it("should preserve resolved CLR identity while lowering array length natively", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "memberAccess",
+                        object: {
+                            kind: "identifier",
+                            name: "attachments",
+                            inferredType: {
+                                kind: "arrayType",
+                                elementType: {
+                                    kind: "referenceType",
+                                    name: "Acme.Core.Attachment",
+                                    resolvedClrType: "Acme.Core.Attachment",
+                                },
+                            },
+                        },
+                        property: "length",
+                        isComputed: false,
+                        isOptional: false,
+                        memberBinding: {
+                            kind: "property",
+                            assembly: "js",
+                            type: "js.Array",
+                            member: "length",
+                        },
+                    },
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module, {
+            surface: "@tsonic/js",
+            bindingRegistry: jsSurfaceBindingRegistry,
+        });
+        expect(result).to.include("attachments.Length");
+    });
+    it("should lower ReadonlyArray length to native CLR Length", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "memberAccess",
+                        object: {
+                            kind: "identifier",
+                            name: "nums",
+                            inferredType: {
+                                kind: "referenceType",
+                                name: "ReadonlyArray",
+                                typeArguments: [{ kind: "primitiveType", name: "int" }],
+                            },
+                        },
+                        property: "length",
+                        isComputed: false,
+                        isOptional: false,
+                        memberBinding: {
+                            kind: "property",
+                            assembly: "js",
+                            type: "js.ReadonlyArray",
+                            member: "length",
+                        },
+                    },
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module, {
+            surface: "@tsonic/js",
+            bindingRegistry: jsSurfaceBindingRegistry,
+        });
+        expect(result).to.include("nums.Length");
+    });
+    it("uses storage-erased element types for JS array wrapper property access on recursive union arrays", () => {
+        const handlerType = {
+            kind: "functionType",
+            parameters: [
+                {
+                    kind: "parameter",
+                    pattern: { kind: "identifierPattern", name: "value" },
+                    type: { kind: "primitiveType", name: "string" },
+                    initializer: undefined,
+                    isOptional: false,
+                    isRest: false,
+                    passing: "value",
+                },
+            ],
+            returnType: { kind: "voidType" },
+        };
+        const routerType = {
+            kind: "referenceType",
+            name: "Router",
+            resolvedClrType: "Test.Router",
+        };
+        const middlewareLike = {
+            kind: "unionType",
+            types: [],
+        };
+        middlewareLike.types.push(handlerType, routerType, {
+            kind: "arrayType",
+            elementType: middlewareLike,
+            origin: "explicit",
+        });
+        const expr = {
+            kind: "memberAccess",
+            object: {
+                kind: "identifier",
+                name: "entries",
+                inferredType: {
+                    kind: "arrayType",
+                    elementType: middlewareLike,
+                    origin: "explicit",
+                },
+            },
+            property: "length",
+            isComputed: false,
+            isOptional: false,
+            inferredType: { kind: "primitiveType", name: "int" },
+            memberBinding: {
+                kind: "property",
+                assembly: "js",
+                type: "js.Array",
+                member: "length",
+            },
+        };
+        const [result] = emitExpressionAst(expr, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+            bindingRegistry: jsSurfaceBindingRegistry,
+            localValueTypes: new Map([
+                [
+                    "entries",
+                    {
+                        kind: "arrayType",
+                        elementType: {
+                            kind: "referenceType",
+                            name: "object",
+                            resolvedClrType: "System.Object",
+                        },
+                        origin: "explicit",
+                    },
+                ],
+            ]),
+        });
+        const text = printExpression(result);
+        expect(text).to.equal("entries.Length");
+        expect(text).to.not.include("new global::js.Array");
+    });
+    it("uses storage-erased element types for JS array mutation wrappers on recursive union arrays", () => {
+        const handlerType = {
+            kind: "functionType",
+            parameters: [
+                {
+                    kind: "parameter",
+                    pattern: { kind: "identifierPattern", name: "value" },
+                    type: { kind: "primitiveType", name: "string" },
+                    initializer: undefined,
+                    isOptional: false,
+                    isRest: false,
+                    passing: "value",
+                },
+            ],
+            returnType: { kind: "voidType" },
+        };
+        const routerType = {
+            kind: "referenceType",
+            name: "Router",
+            resolvedClrType: "Test.Router",
+        };
+        const middlewareLike = {
+            kind: "unionType",
+            types: [],
+        };
+        middlewareLike.types.push(handlerType, routerType, {
+            kind: "arrayType",
+            elementType: middlewareLike,
+            origin: "explicit",
+        });
+        const expr = {
+            kind: "call",
+            callee: {
+                kind: "memberAccess",
+                object: {
+                    kind: "identifier",
+                    name: "result",
+                    inferredType: {
+                        kind: "arrayType",
+                        elementType: middlewareLike,
+                        origin: "explicit",
+                    },
+                },
+                property: "push",
+                isComputed: false,
+                isOptional: false,
+                memberBinding: {
+                    kind: "method",
+                    assembly: "js",
+                    type: "js.Array",
+                    member: "push",
+                },
+            },
+            arguments: [
+                {
+                    kind: "identifier",
+                    name: "router",
+                    inferredType: routerType,
+                },
+            ],
+            isOptional: false,
+            inferredType: { kind: "primitiveType", name: "int" },
+        };
+        const [result] = emitExpressionAst(expr, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+            bindingRegistry: jsSurfaceBindingRegistry,
+            localValueTypes: new Map([
+                [
+                    "result",
+                    {
+                        kind: "arrayType",
+                        elementType: {
+                            kind: "referenceType",
+                            name: "object",
+                            resolvedClrType: "System.Object",
+                        },
+                        origin: "explicit",
+                    },
+                ],
+            ]),
+        });
+        const text = normalizeRuntimeUnionCarrierNames(printExpression(result));
+        expect(text).to.include("global::Tsonic.Internal.ArrayInterop.WrapArray(result)");
+        expect(text).to.not.include("new global::js.Array<global::Tsonic.Internal.Union");
+    });
+});
+//# sourceMappingURL=array-wrapper-recursion-b.test.js.map

package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-wrapper-recursion-b.test.js","sourceRoot":"","sources":["../../../src/expressions/index-cases/array-wrapper-recursion-b.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,UAAU,EACV,iBAAiB,EACjB,eAAe,EACf,8BAA8B,GAI/B,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AAEzF,MAAM,wBAAwB,GAAG,8BAA8B,EAAE,CAAC;AAElE,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,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,UAAU,EAAE;wBACV,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE;4BACN,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,MAAM;4BACZ,YAAY,EAAE;gCACZ,IAAI,EAAE,WAAW;gCACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;6BACpD;yBACF;wBACD,QAAQ,EAAE,QAAQ;wBAClB,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,KAAK;wBACjB,aAAa,EAAE;4BACb,IAAI,EAAE,UAAU;4BAChB,QAAQ,EAAE,IAAI;4BACd,IAAI,EAAE,UAAU;4BAChB,MAAM,EAAE,QAAQ;yBACjB;qBACF;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE;YAChC,OAAO,EAAE,YAAY;YACrB,eAAe,EAAE,wBAAwB;SAC1C,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,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,UAAU,EAAE;wBACV,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE;4BACN,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,WAAW;4BACjB,YAAY,EAAE;gCACZ,IAAI,EAAE,WAAW;gCACjB,KAAK,EAAE;oCACL;wCACE,IAAI,EAAE,WAAW;wCACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;qCACpD;oCACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iCAC7C;6BACF;yBACF;wBACD,QAAQ,EAAE,QAAQ;wBAClB,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,KAAK;wBACjB,aAAa,EAAE;4BACb,IAAI,EAAE,UAAU;4BAChB,QAAQ,EAAE,IAAI;4BACd,IAAI,EAAE,UAAU;4BAChB,MAAM,EAAE,QAAQ;yBACjB;qBACF;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE;YAChC,OAAO,EAAE,YAAY;YACrB,eAAe,EAAE,wBAAwB;SAC1C,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,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,UAAU,EAAE;wBACV,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE;4BACN,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,aAAa;4BACnB,YAAY,EAAE;gCACZ,IAAI,EAAE,WAAW;gCACjB,WAAW,EAAE;oCACX,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,sBAAsB;oCAC5B,eAAe,EAAE,sBAAsB;iCACxC;6BACF;yBACF;wBACD,QAAQ,EAAE,QAAQ;wBAClB,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,KAAK;wBACjB,aAAa,EAAE;4BACb,IAAI,EAAE,UAAU;4BAChB,QAAQ,EAAE,IAAI;4BACd,IAAI,EAAE,UAAU;4BAChB,MAAM,EAAE,QAAQ;yBACjB;qBACF;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE;YAChC,OAAO,EAAE,YAAY;YACrB,eAAe,EAAE,wBAAwB;SAC1C,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,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,UAAU,EAAE;wBACV,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE;4BACN,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,MAAM;4BACZ,YAAY,EAAE;gCACZ,IAAI,EAAE,eAAe;gCACrB,IAAI,EAAE,eAAe;gCACrB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;6BACxD;yBACF;wBACD,QAAQ,EAAE,QAAQ;wBAClB,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,KAAK;wBACjB,aAAa,EAAE;4BACb,IAAI,EAAE,UAAU;4BAChB,QAAQ,EAAE,IAAI;4BACd,IAAI,EAAE,kBAAkB;4BACxB,MAAM,EAAE,QAAQ;yBACjB;qBACF;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE;YAChC,OAAO,EAAE,YAAY;YACrB,eAAe,EAAE,wBAAwB;SAC1C,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kGAAkG,EAAE,GAAG,EAAE;QAC1G,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;oBACrD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,WAAW,EAAE,SAAS;oBACtB,UAAU,EAAE,KAAK;oBACjB,MAAM,EAAE,KAAK;oBACb,OAAO,EAAE,OAAO;iBACjB;aACF;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;SACjC,CAAC;QAEF,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,aAAa;SAC/B,CAAC;QAEF,MAAM,cAAc,GAAG;YACrB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE;SAGV,CAAC;QAEF,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE;YACjD,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,cAAc;YAC3B,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;QAEH,MAAM,IAAI,GAAiB;YACzB,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE;gBACN,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,SAAS;gBACf,YAAY,EAAE;oBACZ,IAAI,EAAE,WAAW;oBACjB,WAAW,EAAE,cAAc;oBAC3B,MAAM,EAAE,UAAU;iBACnB;aACF;YACD,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACpD,aAAa,EAAE;gBACb,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,QAAQ;aACjB;SACF,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE;YACvC,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,eAAe,EAAE,wBAAwB;YACzC,eAAe,EAAE,IAAI,GAAG,CAAC;gBACvB;oBACE,SAAS;oBACT;wBACE,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE;4BACX,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,QAAQ;4BACd,eAAe,EAAE,eAAe;yBACjC;wBACD,MAAM,EAAE,UAAU;qBACF;iBACnB;aACF,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;oBACrD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,WAAW,EAAE,SAAS;oBACtB,UAAU,EAAE,KAAK;oBACjB,MAAM,EAAE,KAAK;oBACb,OAAO,EAAE,OAAO;iBACjB;aACF;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;SACjC,CAAC;QAEF,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,aAAa;SAC/B,CAAC;QAEF,MAAM,cAAc,GAAG;YACrB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE;SAGV,CAAC;QAEF,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE;YACjD,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,cAAc;YAC3B,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;QAEH,MAAM,IAAI,GAAiB;YACzB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE;gBACN,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE;oBACN,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,QAAQ;oBACd,YAAY,EAAE;wBACZ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,cAAc;wBAC3B,MAAM,EAAE,UAAU;qBACnB;iBACF;gBACD,QAAQ,EAAE,MAAM;gBAChB,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,KAAK;gBACjB,aAAa,EAAE;oBACb,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,MAAM;iBACf;aACF;YACD,SAAS,EAAE;gBACT;oBACE,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,QAAQ;oBACd,YAAY,EAAE,UAAU;iBACzB;aACF;YACD,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;SACrD,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE;YACvC,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,eAAe,EAAE,wBAAwB;YACzC,eAAe,EAAE,IAAI,GAAG,CAAC;gBACvB;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE;4BACX,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,QAAQ;4BACd,eAAe,EAAE,eAAe;yBACjC;wBACD,MAAM,EAAE,UAAU;qBACF;iBACnB;aACF,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,iCAAiC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CACrB,wDAAwD,CACzD,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CACzB,oDAAoD,CACrD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/expressions/index-cases/array-wrapper-recursion-c.test.d.ts

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

package/dist/expressions/index-cases/array-wrapper-recursion-c.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-wrapper-recursion-c.test.d.ts","sourceRoot":"","sources":["../../../src/expressions/index-cases/array-wrapper-recursion-c.test.ts"],"names":[],"mappings":""}

package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js

@@ -0,0 +1,233 @@
+import { describe, it, expect, emitExpressionAst, printExpression, } from "./helpers.js";
+describe("Expression Emission", () => {
+    it("uses storage-erased element types for JS array wrappers on recursive union call results", () => {
+        const handlerType = {
+            kind: "functionType",
+            parameters: [],
+            returnType: { kind: "voidType" },
+        };
+        const routerType = {
+            kind: "referenceType",
+            name: "Router",
+            resolvedClrType: "Test.Router",
+        };
+        const middlewareLike = {
+            kind: "unionType",
+            types: [],
+        };
+        middlewareLike.types.push(handlerType, routerType, {
+            kind: "arrayType",
+            elementType: middlewareLike,
+            origin: "explicit",
+        });
+        const expr = {
+            kind: "memberAccess",
+            object: {
+                kind: "call",
+                callee: {
+                    kind: "identifier",
+                    name: "flatten",
+                    inferredType: {
+                        kind: "functionType",
+                        parameters: [],
+                        returnType: {
+                            kind: "arrayType",
+                            elementType: middlewareLike,
+                            origin: "explicit",
+                        },
+                    },
+                },
+                arguments: [],
+                isOptional: false,
+                inferredType: {
+                    kind: "arrayType",
+                    elementType: middlewareLike,
+                    origin: "explicit",
+                },
+            },
+            property: "length",
+            isComputed: false,
+            isOptional: false,
+            inferredType: { kind: "primitiveType", name: "int" },
+            memberBinding: {
+                kind: "property",
+                assembly: "js",
+                type: "js.Array`1",
+                member: "length",
+            },
+        };
+        const [result] = emitExpressionAst(expr, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+        });
+        const text = printExpression(result);
+        expect(text).to.equal("flatten().Length");
+    });
+    it("uses storage-erased element types for JS array wrappers on asserted recursive union arrays", () => {
+        const handlerType = {
+            kind: "functionType",
+            parameters: [],
+            returnType: { kind: "voidType" },
+        };
+        const routerType = {
+            kind: "referenceType",
+            name: "Router",
+            resolvedClrType: "Test.Router",
+        };
+        const middlewareLike = {
+            kind: "unionType",
+            types: [],
+        };
+        middlewareLike.types.push(handlerType, routerType, {
+            kind: "arrayType",
+            elementType: middlewareLike,
+            origin: "explicit",
+        });
+        const expr = {
+            kind: "memberAccess",
+            object: {
+                kind: "typeAssertion",
+                expression: {
+                    kind: "identifier",
+                    name: "handlerArray",
+                    inferredType: middlewareLike,
+                },
+                targetType: {
+                    kind: "arrayType",
+                    elementType: {
+                        kind: "referenceType",
+                        name: "object",
+                        resolvedClrType: "System.Object",
+                    },
+                    origin: "explicit",
+                },
+                inferredType: {
+                    kind: "arrayType",
+                    elementType: middlewareLike,
+                    origin: "explicit",
+                },
+            },
+            property: "length",
+            isComputed: false,
+            isOptional: false,
+            inferredType: { kind: "primitiveType", name: "int" },
+            memberBinding: {
+                kind: "property",
+                assembly: "js",
+                type: "js.Array`1",
+                member: "length",
+            },
+        };
+        const [result] = emitExpressionAst(expr, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+        });
+        const text = printExpression(result);
+        expect(text).to.include("handlerArray.Match");
+        expect(text).to.include(".Length");
+        expect(text).to.not.include("new global::js.Array<");
+    });
+    it("uses storage-erased wrapper element types for narrowed recursive union arrays", () => {
+        const handlerType = {
+            kind: "functionType",
+            parameters: [
+                {
+                    kind: "parameter",
+                    pattern: { kind: "identifierPattern", name: "value" },
+                    type: { kind: "primitiveType", name: "string" },
+                    initializer: undefined,
+                    isOptional: false,
+                    isRest: false,
+                    passing: "value",
+                },
+            ],
+            returnType: { kind: "voidType" },
+        };
+        const routerType = {
+            kind: "referenceType",
+            name: "Router",
+            resolvedClrType: "Test.Router",
+        };
+        const middlewareLike = {
+            kind: "unionType",
+            types: [],
+        };
+        middlewareLike.types.push(handlerType, routerType, {
+            kind: "arrayType",
+            elementType: middlewareLike,
+            origin: "explicit",
+        });
+        const expr = {
+            kind: "memberAccess",
+            object: {
+                kind: "identifier",
+                name: "handler",
+                inferredType: middlewareLike,
+            },
+            property: "length",
+            isComputed: false,
+            isOptional: false,
+            inferredType: { kind: "primitiveType", name: "int" },
+            memberBinding: {
+                kind: "property",
+                assembly: "js",
+                type: "js.Array`1",
+                member: "length",
+            },
+        };
+        const [result] = emitExpressionAst(expr, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                surface: "@tsonic/js",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+            narrowedBindings: new Map([
+                [
+                    "handler",
+                    {
+                        kind: "expr",
+                        exprAst: {
+                            kind: "invocationExpression",
+                            expression: {
+                                kind: "memberAccessExpression",
+                                expression: {
+                                    kind: "identifierExpression",
+                                    identifier: "handler",
+                                },
+                                memberName: "As1",
+                            },
+                            arguments: [],
+                        },
+                        type: {
+                            kind: "arrayType",
+                            elementType: middlewareLike,
+                            origin: "explicit",
+                        },
+                        sourceType: middlewareLike,
+                    },
+                ],
+            ]),
+        });
+        const text = printExpression(result);
+        expect(text).to.equal("handler.As1().Length");
+    });
+});
+//# sourceMappingURL=array-wrapper-recursion-c.test.js.map

package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-wrapper-recursion-c.test.js","sourceRoot":"","sources":["../../../src/expressions/index-cases/array-wrapper-recursion-c.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,iBAAiB,EACjB,eAAe,GAGhB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;SACjC,CAAC;QAEF,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,aAAa;SAC/B,CAAC;QAEF,MAAM,cAAc,GAAG;YACrB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE;SAGV,CAAC;QAEF,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE;YACjD,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,cAAc;YAC3B,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;QAEH,MAAM,IAAI,GAAiB;YACzB,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE;gBACN,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE;oBACN,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,SAAS;oBACf,YAAY,EAAE;wBACZ,IAAI,EAAE,cAAc;wBACpB,UAAU,EAAE,EAAE;wBACd,UAAU,EAAE;4BACV,IAAI,EAAE,WAAW;4BACjB,WAAW,EAAE,cAAc;4BAC3B,MAAM,EAAE,UAAU;yBACnB;qBACF;iBACF;gBACD,SAAS,EAAE,EAAE;gBACb,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE;oBACZ,IAAI,EAAE,WAAW;oBACjB,WAAW,EAAE,cAAc;oBAC3B,MAAM,EAAE,UAAU;iBACnB;aACF;YACD,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACpD,aAAa,EAAE;gBACb,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,QAAQ;aACjB;SACF,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE;YACvC,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,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;SACjC,CAAC;QAEF,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,aAAa;SAC/B,CAAC;QAEF,MAAM,cAAc,GAAG;YACrB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE;SAGV,CAAC;QAEF,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE;YACjD,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,cAAc;YAC3B,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;QAEH,MAAM,IAAI,GAAiB;YACzB,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE;gBACN,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE;oBACV,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,cAAc;oBACpB,YAAY,EAAE,cAAc;iBAC7B;gBACD,UAAU,EAAE;oBACV,IAAI,EAAE,WAAW;oBACjB,WAAW,EAAE;wBACX,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,QAAQ;wBACd,eAAe,EAAE,eAAe;qBACjC;oBACD,MAAM,EAAE,UAAU;iBACnB;gBACD,YAAY,EAAE;oBACZ,IAAI,EAAE,WAAW;oBACjB,WAAW,EAAE,cAAc;oBAC3B,MAAM,EAAE,UAAU;iBACnB;aACF;YACD,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACpD,aAAa,EAAE;gBACb,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,QAAQ;aACjB;SACF,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE;YACvC,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,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;oBACrD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,WAAW,EAAE,SAAS;oBACtB,UAAU,EAAE,KAAK;oBACjB,MAAM,EAAE,KAAK;oBACb,OAAO,EAAE,OAAO;iBACjB;aACF;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;SACjC,CAAC;QAEF,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,aAAa;SAC/B,CAAC;QAEF,MAAM,cAAc,GAAG;YACrB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE;SAGV,CAAC;QAEF,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE;YACjD,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,cAAc;YAC3B,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;QAEH,MAAM,IAAI,GAAiB;YACzB,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE;gBACN,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,SAAS;gBACf,YAAY,EAAE,cAAc;aAC7B;YACD,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACpD,aAAa,EAAE;gBACb,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,QAAQ;aACjB;SACF,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE;YACvC,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,SAAS;oBACT;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,SAAS;iCACtB;gCACD,UAAU,EAAE,KAAK;6BAClB;4BACD,SAAS,EAAE,EAAE;yBACd;wBACD,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,WAAW,EAAE,cAAc;4BAC3B,MAAM,EAAE,UAAU;yBACnB;wBACD,UAAU,EAAE,cAAc;qBAC3B;iBACF;aACF,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/expressions/index-cases/basic-literals-and-calls.test.d.ts

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

package/dist/expressions/index-cases/basic-literals-and-calls.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"basic-literals-and-calls.test.d.ts","sourceRoot":"","sources":["../../../src/expressions/index-cases/basic-literals-and-calls.test.ts"],"names":[],"mappings":""}