@tsonic/emitter 0.0.71 → 0.0.73

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

@@ -1 +1 @@
-{"version":3,"file":"methods.js","sourceRoot":"","sources":["../../../../src/statements/classes/members/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAEL,MAAM,EACN,MAAM,EACN,SAAS,EACT,UAAU,GACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAC9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EACL,+BAA+B,EAC/B,iCAAiC,GAClC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAS3D,MAAM,sBAAsB,GAAG,CAC7B,OAAgB,EAChB,UAA8B,EACV,EAAE;IACtB,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU;QAAE,OAAO,UAAU,CAAC;IAC/C,MAAM,UAAU,GACd,UAAU,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAC7B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7D,CAAC,CAAC,UAAU,CAAC,IAAI;QACnB,CAAC,CAAC,SAAS,CAAC;IAChB,IACE,UAAU,CAAC,IAAI,KAAK,eAAe;QACnC,CAAC,UAAU,KAAK,SAAS;YACvB,UAAU,KAAK,MAAM;YACrB,UAAU,KAAK,WAAW,CAAC;QAC7B,UAAU,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EACtC,CAAC;QACD,OAAO,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,MAA8B,EAC9B,OAAuB,EACP,EAAE;IAClB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC3C,MAAM,OAAO,GAAG,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACvD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACjC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;AACjE,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAAqD,EACrD,OAAuB,EACY,EAAE;IACrC,MAAM,WAAW,GAAG;QAClB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,cAAc,EAAE,OAAO,CAAC,cAAc;KACvC,CAAC;IAEF,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,0CAA0C;IAC1C,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAS;QACvC,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;QACjC,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;KACvD,CAAC,CAAC;IAEH,MAAM,gBAAgB,GAAmB;QACvC,GAAG,OAAO;QACV,cAAc,EAAE,gBAAgB;KACjC,CAAC;IAEF,8CAA8C;IAC9C,MAAM,CAAC,aAAa,EAAE,cAAc,EAAE,gBAAgB,CAAC,GACrD,qBAAqB,CAAC,MAAM,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;IACjE,cAAc,GAAG,gBAAgB,CAAC;IAElC,YAAY;IACZ,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;IACD,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;IACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QAC/D,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,cAAc;IACd,IAAI,aAA4B,CAAC;IACjC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;QAC1E,cAAc,GAAG,UAAU,CAAC;QAC5B,IACE,MAAM,CAAC,OAAO;YACd,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;YAC1C,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EACpC,CAAC;YACD,aAAa,GAAG,IAAI,CAAC,CAAC,gCAAgC;QACxD,CAAC;aAAM,CAAC;YACN,aAAa,GAAG,MAAM,CAAC,OAAO;gBAC5B,CAAC,CAAC;oBACE,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,qCAAqC;oBAC3C,aAAa,EAAE,CAAC,IAAI,CAAC;iBACtB;gBACH,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;IACH,CAAC;SAAM,CAAC;QACN,aAAa,GAAG,MAAM,CAAC,OAAO;YAC5B,CAAC,CAAC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,qCAAqC;aAC5C;YACH,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClD,CAAC;IAED,cAAc;IACd,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAE7D,aAAa;IACb,MAAM,YAAY,GAAG,+BAA+B,CAClD,MAAM,CAAC,UAAU,EACjB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,YAAY,CAAC,OAAO,CAAC;IAEtC,aAAa;IACb,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,GAAG,cAAc,CACzC,MAAM,CAAC,UAAU,EACjB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,WAAW,CAAC;IAE7B,sCAAsC;IACtC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,SAAS,GAAoB;YACjC,IAAI,EAAE,mBAAmB;YACzB,UAAU,EAAE,KAAK;YACjB,SAAS;YACT,UAAU,EAAE,aAAa;YACzB,IAAI;YACJ,cAAc,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;YACpE,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,WAAW,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;SACpE,CAAC;QACF,OAAO,CAAC,SAAS,EAAE,EAAE,GAAG,cAAc,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,cAAc;IACd,MAAM,eAAe,GAAG,8BAA8B,CACpD,MAAM,CAAC,UAAU,EACjB,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAClD,CAAC;IAEF,0DAA0D;IAC1D,MAAM,CAAC,uBAAuB,EAAE,oBAAoB,CAAC,GACnD,YAAY,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;QACzC,CAAC,CAAC,iCAAiC,CAC/B,YAAY,CAAC,mBAAmB,EAChC,eAAe,CAChB;QACH,CAAC,CAAC,CAAC,EAAmC,EAAE,eAAe,CAAC,CAAC;IAE7D,sDAAsD;IACtD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,GAAG,UAAU,CAC7C,oBAAoB,EACpB;QACE,cAAc,EAAE,gBAAgB;QAChC,UAAU,EAAE,sBAAsB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC;KACtE,EACD,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,SAAS,CAAC,CACtD,CAAC;IAEF,kDAAkD;IAClD,MAAM,aAAa,GAAyB,EAAE,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC1E,IAAI,WAAW,GAAwB,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;YACrE,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBACf,MAAM,CAAC,OAAO,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBAC1D,WAAW,GAAG,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC7D,CAAC;YACD,aAAa,CAAC,IAAI,CAAC;gBACjB,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,aAAa,EAAE,GAAG;oBAClB,IAAI,EAAE;wBACJ,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;qBACvD;oBACD,KAAK,EAAE,WAAW;iBACnB;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,4CAA4C;IAC5C,MAAM,QAAQ,GAAyB;QACrC,GAAG,uBAAuB;QAC1B,GAAG,aAAa;KACjB,CAAC;IACF,MAAM,UAAU,GACd,QAAQ,CAAC,MAAM,GAAG,CAAC;QACjB,CAAC,CAAC;YACE,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,YAAY,CAAC,UAAU,CAAC;SACtD;QACH,CAAC,CAAC,YAAY,CAAC;IAEnB,MAAM,SAAS,GAAoB;QACjC,IAAI,EAAE,mBAAmB;QACzB,UAAU,EAAE,KAAK;QACjB,SAAS;QACT,UAAU,EAAE,aAAa;QACzB,IAAI;QACJ,cAAc,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;QACpE,UAAU,EAAE,YAAY,CAAC,UAAU;QACnC,IAAI,EAAE,UAAU;QAChB,WAAW,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;KACpE,CAAC;IAEF,OAAO,CAAC,SAAS,EAAE,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;AAClE,CAAC,CAAC"}
+{"version":3,"file":"methods.js","sourceRoot":"","sources":["../../../../src/statements/classes/members/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,gBAAgB,GAIjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAEL,MAAM,EACN,MAAM,EACN,SAAS,EACT,UAAU,GACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAC9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EACL,+BAA+B,EAC/B,iCAAiC,GAClC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAS3D,MAAM,sBAAsB,GAAG,CAC7B,OAAgB,EAChB,UAA8B,EACV,EAAE;IACtB,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU;QAAE,OAAO,UAAU,CAAC;IAC/C,OAAO,gBAAgB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,MAA8B,EAC9B,OAAuB,EACP,EAAE;IAClB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC3C,MAAM,OAAO,GAAG,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACvD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACjC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;AACjE,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAAqD,EACrD,OAAuB,EACY,EAAE;IACrC,MAAM,WAAW,GAAG;QAClB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,cAAc,EAAE,OAAO,CAAC,cAAc;KACvC,CAAC;IAEF,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,0CAA0C;IAC1C,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAS;QACvC,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;QACjC,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;KACvD,CAAC,CAAC;IAEH,MAAM,gBAAgB,GAAmB;QACvC,GAAG,OAAO;QACV,cAAc,EAAE,gBAAgB;KACjC,CAAC;IAEF,8CAA8C;IAC9C,MAAM,CAAC,aAAa,EAAE,cAAc,EAAE,gBAAgB,CAAC,GACrD,qBAAqB,CAAC,MAAM,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;IACjE,cAAc,GAAG,gBAAgB,CAAC;IAElC,YAAY;IACZ,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;IACD,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;IACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QAC/D,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,cAAc;IACd,IAAI,aAA4B,CAAC;IACjC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;QAC1E,cAAc,GAAG,UAAU,CAAC;QAC5B,IACE,MAAM,CAAC,OAAO;YACd,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;YAC1C,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EACpC,CAAC;YACD,aAAa,GAAG,IAAI,CAAC,CAAC,gCAAgC;QACxD,CAAC;aAAM,CAAC;YACN,aAAa,GAAG,MAAM,CAAC,OAAO;gBAC5B,CAAC,CAAC;oBACE,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,qCAAqC;oBAC3C,aAAa,EAAE,CAAC,IAAI,CAAC;iBACtB;gBACH,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;IACH,CAAC;SAAM,CAAC;QACN,aAAa,GAAG,MAAM,CAAC,OAAO;YAC5B,CAAC,CAAC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,qCAAqC;aAC5C;YACH,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClD,CAAC;IAED,cAAc;IACd,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAE7D,aAAa;IACb,MAAM,YAAY,GAAG,+BAA+B,CAClD,MAAM,CAAC,UAAU,EACjB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,YAAY,CAAC,OAAO,CAAC;IAEtC,aAAa;IACb,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,GAAG,cAAc,CACzC,MAAM,CAAC,UAAU,EACjB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,WAAW,CAAC;IAE7B,sCAAsC;IACtC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,SAAS,GAAoB;YACjC,IAAI,EAAE,mBAAmB;YACzB,UAAU,EAAE,KAAK;YACjB,SAAS;YACT,UAAU,EAAE,aAAa;YACzB,IAAI;YACJ,cAAc,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;YACpE,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,WAAW,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;SACpE,CAAC;QACF,OAAO,CAAC,SAAS,EAAE,EAAE,GAAG,cAAc,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,cAAc;IACd,MAAM,eAAe,GAAG,8BAA8B,CACpD,MAAM,CAAC,UAAU,EACjB,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAClD,CAAC;IAEF,0DAA0D;IAC1D,MAAM,CAAC,uBAAuB,EAAE,oBAAoB,CAAC,GACnD,YAAY,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;QACzC,CAAC,CAAC,iCAAiC,CAC/B,YAAY,CAAC,mBAAmB,EAChC,eAAe,CAChB;QACH,CAAC,CAAC,CAAC,EAAmC,EAAE,eAAe,CAAC,CAAC;IAE7D,sDAAsD;IACtD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,GAAG,UAAU,CAC7C,oBAAoB,EACpB;QACE,cAAc,EAAE,gBAAgB;QAChC,UAAU,EAAE,sBAAsB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC;KACtE,EACD,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,SAAS,CAAC,CACtD,CAAC;IAEF,kDAAkD;IAClD,MAAM,aAAa,GAAyB,EAAE,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC1E,IAAI,WAAW,GAAwB,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;YACrE,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBACf,MAAM,CAAC,OAAO,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBAC1D,WAAW,GAAG,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC7D,CAAC;YACD,aAAa,CAAC,IAAI,CAAC;gBACjB,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,aAAa,EAAE,GAAG;oBAClB,IAAI,EAAE;wBACJ,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;qBACvD;oBACD,KAAK,EAAE,WAAW;iBACnB;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,4CAA4C;IAC5C,MAAM,QAAQ,GAAyB;QACrC,GAAG,uBAAuB;QAC1B,GAAG,aAAa;KACjB,CAAC;IACF,MAAM,UAAU,GACd,QAAQ,CAAC,MAAM,GAAG,CAAC;QACjB,CAAC,CAAC;YACE,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,YAAY,CAAC,UAAU,CAAC;SACtD;QACH,CAAC,CAAC,YAAY,CAAC;IAEnB,MAAM,SAAS,GAAoB;QACjC,IAAI,EAAE,mBAAmB;QACzB,UAAU,EAAE,KAAK;QACjB,SAAS;QACT,UAAU,EAAE,aAAa;QACzB,IAAI;QACJ,cAAc,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;QACpE,UAAU,EAAE,YAAY,CAAC,UAAU;QACnC,IAAI,EAAE,UAAU;QAChB,WAAW,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;KACpE,CAAC;IAEF,OAAO,CAAC,SAAS,EAAE,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;AAClE,CAAC,CAAC"}

package/dist/statements/control/conditionals/guard-analysis.d.ts

@@ -16,6 +16,9 @@ export type GuardInfo = {
     readonly targetType: IrType;
     readonly memberN: number;
     readonly unionArity: number;
+    readonly runtimeUnionArity: number;
+    readonly candidateMemberNs: readonly number[];
+    readonly candidateMembers: readonly IrType[];
     readonly ctxWithId: EmitterContext;
     readonly narrowedName: string;
     readonly escapedOrig: string;
@@ -55,6 +58,9 @@ export type InGuardInfo = {
     readonly propertyName: string;
     readonly memberN: number;
     readonly unionArity: number;
+    readonly runtimeUnionArity: number;
+    readonly candidateMemberNs: readonly number[];
+    readonly candidateMembers: readonly IrType[];
     readonly ctxWithId: EmitterContext;
     readonly narrowedName: string;
     readonly escapedOrig: string;
@@ -83,12 +89,43 @@ export type DiscriminantEqualityGuardInfo = {
     readonly operator: "===" | "!==" | "==" | "!=";
     readonly memberN: number;
     readonly unionArity: number;
+    readonly runtimeUnionArity: number;
+    readonly candidateMemberNs: readonly number[];
+    readonly candidateMembers: readonly IrType[];
     readonly ctxWithId: EmitterContext;
     readonly narrowedName: string;
     readonly escapedOrig: string;
     readonly escapedNarrow: string;
     readonly narrowedMap: Map<string, NarrowedBinding>;
 };
+/**
+ * Information extracted from a truthy/falsy property guard:
+ *   if (result.success) { ... }
+ *   if (!result.success) { ... }
+ *
+ * Supports the airplane-grade case where a union member property is definitively
+ * truthy or falsy by literal/nullish contract, and exactly one member matches the
+ * condition branch.
+ */
+export type PropertyTruthinessGuardInfo = {
+    readonly originalName: string;
+    readonly propertyName: string;
+    readonly memberN: number;
+    readonly unionArity: number;
+    readonly runtimeUnionArity: number;
+    readonly candidateMemberNs: readonly number[];
+    readonly candidateMembers: readonly IrType[];
+    readonly ctxWithId: EmitterContext;
+    readonly narrowedName: string;
+    readonly escapedOrig: string;
+    readonly escapedNarrow: string;
+    readonly narrowedMap: Map<string, NarrowedBinding>;
+};
+export type RuntimeUnionFrame = {
+    readonly members: readonly IrType[];
+    readonly candidateMemberNs: readonly number[];
+    readonly runtimeUnionArity: number;
+};
 /**
  * Information extracted from a nullable guard condition.
  * Used to generate .Value access for narrowed nullable value types.
@@ -109,6 +146,11 @@ export type NullableGuardInfo = {
  * TypeScript flow analysis, by mapping the literal to exactly one union member.
  */
 export declare const tryResolveDiscriminantEqualityGuard: (condition: IrExpression, context: EmitterContext) => DiscriminantEqualityGuardInfo | undefined;
+/**
+ * Try to extract guard info from `x.prop` / `!x.prop` where the property acts as a
+ * boolean-style discriminant over a runtime union.
+ */
+export declare const tryResolvePropertyTruthinessGuard: (condition: IrExpression, context: EmitterContext) => PropertyTruthinessGuardInfo | undefined;
 /**
  * Try to extract guard info from an `("prop" in x)` binary expression.
  */

package/dist/statements/control/conditionals/guard-analysis.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guard-analysis.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EACL,cAAc,EAEd,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAuB3B;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AA2KF;;;;;GAKG;AACH,eAAO,MAAM,mCAAmC,GAC9C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,6BAA6B,GAAG,SAkKlC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,WAAW,GAAG,SAkEhB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,WAAW,KAAG,OAS3D,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,SAAS,GAAG,SAoDd,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,GACpC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,mBAAmB,GAAG,SAsCxB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,YAAY,KAAG,OAgBtD,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,KACpD,MAAM,GAAG,SAmBX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,WAAW,YAAY,KACtB,iBAAiB,GAAG,SAuDtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,WAAW,YAAY,EACvB,UAAU,cAAc,KACvB,iBAAiB,GAAG,SAiBtB,CAAC"}
+{"version":3,"file":"guard-analysis.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EACL,cAAc,EAEd,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAuB3B;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AAgQF;;;;;GAKG;AACH,eAAO,MAAM,mCAAmC,GAC9C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,6BAA6B,GAAG,SA6IlC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iCAAiC,GAC5C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,2BAA2B,GAAG,SAuIhC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,WAAW,GAAG,SA0EhB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,WAAW,KAAG,OAS3D,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,SAAS,GAAG,SA0Dd,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,GACpC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,mBAAmB,GAAG,SAsCxB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,YAAY,KAAG,OAgBtD,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,KACpD,MAAM,GAAG,SAmBX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,WAAW,YAAY,KACtB,iBAAiB,GAAG,SAuDtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,WAAW,YAAY,EACvB,UAAU,cAAc,KACvB,iBAAiB,GAAG,SAiBtB,CAAC"}

package/dist/statements/control/conditionals/guard-analysis.js

@@ -13,71 +13,37 @@ import { extractCalleeNameFromAst } from "../../../core/format/backend-ast/utils
  * an identifierExpression. Falls back to extractCalleeNameFromAst for other shapes.
  */
 const extractIdentifierText = (ast) => extractCalleeNameFromAst(ast);
-import { resolveTypeAlias, stripNullish, findUnionMemberIndex, getPropertyType, getAllPropertySignatures, isDefinitelyValueType, } from "../../../core/semantic/type-resolution.js";
+import { hasDeterministicPropertyMembership, resolveTypeAlias, stripNullish, findUnionMemberIndex, getPropertyType, isDefinitelyValueType, } from "../../../core/semantic/type-resolution.js";
 import { escapeCSharpIdentifier } from "../../../emitter-types/index.js";
 import { emitRemappedLocalName } from "../../../core/format/local-names.js";
 /**
  * Check if a local nominal type (class/interface) has a property with the given TS name.
  */
-const hasLocalProperty = (type, propertyName, context) => {
-    if (!context.localTypes)
-        return false;
-    const info = context.localTypes.get(type.name);
-    if (!info)
-        return false;
-    if (info.kind === "interface") {
-        const props = getAllPropertySignatures(type, context);
-        return props?.some((p) => p.name === propertyName) ?? false;
-    }
-    if (info.kind === "class") {
-        return info.members.some((m) => m.kind === "propertyDeclaration" && m.name === propertyName);
+const getGuardPropertyType = (type, propertyName, context) => {
+    if (type.kind === "objectType") {
+        const prop = type.members.find((member) => member.kind === "propertySignature" && member.name === propertyName);
+        return prop?.type;
     }
-    return false;
-};
-/**
- * Check if a nominal type has a property, including cross-module local types.
- *
- * For same-module types, consult `context.localTypes`.
- * For cross-module types, consult the batch `typeMemberIndex` and resolve the
- * member's fully-qualified name deterministically.
- */
-const hasProperty = (type, propertyName, context) => {
-    if (hasLocalProperty(type, propertyName, context)) {
-        return true;
-    }
-    const index = context.options.typeMemberIndex;
-    if (!index)
-        return false;
-    const stripGlobalPrefix = (name) => name.startsWith("global::") ? name.slice("global::".length) : name;
-    const candidates = [];
-    if (type.resolvedClrType) {
-        candidates.push(stripGlobalPrefix(type.resolvedClrType));
-    }
-    else if (type.name.includes(".")) {
-        candidates.push(type.name);
-    }
-    else {
-        // Resolve by suffix match in the type member index.
-        const matches = [];
-        for (const fqn of index.keys()) {
-            if (fqn.endsWith(`.${type.name}`) ||
-                fqn.endsWith(`.${type.name}__Alias`)) {
-                matches.push(fqn);
-            }
+    if (type.kind === "referenceType") {
+        if (type.structuralMembers?.length) {
+            const prop = type.structuralMembers.find((member) => member.kind === "propertySignature" && member.name === propertyName);
+            if (prop)
+                return prop.type;
         }
-        if (matches.length === 1) {
-            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
-            candidates.push(matches[0]);
-        }
-        else if (matches.length > 1) {
-            const list = matches.sort().join(", ");
-            throw new Error(`ICE: Ambiguous union member type '${type.name}' for \`in\` narrowing. Candidates: ${list}`);
+        const localTypes = resolveLocalTypesForReference(type, context);
+        if (localTypes) {
+            const lookupName = type.name.includes(".")
+                ? (type.name.split(".").pop() ?? type.name)
+                : type.name;
+            const localPropType = getPropertyType({ ...type, name: lookupName }, propertyName, { ...context, localTypes });
+            if (localPropType)
+                return localPropType;
         }
+        const resolvedPropType = getPropertyType(type, propertyName, context);
+        if (resolvedPropType)
+            return resolvedPropType;
     }
-    return candidates.some((fqn) => {
-        const perType = index.get(fqn);
-        return perType?.has(propertyName) ?? false;
-    });
+    return undefined;
 };
 /**
  * Resolve a reference type's LocalTypeInfo map (possibly from a different module).
@@ -149,6 +115,90 @@ const tryGetLiteralSet = (type, context) => {
     }
     return undefined;
 };
+const isClrUnionName = (name) => /^Union_[2-8]$/.test(name) || name === "Union" || name.endsWith(".Union");
+const stripGlobalPrefix = (name) => name.startsWith("global::") ? name.slice("global::".length) : name;
+const extractUnionMembers = (type, context) => {
+    const resolvedBase = resolveTypeAlias(stripNullish(type), context);
+    const resolved = resolvedBase.kind === "intersectionType"
+        ? (resolvedBase.types.find((member) => member.kind === "referenceType" && isClrUnionName(member.name)) ?? resolvedBase)
+        : resolvedBase;
+    if (resolved.kind === "unionType") {
+        return resolved.types;
+    }
+    if (resolved.kind === "referenceType" &&
+        isClrUnionName(resolved.name) &&
+        resolved.typeArguments &&
+        resolved.typeArguments.length >= 2 &&
+        resolved.typeArguments.length <= 8) {
+        return resolved.typeArguments;
+    }
+    return undefined;
+};
+const resolveRuntimeUnionFrame = (originalName, unionSourceType, context) => {
+    const members = extractUnionMembers(unionSourceType, context);
+    if (!members)
+        return undefined;
+    const narrowed = context.narrowedBindings?.get(originalName);
+    if (!narrowed) {
+        return {
+            members,
+            candidateMemberNs: members.map((_, index) => index + 1),
+            runtimeUnionArity: members.length,
+        };
+    }
+    if (narrowed.kind !== "runtimeSubset") {
+        return undefined;
+    }
+    if (narrowed.runtimeMemberNs.length !== members.length) {
+        return undefined;
+    }
+    return {
+        members,
+        candidateMemberNs: [...narrowed.runtimeMemberNs],
+        runtimeUnionArity: narrowed.runtimeUnionArity,
+    };
+};
+const buildRenameNarrowedMap = (originalName, narrowedName, memberType, ctxWithId) => {
+    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
+    narrowedMap.set(originalName, {
+        kind: "rename",
+        name: narrowedName,
+        type: memberType,
+    });
+    return narrowedMap;
+};
+const isDefinitelyTruthyLiteral = (value) => {
+    if (typeof value === "string")
+        return value.length > 0;
+    if (typeof value === "number")
+        return value !== 0 && !Number.isNaN(value);
+    return value === true;
+};
+const isDefinitelyFalsyType = (type, context) => {
+    const resolved = resolveTypeAlias(type, context);
+    if (resolved.kind === "literalType") {
+        const value = resolved.value;
+        return value === false || value === 0 || value === "";
+    }
+    if (resolved.kind === "primitiveType") {
+        return resolved.name === "undefined" || resolved.name === "null";
+    }
+    if (resolved.kind === "unionType") {
+        return resolved.types.every((member) => isDefinitelyFalsyType(member, context));
+    }
+    return false;
+};
+const isDefinitelyTruthyType = (type, context) => {
+    const literals = tryGetLiteralSet(type, context);
+    if (literals) {
+        return Array.from(literals).every(isDefinitelyTruthyLiteral);
+    }
+    const resolved = resolveTypeAlias(type, context);
+    if (resolved.kind === "unionType") {
+        return resolved.types.every((member) => isDefinitelyTruthyType(member, context));
+    }
+    return false;
+};
 /**
  * Try to extract guard info from `x.prop === <literal>` or `x.prop !== <literal>`.
  *
@@ -211,70 +261,52 @@ export const tryResolveDiscriminantEqualityGuard = (condition, context) => {
         return undefined;
     const { receiver, propertyName, literal } = match;
     const originalName = receiver.name;
-    // If this identifier is already narrowed (union guard emitted earlier), do NOT try to
-    // apply another union narrowing rule. This avoids mis-emitting `.IsN()` on a narrowed member type.
-    if (context.narrowedBindings?.has(originalName))
-        return undefined;
     const unionSourceType = receiver.inferredType;
     if (!unionSourceType)
         return undefined;
-    const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
-    if (resolved.kind !== "unionType")
+    const frame = resolveRuntimeUnionFrame(originalName, unionSourceType, context);
+    if (!frame)
         return undefined;
-    const unionArity = resolved.types.length;
+    const { members, candidateMemberNs, runtimeUnionArity } = frame;
+    const unionArity = members.length;
     if (unionArity < 2 || unionArity > 8)
         return undefined;
     // Find which union members have a discriminant property type that includes the literal.
-    const matchingMembers = [];
-    for (let i = 0; i < resolved.types.length; i++) {
-        const member = resolved.types[i];
+    const matchingIndices = [];
+    const matchingMemberNs = [];
+    for (let i = 0; i < members.length; i++) {
+        const member = members[i];
         if (!member)
             continue;
-        let propType;
-        if (member.kind === "objectType") {
-            const prop = member.members.find((m) => m.kind === "propertySignature" && m.name === propertyName);
-            propType = prop?.type;
-        }
-        else if (member.kind === "referenceType") {
-            const localTypes = resolveLocalTypesForReference(member, context);
-            if (!localTypes)
-                continue;
-            const lookupName = member.name.includes(".")
-                ? (member.name.split(".").pop() ?? member.name)
-                : member.name;
-            // Use the target module's localTypes for property type resolution.
-            propType = getPropertyType({ ...member, name: lookupName }, propertyName, { ...context, localTypes });
-        }
-        else {
-            continue;
-        }
+        const propType = getGuardPropertyType(member, propertyName, context);
         if (!propType)
             continue;
         const literals = tryGetLiteralSet(propType, context);
         if (!literals)
             continue;
         if (literals.has(literal)) {
-            matchingMembers.push(i + 1);
+            matchingIndices.push(i);
+            matchingMemberNs.push(candidateMemberNs[i] ?? i + 1);
         }
     }
     // Only support the common airplane-grade case: exactly one matching member.
-    if (matchingMembers.length !== 1)
+    if (matchingMemberNs.length !== 1)
         return undefined;
-    const memberN = matchingMembers[0];
+    const memberN = matchingMemberNs[0];
     if (!memberN)
         return undefined;
+    const matchingIndex = matchingIndices[0];
+    if (matchingIndex === undefined)
+        return undefined;
     const nextId = (context.tempVarId ?? 0) + 1;
     const ctxWithId = { ...context, tempVarId: nextId };
     const narrowedName = `${originalName}__${memberN}_${nextId}`;
     const escapedOrig = emitRemappedLocalName(originalName, context);
     const escapedNarrow = escapeCSharpIdentifier(narrowedName);
-    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
-    const memberType = resolved.types[memberN - 1];
-    narrowedMap.set(originalName, {
-        kind: "rename",
-        name: narrowedName,
-        type: memberType,
-    });
+    const memberType = members[matchingIndex];
+    if (!memberType)
+        return undefined;
+    const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, memberType, ctxWithId);
     return {
         originalName,
         propertyName,
@@ -282,6 +314,129 @@ export const tryResolveDiscriminantEqualityGuard = (condition, context) => {
         operator: condition.operator,
         memberN,
         unionArity,
+        runtimeUnionArity,
+        candidateMemberNs,
+        candidateMembers: members,
+        ctxWithId,
+        narrowedName,
+        escapedOrig,
+        escapedNarrow,
+        narrowedMap,
+    };
+};
+/**
+ * Try to extract guard info from `x.prop` / `!x.prop` where the property acts as a
+ * boolean-style discriminant over a runtime union.
+ */
+export const tryResolvePropertyTruthinessGuard = (condition, context) => {
+    const extract = (expr) => {
+        if (expr.kind === "unary" && expr.operator === "!") {
+            const inner = extract(expr.expression);
+            return inner ? { ...inner, wantTruthy: !inner.wantTruthy } : undefined;
+        }
+        if (expr.kind !== "memberAccess")
+            return undefined;
+        if (expr.isOptional || expr.isComputed)
+            return undefined;
+        if (expr.object.kind !== "identifier")
+            return undefined;
+        if (typeof expr.property !== "string")
+            return undefined;
+        return {
+            receiver: expr.object,
+            propertyName: expr.property,
+            wantTruthy: true,
+            bindingType: expr.memberBinding?.type,
+            bindingValueTruthiness: expr.inferredType?.kind === "literalType"
+                ? isDefinitelyTruthyLiteral(expr.inferredType.value)
+                : expr.inferredType?.kind === "primitiveType" &&
+                    (expr.inferredType.name === "undefined" ||
+                        expr.inferredType.name === "null")
+                    ? false
+                    : undefined,
+        };
+    };
+    const match = extract(condition);
+    if (!match)
+        return undefined;
+    const { receiver, propertyName, wantTruthy, bindingType, bindingValueTruthiness } = match;
+    const originalName = receiver.name;
+    const unionSourceType = receiver.inferredType;
+    if (!unionSourceType)
+        return undefined;
+    const frame = resolveRuntimeUnionFrame(originalName, unionSourceType, context);
+    if (!frame)
+        return undefined;
+    const { members, candidateMemberNs, runtimeUnionArity } = frame;
+    const unionArity = members.length;
+    if (unionArity < 2 || unionArity > 8)
+        return undefined;
+    const matchingIndices = [];
+    const matchingMemberNs = [];
+    if (bindingType && bindingValueTruthiness !== undefined) {
+        const bindingTypeName = stripGlobalPrefix(bindingType);
+        const boundMemberIndex = members.findIndex((member) => {
+            if (member?.kind !== "referenceType")
+                return false;
+            const candidateClr = member.resolvedClrType
+                ? stripGlobalPrefix(member.resolvedClrType)
+                : undefined;
+            return candidateClr === bindingTypeName || member.name === bindingTypeName;
+        });
+        if (boundMemberIndex >= 0) {
+            if (wantTruthy === bindingValueTruthiness) {
+                matchingIndices.push(boundMemberIndex);
+                matchingMemberNs.push(candidateMemberNs[boundMemberIndex] ?? boundMemberIndex + 1);
+            }
+            else if (unionArity === 2) {
+                const otherIndex = boundMemberIndex === 0 ? 1 : 0;
+                matchingIndices.push(otherIndex);
+                matchingMemberNs.push(candidateMemberNs[otherIndex] ?? otherIndex + 1);
+            }
+        }
+    }
+    if (matchingMemberNs.length === 0) {
+        for (let i = 0; i < members.length; i++) {
+            const member = members[i];
+            if (!member)
+                continue;
+            const propType = getGuardPropertyType(member, propertyName, context);
+            if (!propType)
+                continue;
+            const matches = wantTruthy
+                ? isDefinitelyTruthyType(propType, context)
+                : isDefinitelyFalsyType(propType, context);
+            if (matches) {
+                matchingIndices.push(i);
+                matchingMemberNs.push(candidateMemberNs[i] ?? i + 1);
+            }
+        }
+    }
+    if (matchingMemberNs.length !== 1)
+        return undefined;
+    const memberN = matchingMemberNs[0];
+    if (!memberN)
+        return undefined;
+    const matchingIndex = matchingIndices[0];
+    if (matchingIndex === undefined)
+        return undefined;
+    const nextId = (context.tempVarId ?? 0) + 1;
+    const ctxWithId = { ...context, tempVarId: nextId };
+    const narrowedName = `${originalName}__${memberN}_${nextId}`;
+    const escapedOrig = emitRemappedLocalName(originalName, context);
+    const escapedNarrow = escapeCSharpIdentifier(narrowedName);
+    const memberType = members[matchingIndex];
+    if (!memberType)
+        return undefined;
+    const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, memberType, ctxWithId);
+    return {
+        originalName,
+        propertyName,
+        memberN,
+        unionArity,
+        runtimeUnionArity,
+        candidateMemberNs,
+        candidateMembers: members,
         ctxWithId,
         narrowedName,
         escapedOrig,
@@ -310,46 +465,52 @@ export const tryResolveInGuard = (condition, context) => {
     const unionSourceType = condition.right.inferredType;
     if (!unionSourceType)
         return undefined;
-    const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
-    if (resolved.kind !== "unionType")
+    const frame = resolveRuntimeUnionFrame(originalName, unionSourceType, context);
+    if (!frame)
         return undefined;
-    const unionArity = resolved.types.length;
+    const { members, candidateMemberNs, runtimeUnionArity } = frame;
+    const unionArity = members.length;
     if (unionArity < 2 || unionArity > 8)
         return undefined;
     // Find which union members contain the property.
-    const matchingMembers = [];
-    for (let i = 0; i < resolved.types.length; i++) {
-        const member = resolved.types[i];
+    const matchingIndices = [];
+    const matchingMemberNs = [];
+    for (let i = 0; i < members.length; i++) {
+        const member = members[i];
         if (!member || member.kind !== "referenceType")
             continue;
-        if (hasProperty(member, propertyName, context)) {
-            matchingMembers.push(i + 1);
+        if (hasDeterministicPropertyMembership(member, propertyName, context) === true) {
+            matchingIndices.push(i);
+            matchingMemberNs.push(candidateMemberNs[i] ?? i + 1);
         }
     }
     // Only support the common "exactly one matching member" narrowing case.
-    if (matchingMembers.length !== 1)
+    if (matchingMemberNs.length !== 1)
         return undefined;
-    const memberN = matchingMembers[0];
+    const memberN = matchingMemberNs[0];
     if (!memberN)
         return undefined;
+    const matchingIndex = matchingIndices[0];
+    if (matchingIndex === undefined)
+        return undefined;
     const nextId = (context.tempVarId ?? 0) + 1;
     const ctxWithId = { ...context, tempVarId: nextId };
     const narrowedName = `${originalName}__${memberN}_${nextId}`;
     const [rhsAst] = emitIdentifier(condition.right, context);
     const escapedOrig = extractIdentifierText(rhsAst);
     const escapedNarrow = escapeCSharpIdentifier(narrowedName);
-    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
-    const memberType = resolved.types[memberN - 1];
-    narrowedMap.set(originalName, {
-        kind: "rename",
-        name: narrowedName,
-        type: memberType,
-    });
+    const memberType = members[matchingIndex];
+    if (!memberType)
+        return undefined;
+    const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, memberType, ctxWithId);
     return {
         originalName,
         propertyName,
         memberN,
         unionArity,
+        runtimeUnionArity,
+        candidateMemberNs,
+        candidateMembers: members,
         ctxWithId,
         narrowedName,
         escapedOrig,
@@ -395,31 +556,33 @@ export const tryResolvePredicateGuard = (call, context) => {
     const unionSourceType = arg.inferredType;
     if (!unionSourceType)
         return undefined;
-    const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
-    if (resolved.kind !== "unionType")
+    const frame = resolveRuntimeUnionFrame(originalName, unionSourceType, context);
+    if (!frame)
         return undefined;
+    const resolved = {
+        kind: "unionType",
+        types: [...frame.members],
+    };
     const idx = findUnionMemberIndex(resolved, narrowing.targetType, context);
     if (idx === undefined)
         return undefined;
-    const memberN = idx + 1;
-    const unionArity = resolved.types.length;
+    const memberN = frame.candidateMemberNs[idx] ?? idx + 1;
+    const unionArity = frame.members.length;
     const nextId = (context.tempVarId ?? 0) + 1;
     const ctxWithId = { ...context, tempVarId: nextId };
     const narrowedName = `${originalName}__${memberN}_${nextId}`;
     const [argAst] = emitIdentifier(arg, context);
     const escapedOrig = extractIdentifierText(argAst);
     const escapedNarrow = escapeCSharpIdentifier(narrowedName);
-    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
-    narrowedMap.set(originalName, {
-        kind: "rename",
-        name: narrowedName,
-        type: narrowing.targetType,
-    });
+    const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, narrowing.targetType, ctxWithId);
     return {
         originalName,
         targetType: narrowing.targetType,
         memberN,
         unionArity,
+        runtimeUnionArity: frame.runtimeUnionArity,
+        candidateMemberNs: frame.candidateMemberNs,
+        candidateMembers: frame.members,
         ctxWithId,
         narrowedName,
         escapedOrig,