@tsonic/emitter 0.0.73 → 0.0.75

package/dist/specialization/helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/specialization/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE1C;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,MAAM,EACZ,UAAU,SAAS,MAAM,EAAE,KAC1B,MAIF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,KAAG,MAiB5C,CAAC"}
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/specialization/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAmB,MAAM,kBAAkB,CAAC;AAE3D;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,MAAM,EACZ,UAAU,SAAS,MAAM,EAAE,KAC1B,MAIF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,KAAG,MAE5C,CAAC"}

package/dist/specialization/helpers.js

@@ -1,6 +1,7 @@
 /**
  * Helper functions for specialization (key generation, serialization)
  */
+import { stableIrTypeKey } from "@tsonic/frontend";
 /**
  * Create a unique key for a specialization request
  */
@@ -13,21 +14,6 @@ export const createSpecializationKey = (name, typeArgs) => {
  * Simple type serialization for deduplication
  */
 export const serializeType = (type) => {
-    switch (type.kind) {
-        case "primitiveType":
-            return type.name;
-        case "referenceType":
-            if (type.typeArguments && type.typeArguments.length > 0) {
-                const args = type.typeArguments.map(serializeType).join(",");
-                return `${type.name}<${args}>`;
-            }
-            return type.name;
-        case "arrayType":
-            return `${serializeType(type.elementType)}[]`;
-        case "literalType":
-            return `literal:${type.value}`;
-        default:
-            return type.kind;
-    }
+    return stableIrTypeKey(type);
 };
 //# sourceMappingURL=helpers.js.map

package/dist/specialization/helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../src/specialization/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAY,EACZ,QAA2B,EACnB,EAAE;IACV,2DAA2D;IAC3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,OAAO,GAAG,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC1C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE;IACpD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,eAAe;YAClB,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC7D,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC;YACjC,CAAC;YACD,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,WAAW;YACd,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;QAChD,KAAK,aAAa;YAChB,OAAO,WAAW,IAAI,CAAC,KAAK,EAAE,CAAC;QACjC;YACE,OAAO,IAAI,CAAC,IAAI,CAAC;IACrB,CAAC;AACH,CAAC,CAAC"}
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../src/specialization/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAU,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAE3D;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAY,EACZ,QAA2B,EACnB,EAAE;IACV,2DAA2D;IAC3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,OAAO,GAAG,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC1C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE;IACpD,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC,CAAC"}

package/dist/specialization/interfaces.test.js

@@ -135,5 +135,63 @@ describe("Interfaces (spec/16 §2)", () => {
         expect(result).to.match(/public\s+class\s+Result\s*<T>/);
         expect(result).to.include("public required T data { get; set; }");
     });
+    it("marks derived property-only interface ctors with SetsRequiredMembers", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/TenantAdmin.ts",
+            namespace: "MyApp",
+            className: "TenantAdmin",
+            isStaticContainer: false,
+            imports: [],
+            body: [
+                {
+                    kind: "interfaceDeclaration",
+                    name: "CreateTenantInput",
+                    typeParameters: undefined,
+                    extends: [],
+                    isStruct: false,
+                    members: [
+                        {
+                            kind: "propertySignature",
+                            name: "subdomain",
+                            type: { kind: "primitiveType", name: "string" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                        {
+                            kind: "propertySignature",
+                            name: "name",
+                            type: { kind: "primitiveType", name: "string" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                    ],
+                    isExported: true,
+                },
+                {
+                    kind: "interfaceDeclaration",
+                    name: "CreateTenantAdminInput",
+                    typeParameters: undefined,
+                    extends: [{ kind: "referenceType", name: "CreateTenantInput" }],
+                    isStruct: false,
+                    members: [
+                        {
+                            kind: "propertySignature",
+                            name: "adminEmail",
+                            type: { kind: "primitiveType", name: "string" },
+                            isOptional: true,
+                            isReadonly: false,
+                        },
+                    ],
+                    isExported: true,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("public class CreateTenantInput");
+        expect(result).to.include("public class CreateTenantAdminInput : CreateTenantInput");
+        expect(result).to.match(/\[global::System\.Diagnostics\.CodeAnalysis\.SetsRequiredMembersAttribute\]\s*public\s+CreateTenantAdminInput\s*\(\s*\)/);
+    });
 });
 //# sourceMappingURL=interfaces.test.js.map

package/dist/specialization/interfaces.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"interfaces.test.js","sourceRoot":"","sources":["../../src/specialization/interfaces.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,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,KAAK;YACxB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,MAAM;oBACZ,cAAc,EAAE,SAAS;oBACzB,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,IAAI;4BAChB,UAAU,EAAE,KAAK;yBAClB;qBACF;oBACD,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,yCAAyC;QACzC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAEhD,0DAA0D;QAC1D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yCAAyC,CAAC,CAAC;QACrE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC;QAEvE,uCAAuC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,gBAAgB;YAC1B,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,QAAQ;YACnB,iBAAiB,EAAE,KAAK;YACxB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,QAAQ;oBACd,cAAc,EAAE,SAAS;oBACzB,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,IAAI;yBACjB;qBACF;oBACD,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,oFAAoF;QACpF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,gBAAgB;YAC1B,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,QAAQ;YACnB,iBAAiB,EAAE,IAAI,EAAE,uCAAuC;YAChE,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,QAAQ;oBACd,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE,SAAS;4BACrB,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;qBACF;oBACD,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;4BAC7D,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;oBACD,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,kCAAkC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,sCAAsC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"interfaces.test.js","sourceRoot":"","sources":["../../src/specialization/interfaces.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,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,KAAK;YACxB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,MAAM;oBACZ,cAAc,EAAE,SAAS;oBACzB,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,IAAI;4BAChB,UAAU,EAAE,KAAK;yBAClB;qBACF;oBACD,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,yCAAyC;QACzC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAEhD,0DAA0D;QAC1D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yCAAyC,CAAC,CAAC;QACrE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC;QAEvE,uCAAuC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,gBAAgB;YAC1B,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,QAAQ;YACnB,iBAAiB,EAAE,KAAK;YACxB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,QAAQ;oBACd,cAAc,EAAE,SAAS;oBACzB,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,IAAI;yBACjB;qBACF;oBACD,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,oFAAoF;QACpF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,gBAAgB;YAC1B,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,QAAQ;YACnB,iBAAiB,EAAE,IAAI,EAAE,uCAAuC;YAChE,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,QAAQ;oBACd,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE,SAAS;4BACrB,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;qBACF;oBACD,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;4BAC7D,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;oBACD,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,kCAAkC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,sCAAsC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,qBAAqB;YAC/B,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,aAAa;YACxB,iBAAiB,EAAE,KAAK;YACxB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,mBAAmB;oBACzB,cAAc,EAAE,SAAS;oBACzB,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,WAAW;4BACjB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;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,IAAI;iBACjB;gBACD;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,wBAAwB;oBAC9B,cAAc,EAAE,SAAS;oBACzB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;oBAC/D,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,IAAI;4BAChB,UAAU,EAAE,KAAK;yBAClB;qBACF;oBACD,UAAU,EAAE,IAAI;iBACjB;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,gCAAgC,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,yDAAyD,CAC1D,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,yHAAyH,CAC1H,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/specialization/naming.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"naming.d.ts","sourceRoot":"","sources":["../../src/specialization/naming.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG1C;;GAEG;AACH,eAAO,MAAM,+BAA+B,GAC1C,UAAU,MAAM,EAChB,UAAU,SAAS,MAAM,EAAE,KAC1B,MAMF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,4BAA4B,GACvC,UAAU,MAAM,EAChB,UAAU,SAAS,MAAM,EAAE,KAC1B,MAMF,CAAC"}
+{"version":3,"file":"naming.d.ts","sourceRoot":"","sources":["../../src/specialization/naming.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAW1C;;GAEG;AACH,eAAO,MAAM,+BAA+B,GAC1C,UAAU,MAAM,EAChB,UAAU,SAAS,MAAM,EAAE,KAC1B,MAMF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,4BAA4B,GACvC,UAAU,MAAM,EAChB,UAAU,SAAS,MAAM,EAAE,KAC1B,MAMF,CAAC"}

package/dist/specialization/naming.js

@@ -2,13 +2,20 @@
  * Name generation for specialized declarations
  */
 import { serializeType } from "./helpers.js";
+const sanitizeSpecializedTypeNamePart = (serialized) => {
+    const sanitized = serialized
+        .replace(/[^A-Za-z0-9_]/g, "_")
+        .replace(/_+/g, "_")
+        .replace(/^_+|_+$/g, "");
+    return sanitized.length > 0 ? sanitized : "Type";
+};
 /**
  * Generate specialized function name
  */
 export const generateSpecializedFunctionName = (baseName, typeArgs) => {
     const typeNames = typeArgs.map((t) => {
         const serialized = serializeType(t);
-        return serialized.replace(/[<>?,\s]/g, "_").replace(/\./g, "_");
+        return sanitizeSpecializedTypeNamePart(serialized);
     });
     return `${baseName}__${typeNames.join("__")}`;
 };
@@ -18,7 +25,7 @@ export const generateSpecializedFunctionName = (baseName, typeArgs) => {
 export const generateSpecializedClassName = (baseName, typeArgs) => {
     const typeNames = typeArgs.map((t) => {
         const serialized = serializeType(t);
-        return serialized.replace(/[<>?,\s]/g, "_").replace(/\./g, "_");
+        return sanitizeSpecializedTypeNamePart(serialized);
     });
     return `${baseName}__${typeNames.join("__")}`;
 };

package/dist/specialization/naming.js.map

@@ -1 +1 @@
-{"version":3,"file":"naming.js","sourceRoot":"","sources":["../../src/specialization/naming.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C;;GAEG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,QAAgB,EAChB,QAA2B,EACnB,EAAE;IACV,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAAgB,EAChB,QAA2B,EACnB,EAAE;IACV,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC,CAAC"}
+{"version":3,"file":"naming.js","sourceRoot":"","sources":["../../src/specialization/naming.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,MAAM,+BAA+B,GAAG,CAAC,UAAkB,EAAU,EAAE;IACrE,MAAM,SAAS,GAAG,UAAU;SACzB,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC;SAC9B,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;SACnB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC3B,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,QAAgB,EAChB,QAA2B,EACnB,EAAE;IACV,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,+BAA+B,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAAgB,EAChB,QAA2B,EACnB,EAAE;IACV,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,+BAA+B,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC,CAAC"}

package/dist/statements/block-emitters/block-and-return.d.ts

@@ -0,0 +1,10 @@
+import type { IrStatement } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpStatementAst, CSharpBlockStatementAst } from "../../core/format/backend-ast/types.js";
+export declare const emitBlockStatementAst: (stmt: Extract<IrStatement, {
+    kind: "blockStatement";
+}>, context: EmitterContext) => [CSharpBlockStatementAst, EmitterContext];
+export declare const emitReturnStatementAst: (stmt: Extract<IrStatement, {
+    kind: "returnStatement";
+}>, context: EmitterContext) => [readonly CSharpStatementAst[], EmitterContext];
+//# sourceMappingURL=block-and-return.d.ts.map

package/dist/statements/block-emitters/block-and-return.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block-and-return.d.ts","sourceRoot":"","sources":["../../../src/statements/block-emitters/block-and-return.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAgB,WAAW,EAAU,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAMhD,OAAO,KAAK,EACV,kBAAkB,EAClB,uBAAuB,EACxB,MAAM,wCAAwC,CAAC;AAgDhD,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,EACtD,SAAS,cAAc,KACtB,CAAC,uBAAuB,EAAE,cAAc,CA0B1C,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAC,EACvD,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAuGhD,CAAC"}

package/dist/statements/block-emitters/block-and-return.js

@@ -0,0 +1,132 @@
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitStatementAst } from "../../statement-emitter.js";
+import { allocateLocalName } from "../../core/format/local-names.js";
+import { identifierType } from "../../core/format/backend-ast/builders.js";
+import { withScoped } from "../../emitter-types/context.js";
+import { expressionProducesAsyncWrapper, getAsyncWrapperResultType, isAsyncWrapperType, } from "../../core/semantic/async-wrapper-types.js";
+import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
+import { isExpectedJsNumberIrType, isNumericSourceIrType, } from "../../expressions/post-emission-adaptation.js";
+import { stripNullish } from "../../core/semantic/type-resolution.js";
+const getBareTypeParameterName = (type, context) => {
+    if (!type) {
+        return undefined;
+    }
+    const stripped = stripNullish(type);
+    if (stripped.kind === "typeParameterType") {
+        return stripped.name;
+    }
+    if (stripped.kind === "referenceType" &&
+        (context.typeParameters?.has(stripped.name) ?? false) &&
+        (!stripped.typeArguments || stripped.typeArguments.length === 0)) {
+        return stripped.name;
+    }
+    return undefined;
+};
+const isNumericTypeParameterSource = (type, context) => {
+    const typeParameterName = getBareTypeParameterName(type, context);
+    return typeParameterName
+        ? (context.typeParamConstraints?.get(typeParameterName) ??
+            "unconstrained") === "numeric"
+        : false;
+};
+export const emitBlockStatementAst = (stmt, context) => {
+    const outerNameMap = context.localNameMap;
+    const outerConditionAliases = context.conditionAliases;
+    const outerSemanticTypes = context.localSemanticTypes;
+    const outerValueTypes = context.localValueTypes;
+    return withScoped(context, {
+        localNameMap: new Map(outerNameMap ?? []),
+        conditionAliases: new Map(outerConditionAliases ?? []),
+        localSemanticTypes: new Map(outerSemanticTypes ?? []),
+        localValueTypes: new Map(outerValueTypes ?? []),
+    }, (scopedContext) => {
+        let currentContext = scopedContext;
+        const statements = [];
+        for (const s of stmt.statements) {
+            const [stmts, newContext] = emitStatementAst(s, currentContext);
+            statements.push(...stmts);
+            currentContext = newContext;
+        }
+        return [{ kind: "blockStatement", statements }, currentContext];
+    });
+};
+export const emitReturnStatementAst = (stmt, context) => {
+    if (stmt.expression) {
+        if (context.returnType?.kind === "voidType" ||
+            context.returnType?.kind === "neverType") {
+            const expr = stmt.expression.kind === "unary" && stmt.expression.operator === "void"
+                ? stmt.expression.expression
+                : stmt.expression;
+            const isNoopExpr = (expr.kind === "literal" &&
+                (expr.value === undefined || expr.value === null)) ||
+                (expr.kind === "identifier" &&
+                    (expr.name === "undefined" || expr.name === "null"));
+            const [exprAst, newContext] = emitExpressionAst(expr, context);
+            if (isNoopExpr) {
+                return [[{ kind: "returnStatement" }], newContext];
+            }
+            const returnStmt = { kind: "returnStatement" };
+            if (expr.kind === "call" ||
+                expr.kind === "new" ||
+                expr.kind === "assignment" ||
+                expr.kind === "update" ||
+                expr.kind === "await") {
+                return [
+                    [{ kind: "expressionStatement", expression: exprAst }, returnStmt],
+                    newContext,
+                ];
+            }
+            const discardLocal = allocateLocalName("__tsonic_discard", newContext);
+            return [
+                [
+                    {
+                        kind: "localDeclarationStatement",
+                        modifiers: [],
+                        type: identifierType("var"),
+                        declarators: [
+                            {
+                                name: discardLocal.emittedName,
+                                initializer: exprAst,
+                            },
+                        ],
+                    },
+                    returnStmt,
+                ],
+                discardLocal.context,
+            ];
+        }
+        const shouldAutoAwait = context.isAsync &&
+            context.returnType !== undefined &&
+            !isAsyncWrapperType(context.returnType) &&
+            expressionProducesAsyncWrapper(stmt.expression) &&
+            stmt.expression.kind !== "await";
+        const returnExpression = shouldAutoAwait
+            ? {
+                kind: "await",
+                expression: stmt.expression,
+                inferredType: getAsyncWrapperResultType(stmt.expression) ?? context.returnType,
+                sourceSpan: stmt.expression.sourceSpan,
+            }
+            : stmt.expression;
+        const returnExpressionType = resolveEffectiveExpressionType(returnExpression, context) ??
+            returnExpression.inferredType;
+        const returnExpectedType = context.returnType &&
+            isExpectedJsNumberIrType(context.returnType, context) &&
+            isNumericSourceIrType(returnExpressionType, context) &&
+            !isNumericTypeParameterSource(returnExpressionType, context)
+            ? undefined
+            : context.returnType;
+        const [exprAst, newContext] = emitExpressionAst(returnExpression, context, returnExpectedType);
+        return [
+            [
+                {
+                    kind: "returnStatement",
+                    expression: exprAst,
+                },
+            ],
+            newContext,
+        ];
+    }
+    return [[{ kind: "returnStatement" }], context];
+};
+//# sourceMappingURL=block-and-return.js.map

package/dist/statements/block-emitters/block-and-return.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"block-and-return.js","sourceRoot":"","sources":["../../../src/statements/block-emitters/block-and-return.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAC3E,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAK5D,OAAO,EACL,8BAA8B,EAC9B,yBAAyB,EACzB,kBAAkB,GACnB,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EACL,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AAEtE,MAAM,wBAAwB,GAAG,CAC/B,IAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,QAAQ,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC1C,OAAO,QAAQ,CAAC,IAAI,CAAC;IACvB,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;QACrD,CAAC,CAAC,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,EAChE,CAAC;QACD,OAAO,QAAQ,CAAC,IAAI,CAAC;IACvB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClE,OAAO,iBAAiB;QACtB,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,iBAAiB,CAAC;YACnD,eAAe,CAAC,KAAK,SAAS;QAClC,CAAC,CAAC,KAAK,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAsD,EACtD,OAAuB,EACoB,EAAE;IAC7C,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;IAC1C,MAAM,qBAAqB,GAAG,OAAO,CAAC,gBAAgB,CAAC;IACvD,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC;IACtD,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC;IAChD,OAAO,UAAU,CACf,OAAO,EACP;QACE,YAAY,EAAE,IAAI,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC;QACzC,gBAAgB,EAAE,IAAI,GAAG,CAAC,qBAAqB,IAAI,EAAE,CAAC;QACtD,kBAAkB,EAAE,IAAI,GAAG,CAAC,kBAAkB,IAAI,EAAE,CAAC;QACrD,eAAe,EAAE,IAAI,GAAG,CAAC,eAAe,IAAI,EAAE,CAAC;KAChD,EACD,CAAC,aAAa,EAAE,EAAE;QAChB,IAAI,cAAc,GAAmB,aAAa,CAAC;QACnD,MAAM,UAAU,GAAyB,EAAE,CAAC;QAE5C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAChC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;YAChE,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YAC1B,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;QAED,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,cAAc,CAAC,CAAC;IAClE,CAAC,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAuD,EACvD,OAAuB,EAC0B,EAAE;IACnD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,IACE,OAAO,CAAC,UAAU,EAAE,IAAI,KAAK,UAAU;YACvC,OAAO,CAAC,UAAU,EAAE,IAAI,KAAK,WAAW,EACxC,CAAC;YACD,MAAM,IAAI,GACR,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,MAAM;gBACrE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU;gBAC5B,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;YAEtB,MAAM,UAAU,GACd,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;gBACtB,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;gBACpD,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;oBACzB,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;YAEzD,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE/D,IAAI,UAAU,EAAE,CAAC;gBACf,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;YACrD,CAAC;YAED,MAAM,UAAU,GAAuB,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;YAEnE,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;gBACpB,IAAI,CAAC,IAAI,KAAK,KAAK;gBACnB,IAAI,CAAC,IAAI,KAAK,YAAY;gBAC1B,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACtB,IAAI,CAAC,IAAI,KAAK,OAAO,EACrB,CAAC;gBACD,OAAO;oBACL,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,UAAU,CAAC;oBAClE,UAAU;iBACX,CAAC;YACJ,CAAC;YAED,MAAM,YAAY,GAAG,iBAAiB,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC;YACvE,OAAO;gBACL;oBACE;wBACE,IAAI,EAAE,2BAA2B;wBACjC,SAAS,EAAE,EAAE;wBACb,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC;wBAC3B,WAAW,EAAE;4BACX;gCACE,IAAI,EAAE,YAAY,CAAC,WAAW;gCAC9B,WAAW,EAAE,OAAO;6BACrB;yBACF;qBACF;oBACD,UAAU;iBACX;gBACD,YAAY,CAAC,OAAO;aACrB,CAAC;QACJ,CAAC;QAED,MAAM,eAAe,GACnB,OAAO,CAAC,OAAO;YACf,OAAO,CAAC,UAAU,KAAK,SAAS;YAChC,CAAC,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC;YACvC,8BAA8B,CAAC,IAAI,CAAC,UAAU,CAAC;YAC/C,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC;QAEnC,MAAM,gBAAgB,GAAiB,eAAe;YACpD,CAAC,CAAC;gBACE,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,YAAY,EACV,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,UAAU;gBAClE,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,UAAU;aACvC;YACH,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;QACpB,MAAM,oBAAoB,GACxB,8BAA8B,CAAC,gBAAgB,EAAE,OAAO,CAAC;YACzD,gBAAgB,CAAC,YAAY,CAAC;QAChC,MAAM,kBAAkB,GACtB,OAAO,CAAC,UAAU;YAClB,wBAAwB,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC;YACrD,qBAAqB,CAAC,oBAAoB,EAAE,OAAO,CAAC;YACpD,CAAC,4BAA4B,CAAC,oBAAoB,EAAE,OAAO,CAAC;YAC1D,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;QAEzB,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC7C,gBAAgB,EAChB,OAAO,EACP,kBAAkB,CACnB,CAAC;QAEF,OAAO;YACL;gBACE;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,OAAO;iBACpB;aACF;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC,CAAC"}

package/dist/statements/block-emitters/expression-statements.d.ts

@@ -0,0 +1,7 @@
+import { IrStatement } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpStatementAst } from "../../core/format/backend-ast/types.js";
+export declare const emitExpressionStatementAst: (stmt: Extract<IrStatement, {
+    kind: "expressionStatement";
+}>, context: EmitterContext) => [readonly CSharpStatementAst[], EmitterContext];
+//# sourceMappingURL=expression-statements.d.ts.map

package/dist/statements/block-emitters/expression-statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-statements.d.ts","sourceRoot":"","sources":["../../../src/statements/block-emitters/expression-statements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKhD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAgFjF,eAAO,MAAM,0BAA0B,GACrC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAgBhD,CAAC"}

package/dist/statements/block-emitters/expression-statements.js

@@ -0,0 +1,72 @@
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { allocateLocalName } from "../../core/format/local-names.js";
+import { identifierType } from "../../core/format/backend-ast/builders.js";
+import { applyAssignmentStatementNarrowing } from "../../core/semantic/assignment-flow.js";
+import { emitYieldExpressionAst } from "./yield-statements.js";
+const isNoopVoidOperand = (expr, state) => {
+    if (expr.kind === "literal" &&
+        (expr.value === undefined || expr.value === null)) {
+        return true;
+    }
+    if (expr.kind !== "identifier") {
+        return false;
+    }
+    if (expr.resolvedClrType !== undefined) {
+        return true;
+    }
+    const importBinding = state.importBindings?.get(expr.name);
+    if (importBinding?.kind === "namespace" || importBinding?.kind === "type") {
+        return true;
+    }
+    return false;
+};
+const isMethodGroupAccess = (expr) => {
+    if (expr.kind !== "memberAccess")
+        return false;
+    return expr.memberBinding?.kind === "method";
+};
+const emitVoidOperandAst = (expr, state) => {
+    if (isMethodGroupAccess(expr)) {
+        return emitVoidOperandAst(expr.object, state);
+    }
+    if (isNoopVoidOperand(expr, state)) {
+        return [[], state];
+    }
+    const [exprAst, newContext] = emitExpressionAst(expr, state);
+    if (expr.kind === "call" ||
+        expr.kind === "new" ||
+        expr.kind === "assignment" ||
+        expr.kind === "update" ||
+        expr.kind === "await") {
+        return [[{ kind: "expressionStatement", expression: exprAst }], newContext];
+    }
+    const discardLocal = allocateLocalName("__tsonic_discard", newContext);
+    return [
+        [
+            {
+                kind: "localDeclarationStatement",
+                modifiers: [],
+                type: identifierType("var"),
+                declarators: [
+                    {
+                        name: discardLocal.emittedName,
+                        initializer: exprAst,
+                    },
+                ],
+            },
+        ],
+        discardLocal.context,
+    ];
+};
+export const emitExpressionStatementAst = (stmt, context) => {
+    if (stmt.expression.kind === "yield") {
+        return emitYieldExpressionAst(stmt.expression, context);
+    }
+    if (stmt.expression.kind === "unary" && stmt.expression.operator === "void") {
+        return emitVoidOperandAst(stmt.expression.expression, context);
+    }
+    const [exprAst, newContext] = emitExpressionAst(stmt.expression, context);
+    const flowContext = applyAssignmentStatementNarrowing(stmt.expression, newContext, emitExpressionAst);
+    return [[{ kind: "expressionStatement", expression: exprAst }], flowContext];
+};
+//# sourceMappingURL=expression-statements.js.map

package/dist/statements/block-emitters/expression-statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-statements.js","sourceRoot":"","sources":["../../../src/statements/block-emitters/expression-statements.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAC3E,OAAO,EAAE,iCAAiC,EAAE,MAAM,wCAAwC,CAAC;AAE3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,MAAM,iBAAiB,GAAG,CACxB,IAAkB,EAClB,KAAqB,EACZ,EAAE;IACX,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,aAAa,GAAG,KAAK,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,aAAa,EAAE,IAAI,KAAK,WAAW,IAAI,aAAa,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAkB,EACuC,EAAE;IAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,KAAK,CAAC;IAC/C,OAAO,IAAI,CAAC,aAAa,EAAE,IAAI,KAAK,QAAQ,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAkB,EAClB,KAAqB,EAC4B,EAAE;IACnD,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAE7D,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;QACpB,IAAI,CAAC,IAAI,KAAK,KAAK;QACnB,IAAI,CAAC,IAAI,KAAK,YAAY;QAC1B,IAAI,CAAC,IAAI,KAAK,QAAQ;QACtB,IAAI,CAAC,IAAI,KAAK,OAAO,EACrB,CAAC;QACD,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,YAAY,GAAG,iBAAiB,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC;IACvE,OAAO;QACL;YACE;gBACE,IAAI,EAAE,2BAA2B;gBACjC,SAAS,EAAE,EAAE;gBACb,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC;gBAC3B,WAAW,EAAE;oBACX;wBACE,IAAI,EAAE,YAAY,CAAC,WAAW;wBAC9B,WAAW,EAAE,OAAO;qBACrB;iBACF;aACF;SACF;QACD,YAAY,CAAC,OAAO;KACrB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAA2D,EAC3D,OAAuB,EAC0B,EAAE;IACnD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrC,OAAO,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAED,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC5E,OAAO,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,iCAAiC,CACnD,IAAI,CAAC,UAAU,EACf,UAAU,EACV,iBAAiB,CAClB,CAAC;IACF,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;AAC/E,CAAC,CAAC"}

package/dist/statements/block-emitters/yield-statements.d.ts

@@ -0,0 +1,13 @@
+import { IrExpression, IrStatement } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpStatementAst } from "../../core/format/backend-ast/types.js";
+export declare const emitYieldExpressionAst: (expr: Extract<IrExpression, {
+    kind: "yield";
+}>, context: EmitterContext) => [readonly CSharpStatementAst[], EmitterContext];
+export declare const emitYieldStatementAst: (stmt: Extract<IrStatement, {
+    kind: "yieldStatement";
+}>, context: EmitterContext) => [readonly CSharpStatementAst[], EmitterContext];
+export declare const emitGeneratorReturnStatementAst: (stmt: Extract<IrStatement, {
+    kind: "generatorReturnStatement";
+}>, context: EmitterContext) => [readonly CSharpStatementAst[], EmitterContext];
+//# sourceMappingURL=yield-statements.d.ts.map

package/dist/statements/block-emitters/yield-statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"yield-statements.d.ts","sourceRoot":"","sources":["../../../src/statements/block-emitters/yield-statements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,OAAO,KAAK,EACV,kBAAkB,EAEnB,MAAM,wCAAwC,CAAC;AAuBhD,eAAO,MAAM,sBAAsB,GACjC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAwFhD,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,EACtD,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CA6GhD,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,0BAA0B,CAAA;CAAE,CAAC,EAChE,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAyBhD,CAAC"}