@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/converters/statements/control/blocks.js.map

@@ -1 +1 @@
-{"version":3,"file":"blocks.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/blocks.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EACL,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EACL,gCAAgC,EAChC,iCAAiC,EACjC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,yBAAyB,GAAG,CAAC,IAAiB,EAAW,EAAE;IAC/D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,iBAAiB,CAAC;QACvB,KAAK,gBAAgB,CAAC;QACtB,KAAK,0BAA0B;YAC7B,OAAO,IAAI,CAAC;QACd,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3E,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC,aAAa;gBACvB,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,aAAa,CAAC;oBAC3C,yBAAyB,CAAC,IAAI,CAAC,aAAa,CAAC;gBACjD,CAAC,CAAC,KAAK,CAAC;QACZ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,aAAa,GAAG,yBAAyB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/D,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW;gBACtC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;gBAClD,CAAC,CAAC,IAAI,CAAC;YACT,MAAM,iBAAiB,GAAG,IAAI,CAAC,YAAY;gBACzC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,YAAY,CAAC;gBAC9C,CAAC,CAAC,IAAI,CAAC;YACT,OAAO,aAAa,IAAI,eAAe,IAAI,iBAAiB,CAAC;QAC/D,CAAC;QACD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAc,EACd,GAAmB,EACnB,kBAAsC,EACpB,EAAE;IACpB,IAAI,UAAU,GAAG,GAAG,CAAC;IACrB,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC;QACtE,UAAU,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC;QAEtD,oFAAoF;QACpF,oFAAoF;QACpF,IACE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YACzB,SAAS,KAAK,IAAI;YAClB,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EACzB,CAAC;YACD,MAAM,MAAM,GAAG,SAAwB,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB;gBAAE,SAAS;YACpD,MAAM,OAAO,GAAG,MAA+B,CAAC;YAChD,UAAU,GAAG,mBAAmB,CAC9B,UAAU,EACV,CAAC,CAAC,eAAe,CAAC,YAAY,EAC9B,OAAO,CACR,CAAC;QACJ,CAAC;QAED,IACE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;YACnB,SAAS,KAAK,IAAI;YAClB,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EACzB,CAAC;YACD,MAAM,eAAe,GAAG,SAAwB,CAAC;YACjD,MAAM,WAAW,GACf,eAAe,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,MAAM,cAAc,GAAG,yBAAyB,CAC9C,WAAW,CAAC,aAAa,CAC1B,CAAC;YACF,MAAM,cAAc,GAAG,WAAW,CAAC,aAAa;gBAC9C,CAAC,CAAC,yBAAyB,CAAC,WAAW,CAAC,aAAa,CAAC;gBACtD,CAAC,CAAC,KAAK,CAAC;YAEV,IAAI,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtC,UAAU,GAAG,qBAAqB,CAChC,UAAU,EACV,gCAAgC,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAC3D,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IAAI,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtC,UAAU,GAAG,qBAAqB,CAChC,UAAU,EACV,iCAAiC,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAC5D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"blocks.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/blocks.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EACL,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EACL,gCAAgC,EAChC,iCAAiC,EACjC,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,mBAAmB,EACnB,iCAAiC,GAClC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,iCAAiC,EAAE,MAAM,qCAAqC,CAAC;AAExF,MAAM,oCAAoC,GAAG,CAC3C,IAAmB,EACnB,GAAmB,EACC,EAAE;IACtB,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,MAAM,YAAY,GAAG,iCAAiC,CACpD,IAAI,CAAC,UAAU,EACf,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO,iCAAiC,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QACxE,MAAM,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC;QAC7C,IACE,CAAC,YAAY;YACb,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,YAAY,CAAC;gBAChC,CAAC,EAAE,CAAC,+BAA+B,CAAC,YAAY,CAAC,CAAC,EACpD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,YAAY,GAAG,iCAAiC,CACpD,IAAI,CAAC,UAAU,EACf,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO,iCAAiC,CACtC,YAAY,EACZ,YAAY,CAAC,IAAI,EACjB,GAAG,CACJ,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAmB,EACnB,YAAgC,EAChC,GAAmB,EACC,EAAE;IACtB,MAAM,YAAY,GAAG,oCAAoC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACrE,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,OAAO,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,YAAY,EAAE,YAAY,CAAC;QAC9D,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,YAAY,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAAC,IAAiB,EAAW,EAAE;IAC/D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,iBAAiB,CAAC;QACvB,KAAK,gBAAgB,CAAC;QACtB,KAAK,0BAA0B,CAAC;QAChC,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO,IAAI,CAAC;QACd,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3E,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC,aAAa;gBACvB,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,aAAa,CAAC;oBAC3C,yBAAyB,CAAC,IAAI,CAAC,aAAa,CAAC;gBACjD,CAAC,CAAC,KAAK,CAAC;QACZ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,aAAa,GAAG,yBAAyB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/D,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW;gBACtC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;gBAClD,CAAC,CAAC,IAAI,CAAC;YACT,MAAM,iBAAiB,GAAG,IAAI,CAAC,YAAY;gBACzC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,YAAY,CAAC;gBAC9C,CAAC,CAAC,IAAI,CAAC;YACT,OAAO,aAAa,IAAI,eAAe,IAAI,iBAAiB,CAAC;QAC/D,CAAC;QACD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAc,EACd,GAAmB,EACnB,kBAAsC,EACpB,EAAE;IACpB,IAAI,UAAU,GAAG,GAAG,CAAC;IACrB,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC;QACtE,UAAU,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC;QAEtD,oFAAoF;QACpF,oFAAoF;QACpF,IACE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YACzB,SAAS,KAAK,IAAI;YAClB,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EACzB,CAAC;YACD,MAAM,MAAM,GAAG,SAAwB,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB;gBAAE,SAAS;YACpD,MAAM,OAAO,GAAG,MAA+B,CAAC;YAChD,UAAU,GAAG,mBAAmB,CAC9B,UAAU,EACV,CAAC,CAAC,eAAe,CAAC,YAAY,EAC9B,OAAO,CACR,CAAC;QACJ,CAAC;QAED,IACE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;YAC3B,SAAS,KAAK,IAAI;YAClB,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EACzB,CAAC;YACD,MAAM,MAAM,GAAG,SAAwB,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC1C,SAAS;YACX,CAAC;YAED,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC;YAC1B,IACE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAC3B,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBACrD,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,EACvC,CAAC;gBACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBAC1D,IAAI,MAAM,EAAE,CAAC;oBACX,UAAU,GAAG,0BAA0B,CACrC,UAAU,EACV,MAAM,EACN,iCAAiC,CAC/B,IAAI,CAAC,IAAI,EACT,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,YAAY,EACpC,UAAU,CACX,CACF,CAAC;gBACJ,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IACE,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;gBAC/B,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;gBACpC,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBAC5C,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAClD,CAAC;gBACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;gBAC7D,IAAI,MAAM,EAAE,CAAC;oBACX,UAAU,GAAG,0BAA0B,CACrC,UAAU,EACV,MAAM,EACN,MAAM,CAAC,UAAU,CAAC,YAAY,CAC/B,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,IACE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;YACnB,SAAS,KAAK,IAAI;YAClB,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EACzB,CAAC;YACD,MAAM,eAAe,GAAG,SAAwB,CAAC;YACjD,MAAM,WAAW,GACf,eAAe,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,MAAM,cAAc,GAAG,yBAAyB,CAC9C,WAAW,CAAC,aAAa,CAC1B,CAAC;YACF,MAAM,cAAc,GAAG,WAAW,CAAC,aAAa;gBAC9C,CAAC,CAAC,yBAAyB,CAAC,WAAW,CAAC,aAAa,CAAC;gBACtD,CAAC,CAAC,KAAK,CAAC;YAEV,IAAI,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtC,UAAU,GAAG,qBAAqB,CAChC,UAAU,EACV,gCAAgC,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAC3D,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IAAI,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtC,UAAU,GAAG,qBAAqB,CAChC,UAAU,EACV,iCAAiC,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAC5D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/statements/control/conditionals.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"conditionals.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/conditionals.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAEL,aAAa,EACb,iBAAiB,EACjB,YAAY,EACZ,MAAM,EAEP,MAAM,mBAAmB,CAAC;AAO3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAOlE;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,WAAW,EACpB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,aA4CF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,eAAe,EACxB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,iBAQF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,mBAAmB,EAC5B,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,YA8BF,CAAC"}
+{"version":3,"file":"conditionals.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/conditionals.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAEL,aAAa,EACb,iBAAiB,EACjB,YAAY,EACZ,MAAM,EAEP,MAAM,mBAAmB,CAAC;AAO3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAQlE;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,WAAW,EACpB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,aA6BF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,eAAe,EACxB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,iBAQF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,mBAAmB,EAC5B,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,YA8BF,CAAC"}

package/dist/ir/converters/statements/control/conditionals.js

@@ -6,7 +6,7 @@
 import * as ts from "typescript";
 import { convertExpression } from "../../../expression-converter.js";
 import { convertStatementSingle, flattenStatementResult, convertStatement, } from "../../../statement-converter.js";
-import { collectTypeNarrowingsInTruthyExpr, withAppliedNarrowings, } from "../../flow-narrowing.js";
+import { collectTypeNarrowingsInTruthyExpr, collectTypeNarrowingsInFalsyExpr, withAppliedNarrowings, } from "../../flow-narrowing.js";
 import { withVariableTypeEnv } from "../../type-env.js";
 /**
  * Convert if statement
@@ -19,17 +19,7 @@ export const convertIfStatement = (node, ctx, expectedReturnType) => {
     const elseCtx = (() => {
         if (!node.elseStatement)
             return ctx;
-        let unwrapped = node.expression;
-        while (ts.isParenthesizedExpression(unwrapped)) {
-            unwrapped = unwrapped.expression;
-        }
-        // Else branch runs when the inner condition is truthy.
-        // This supports idiomatic `if (!(x instanceof T)) { ... } else { x.tMember }`.
-        if (ts.isPrefixUnaryExpression(unwrapped) &&
-            unwrapped.operator === ts.SyntaxKind.ExclamationToken) {
-            return withAppliedNarrowings(ctx, collectTypeNarrowingsInTruthyExpr(unwrapped.operand, ctx));
-        }
-        return ctx;
+        return withAppliedNarrowings(ctx, collectTypeNarrowingsInFalsyExpr(node.expression, ctx));
     })();
     const thenStmt = convertStatementSingle(node.thenStatement, thenCtx, expectedReturnType);
     const elseStmt = node.elseStatement

package/dist/ir/converters/statements/control/conditionals.js.map

@@ -1 +1 @@
-{"version":3,"file":"conditionals.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/conditionals.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EACL,iCAAiC,EACjC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAExD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAoB,EACpB,GAAmB,EACnB,kBAA2B,EACZ,EAAE;IACjB,MAAM,OAAO,GAAG,qBAAqB,CACnC,GAAG,EACH,iCAAiC,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CACxD,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE;QACpB,IAAI,CAAC,IAAI,CAAC,aAAa;YAAE,OAAO,GAAG,CAAC;QAEpC,IAAI,SAAS,GAAkB,IAAI,CAAC,UAAU,CAAC;QAC/C,OAAO,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/C,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC;QACnC,CAAC;QAED,uDAAuD;QACvD,+EAA+E;QAC/E,IACE,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC;YACrC,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACrD,CAAC;YACD,OAAO,qBAAqB,CAC1B,GAAG,EACH,iCAAiC,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAC1D,CAAC;QACJ,CAAC;QAED,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,QAAQ,GAAG,sBAAsB,CACrC,IAAI,CAAC,aAAa,EAClB,OAAO,EACP,kBAAkB,CACnB,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa;QACjC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,aAAa,EAAE,OAAO,EAAE,kBAAkB,CAAC;QACzE,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;QAC7D,aAAa,EAAE,QAAQ,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;QACrD,aAAa,EAAE,QAAQ,IAAI,SAAS;KACrC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAwB,EACxB,GAAmB,EACnB,kBAA2B,EACR,EAAE;IACrB,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;QAC9D,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3C,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,kBAAkB,CAAC,CACnD;KACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAA4B,EAC5B,GAAmB,EACnB,kBAA2B,EACb,EAAE;IAChB,IAAI,UAAU,GAAG,GAAG,CAAC;IACrB,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC;QACtE,UAAU,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC;QAEtD,IACE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YACzB,SAAS,KAAK,IAAI;YAClB,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EACzB,CAAC;YACD,MAAM,MAAM,GAAG,SAAwB,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB;gBAAE,SAAS;YACpD,UAAU,GAAG,mBAAmB,CAC9B,UAAU,EACV,CAAC,CAAC,eAAe,CAAC,YAAY,EAC9B,MAA+B,CAChC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;YACpD,CAAC,CAAC,SAAS;QACb,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"conditionals.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/conditionals.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EACL,iCAAiC,EACjC,gCAAgC,EAChC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAExD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAoB,EACpB,GAAmB,EACnB,kBAA2B,EACZ,EAAE;IACjB,MAAM,OAAO,GAAG,qBAAqB,CACnC,GAAG,EACH,iCAAiC,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CACxD,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE;QACpB,IAAI,CAAC,IAAI,CAAC,aAAa;YAAE,OAAO,GAAG,CAAC;QACpC,OAAO,qBAAqB,CAC1B,GAAG,EACH,gCAAgC,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CACvD,CAAC;IACJ,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,QAAQ,GAAG,sBAAsB,CACrC,IAAI,CAAC,aAAa,EAClB,OAAO,EACP,kBAAkB,CACnB,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa;QACjC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,aAAa,EAAE,OAAO,EAAE,kBAAkB,CAAC;QACzE,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;QAC7D,aAAa,EAAE,QAAQ,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;QACrD,aAAa,EAAE,QAAQ,IAAI,SAAS;KACrC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAwB,EACxB,GAAmB,EACnB,kBAA2B,EACR,EAAE;IACrB,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;QAC9D,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3C,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,kBAAkB,CAAC,CACnD;KACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAA4B,EAC5B,GAAmB,EACnB,kBAA2B,EACb,EAAE;IAChB,IAAI,UAAU,GAAG,GAAG,CAAC;IACrB,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC;QACtE,UAAU,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC;QAEtD,IACE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YACzB,SAAS,KAAK,IAAI;YAClB,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EACzB,CAAC;YACD,MAAM,MAAM,GAAG,SAAwB,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB;gBAAE,SAAS;YACpD,UAAU,GAAG,mBAAmB,CAC9B,UAAU,EACV,CAAC,CAAC,eAAe,CAAC,YAAY,EAC9B,MAA+B,CAChC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;YACpD,CAAC,CAAC,SAAS;QACb,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/statements/control/loops.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"loops.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/loops.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,MAAM,EACP,MAAM,mBAAmB,CAAC;AAK3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAiGlE;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,gBAOF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,YAAY,EACrB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,cAkCF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,gBA+CF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,gBAuDF,CAAC"}
+{"version":3,"file":"loops.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/loops.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,MAAM,EACP,MAAM,mBAAmB,CAAC;AAM3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAmHlE;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,gBAOF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,YAAY,EACrB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,cAkCF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,gBA6CF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,gBAuDF,CAAC"}

package/dist/ir/converters/statements/control/loops.js

@@ -4,6 +4,7 @@
  * Phase 5 Step 4: Uses ProgramContext instead of Binding.
  */
 import * as ts from "typescript";
+import { normalizedUnionType } from "../../../types/type-ops.js";
 import { convertExpression } from "../../../expression-converter.js";
 import { convertBindingName } from "../../../syntax/binding-patterns.js";
 import { convertStatementSingle } from "../../../statement-converter.js";
@@ -40,6 +41,20 @@ const deriveForOfElementType = (type) => {
     const normalized = normalizeForIteration(type);
     if (!normalized)
         return undefined;
+    if (normalized.kind === "unionType") {
+        const memberElementTypes = [];
+        for (const member of normalized.types) {
+            const memberElementType = deriveForOfElementType(member);
+            if (!memberElementType) {
+                return undefined;
+            }
+            memberElementTypes.push(memberElementType);
+        }
+        if (memberElementTypes.length === 0) {
+            return undefined;
+        }
+        return normalizedUnionType(memberElementTypes);
+    }
     if (normalized.kind === "arrayType") {
         return normalized.elementType;
     }
@@ -159,10 +174,9 @@ export const convertForOfStatement = (node, ctx, expectedReturnType) => {
         variable,
         expression,
         body: body ?? { kind: "emptyStatement" },
-        // TS parser marks `for await` loops with both `awaitModifier` and AwaitContext flags.
-        // Use both to be resilient across TS versions/host implementations.
-        isAwait: node.awaitModifier !== undefined ||
-            (node.flags & ts.NodeFlags.AwaitContext) !== 0,
+        // Only syntactic `for await (... of ...)` should lower as async iteration.
+        // `AwaitContext` is also set for plain `for...of` inside async functions.
+        isAwait: node.awaitModifier !== undefined,
     };
 };
 /**

package/dist/ir/converters/statements/control/loops.js.map

@@ -1 +1 @@
-{"version":3,"file":"loops.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/loops.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,8BAA8B,EAAE,MAAM,eAAe,CAAC;AAE/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAExD,MAAM,qBAAqB,GAAG,CAC5B,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,CACC,IAAI,CAAC,IAAI,KAAK,eAAe;YAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CACpD,CACJ,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,OAAO,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,SAAS,GACb,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;YACpD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;YACpD,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAClE;YACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;QAC3D,OAAO,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,YAA+B,EACX,EAAE;IACtB,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC;IACtD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACJ,EAAE;IACtB,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,UAAU,CAAC,WAAW,CAAC;IAChC,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,+BAA+B,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IACE,UAAU,CAAC,IAAI,KAAK,eAAe;QACnC,UAAU,CAAC,aAAa;QACxB,UAAU,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;QACD,MAAM,CAAC,YAAY,EAAE,aAAa,CAAC,GAAG,UAAU,CAAC,aAAa,CAAC;QAC/D,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;YACxB,KAAK,OAAO,CAAC;YACb,KAAK,eAAe,CAAC;YACrB,KAAK,UAAU,CAAC;YAChB,KAAK,kBAAkB,CAAC;YACxB,KAAK,UAAU,CAAC;YAChB,KAAK,eAAe,CAAC;YACrB,KAAK,uBAAuB,CAAC;YAC7B,KAAK,WAAW,CAAC;YACjB,KAAK,gBAAgB,CAAC;YACtB,KAAK,KAAK,CAAC;YACX,KAAK,aAAa;gBAChB,OAAO,YAAY,CAAC;YACtB,KAAK,KAAK,CAAC;YACX,KAAK,aAAa;gBAChB,OAAO,YAAY,IAAI,aAAa;oBAClC,CAAC,CAAC;wBACE,IAAI,EAAE,WAAW;wBACjB,YAAY,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;qBAC5C;oBACH,CAAC,CAAC,SAAS,CAAC;YAChB;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,GAAmB,EACnB,kBAA2B,EACT,EAAE;IACpB,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC7E,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;QAC7D,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAqB,EACrB,GAAmB,EACnB,kBAA2B,EACX,EAAE;IAClB,IAAI,WAAsD,CAAC;IAC3D,IAAI,OAAO,GAAmB,GAAG,CAAC;IAElC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACnD,MAAM,SAAS,GAAG,8BAA8B,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACxE,WAAW,GAAG,SAAS,CAAC;YACxB,OAAO,GAAG,mBAAmB,CAC3B,GAAG,EACH,IAAI,CAAC,WAAW,CAAC,YAAY,EAC7B,SAAS,CACV,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,sBAAsB,CACjC,IAAI,CAAC,SAAS,EACd,OAAO,EACP,kBAAkB,CACnB,CAAC;IACF,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,WAAW;QACX,SAAS,EAAE,IAAI,CAAC,SAAS;YACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC;YACvD,CAAC,CAAC,SAAS;QACb,MAAM,EAAE,IAAI,CAAC,WAAW;YACtB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC;YACzD,CAAC,CAAC,SAAS;QACb,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,GAAmB,EACnB,kBAA2B,EACT,EAAE;IACpB,MAAM,SAAS,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC;IAEd,MAAM,QAAQ,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC7D,CAAC,CAAC,kBAAkB,CAChB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EACnD,GAAG,CACJ;QACH,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,WAA6B,EAAE,GAAG,CAAC,CAAC;IAEhE,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAEtE,6EAA6E;IAC7E,sFAAsF;IACtF,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,SAAS,EAAE,CAAC;QAChE,MAAM,WAAW,GAAG,sBAAsB,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACpE,IAAI,WAAW,EAAE,CAAC;YAChB,OAAO,GAAG,mBAAmB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE;gBAC9C,IAAI,EAAE,qBAAqB;gBAC3B,eAAe,EAAE,OAAO;gBACxB,YAAY,EAAE;oBACZ,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE;iBAClE;gBACD,UAAU,EAAE,KAAK;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,sBAAsB,CACjC,IAAI,CAAC,SAAS,EACd,OAAO,EACP,kBAAkB,CACnB,CAAC;IACF,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,QAAQ;QACR,UAAU;QACV,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;QACxC,sFAAsF;QACtF,oEAAoE;QACpE,OAAO,EACL,IAAI,CAAC,aAAa,KAAK,SAAS;YAChC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC;KACjD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,GAAmB,EACnB,kBAA2B,EACT,EAAE;IACpB,MAAM,SAAS,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC;IAEd,MAAM,QAAQ,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC7D,CAAC,CAAC,kBAAkB,CAChB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EACnD,GAAG,CACJ;QACH,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC;YACjC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;YAC3C,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAEhE,MAAM,aAAa,GACjB,QAAQ,CAAC,IAAI,KAAK,mBAAmB;QACnC,CAAC,CAAC;YACE,GAAG,QAAQ;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAW;SACzD;QACH,CAAC,CAAC,QAAQ,CAAC;IAEf,wEAAwE;IACxE,kEAAkE;IAClE,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,MAAM,UAAU,GAAG;QACjB,IAAI,EAAE,eAAwB;QAC9B,IAAI,EAAE,QAAiB;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,SAAS,EAAE,CAAC;QAChE,OAAO,GAAG,mBAAmB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE;YAC9C,IAAI,EAAE,qBAAqB;YAC3B,eAAe,EAAE,OAAO;YACxB,YAAY,EAAE;gBACZ,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE;aACtE;YACD,UAAU,EAAE,KAAK;SAClB,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7C,mEAAmE;QACnE,6CAA6C;QAC7C,OAAO,GAAG,GAAG,CAAC;IAChB,CAAC;IAED,MAAM,IAAI,GAAG,sBAAsB,CACjC,IAAI,CAAC,SAAS,EACd,OAAO,EACP,kBAAkB,CACnB,CAAC;IACF,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,QAAQ,EAAE,aAAa;QACvB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;QAC9D,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"loops.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/loops.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,8BAA8B,EAAE,MAAM,eAAe,CAAC;AAE/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAExD,MAAM,qBAAqB,GAAG,CAC5B,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,CACC,IAAI,CAAC,IAAI,KAAK,eAAe;YAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CACpD,CACJ,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,OAAO,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,SAAS,GACb,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;YACpD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;YACpD,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAClE;YACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;QAC3D,OAAO,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,YAA+B,EACX,EAAE;IACtB,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC;IACtD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACJ,EAAE;IACtB,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,kBAAkB,GAAa,EAAE,CAAC;QAExC,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACtC,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;YACzD,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACvB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,kBAAkB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC7C,CAAC;QAED,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO,mBAAmB,CAAC,kBAAkB,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,UAAU,CAAC,WAAW,CAAC;IAChC,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,+BAA+B,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IACE,UAAU,CAAC,IAAI,KAAK,eAAe;QACnC,UAAU,CAAC,aAAa;QACxB,UAAU,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;QACD,MAAM,CAAC,YAAY,EAAE,aAAa,CAAC,GAAG,UAAU,CAAC,aAAa,CAAC;QAC/D,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;YACxB,KAAK,OAAO,CAAC;YACb,KAAK,eAAe,CAAC;YACrB,KAAK,UAAU,CAAC;YAChB,KAAK,kBAAkB,CAAC;YACxB,KAAK,UAAU,CAAC;YAChB,KAAK,eAAe,CAAC;YACrB,KAAK,uBAAuB,CAAC;YAC7B,KAAK,WAAW,CAAC;YACjB,KAAK,gBAAgB,CAAC;YACtB,KAAK,KAAK,CAAC;YACX,KAAK,aAAa;gBAChB,OAAO,YAAY,CAAC;YACtB,KAAK,KAAK,CAAC;YACX,KAAK,aAAa;gBAChB,OAAO,YAAY,IAAI,aAAa;oBAClC,CAAC,CAAC;wBACE,IAAI,EAAE,WAAW;wBACjB,YAAY,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;qBAC5C;oBACH,CAAC,CAAC,SAAS,CAAC;YAChB;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,GAAmB,EACnB,kBAA2B,EACT,EAAE;IACpB,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC7E,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;QAC7D,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAqB,EACrB,GAAmB,EACnB,kBAA2B,EACX,EAAE;IAClB,IAAI,WAAsD,CAAC;IAC3D,IAAI,OAAO,GAAmB,GAAG,CAAC;IAElC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACnD,MAAM,SAAS,GAAG,8BAA8B,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACxE,WAAW,GAAG,SAAS,CAAC;YACxB,OAAO,GAAG,mBAAmB,CAC3B,GAAG,EACH,IAAI,CAAC,WAAW,CAAC,YAAY,EAC7B,SAAS,CACV,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,sBAAsB,CACjC,IAAI,CAAC,SAAS,EACd,OAAO,EACP,kBAAkB,CACnB,CAAC;IACF,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,WAAW;QACX,SAAS,EAAE,IAAI,CAAC,SAAS;YACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC;YACvD,CAAC,CAAC,SAAS;QACb,MAAM,EAAE,IAAI,CAAC,WAAW;YACtB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC;YACzD,CAAC,CAAC,SAAS;QACb,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,GAAmB,EACnB,kBAA2B,EACT,EAAE;IACpB,MAAM,SAAS,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC;IAEd,MAAM,QAAQ,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC7D,CAAC,CAAC,kBAAkB,CAChB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EACnD,GAAG,CACJ;QACH,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,WAA6B,EAAE,GAAG,CAAC,CAAC;IAEhE,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAEtE,6EAA6E;IAC7E,sFAAsF;IACtF,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,SAAS,EAAE,CAAC;QAChE,MAAM,WAAW,GAAG,sBAAsB,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACpE,IAAI,WAAW,EAAE,CAAC;YAChB,OAAO,GAAG,mBAAmB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE;gBAC9C,IAAI,EAAE,qBAAqB;gBAC3B,eAAe,EAAE,OAAO;gBACxB,YAAY,EAAE;oBACZ,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE;iBAClE;gBACD,UAAU,EAAE,KAAK;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,sBAAsB,CACjC,IAAI,CAAC,SAAS,EACd,OAAO,EACP,kBAAkB,CACnB,CAAC;IACF,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,QAAQ;QACR,UAAU;QACV,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;QACxC,2EAA2E;QAC3E,0EAA0E;QAC1E,OAAO,EAAE,IAAI,CAAC,aAAa,KAAK,SAAS;KAC1C,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,GAAmB,EACnB,kBAA2B,EACT,EAAE;IACpB,MAAM,SAAS,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC;IAEd,MAAM,QAAQ,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC7D,CAAC,CAAC,kBAAkB,CAChB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EACnD,GAAG,CACJ;QACH,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC;YACjC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;YAC3C,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAEhE,MAAM,aAAa,GACjB,QAAQ,CAAC,IAAI,KAAK,mBAAmB;QACnC,CAAC,CAAC;YACE,GAAG,QAAQ;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAW;SACzD;QACH,CAAC,CAAC,QAAQ,CAAC;IAEf,wEAAwE;IACxE,kEAAkE;IAClE,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,MAAM,UAAU,GAAG;QACjB,IAAI,EAAE,eAAwB;QAC9B,IAAI,EAAE,QAAiB;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,SAAS,EAAE,CAAC;QAChE,OAAO,GAAG,mBAAmB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE;YAC9C,IAAI,EAAE,qBAAqB;YAC3B,eAAe,EAAE,OAAO;YACxB,YAAY,EAAE;gBACZ,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE;aACtE;YACD,UAAU,EAAE,KAAK;SAClB,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7C,mEAAmE;QACnE,6CAA6C;QAC7C,OAAO,GAAG,GAAG,CAAC;IAChB,CAAC;IAED,MAAM,IAAI,GAAG,sBAAsB,CACjC,IAAI,CAAC,SAAS,EACd,OAAO,EACP,kBAAkB,CACnB,CAAC;IACF,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,QAAQ,EAAE,aAAa;QACvB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;QAC9D,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/classes/constructors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constructors.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/constructors.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAe,MAAM,sBAAsB,CAAC;AAQlE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAErE;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,sBAAsB,EAC/B,KAAK,cAAc,EACnB,oBAAoB,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,oBAAoB,CAAC,KACxD,aAsDF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,aAAa,EAAE,CAAC,sBAAsB,GAAG,SAAS,EAClD,KAAK,cAAc,KAClB,aAAa,EAgDf,CAAC"}
+{"version":3,"file":"constructors.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/constructors.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAe,MAAM,sBAAsB,CAAC;AASlE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AA8BrE;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,sBAAsB,EAC/B,KAAK,cAAc,EACnB,oBAAoB,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,oBAAoB,CAAC,KACxD,aAyDF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,aAAa,EAAE,CAAC,sBAAsB,GAAG,SAAS,EAClD,KAAK,cAAc,KAClB,aAAa,EAsCf,CAAC"}

package/dist/ir/converters/statements/declarations/classes/constructors.js

@@ -4,23 +4,36 @@
 import * as ts from "typescript";
 import { convertBlockStatement } from "../../control.js";
 import { hasReadonlyModifier, getAccessibility, convertParameters, makeOptionalType, } from "../../helpers.js";
+import { withParameterTypeEnv } from "../../../type-env.js";
+const isParameterPropertyParameter = (param) => {
+    const modifiers = ts.getModifiers(param);
+    return (modifiers?.some((m) => m.kind === ts.SyntaxKind.PublicKeyword ||
+        m.kind === ts.SyntaxKind.PrivateKeyword ||
+        m.kind === ts.SyntaxKind.ProtectedKeyword ||
+        m.kind === ts.SyntaxKind.ReadonlyKeyword) ?? false);
+};
+const isLeadingSuperCallStatement = (statement) => {
+    if (statement.kind !== "expressionStatement") {
+        return false;
+    }
+    const expression = statement.expression;
+    return (expression.kind === "call" &&
+        expression.callee.kind === "identifier" &&
+        expression.callee.name === "super");
+};
 /**
  * Convert constructor declaration to IR
  */
 export const convertConstructor = (node, ctx, constructorParams) => {
-    // Build constructor body with parameter property assignments
-    const statements = [];
+    const parameters = convertParameters(node.parameters, ctx);
+    const bodyCtx = withParameterTypeEnv(ctx, node.parameters, parameters);
+    const parameterPropertyAssignments = [];
     // Add assignments for parameter properties (parameters with explicit modifiers)
     if (constructorParams) {
         for (const param of constructorParams) {
-            // Check if parameter has an EXPLICIT accessibility modifier
-            const modifiers = ts.getModifiers(param);
-            const hasAccessibilityModifier = modifiers?.some((m) => m.kind === ts.SyntaxKind.PublicKeyword ||
-                m.kind === ts.SyntaxKind.PrivateKeyword ||
-                m.kind === ts.SyntaxKind.ProtectedKeyword);
-            if (hasAccessibilityModifier && ts.isIdentifier(param.name)) {
+            if (isParameterPropertyParameter(param) && ts.isIdentifier(param.name)) {
                 // Create: this.name = name;
-                statements.push({
+                parameterPropertyAssignments.push({
                     kind: "expressionStatement",
                     expression: {
                         kind: "assignment",
@@ -44,13 +57,23 @@ export const convertConstructor = (node, ctx, constructorParams) => {
         }
     }
     // Add existing constructor body statements
+    const statements = [];
     if (node.body) {
-        const existingBody = convertBlockStatement(node.body, ctx, undefined);
-        statements.push(...existingBody.statements);
+        const existingBody = convertBlockStatement(node.body, bodyCtx, undefined);
+        const [first, ...rest] = existingBody.statements;
+        if (first && isLeadingSuperCallStatement(first)) {
+            statements.push(first, ...parameterPropertyAssignments, ...rest);
+        }
+        else {
+            statements.push(...parameterPropertyAssignments, ...existingBody.statements);
+        }
+    }
+    else {
+        statements.push(...parameterPropertyAssignments);
     }
     return {
         kind: "constructorDeclaration",
-        parameters: convertParameters(node.parameters, ctx),
+        parameters,
         body: { kind: "blockStatement", statements },
         accessibility: getAccessibility(node),
     };
@@ -64,13 +87,7 @@ export const extractParameterProperties = (constructor, ctx) => {
     }
     const parameterProperties = [];
     for (const param of constructor.parameters) {
-        // Check if parameter has an EXPLICIT accessibility modifier
-        // (public/private/protected makes it a parameter property)
-        const modifiers = ts.getModifiers(param);
-        const hasAccessibilityModifier = modifiers?.some((m) => m.kind === ts.SyntaxKind.PublicKeyword ||
-            m.kind === ts.SyntaxKind.PrivateKeyword ||
-            m.kind === ts.SyntaxKind.ProtectedKeyword);
-        if (!hasAccessibilityModifier) {
+        if (!isParameterPropertyParameter(param)) {
             continue; // Not a parameter property
         }
         // Create a field declaration for this parameter property

package/dist/ir/converters/statements/declarations/classes/constructors.js.map

@@ -1 +1 @@
-{"version":3,"file":"constructors.js","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/constructors.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC;AAG1B;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAA+B,EAC/B,GAAmB,EACnB,iBAAyD,EAC1C,EAAE;IACjB,6DAA6D;IAC7D,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,gFAAgF;IAChF,IAAI,iBAAiB,EAAE,CAAC;QACtB,KAAK,MAAM,KAAK,IAAI,iBAAiB,EAAE,CAAC;YACtC,4DAA4D;YAC5D,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM,wBAAwB,GAAG,SAAS,EAAE,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;gBACtC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;gBACvC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAC5C,CAAC;YAEF,IAAI,wBAAwB,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5D,4BAA4B;gBAC5B,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,YAAY;wBAClB,QAAQ,EAAE,GAAG;wBACb,IAAI,EAAE;4BACJ,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,MAAM;6BACb;4BACD,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;4BACzB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD,KAAK,EAAE;4BACL,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;yBACtB;qBACF;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,2CAA2C;IAC3C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACtE,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO;QACL,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;QACnD,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE;QAC5C,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC;KACtC,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,WAAkD,EAClD,GAAmB,EACF,EAAE;IACnB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,mBAAmB,GAAoB,EAAE,CAAC;IAEhD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC3C,4DAA4D;QAC5D,2DAA2D;QAC3D,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,wBAAwB,GAAG,SAAS,EAAE,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YACtC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YACvC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAC5C,CAAC;QAEF,IAAI,CAAC,wBAAwB,EAAE,CAAC;YAC9B,SAAS,CAAC,2BAA2B;QACvC,CAAC;QAED,yDAAyD;QACzD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,iEAAiE;YACjE,MAAM,aAAa,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI;gBACxB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAC1C;gBACH,CAAC,CAAC,SAAS,CAAC;YAEd,MAAM,IAAI,GACR,OAAO,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAEvE,mBAAmB,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;gBACrB,IAAI;gBACJ,WAAW,EAAE,SAAS,EAAE,kCAAkC;gBAC1D,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,mBAAmB,CAAC,KAAK,CAAC;gBACtC,aAAa;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC"}
+{"version":3,"file":"constructors.js","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/constructors.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAG5D,MAAM,4BAA4B,GAAG,CACnC,KAA8B,EACrB,EAAE;IACX,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,CACL,SAAS,EAAE,IAAI,CACb,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACtC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;QACvC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QACzC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAC3C,IAAI,KAAK,CACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAAC,SAAsB,EAAW,EAAE;IACtE,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC;IACxC,OAAO,CACL,UAAU,CAAC,IAAI,KAAK,MAAM;QAC1B,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QACvC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CACnC,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAA+B,EAC/B,GAAmB,EACnB,iBAAyD,EAC1C,EAAE;IACjB,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACvE,MAAM,4BAA4B,GAAkB,EAAE,CAAC;IAEvD,gFAAgF;IAChF,IAAI,iBAAiB,EAAE,CAAC;QACtB,KAAK,MAAM,KAAK,IAAI,iBAAiB,EAAE,CAAC;YACtC,IAAI,4BAA4B,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvE,4BAA4B;gBAC5B,4BAA4B,CAAC,IAAI,CAAC;oBAChC,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,YAAY;wBAClB,QAAQ,EAAE,GAAG;wBACb,IAAI,EAAE;4BACJ,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,MAAM;6BACb;4BACD,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;4BACzB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD,KAAK,EAAE;4BACL,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;yBACtB;qBACF;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,2CAA2C;IAC3C,MAAM,UAAU,GAAkB,EAAE,CAAC;IACrC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC;QACjD,IAAI,KAAK,IAAI,2BAA2B,CAAC,KAAK,CAAC,EAAE,CAAC;YAChD,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,4BAA4B,EAAE,GAAG,IAAI,CAAC,CAAC;QACnE,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CACb,GAAG,4BAA4B,EAC/B,GAAG,YAAY,CAAC,UAAU,CAC3B,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,UAAU,CAAC,IAAI,CAAC,GAAG,4BAA4B,CAAC,CAAC;IACnD,CAAC;IAED,OAAO;QACL,IAAI,EAAE,wBAAwB;QAC9B,UAAU;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE;QAC5C,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC;KACtC,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,WAAkD,EAClD,GAAmB,EACF,EAAE;IACnB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,mBAAmB,GAAoB,EAAE,CAAC;IAEhD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC3C,IAAI,CAAC,4BAA4B,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,SAAS,CAAC,2BAA2B;QACvC,CAAC;QAED,yDAAyD;QACzD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,iEAAiE;YACjE,MAAM,aAAa,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI;gBACxB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAC1C;gBACH,CAAC,CAAC,SAAS,CAAC;YAEd,MAAM,IAAI,GACR,OAAO,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAEvE,mBAAmB,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;gBACrB,IAAI;gBACJ,WAAW,EAAE,SAAS,EAAE,kCAAkC;gBAC1D,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,mBAAmB,CAAC,KAAK,CAAC;gBACtC,aAAa;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/classes/member-names.d.ts

@@ -0,0 +1,5 @@
+import * as ts from "typescript";
+export declare const getClassMemberName: (name: ts.PropertyName | ts.PrivateIdentifier | undefined) => string;
+export declare const isPrivateClassMemberName: (name: ts.PropertyName | ts.PrivateIdentifier | undefined) => boolean;
+export declare const hasNonComputedClassMemberName: (name: ts.PropertyName | ts.PrivateIdentifier | undefined) => boolean;
+//# sourceMappingURL=member-names.d.ts.map

package/dist/ir/converters/statements/declarations/classes/member-names.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"member-names.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/member-names.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,YAAY,GAAG,EAAE,CAAC,iBAAiB,GAAG,SAAS,KACvD,MAAmE,CAAC;AAEvE,eAAO,MAAM,wBAAwB,GACnC,MAAM,EAAE,CAAC,YAAY,GAAG,EAAE,CAAC,iBAAiB,GAAG,SAAS,KACvD,OAAiD,CAAC;AAErD,eAAO,MAAM,6BAA6B,GACxC,MAAM,EAAE,CAAC,YAAY,GAAG,EAAE,CAAC,iBAAiB,GAAG,SAAS,KACvD,OAAkE,CAAC"}

package/dist/ir/converters/statements/declarations/classes/member-names.js

@@ -0,0 +1,6 @@
+import * as ts from "typescript";
+import { tryResolveDeterministicPropertyName } from "../../../../syntax/property-names.js";
+export const getClassMemberName = (name) => tryResolveDeterministicPropertyName(name) ?? "[computed]";
+export const isPrivateClassMemberName = (name) => !!name && ts.isPrivateIdentifier(name);
+export const hasNonComputedClassMemberName = (name) => tryResolveDeterministicPropertyName(name) !== undefined;
+//# sourceMappingURL=member-names.js.map

package/dist/ir/converters/statements/declarations/classes/member-names.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"member-names.js","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/member-names.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,mCAAmC,EAAE,MAAM,sCAAsC,CAAC;AAE3F,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAwD,EAChD,EAAE,CAAC,mCAAmC,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC;AAEvE,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAwD,EAC/C,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;AAErD,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAwD,EAC/C,EAAE,CAAC,mCAAmC,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC"}

package/dist/ir/converters/statements/declarations/classes/method-declaration.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Method declaration conversion (single non-overloaded method)
+ */
+import * as ts from "typescript";
+import { IrClassMember } from "../../../../types.js";
+import type { ProgramContext } from "../../../../program-context.js";
+/**
+ * Convert method declaration to IR
+ */
+export declare const convertMethod: (node: ts.MethodDeclaration, ctx: ProgramContext, superClass: ts.ExpressionWithTypeArguments | undefined) => IrClassMember;
+//# sourceMappingURL=method-declaration.d.ts.map

package/dist/ir/converters/statements/declarations/classes/method-declaration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"method-declaration.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/method-declaration.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAcrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAGrE;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,EAAE,CAAC,iBAAiB,EAC1B,KAAK,cAAc,EACnB,YAAY,EAAE,CAAC,2BAA2B,GAAG,SAAS,KACrD,aAwDF,CAAC"}

package/dist/ir/converters/statements/declarations/classes/method-declaration.js

@@ -0,0 +1,54 @@
+/**
+ * Method declaration conversion (single non-overloaded method)
+ */
+import * as ts from "typescript";
+import { convertBlockStatement } from "../../control.js";
+import { hasStaticModifier, getAccessibility, convertTypeParameters, convertParameters, } from "../../helpers.js";
+import { withParameterTypeEnv } from "../../../type-env.js";
+import { detectOverride } from "./override-detection.js";
+import { getClassMemberName, isPrivateClassMemberName, } from "./member-names.js";
+import { getReturnExpressionExpectedType } from "../../../return-expression-types.js";
+/**
+ * Convert method declaration to IR
+ */
+export const convertMethod = (node, ctx, superClass) => {
+    const memberName = getClassMemberName(node.name);
+    const isEcmaPrivate = isPrivateClassMemberName(node.name);
+    const parameters = convertParameters(node.parameters, ctx);
+    const overrideInfo = detectOverride(memberName, "method", superClass, ctx, parameters);
+    const declaredAccessibility = getAccessibility(node);
+    const accessibility = (() => {
+        if (!overrideInfo.isOverride || !overrideInfo.requiredAccessibility) {
+            return isEcmaPrivate ? "private" : declaredAccessibility;
+        }
+        // Airplane-grade: always emit CLR-required accessibility for overrides.
+        // The TS surface may lose access modifiers (e.g., protected members exposed as callable
+        // overloads to avoid unstable renames like Dispose2), but C# compilation enforces the truth.
+        return overrideInfo.requiredAccessibility;
+    })();
+    // Get return type from declared annotation for contextual typing
+    // PHASE 4 (Alice's spec): Use captureTypeSyntax + typeFromSyntax
+    const returnType = node.type
+        ? ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(node.type))
+        : undefined;
+    const returnExpressionType = getReturnExpressionExpectedType(returnType, !!node.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword));
+    const bodyCtx = withParameterTypeEnv(ctx, node.parameters, parameters);
+    return {
+        kind: "methodDeclaration",
+        name: memberName,
+        typeParameters: convertTypeParameters(node.typeParameters, ctx),
+        parameters,
+        returnType,
+        // Pass return type to body for contextual typing of return statements
+        body: node.body
+            ? convertBlockStatement(node.body, bodyCtx, returnExpressionType)
+            : undefined,
+        isStatic: hasStaticModifier(node),
+        isAsync: !!node.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword),
+        isGenerator: !!node.asteriskToken,
+        accessibility,
+        isOverride: overrideInfo.isOverride ? true : undefined,
+        isShadow: overrideInfo.isShadow ? true : undefined,
+    };
+};
+//# sourceMappingURL=method-declaration.js.map

package/dist/ir/converters/statements/declarations/classes/method-declaration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"method-declaration.js","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/method-declaration.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EACL,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,+BAA+B,EAAE,MAAM,qCAAqC,CAAC;AAEtF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAA0B,EAC1B,GAAmB,EACnB,UAAsD,EACvC,EAAE;IACjB,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,aAAa,GAAG,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE1D,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAE3D,MAAM,YAAY,GAAG,cAAc,CACjC,UAAU,EACV,QAAQ,EACR,UAAU,EACV,GAAG,EACH,UAAU,CACX,CAAC;IAEF,MAAM,qBAAqB,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE;QAC1B,IAAI,CAAC,YAAY,CAAC,UAAU,IAAI,CAAC,YAAY,CAAC,qBAAqB,EAAE,CAAC;YACpE,OAAO,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC;QAC3D,CAAC;QAED,wEAAwE;QACxE,wFAAwF;QACxF,6FAA6F;QAC7F,OAAO,YAAY,CAAC,qBAAqB,CAAC;IAC5C,CAAC,CAAC,EAAE,CAAC;IAEL,iEAAiE;IACjE,iEAAiE;IACjE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI;QAC1B,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,oBAAoB,GAAG,+BAA+B,CAC1D,UAAU,EACV,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CACrE,CAAC;IACF,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAEvE,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,UAAU;QAChB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;QAC/D,UAAU;QACV,UAAU;QACV,sEAAsE;QACtE,IAAI,EAAE,IAAI,CAAC,IAAI;YACb,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,oBAAoB,CAAC;YACjE,CAAC,CAAC,SAAS;QACb,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACjC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAC7C;QACD,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;QACjC,aAAa;QACb,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QACtD,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;KACnD,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/classes/methods.d.ts

@@ -1,18 +1,5 @@
 /**
- * Method member conversion
+ * Method member conversion - facade
  */
-import * as ts from "typescript";
-import { IrClassMember, IrMethodDeclaration } from "../../../../types.js";
-import type { ProgramContext } from "../../../../program-context.js";
-/**
- * Convert method declaration to IR
- */
-export declare const convertMethod: (node: ts.MethodDeclaration, ctx: ProgramContext, superClass: ts.ExpressionWithTypeArguments | undefined) => IrClassMember;
-/**
- * Convert a TypeScript overload group (`sig; sig; impl {}`) into one C# method per signature.
- *
- * The implementation body is written once and specialized per overload by erasing
- * `istype<T>(pN)` branches that don't match the current overload signature.
- */
-export declare const convertMethodOverloadGroup: (nodes: readonly ts.MethodDeclaration[], ctx: ProgramContext, superClass: ts.ExpressionWithTypeArguments | undefined) => readonly IrMethodDeclaration[];
+export { convertMethod } from "./method-declaration.js";
 //# sourceMappingURL=methods.d.ts.map

package/dist/ir/converters/statements/declarations/classes/methods.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"methods.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAEL,aAAa,EAEb,mBAAmB,EAIpB,MAAM,sBAAsB,CAAC;AAS9B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAErE;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,EAAE,CAAC,iBAAiB,EAC1B,KAAK,cAAc,EACnB,YAAY,EAAE,CAAC,2BAA2B,GAAG,SAAS,KACrD,aAkDF,CAAC;AAizBF;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,GACrC,OAAO,SAAS,EAAE,CAAC,iBAAiB,EAAE,EACtC,KAAK,cAAc,EACnB,YAAY,EAAE,CAAC,2BAA2B,GAAG,SAAS,KACrD,SAAS,mBAAmB,EAkI9B,CAAC"}
+{"version":3,"file":"methods.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC"}