@tsonic/emitter 0.0.74 → 0.0.75

package/dist/statements/classes/members/properties.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../../../src/statements/classes/members/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,cAAc,EAA8B,MAAM,mBAAmB,CAAC;AAO/E,OAAO,KAAK,EACV,eAAe,EAKhB,MAAM,2CAA2C,CAAC;AAGnD;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,aAAa,GAAG;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,EACvD,SAAS,cAAc,KACtB,CAAC,eAAe,EAAE,cAAc,CA+MlC,CAAC"}
+{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../../../src/statements/classes/members/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,cAAc,EAA8B,MAAM,mBAAmB,CAAC;AAO/E,OAAO,KAAK,EACV,eAAe,EAKhB,MAAM,2CAA2C,CAAC;AAKnD;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,aAAa,GAAG;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,EACvD,SAAS,cAAc,KACtB,CAAC,eAAe,EAAE,cAAc,CA4OlC,CAAC"}

package/dist/statements/classes/members/properties.js

@@ -9,6 +9,8 @@ import { emitBlockStatementAst } from "../../../statement-emitter.js";
 import { emitCSharpName } from "../../../naming-policy.js";
 import { allocateLocalName } from "../../../core/format/local-names.js";
 import { isMutablePropertySlot } from "../../../core/semantic/mutable-storage.js";
+import { normalizeRuntimeStorageType } from "../../../core/semantic/storage-types.js";
+import { normalizeValueSlotType } from "../../../core/semantic/value-slot-types.js";
 /**
  * Emit a property declaration as a CSharpMemberAst
  */
@@ -48,10 +50,32 @@ export const emitPropertyMember = (member, context) => {
     }
     // Property type
     let typeAst = { kind: "predefinedType", keyword: "object" };
-    if (member.type) {
-        const [tAst, newContext] = emitTypeAst(member.type, currentContext);
-        typeAst = tAst;
-        currentContext = newContext;
+    const storageContext = {
+        ...currentContext,
+        eraseNullableUnconstrainedTypeParameterStorage: true,
+    };
+    const emittedMemberType = member.type && accessibility === "private"
+        ? (normalizeRuntimeStorageType(member.type, storageContext) ??
+            member.type)
+        : member.type;
+    if (emittedMemberType) {
+        try {
+            const [tAst, newContext] = emitTypeAst(normalizeValueSlotType(emittedMemberType), currentContext);
+            typeAst = tAst;
+            currentContext = newContext;
+        }
+        catch (error) {
+            const locationBits = [
+                currentContext.options.currentModuleFilePath,
+                currentContext.moduleNamespace,
+                currentContext.declaringTypeName,
+                member.name,
+            ].filter((value) => typeof value === "string");
+            const location = locationBits.length > 0 ? locationBits.join(" :: ") : member.name;
+            const detail = JSON.stringify(emittedMemberType, null, 2);
+            const message = error instanceof Error ? error.message : String(error);
+            throw new Error(`Failed to emit property type at ${location}: ${message}\n${detail}`);
+        }
     }
     // Property name
     const name = emitCSharpName(member.name, shouldEmitField ? "fields" : "properties", context);
@@ -61,7 +85,7 @@ export const emitPropertyMember = (member, context) => {
     // Initializer (if any)
     let initAst;
     if (member.initializer) {
-        const [iAst, finalContext] = emitExpressionAst(member.initializer, currentContext);
+        const [iAst, finalContext] = emitExpressionAst(member.initializer, currentContext, emittedMemberType ?? member.type);
         initAst = iAst;
         currentContext = finalContext;
     }

package/dist/statements/classes/members/properties.js.map

@@ -1 +1 @@
-{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../../../src/statements/classes/members/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAkB,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AAQxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAElF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAAuD,EACvD,OAAuB,EACY,EAAE;IACrC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,YAAY,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC;IAChE,MAAM,mBAAmB,GAAG,qBAAqB,CAC/C,cAAc,CAAC,iBAAiB,EAChC,MAAM,CAAC,IAAI,EACX,cAAc,CACf,CAAC;IACF,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,WAAW,IAAI,CAAC,YAAY,CAAC;IAE9D,sBAAsB;IACtB,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,IAAI,QAAQ,CAAC;IACvD,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAE9B,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,eAAe,IAAI,MAAM,CAAC,UAAU,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACjE,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC;IAED,4BAA4B;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC9D,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IAED,oBAAoB;IACpB,IAAI,CAAC,eAAe,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC;IAED,mBAAmB;IACnB,IACE,CAAC,eAAe;QAChB,CAAC,MAAM,CAAC,QAAQ;QAChB,CAAC,MAAM,CAAC,UAAU;QAClB,MAAM,CAAC,SAAS,EAChB,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IAED,4BAA4B;IAC5B,IAAI,CAAC,eAAe,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC9D,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC;IAED,gBAAgB;IAChB,IAAI,OAAO,GAAkB,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC3E,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACpE,OAAO,GAAG,IAAI,CAAC;QACf,cAAc,GAAG,UAAU,CAAC;IAC9B,CAAC;IAED,gBAAgB;IAChB,MAAM,IAAI,GAAG,cAAc,CACzB,MAAM,CAAC,IAAI,EACX,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,EACzC,OAAO,CACR,CAAC;IAEF,aAAa;IACb,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,GAAG,cAAc,CACzC,MAAM,CAAC,UAAU,EACjB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,WAAW,CAAC;IAE7B,uBAAuB;IACvB,IAAI,OAAwC,CAAC;IAC7C,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACvB,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAC5C,MAAM,CAAC,WAAW,EAClB,cAAc,CACf,CAAC;QACF,OAAO,GAAG,IAAI,CAAC;QACf,cAAc,GAAG,YAAY,CAAC;IAChC,CAAC;IAED,gBAAgB;IAChB,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAoB;YAChC,IAAI,EAAE,kBAAkB;YACxB,UAAU,EAAE,KAAK;YACjB,SAAS;YACT,IAAI,EAAE,OAAO;YACb,IAAI;YACJ,WAAW,EAAE,OAAO;SACrB,CAAC;QACF,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IACpC,CAAC;IAED,gDAAgD;IAChD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,iBAAiB,GAAG,MAAM,CAAC,UAAU,IAAI,mBAAmB,CAAC;QACnE,MAAM,mBAAmB,GACvB,iBAAiB,IAAI,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,MAAM,OAAO,GAAoB;YAC/B,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,KAAK;YACjB,SAAS;YACT,IAAI,EAAE,OAAO;YACb,IAAI;YACJ,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,CAAC,MAAM,CAAC,UAAU,IAAI,iBAAiB;YAClD,mBAAmB;YACnB,OAAO,EACL,MAAM,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,iBAAiB;gBACzD,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,SAAS;YACf,cAAc,EAAE,IAAI;YACpB,WAAW,EAAE,OAAO;SACrB,CAAC;QACF,OAAO,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IACnC,CAAC;IAED,sDAAsD;IACtD,IAAI,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IACzC,IAAI,UAA+C,CAAC;IACpD,IAAI,UAA+C,CAAC;IAEpD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,iBAAiB,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,cAAc,CAAC;QACnD,MAAM,iBAAiB,GAAmB;YACxC,GAAG,iBAAiB;YACpB,cAAc,EAAE,IAAI,GAAG,EAAU;SAClC,CAAC;QACF,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,UAAU,CACzC,iBAAiB,EACjB,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE;QAC3B,oEAAoE;QACpE,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,UAAW,EAAE,SAAS,CAAC,CACpE,CAAC;QACF,UAAU,GAAG,WAAW,CAAC;QACzB,WAAW,GAAG,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;IACpE,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,iBAAiB,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,cAAc,CAAC;QAEnD,mFAAmF;QACnF,IAAI,iBAAiB,GAAmB;YACtC,GAAG,iBAAiB;YACpB,cAAc,EAAE,IAAI,GAAG,CAAS,CAAC,OAAO,CAAC,CAAC;SAC3C,CAAC;QAEF,MAAM,eAAe,GAAG,MAAM,CAAC,eAAe,CAAC;QAC/C,IAAI,SAAyC,CAAC;QAC9C,IAAI,kBAAkB,GACpB,iBAAiB,CAAC,YAAY,CAAC;QACjC,IAAI,eAAe,IAAI,eAAe,KAAK,OAAO,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,iBAAiB,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;YACpE,iBAAiB,GAAG,KAAK,CAAC,OAAO,CAAC;YAClC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;YAC9D,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;YAChD,kBAAkB,GAAG,OAAO,CAAC;YAC7B,SAAS,GAAG;gBACV,IAAI,EAAE,2BAA2B;gBACjC,SAAS,EAAE,EAAE;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gBACzB,WAAW,EAAE;oBACX;wBACE,IAAI,EAAE,KAAK,CAAC,WAAW;wBACvB,WAAW,EAAE;4BACX,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,OAAO;yBACpB;qBACF;iBACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC,GAAG,UAAU,CAC5C,iBAAiB,EACjB,EAAE,YAAY,EAAE,kBAAkB,EAAE;QACpC,oEAAoE;QACpE,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,UAAW,EAAE,SAAS,CAAC,CACpE,CAAC;QAEF,2DAA2D;QAC3D,UAAU,GAAG,SAAS;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,CAAC,SAAS,EAAE,GAAG,cAAc,CAAC,UAAU,CAAC;aACtD;YACH,CAAC,CAAC,cAAc,CAAC;QAEnB,WAAW,GAAG,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;IACpE,CAAC;IAED,MAAM,OAAO,GAAoB;QAC/B,IAAI,EAAE,qBAAqB;QAC3B,UAAU,EAAE,KAAK;QACjB,SAAS;QACT,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU;QAC9B,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU;QAC9B,cAAc,EAAE,KAAK;QACrB,UAAU;QACV,UAAU;KACX,CAAC;IACF,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC"}
+{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../../../src/statements/classes/members/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAkB,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AAQxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAClF,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,sBAAsB,EAAE,MAAM,4CAA4C,CAAC;AAEpF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAAuD,EACvD,OAAuB,EACY,EAAE;IACrC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,YAAY,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC;IAChE,MAAM,mBAAmB,GAAG,qBAAqB,CAC/C,cAAc,CAAC,iBAAiB,EAChC,MAAM,CAAC,IAAI,EACX,cAAc,CACf,CAAC;IACF,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,WAAW,IAAI,CAAC,YAAY,CAAC;IAE9D,sBAAsB;IACtB,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,IAAI,QAAQ,CAAC;IACvD,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAE9B,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,eAAe,IAAI,MAAM,CAAC,UAAU,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACjE,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC;IAED,4BAA4B;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC9D,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IAED,oBAAoB;IACpB,IAAI,CAAC,eAAe,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC;IAED,mBAAmB;IACnB,IACE,CAAC,eAAe;QAChB,CAAC,MAAM,CAAC,QAAQ;QAChB,CAAC,MAAM,CAAC,UAAU;QAClB,MAAM,CAAC,SAAS,EAChB,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IAED,4BAA4B;IAC5B,IAAI,CAAC,eAAe,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC9D,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC;IAED,gBAAgB;IAChB,IAAI,OAAO,GAAkB,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC3E,MAAM,cAAc,GAAmB;QACrC,GAAG,cAAc;QACjB,8CAA8C,EAAE,IAAI;KACrD,CAAC;IACF,MAAM,iBAAiB,GACrB,MAAM,CAAC,IAAI,IAAI,aAAa,KAAK,SAAS;QACxC,CAAC,CAAC,CAAC,2BAA2B,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC;QACd,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IAClB,IAAI,iBAAiB,EAAE,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,WAAW,CACpC,sBAAsB,CAAC,iBAAiB,CAAC,EACzC,cAAc,CACf,CAAC;YACF,OAAO,GAAG,IAAI,CAAC;YACf,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,YAAY,GAAG;gBACnB,cAAc,CAAC,OAAO,CAAC,qBAAqB;gBAC5C,cAAc,CAAC,eAAe;gBAC9B,cAAc,CAAC,iBAAiB;gBAChC,MAAM,CAAC,IAAI;aACZ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC;YAChE,MAAM,QAAQ,GACZ,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YACpE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvE,MAAM,IAAI,KAAK,CACb,mCAAmC,QAAQ,KAAK,OAAO,KAAK,MAAM,EAAE,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,MAAM,IAAI,GAAG,cAAc,CACzB,MAAM,CAAC,IAAI,EACX,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,EACzC,OAAO,CACR,CAAC;IAEF,aAAa;IACb,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,GAAG,cAAc,CACzC,MAAM,CAAC,UAAU,EACjB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,WAAW,CAAC;IAE7B,uBAAuB;IACvB,IAAI,OAAwC,CAAC;IAC7C,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACvB,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAC5C,MAAM,CAAC,WAAW,EAClB,cAAc,EACd,iBAAiB,IAAI,MAAM,CAAC,IAAI,CACjC,CAAC;QACF,OAAO,GAAG,IAAI,CAAC;QACf,cAAc,GAAG,YAAY,CAAC;IAChC,CAAC;IAED,gBAAgB;IAChB,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAoB;YAChC,IAAI,EAAE,kBAAkB;YACxB,UAAU,EAAE,KAAK;YACjB,SAAS;YACT,IAAI,EAAE,OAAO;YACb,IAAI;YACJ,WAAW,EAAE,OAAO;SACrB,CAAC;QACF,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IACpC,CAAC;IAED,gDAAgD;IAChD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,iBAAiB,GAAG,MAAM,CAAC,UAAU,IAAI,mBAAmB,CAAC;QACnE,MAAM,mBAAmB,GACvB,iBAAiB,IAAI,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,MAAM,OAAO,GAAoB;YAC/B,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,KAAK;YACjB,SAAS;YACT,IAAI,EAAE,OAAO;YACb,IAAI;YACJ,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,CAAC,MAAM,CAAC,UAAU,IAAI,iBAAiB;YAClD,mBAAmB;YACnB,OAAO,EACL,MAAM,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,iBAAiB;gBACzD,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,SAAS;YACf,cAAc,EAAE,IAAI;YACpB,WAAW,EAAE,OAAO;SACrB,CAAC;QACF,OAAO,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IACnC,CAAC;IAED,sDAAsD;IACtD,IAAI,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IACzC,IAAI,UAA+C,CAAC;IACpD,IAAI,UAA+C,CAAC;IAEpD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,iBAAiB,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,cAAc,CAAC;QACnD,MAAM,iBAAiB,GAAmB;YACxC,GAAG,iBAAiB;YACpB,cAAc,EAAE,IAAI,GAAG,EAAU;SAClC,CAAC;QACF,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,UAAU,CACzC,iBAAiB,EACjB,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE;QAC3B,oEAAoE;QACpE,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,UAAW,EAAE,SAAS,CAAC,CACpE,CAAC;QACF,UAAU,GAAG,WAAW,CAAC;QACzB,WAAW,GAAG,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;IACpE,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,iBAAiB,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,cAAc,CAAC;QAEnD,mFAAmF;QACnF,IAAI,iBAAiB,GAAmB;YACtC,GAAG,iBAAiB;YACpB,cAAc,EAAE,IAAI,GAAG,CAAS,CAAC,OAAO,CAAC,CAAC;SAC3C,CAAC;QAEF,MAAM,eAAe,GAAG,MAAM,CAAC,eAAe,CAAC;QAC/C,IAAI,SAAyC,CAAC;QAC9C,IAAI,kBAAkB,GACpB,iBAAiB,CAAC,YAAY,CAAC;QACjC,IAAI,eAAe,IAAI,eAAe,KAAK,OAAO,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,iBAAiB,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;YACpE,iBAAiB,GAAG,KAAK,CAAC,OAAO,CAAC;YAClC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;YAC9D,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;YAChD,kBAAkB,GAAG,OAAO,CAAC;YAC7B,SAAS,GAAG;gBACV,IAAI,EAAE,2BAA2B;gBACjC,SAAS,EAAE,EAAE;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gBACzB,WAAW,EAAE;oBACX;wBACE,IAAI,EAAE,KAAK,CAAC,WAAW;wBACvB,WAAW,EAAE;4BACX,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,OAAO;yBACpB;qBACF;iBACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC,GAAG,UAAU,CAC5C,iBAAiB,EACjB,EAAE,YAAY,EAAE,kBAAkB,EAAE;QACpC,oEAAoE;QACpE,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,UAAW,EAAE,SAAS,CAAC,CACpE,CAAC;QAEF,2DAA2D;QAC3D,UAAU,GAAG,SAAS;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,CAAC,SAAS,EAAE,GAAG,cAAc,CAAC,UAAU,CAAC;aACtD;YACH,CAAC,CAAC,cAAc,CAAC;QAEnB,WAAW,GAAG,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;IACpE,CAAC;IAED,MAAM,OAAO,GAAoB;QAC/B,IAAI,EAAE,qBAAqB;QAC3B,UAAU,EAAE,KAAK;QACjB,SAAS;QACT,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU;QAC9B,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU;QAC9B,cAAc,EAAE,KAAK;QACrB,UAAU;QACV,UAAU;KACX,CAAC;IACF,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC"}

package/dist/statements/classes/members/shadowing.test.js

@@ -1,6 +1,7 @@
 /**
  * Tests for emitting `new` on shadowing members.
  */
+/* eslint-disable @typescript-eslint/no-non-null-assertion */
 import { describe, it } from "mocha";
 import { expect } from "chai";
 import { emitMethodMember } from "./methods.js";
@@ -32,8 +33,8 @@ describe("Shadowing member emission", () => {
             body: { kind: "blockStatement", statements: [] },
         };
         // eslint-disable-next-line @typescript-eslint/no-explicit-any
-        const [ast] = emitMethodMember(member, context);
-        const code = printMember(ast, "");
+        const [asts] = emitMethodMember(member, context);
+        const code = printMember(asts[0], "");
         expect(code).to.include("public new void Foo()");
     });
     it("emits `new` for shadowing properties", () => {

package/dist/statements/classes/members/shadowing.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"shadowing.test.js","sourceRoot":"","sources":["../../../../src/statements/classes/members/shadowing.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAG9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,6CAA6C,CAAC;AAE1E,MAAM,cAAc,GAAmB;IACrC,aAAa,EAAE,MAAM;IACrB,MAAM,EAAE,CAAC;CACV,CAAC;AAEF,MAAM,aAAa,GAAG,GAAmB,EAAE,CAAC,CAAC;IAC3C,WAAW,EAAE,CAAC;IACd,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,KAAK;IACf,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,IAAI,GAAG,EAAU;CAC1B,CAAC,CAAC;AAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,MAAM,GAAkB;YAC5B,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,WAAW,EAAE,KAAK;YAClB,aAAa,EAAE,QAAQ;YACvB,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;SACjD,CAAC;QAEF,8DAA8D;QAC9D,MAAM,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,MAAa,EAAE,OAAO,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,MAAM,GAAkB;YAC5B,IAAI,EAAE,qBAAqB;YAC3B,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC/C,WAAW,EAAE,SAAS;YACtB,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,KAAK;YACjB,aAAa,EAAE,QAAQ;YACvB,QAAQ,EAAE,IAAI;SACf,CAAC;QAEF,8DAA8D;QAC9D,MAAM,CAAC,GAAG,CAAC,GAAG,kBAAkB,CAAC,MAAa,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"shadowing.test.js","sourceRoot":"","sources":["../../../../src/statements/classes/members/shadowing.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,6DAA6D;AAC7D,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAG9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,6CAA6C,CAAC;AAE1E,MAAM,cAAc,GAAmB;IACrC,aAAa,EAAE,MAAM;IACrB,MAAM,EAAE,CAAC;CACV,CAAC;AAEF,MAAM,aAAa,GAAG,GAAmB,EAAE,CAAC,CAAC;IAC3C,WAAW,EAAE,CAAC;IACd,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,KAAK;IACf,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,IAAI,GAAG,EAAU;CAC1B,CAAC,CAAC;AAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,MAAM,GAAkB;YAC5B,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,EAAE;YACd,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,WAAW,EAAE,KAAK;YAClB,aAAa,EAAE,QAAQ;YACvB,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;SACjD,CAAC;QAEF,8DAA8D;QAC9D,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,MAAa,EAAE,OAAO,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,MAAM,GAAkB;YAC5B,IAAI,EAAE,qBAAqB;YAC3B,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC/C,WAAW,EAAE,SAAS;YACtB,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,KAAK;YACjB,aAAa,EAAE,QAAQ;YACvB,QAAQ,EAAE,IAAI;SACf,CAAC;QAEF,8DAA8D;QAC9D,MAAM,CAAC,GAAG,CAAC,GAAG,kBAAkB,CAAC,MAAa,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/statements/classes/parameters.d.ts

@@ -7,7 +7,8 @@
  */
 import { IrParameter, IrType } from "@tsonic/frontend";
 import { EmitterContext } from "../../types.js";
-import type { CSharpParameterAst, CSharpStatementAst } from "../../core/format/backend-ast/types.js";
+import type { CSharpExpressionAst, CSharpParameterAst, CSharpStatementAst } from "../../core/format/backend-ast/types.js";
+import { RuntimeParameterDefaultInfo } from "../parameter-defaults.js";
 /**
  * Info about a parameter that needs destructuring in the function body
  */
@@ -24,9 +25,16 @@ export type ParameterEmissionResult = {
     readonly parameters: readonly CSharpParameterAst[];
     /** Parameters that need destructuring in the function body */
     readonly destructuringParams: readonly ParameterDestructuringInfo[];
+    /** Runtime defaults that must be applied in the body instead of the signature */
+    readonly runtimeDefaultInitializers: readonly RuntimeParameterDefaultInfo[];
+    /** Wrapper arities needed when omitted suffixes cannot be expressed in C# signatures */
+    readonly wrapperPrefixLengths: readonly number[];
+    /** Synthesized default arguments for suppressed parameters */
+    readonly suppressedDefaultArguments: readonly (CSharpExpressionAst | undefined)[];
     /** Updated context */
     readonly context: EmitterContext;
 };
+export declare const applyRuntimeParameterDefaultShadows: (runtimeDefaults: readonly RuntimeParameterDefaultInfo[], context: EmitterContext) => [readonly CSharpStatementAst[], EmitterContext];
 /**
  * Emit parameters for functions and methods as CSharpParameterAst[].
  *

package/dist/statements/classes/parameters.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parameters.d.ts","sourceRoot":"","sources":["../../../src/statements/classes/parameters.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAOhD,OAAO,KAAK,EAEV,kBAAkB,EAClB,kBAAkB,EAEnB,MAAM,wCAAwC,CAAC;AAEhD;;GAEG;AACH,KAAK,0BAA0B,GAAG;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,4BAA4B;IAC5B,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,8DAA8D;IAC9D,QAAQ,CAAC,mBAAmB,EAAE,SAAS,0BAA0B,EAAE,CAAC;IACpE,sBAAsB;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GACzB,YAAY,SAAS,WAAW,EAAE,EAClC,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAGhD,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,+BAA+B,GAC1C,YAAY,SAAS,WAAW,EAAE,EAClC,SAAS,cAAc,KACtB,uBAwFF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iCAAiC,GAC5C,qBAAqB,SAAS,0BAA0B,EAAE,EAC1D,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAoBhD,CAAC"}
+{"version":3,"file":"parameters.d.ts","sourceRoot":"","sources":["../../../src/statements/classes/parameters.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAYhD,OAAO,KAAK,EACV,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAEnB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAML,2BAA2B,EAG5B,MAAM,0BAA0B,CAAC;AAGlC;;GAEG;AACH,KAAK,0BAA0B,GAAG;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,4BAA4B;IAC5B,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,8DAA8D;IAC9D,QAAQ,CAAC,mBAAmB,EAAE,SAAS,0BAA0B,EAAE,CAAC;IACpE,iFAAiF;IACjF,QAAQ,CAAC,0BAA0B,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC5E,wFAAwF;IACxF,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,8DAA8D;IAC9D,QAAQ,CAAC,0BAA0B,EAAE,SAAS,CAC1C,mBAAmB,GACnB,SAAS,CACZ,EAAE,CAAC;IACJ,sBAAsB;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,iBAAiB,SAAS,2BAA2B,EAAE,EACvD,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAmDhD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GACzB,YAAY,SAAS,WAAW,EAAE,EAClC,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAGhD,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,+BAA+B,GAC1C,YAAY,SAAS,WAAW,EAAE,EAClC,SAAS,cAAc,KACtB,uBA4IF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iCAAiC,GAC5C,qBAAqB,SAAS,0BAA0B,EAAE,EAC1D,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAoBhD,CAAC"}

package/dist/statements/classes/parameters.js

@@ -10,7 +10,46 @@ import { emitParameterType } from "../../type-emitter.js";
 import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
 import { lowerPatternAst } from "../../patterns.js";
 import { emitParameterAttributes } from "../../core/format/attributes.js";
+import { allocateLocalName, registerLocalName, } from "../../core/format/local-names.js";
 import { identifierType } from "../../core/format/backend-ast/builders.js";
+import { stripNullableTypeAst } from "../../core/format/backend-ast/utils.js";
+import { canLowerParameterDefaultViaWrapper, canEmitParameterDefaultInSignature, computeWrapperPrefixLengths, isCSharpOptionalParameterDefaultAst, preservesNullableShadowType, signatureDefaultForInitializedParameter, supportsNullCoalescingParameterDefault, } from "../parameter-defaults.js";
+import { registerParameterTypes } from "../../core/semantic/symbol-types.js";
+export const applyRuntimeParameterDefaultShadows = (runtimeDefaults, context) => {
+    let currentContext = context;
+    const statements = [];
+    for (const runtimeDefault of runtimeDefaults) {
+        if (!runtimeDefault.sourceName) {
+            continue;
+        }
+        const allocated = allocateLocalName(`__defaulted_${runtimeDefault.sourceName}`, currentContext);
+        currentContext = registerLocalName(runtimeDefault.sourceName, allocated.emittedName, allocated.context);
+        currentContext = registerParameterTypes(runtimeDefault.sourceName, runtimeDefault.semanticType, false, currentContext);
+        statements.push({
+            kind: "localDeclarationStatement",
+            modifiers: [],
+            type: runtimeDefault.typeAst.kind === "nullableType" &&
+                preservesNullableShadowType(runtimeDefault.initializer)
+                ? runtimeDefault.typeAst
+                : stripNullableTypeAst(runtimeDefault.typeAst),
+            declarators: [
+                {
+                    name: allocated.emittedName,
+                    initializer: {
+                        kind: "binaryExpression",
+                        operatorToken: "??",
+                        left: {
+                            kind: "identifierExpression",
+                            identifier: runtimeDefault.paramName,
+                        },
+                        right: runtimeDefault.initializer,
+                    },
+                },
+            ],
+        });
+    }
+    return [statements, currentContext];
+};
 /**
  * Emit parameters for functions and methods as CSharpParameterAst[].
  *
@@ -32,16 +71,25 @@ export const emitParametersWithDestructuring = (parameters, context) => {
     let currentContext = context;
     const params = [];
     const destructuringParams = [];
+    const runtimeDefaultInitializers = [];
+    const suppressedDefaultArguments = [];
+    const suppressedDefaultIndexes = new Set();
     let syntheticParamIndex = 0;
-    for (const param of parameters) {
+    for (let index = 0; index < parameters.length; index += 1) {
+        const param = parameters[index];
+        if (!param)
+            continue;
         const isRest = param.isRest;
-        const isOptional = param.isOptional;
+        const acceptsExplicitUndefined = (param.isOptional || param.initializer !== undefined) && !param.isRest;
         const [paramAttrs, attrContext] = emitParameterAttributes(param.attributes, currentContext);
         currentContext = attrContext;
         const modifiers = [];
         if (param.isExtensionReceiver) {
             modifiers.push("this");
         }
+        if (param.isRest) {
+            modifiers.push("params");
+        }
         // Use the passing mode from IR (frontend already unwrapped ref<T>/out<T>/in<T>)
         if (param.passing !== "value") {
             modifiers.push(param.passing);
@@ -50,7 +98,7 @@ export const emitParametersWithDestructuring = (parameters, context) => {
         // Parameter type
         let typeAst = identifierType("object");
         if (actualType) {
-            const [tAst, newContext] = emitParameterType(actualType, isOptional, currentContext);
+            const [tAst, newContext] = emitParameterType(actualType, acceptsExplicitUndefined, currentContext);
             currentContext = newContext;
             typeAst = tAst;
         }
@@ -80,10 +128,39 @@ export const emitParametersWithDestructuring = (parameters, context) => {
         if (param.initializer) {
             const [defaultAst, newContext] = emitExpressionAst(param.initializer, currentContext);
             currentContext = newContext;
-            defaultValue = defaultAst;
+            const canEmitInSignature = canEmitParameterDefaultInSignature(parameters, index) &&
+                isCSharpOptionalParameterDefaultAst(defaultAst);
+            defaultValue = signatureDefaultForInitializedParameter(parameters, index, typeAst, defaultAst);
+            if (supportsNullCoalescingParameterDefault(typeAst)) {
+                runtimeDefaultInitializers.push({
+                    paramName,
+                    typeAst,
+                    initializer: defaultAst,
+                    sourceName: param.pattern.kind === "identifierPattern"
+                        ? param.pattern.name
+                        : undefined,
+                    semanticType: param.type,
+                });
+            }
+            else if (!canEmitInSignature) {
+                suppressedDefaultIndexes.add(index);
+                suppressedDefaultArguments[index] = defaultAst;
+                if (!canLowerParameterDefaultViaWrapper(parameters, index)) {
+                    throw new Error(`ICE: Unsupported runtime parameter default lowering for '${paramName}'.`);
+                }
+            }
         }
-        else if (isOptional && !isRest) {
-            defaultValue = { kind: "defaultExpression" };
+        else if (param.isOptional && !isRest) {
+            if (canEmitParameterDefaultInSignature(parameters, index)) {
+                defaultValue = { kind: "defaultExpression" };
+            }
+            else {
+                suppressedDefaultIndexes.add(index);
+                suppressedDefaultArguments[index] = {
+                    kind: "defaultExpression",
+                    type: typeAst,
+                };
+            }
         }
         params.push({
             name: paramName,
@@ -96,6 +173,9 @@ export const emitParametersWithDestructuring = (parameters, context) => {
     return {
         parameters: params,
         destructuringParams,
+        runtimeDefaultInitializers,
+        wrapperPrefixLengths: computeWrapperPrefixLengths(parameters, suppressedDefaultIndexes),
+        suppressedDefaultArguments,
         context: currentContext,
     };
 };

package/dist/statements/classes/parameters.js.map

@@ -1 +1 @@
-{"version":3,"file":"parameters.js","sourceRoot":"","sources":["../../../src/statements/classes/parameters.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AA6B3E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAAkC,EAClC,OAAuB,EAC0B,EAAE;IACnD,MAAM,MAAM,GAAG,+BAA+B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpE,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,UAAkC,EAClC,OAAuB,EACE,EAAE;IAC3B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,MAAM,mBAAmB,GAAiC,EAAE,CAAC;IAC7D,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAE5B,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;QAEpC,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,uBAAuB,CACvD,KAAK,CAAC,UAAU,EAChB,cAAc,CACf,CAAC;QACF,cAAc,GAAG,WAAW,CAAC;QAE7B,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;YAC9B,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;QACD,gFAAgF;QAChF,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YAC9B,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;QAED,MAAM,UAAU,GAAuB,KAAK,CAAC,IAAI,CAAC;QAElD,iBAAiB;QACjB,IAAI,OAAO,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC1C,UAAU,EACV,UAAU,EACV,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QAED,iDAAiD;QACjD,IAAI,SAAiB,CAAC;QACtB,MAAM,gBAAgB,GACpB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,cAAc;YACrC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC;QAEzC,IAAI,gBAAgB,EAAE,CAAC;YACrB,+CAA+C;YAC/C,SAAS,GAAG,UAAU,mBAAmB,EAAE,CAAC;YAC5C,mBAAmB,EAAE,CAAC;YACtB,4CAA4C;YAC5C,mBAAmB,CAAC,IAAI,CAAC;gBACvB,aAAa,EAAE,SAAS;gBACxB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,UAAU;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACtD,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,OAAO,CAAC;QACtB,CAAC;QAED,gBAAgB;QAChB,IAAI,YAA6C,CAAC;QAClD,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACtB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAChD,KAAK,CAAC,WAAW,EACjB,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,YAAY,GAAG,UAAU,CAAC;QAC5B,CAAC;aAAM,IAAI,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC;YACjC,YAAY,GAAG,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;QAC/C,CAAC;QAED,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,OAAO;YACb,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7D,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,UAAU,EAAE,MAAM;QAClB,mBAAmB;QACnB,OAAO,EAAE,cAAc;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,mBAA0D,EAC1D,OAAuB,EAC0B,EAAE;IACnD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG;YAChB,IAAI,EAAE,sBAA+B;YACrC,UAAU,EAAE,IAAI,CAAC,aAAa;SAC/B,CAAC;QACF,MAAM,MAAM,GAAG,eAAe,CAC5B,IAAI,CAAC,OAAO,EACZ,SAAS,EACT,IAAI,CAAC,IAAI,EACT,cAAc,CACf,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC;IAClC,CAAC;IAED,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;AACtC,CAAC,CAAC"}
+{"version":3,"file":"parameters.js","sourceRoot":"","sources":["../../../src/statements/classes/parameters.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EACL,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAO9E,OAAO,EACL,kCAAkC,EAClC,kCAAkC,EAClC,2BAA2B,EAC3B,mCAAmC,EACnC,2BAA2B,EAE3B,uCAAuC,EACvC,sCAAsC,GACvC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAgC7E,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,eAAuD,EACvD,OAAuB,EAC0B,EAAE;IACnD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,cAAc,IAAI,eAAe,EAAE,CAAC;QAC7C,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,iBAAiB,CACjC,eAAe,cAAc,CAAC,UAAU,EAAE,EAC1C,cAAc,CACf,CAAC;QACF,cAAc,GAAG,iBAAiB,CAChC,cAAc,CAAC,UAAU,EACzB,SAAS,CAAC,WAAW,EACrB,SAAS,CAAC,OAAO,CAClB,CAAC;QACF,cAAc,GAAG,sBAAsB,CACrC,cAAc,CAAC,UAAU,EACzB,cAAc,CAAC,YAAY,EAC3B,KAAK,EACL,cAAc,CACf,CAAC;QAEF,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,2BAA2B;YACjC,SAAS,EAAE,EAAE;YACb,IAAI,EACF,cAAc,CAAC,OAAO,CAAC,IAAI,KAAK,cAAc;gBAC9C,2BAA2B,CAAC,cAAc,CAAC,WAAW,CAAC;gBACrD,CAAC,CAAC,cAAc,CAAC,OAAO;gBACxB,CAAC,CAAC,oBAAoB,CAAC,cAAc,CAAC,OAAO,CAAC;YAClD,WAAW,EAAE;gBACX;oBACE,IAAI,EAAE,SAAS,CAAC,WAAW;oBAC3B,WAAW,EAAE;wBACX,IAAI,EAAE,kBAAkB;wBACxB,aAAa,EAAE,IAAI;wBACnB,IAAI,EAAE;4BACJ,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,cAAc,CAAC,SAAS;yBACrC;wBACD,KAAK,EAAE,cAAc,CAAC,WAAW;qBAClC;iBACF;aACF;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAAkC,EAClC,OAAuB,EAC0B,EAAE;IACnD,MAAM,MAAM,GAAG,+BAA+B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpE,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,UAAkC,EAClC,OAAuB,EACE,EAAE;IAC3B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,MAAM,mBAAmB,GAAiC,EAAE,CAAC;IAC7D,MAAM,0BAA0B,GAAkC,EAAE,CAAC;IACrE,MAAM,0BAA0B,GAA2C,EAAE,CAAC;IAC9E,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAU,CAAC;IACnD,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAE5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,MAAM,wBAAwB,GAC5B,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QAEzE,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,uBAAuB,CACvD,KAAK,CAAC,UAAU,EAChB,cAAc,CACf,CAAC;QACF,cAAc,GAAG,WAAW,CAAC;QAE7B,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;YAC9B,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjB,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,gFAAgF;QAChF,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YAC9B,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;QAED,MAAM,UAAU,GAAuB,KAAK,CAAC,IAAI,CAAC;QAElD,iBAAiB;QACjB,IAAI,OAAO,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC1C,UAAU,EACV,wBAAwB,EACxB,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QAED,iDAAiD;QACjD,IAAI,SAAiB,CAAC;QACtB,MAAM,gBAAgB,GACpB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,cAAc;YACrC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC;QAEzC,IAAI,gBAAgB,EAAE,CAAC;YACrB,+CAA+C;YAC/C,SAAS,GAAG,UAAU,mBAAmB,EAAE,CAAC;YAC5C,mBAAmB,EAAE,CAAC;YACtB,4CAA4C;YAC5C,mBAAmB,CAAC,IAAI,CAAC;gBACvB,aAAa,EAAE,SAAS;gBACxB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,UAAU;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACtD,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,OAAO,CAAC;QACtB,CAAC;QAED,gBAAgB;QAChB,IAAI,YAA6C,CAAC;QAClD,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACtB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAChD,KAAK,CAAC,WAAW,EACjB,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,MAAM,kBAAkB,GACtB,kCAAkC,CAAC,UAAU,EAAE,KAAK,CAAC;gBACrD,mCAAmC,CAAC,UAAU,CAAC,CAAC;YAClD,YAAY,GAAG,uCAAuC,CACpD,UAAU,EACV,KAAK,EACL,OAAO,EACP,UAAU,CACX,CAAC;YAEF,IAAI,sCAAsC,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpD,0BAA0B,CAAC,IAAI,CAAC;oBAC9B,SAAS;oBACT,OAAO;oBACP,WAAW,EAAE,UAAU;oBACvB,UAAU,EACR,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB;wBACxC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI;wBACpB,CAAC,CAAC,SAAS;oBACf,YAAY,EAAE,KAAK,CAAC,IAAI;iBACzB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBAC/B,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACpC,0BAA0B,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;gBAC/C,IAAI,CAAC,kCAAkC,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;oBAC3D,MAAM,IAAI,KAAK,CACb,4DAA4D,SAAS,IAAI,CAC1E,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC;YACvC,IAAI,kCAAkC,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC1D,YAAY,GAAG,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;YAC/C,CAAC;iBAAM,CAAC;gBACN,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACpC,0BAA0B,CAAC,KAAK,CAAC,GAAG;oBAClC,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;iBACd,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,OAAO;YACb,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7D,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,UAAU,EAAE,MAAM;QAClB,mBAAmB;QACnB,0BAA0B;QAC1B,oBAAoB,EAAE,2BAA2B,CAC/C,UAAU,EACV,wBAAwB,CACzB;QACD,0BAA0B;QAC1B,OAAO,EAAE,cAAc;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,mBAA0D,EAC1D,OAAuB,EAC0B,EAAE;IACnD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG;YAChB,IAAI,EAAE,sBAA+B;YACrC,UAAU,EAAE,IAAI,CAAC,aAAa;SAC/B,CAAC;QACF,MAAM,MAAM,GAAG,eAAe,CAC5B,IAAI,CAAC,OAAO,EACZ,SAAS,EACT,IAAI,CAAC,IAAI,EACT,cAAc,CACf,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC;IAClC,CAAC;IAED,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;AACtC,CAAC,CAAC"}

package/dist/statements/classes/properties.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../../src/statements/classes/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAMhD,OAAO,KAAK,EACV,eAAe,EAEhB,MAAM,wCAAwC,CAAC;AAEhD;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,QAAQ,iBAAiB,EACzB,SAAS,cAAc,KACtB,CAAC,eAAe,EAAE,cAAc,CA0GlC,CAAC"}
+{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../../src/statements/classes/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAOhD,OAAO,KAAK,EACV,eAAe,EAEhB,MAAM,wCAAwC,CAAC;AAEhD;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,QAAQ,iBAAiB,EACzB,SAAS,cAAc,KACtB,CAAC,eAAe,EAAE,cAAc,CA0GlC,CAAC"}

package/dist/statements/classes/properties.js

@@ -5,6 +5,7 @@ import { emitTypeAst } from "../../type-emitter.js";
 import { emitParameters } from "./parameters.js";
 import { emitCSharpName, getCSharpName } from "../../naming-policy.js";
 import { isMutablePropertySlot } from "../../core/semantic/mutable-storage.js";
+import { normalizeValueSlotType } from "../../core/semantic/value-slot-types.js";
 import { identifierType } from "../../core/format/backend-ast/builders.js";
 /**
  * Emit interface member as CSharpMemberAst (property or method declaration)
@@ -28,7 +29,7 @@ export const emitInterfaceMemberAsProperty = (member, context) => {
                         const typeAst = identifierType(typeName);
                         return [typeAst, currentContext];
                     }
-                    return emitTypeAst(member.type, currentContext);
+                    return emitTypeAst(normalizeValueSlotType(member.type), currentContext);
                 }
                 const typeAst = identifierType("object");
                 return [typeAst, currentContext];

package/dist/statements/classes/properties.js.map

@@ -1 +1 @@
-{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../../src/statements/classes/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAM3E;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,MAAyB,EACzB,OAAuB,EACY,EAAE;IACrC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,cAAc,GAAG,OAAO,CAAC;YAE/B,MAAM,SAAS,GAAa,CAAC,QAAQ,CAAC,CAAC;YAEvC,wDAAwD;YACxD,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;gBACvB,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7B,CAAC;YAED,gBAAgB;YAChB,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;gBACvC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBAChB,iEAAiE;oBACjE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBACtC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;wBAChE,MAAM,OAAO,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;wBACxD,OAAO,CAAC,OAAO,EAAE,cAAc,CAAU,CAAC;oBAC5C,CAAC;oBACD,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBAClD,CAAC;gBACD,MAAM,OAAO,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;gBACxD,OAAO,CAAC,OAAO,EAAE,cAAc,CAAU,CAAC;YAC5C,CAAC,CAAC,EAAE,CAAC;YAEL,+CAA+C;YAC/C,MAAM,OAAO,GAAkB,MAAM,CAAC,UAAU;gBAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE;gBACvD,CAAC,CAAC,WAAW,CAAC;YAEhB,qCAAqC;YACrC,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;YAChE,MAAM,mBAAmB,GAAG,qBAAqB,CAC/C,OAAO,CAAC,iBAAiB,EACzB,MAAM,CAAC,IAAI,EACX,OAAO,CACR,CAAC;YAEF,8EAA8E;YAC9E,gFAAgF;YAChF,MAAM,SAAS,GAAoB;gBACjC,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE,EAAE;gBACd,SAAS;gBACT,IAAI,EAAE,OAAO;gBACb,IAAI;gBACJ,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,CAAC,MAAM,CAAC,UAAU,IAAI,mBAAmB;gBACpD,OAAO,EAAE,MAAM,CAAC,UAAU,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;gBACrE,cAAc,EAAE,IAAI;aACrB,CAAC;YAEF,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAClC,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,cAAc,GAAG,OAAO,CAAC;YAE/B,MAAM,SAAS,GAAa,CAAC,QAAQ,CAAC,CAAC;YAEvC,cAAc;YACd,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE;gBAC/C,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACtB,OAAO,WAAW,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;gBACxD,CAAC;gBACD,MAAM,QAAQ,GAAkB,cAAc,CAAC,MAAM,CAAC,CAAC;gBACvD,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAU,CAAC;YAC7C,CAAC,CAAC,EAAE,CAAC;YAEL,mCAAmC;YACnC,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAE7D,aAAa;YACb,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAC9C,MAAM,CAAC,UAAU,EACjB,iBAAiB,CAClB,CAAC;YAEF,yDAAyD;YACzD,MAAM,SAAS,GAAoB;gBACjC,IAAI,EAAE,mBAAmB;gBACzB,UAAU,EAAE,EAAE;gBACd,SAAS;gBACT,UAAU,EAAE,aAAa;gBACzB,IAAI;gBACJ,UAAU,EAAE,SAAS;gBACrB,cAAc,EAAE;oBACd,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE;wBACV,IAAI,EAAE,0BAA0B;wBAChC,IAAI,EAAE,cAAc,CAAC,wCAAwC,CAAC;wBAC9D,SAAS,EAAE,EAAE;qBACd;iBACF;aACF,CAAC;YAEF,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QACnC,CAAC;QAED;YACE,MAAM,IAAI,KAAK,CACb,uCAAuC,MAAM,CAAE,MAA6B,CAAC,IAAI,CAAC,EAAE,CACrF,CAAC;IACN,CAAC;AACH,CAAC,CAAC"}
+{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../../src/statements/classes/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAM3E;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,MAAyB,EACzB,OAAuB,EACY,EAAE;IACrC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,cAAc,GAAG,OAAO,CAAC;YAE/B,MAAM,SAAS,GAAa,CAAC,QAAQ,CAAC,CAAC;YAEvC,wDAAwD;YACxD,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;gBACvB,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7B,CAAC;YAED,gBAAgB;YAChB,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;gBACvC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBAChB,iEAAiE;oBACjE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBACtC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;wBAChE,MAAM,OAAO,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;wBACxD,OAAO,CAAC,OAAO,EAAE,cAAc,CAAU,CAAC;oBAC5C,CAAC;oBACD,OAAO,WAAW,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC;gBAC1E,CAAC;gBACD,MAAM,OAAO,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;gBACxD,OAAO,CAAC,OAAO,EAAE,cAAc,CAAU,CAAC;YAC5C,CAAC,CAAC,EAAE,CAAC;YAEL,+CAA+C;YAC/C,MAAM,OAAO,GAAkB,MAAM,CAAC,UAAU;gBAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE;gBACvD,CAAC,CAAC,WAAW,CAAC;YAEhB,qCAAqC;YACrC,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;YAChE,MAAM,mBAAmB,GAAG,qBAAqB,CAC/C,OAAO,CAAC,iBAAiB,EACzB,MAAM,CAAC,IAAI,EACX,OAAO,CACR,CAAC;YAEF,8EAA8E;YAC9E,gFAAgF;YAChF,MAAM,SAAS,GAAoB;gBACjC,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE,EAAE;gBACd,SAAS;gBACT,IAAI,EAAE,OAAO;gBACb,IAAI;gBACJ,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,CAAC,MAAM,CAAC,UAAU,IAAI,mBAAmB;gBACpD,OAAO,EAAE,MAAM,CAAC,UAAU,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;gBACrE,cAAc,EAAE,IAAI;aACrB,CAAC;YAEF,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAClC,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,cAAc,GAAG,OAAO,CAAC;YAE/B,MAAM,SAAS,GAAa,CAAC,QAAQ,CAAC,CAAC;YAEvC,cAAc;YACd,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE;gBAC/C,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACtB,OAAO,WAAW,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;gBACxD,CAAC;gBACD,MAAM,QAAQ,GAAkB,cAAc,CAAC,MAAM,CAAC,CAAC;gBACvD,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAU,CAAC;YAC7C,CAAC,CAAC,EAAE,CAAC;YAEL,mCAAmC;YACnC,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAE7D,aAAa;YACb,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAC9C,MAAM,CAAC,UAAU,EACjB,iBAAiB,CAClB,CAAC;YAEF,yDAAyD;YACzD,MAAM,SAAS,GAAoB;gBACjC,IAAI,EAAE,mBAAmB;gBACzB,UAAU,EAAE,EAAE;gBACd,SAAS;gBACT,UAAU,EAAE,aAAa;gBACzB,IAAI;gBACJ,UAAU,EAAE,SAAS;gBACrB,cAAc,EAAE;oBACd,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE;wBACV,IAAI,EAAE,0BAA0B;wBAChC,IAAI,EAAE,cAAc,CAAC,wCAAwC,CAAC;wBAC9D,SAAS,EAAE,EAAE;qBACd;iBACF;aACF,CAAC;YAEF,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QACnC,CAAC;QAED;YACE,MAAM,IAAI,KAAK,CACb,uCAAuC,MAAM,CAAE,MAA6B,CAAC,IAAI,CAAC,EAAE,CACrF,CAAC;IACN,CAAC;AACH,CAAC,CAAC"}

package/dist/statements/control/conditionals/branch-context.d.ts

@@ -0,0 +1,58 @@
+/**
+ * Branch context manipulation helpers for if-statement emission.
+ * Builds narrowed bindings, union complement bindings, cast declarations,
+ * and condition AST nodes.
+ */
+import { IrExpression, IrStatement, IrType } from "@tsonic/frontend";
+import { EmitterContext, NarrowedBinding } from "../../../types.js";
+import type { CSharpExpressionAst, CSharpStatementAst, CSharpBlockStatementAst, CSharpTypeAst } from "../../../core/format/backend-ast/types.js";
+export type EmitExprAstFn = (e: IrExpression, ctx: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+/** Standard emitExpressionAst adapter for emitBooleanConditionAst callback. */
+export declare const emitExprAstCb: EmitExprAstFn;
+export declare const mergeBranchContextMeta: (preferred: EmitterContext, alternate: EmitterContext) => EmitterContext;
+export declare const mergeBranchFlowState: (base: EmitterContext, preferred: EmitterContext, alternate: EmitterContext, context: EmitterContext) => [ReadonlyMap<string, NarrowedBinding> | undefined, EmitterContext];
+export declare const mergeBranchExitContext: (base: EmitterContext, preferred: EmitterContext, alternate: EmitterContext) => EmitterContext;
+export declare const resetBranchFlowState: (base: EmitterContext, branchContext: EmitterContext) => EmitterContext;
+export declare const toReceiverAst: (receiver: string | CSharpExpressionAst) => CSharpExpressionAst;
+export declare const buildExprBinding: (exprAst: CSharpExpressionAst, type: IrType | undefined, sourceType: IrType | undefined, storageExprAst?: CSharpExpressionAst, storageType?: IrType, carrierExprAst?: CSharpExpressionAst) => Extract<NarrowedBinding, {
+    kind: "expr";
+}>;
+export declare const buildProjectedExprBinding: (exprAst: CSharpExpressionAst, type: IrType | undefined, sourceType: IrType | undefined, carrierExprAst: CSharpExpressionAst, storageType?: IrType) => Extract<NarrowedBinding, {
+    kind: "expr";
+}>;
+/**
+ * Build AST for a union narrowing expression: (escapedOrig.AsN())
+ */
+export declare const buildUnionNarrowAst: (receiver: string | CSharpExpressionAst, memberN: number) => CSharpExpressionAst;
+export declare const buildSubsetUnionType: (members: readonly IrType[]) => IrType | undefined;
+export declare const buildComplementNarrowedBinding: (receiver: string | CSharpExpressionAst, runtimeUnionArity: number, candidateMemberNs: readonly number[], candidateMembers: readonly IrType[], selectedMemberN: number, sourceType?: IrType, sourceMembers?: readonly IrType[], sourceCandidateMemberNs?: readonly number[]) => NarrowedBinding | undefined;
+export declare const buildComplementNarrowedBindingForMembers: (receiver: string | CSharpExpressionAst, runtimeUnionArity: number, candidateMemberNs: readonly number[], candidateMembers: readonly IrType[], selectedMemberNs: readonly number[], sourceType?: IrType, sourceMembers?: readonly IrType[], sourceCandidateMemberNs?: readonly number[]) => NarrowedBinding | undefined;
+export declare const applyExprFallthroughNarrowing: (originalName: string, exprAst: CSharpExpressionAst, narrowedType: IrType, baseContext: EmitterContext, finalContext: EmitterContext, storageType?: IrType) => EmitterContext;
+export declare const withoutNarrowedBinding: (context: EmitterContext, bindingKey: string) => EmitterContext;
+export declare const withComplementNarrowing: (originalName: string, receiver: string | CSharpExpressionAst, runtimeUnionArity: number, candidateMemberNs: readonly number[], candidateMembers: readonly IrType[], selectedMemberN: number, baseContext: EmitterContext) => EmitterContext;
+export declare const withComplementNarrowingForMembers: (originalName: string, receiver: string | CSharpExpressionAst, runtimeUnionArity: number, candidateMemberNs: readonly number[], candidateMembers: readonly IrType[], selectedMemberNs: readonly number[], baseContext: EmitterContext) => EmitterContext;
+export declare const withRuntimeUnionMemberNarrowing: (originalName: string, receiver: string | CSharpExpressionAst, memberN: number, memberType: IrType, sourceType: IrType | undefined, baseContext: EmitterContext, storageType?: IrType) => EmitterContext;
+/** Wrap an array of statements in a single statement (block if >1). */
+export declare const wrapInBlock: (stmts: readonly CSharpStatementAst[]) => CSharpStatementAst;
+export declare const emitBranchScopedStatementAst: (bodyStmt: IrStatement, bodyCtx: EmitterContext) => [readonly CSharpStatementAst[], EmitterContext];
+/**
+ * Emit a forced block with a preamble line as AST.
+ * Builds a blockStatement with preamble statements + body statements.
+ *
+ * If bodyStmt is already a block, its statements are inlined to avoid nesting.
+ */
+export declare const emitForcedBlockWithPreambleAst: (preambleStmts: readonly CSharpStatementAst[], bodyStmt: IrStatement, bodyCtx: EmitterContext) => [CSharpBlockStatementAst, EmitterContext];
+/**
+ * Build a `var name = expr.AsN();` statement as AST.
+ */
+export declare const buildCastLocalDecl: (varName: string, receiver: string | CSharpExpressionAst, memberN: number, narrowedTypeAst?: CSharpTypeAst) => CSharpStatementAst;
+/**
+ * Build the condition expression `orig.IsN()` or `!orig.IsN()`.
+ */
+export declare const buildIsNCondition: (receiver: string | CSharpExpressionAst, memberN: number, negate: boolean, guardNullish?: boolean) => CSharpExpressionAst;
+export declare const buildAnyIsNCondition: (receiver: string | CSharpExpressionAst, memberNs: readonly number[], negate: boolean, guardNullish?: boolean) => CSharpExpressionAst;
+/**
+ * Build the condition expression `orig is TypeName varName`.
+ */
+export declare const buildIsPatternCondition: (receiver: string | CSharpExpressionAst, rhsTypeAst: CSharpTypeAst, escapedNarrow: string) => CSharpExpressionAst;
+//# sourceMappingURL=branch-context.d.ts.map

package/dist/statements/control/conditionals/branch-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"branch-context.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/branch-context.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,YAAY,EACZ,WAAW,EACX,MAAM,EAEP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAGpE,OAAO,KAAK,EACV,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,EACvB,aAAa,EACd,MAAM,2CAA2C,CAAC;AAUnD,MAAM,MAAM,aAAa,GAAG,CAC1B,CAAC,EAAE,YAAY,EACf,GAAG,EAAE,cAAc,KAChB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;AAE3C,+EAA+E;AAC/E,eAAO,MAAM,aAAa,EAAE,aACD,CAAC;AAE5B,eAAO,MAAM,sBAAsB,GACjC,WAAW,cAAc,EACzB,WAAW,cAAc,KACxB,cAQD,CAAC;AA0IH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,cAAc,EACpB,WAAW,cAAc,EACzB,WAAW,cAAc,EACzB,SAAS,cAAc,KACtB,CAAC,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,SAAS,EAAE,cAAc,CA6BnE,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,MAAM,cAAc,EACpB,WAAW,cAAc,EACzB,WAAW,cAAc,KACxB,cAaF,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,MAAM,cAAc,EACpB,eAAe,cAAc,KAC5B,cAOA,CAAC;AAEJ,eAAO,MAAM,aAAa,GACxB,UAAU,MAAM,GAAG,mBAAmB,KACrC,mBAGW,CAAC;AAEf,eAAO,MAAM,gBAAgB,GAC3B,SAAS,mBAAmB,EAC5B,MAAM,MAAM,GAAG,SAAS,EACxB,YAAY,MAAM,GAAG,SAAS,EAC9B,iBAAiB,mBAAmB,EACpC,cAAc,MAAM,EACpB,iBAAiB,mBAAmB,KACnC,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAQ1C,CAAC;AAEH,eAAO,MAAM,yBAAyB,GACpC,SAAS,mBAAmB,EAC5B,MAAM,MAAM,GAAG,SAAS,EACxB,YAAY,MAAM,GAAG,SAAS,EAC9B,gBAAgB,mBAAmB,EACnC,cAAc,MAAM,KACnB,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAQzC,CAAC;AAEJ;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,UAAU,MAAM,GAAG,mBAAmB,EACtC,SAAS,MAAM,KACd,mBAWD,CAAC;AAEH,eAAO,MAAM,oBAAoB,GAC/B,SAAS,SAAS,MAAM,EAAE,KACzB,MAAM,GAAG,SAIX,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,UAAU,MAAM,GAAG,mBAAmB,EACtC,mBAAmB,MAAM,EACzB,mBAAmB,SAAS,MAAM,EAAE,EACpC,kBAAkB,SAAS,MAAM,EAAE,EACnC,iBAAiB,MAAM,EACvB,aAAa,MAAM,EACnB,gBAAgB,SAAS,MAAM,EAAE,EACjC,0BAA0B,SAAS,MAAM,EAAE,KAC1C,eAAe,GAAG,SA2CpB,CAAC;AAEF,eAAO,MAAM,wCAAwC,GACnD,UAAU,MAAM,GAAG,mBAAmB,EACtC,mBAAmB,MAAM,EACzB,mBAAmB,SAAS,MAAM,EAAE,EACpC,kBAAkB,SAAS,MAAM,EAAE,EACnC,kBAAkB,SAAS,MAAM,EAAE,EACnC,aAAa,MAAM,EACnB,gBAAgB,SAAS,MAAM,EAAE,EACjC,0BAA0B,SAAS,MAAM,EAAE,KAC1C,eAAe,GAAG,SA4CpB,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,cAAc,MAAM,EACpB,SAAS,mBAAmB,EAC5B,cAAc,MAAM,EACpB,aAAa,cAAc,EAC3B,cAAc,cAAc,EAC5B,cAAc,MAAM,KACnB,cA0BF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,SAAS,cAAc,EACvB,YAAY,MAAM,KACjB,cAYF,CAAC;AAEF,eAAO,MAAM,uBAAuB,GAClC,cAAc,MAAM,EACpB,UAAU,MAAM,GAAG,mBAAmB,EACtC,mBAAmB,MAAM,EACzB,mBAAmB,SAAS,MAAM,EAAE,EACpC,kBAAkB,SAAS,MAAM,EAAE,EACnC,iBAAiB,MAAM,EACvB,aAAa,cAAc,KAC1B,cAsCF,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,cAAc,MAAM,EACpB,UAAU,MAAM,GAAG,mBAAmB,EACtC,mBAAmB,MAAM,EACzB,mBAAmB,SAAS,MAAM,EAAE,EACpC,kBAAkB,SAAS,MAAM,EAAE,EACnC,kBAAkB,SAAS,MAAM,EAAE,EACnC,aAAa,cAAc,KAC1B,cAsCF,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,cAAc,MAAM,EACpB,UAAU,MAAM,GAAG,mBAAmB,EACtC,SAAS,MAAM,EACf,YAAY,MAAM,EAClB,YAAY,MAAM,GAAG,SAAS,EAC9B,aAAa,cAAc,EAC3B,cAAc,MAAM,KACnB,cAiBF,CAAC;AAEF,uEAAuE;AACvE,eAAO,MAAM,WAAW,GACtB,OAAO,SAAS,kBAAkB,EAAE,KACnC,kBAGF,CAAC;AAsEF,eAAO,MAAM,4BAA4B,GACvC,UAAU,WAAW,EACrB,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAiChD,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,8BAA8B,GACzC,eAAe,SAAS,kBAAkB,EAAE,EAC5C,UAAU,WAAW,EACrB,SAAS,cAAc,KACtB,CAAC,uBAAuB,EAAE,cAAc,CAY1C,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,SAAS,MAAM,EACf,UAAU,MAAM,GAAG,mBAAmB,EACtC,SAAS,MAAM,EACf,kBAAkB,aAAa,KAC9B,kBAiCD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,UAAU,MAAM,GAAG,mBAAmB,EACtC,SAAS,MAAM,EACf,QAAQ,OAAO,EACf,sBAAoB,KACnB,mBAgDF,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,UAAU,MAAM,GAAG,mBAAmB,EACtC,UAAU,SAAS,MAAM,EAAE,EAC3B,QAAQ,OAAO,EACf,sBAAoB,KACnB,mBAuBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,UAAU,MAAM,GAAG,mBAAmB,EACtC,YAAY,aAAa,EACzB,eAAe,MAAM,KACpB,mBAQD,CAAC"}