npm - @tsonic/emitter - Versions diffs - 0.0.74 → 0.0.75 - Mend

@tsonic/emitter 0.0.74 → 0.0.75

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1497) hide show

package/dist/statements/control/conditionals/guard-detectors-structural.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"guard-detectors-structural.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-structural.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,mCAAmC,EAAE,MAAM,8CAA8C,CAAC;AACnG,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAEvD,OAAO,EACL,kCAAkC,EAClC,+BAA+B,GAChC,MAAM,2CAA2C,CAAC;AACnD,OAAO,EACL,kCAAkC,EAClC,6BAA6B,EAC7B,uCAAuC,GACxC,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,+BAA+B,EAAE,MAAM,8CAA8C,CAAC;AAC/F,OAAO,EACL,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,6BAA6B,EAAE,MAAM,8CAA8C,CAAC;AAC7F,OAAO,EAAE,gCAAgC,EAAE,MAAM,mDAAmD,CAAC;AACrG,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAM3D,OAAO,EACL,kCAAkC,EAClC,6BAA6B,EAC7B,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAE1B;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAAuB,EACvB,OAAuB,EACE,EAAE;IAC3B,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAElD,+BAA+B;IAC/B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxD,IAAI,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAE/D,4EAA4E;IAC5E,+EAA+E;IAC/E,MAAM,MAAM,GAAG,kCAAkC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnE,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;IAC1C,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC;IAEjC,MAAM,eAAe,GAAG,SAAS,CAAC,KAAK,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC;IAC5E,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,MAAM,EACN,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,iDAAiD;IACjD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QACzD,IACE,kCAAkC,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,KAAK,IAAI,EAC1E,CAAC;YACD,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,qBAAqB,CACxC,YAAY,EACZ,OAAO,IAAI,QAAQ,EACnB,MAAM,CACP,CAAC;IACF,MAAM,WAAW,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,OAAO;QACP,UAAU;QACV,iBAAiB;QACjB,iBAAiB;QACjB,gBAAgB,EAAE,OAAO;QACzB,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA6C,EAC7C,OAAuB,EACA,EAAE;IACzB,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/C,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,gCAAgC,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IACpC,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC;IAChE,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EACjD,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,eAAe,GAAG,6BAA6B,CACnD,KAAK,CAAC,OAAO,EACb,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnD,MAAM,QAAQ,GAAG,eAAe;SAC7B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;SAC3D,MAAM,CAAC,CAAC,OAAO,EAAqB,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IACjE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5C,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,OAAO,GACX,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,KAAK,SAAS;QAC/C,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;QAC3C,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;IAExC,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,qBAAqB,CACxC,YAAY,EACZ,OAAO,IAAI,QAAQ,EACnB,MAAM,CACP,CAAC;IACF,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,oBAAoB,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACzE,MAAM,UAAU,GACd,oBAAoB,EAAE,UAAU;QAChC,oBAAoB,EAAE,IAAI;QAC1B,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC;QACnC,eAAe,CAAC;IAClB,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,SAAS,CACV,CAAC;IACF,MAAM,sBAAsB,GAC1B,oBAAoB,EAAE,IAAI,KAAK,eAAe;QAC9C,oBAAoB,CAAC,aAAa;QAClC,oBAAoB,CAAC,uBAAuB;QAC5C,oBAAoB,CAAC,aAAa,CAAC,MAAM;YACvC,oBAAoB,CAAC,uBAAuB,CAAC,MAAM,CAAC;IACxD,MAAM,aAAa,GAAG,sBAAsB;QAC1C,CAAC,CAAC,oBAAoB,CAAC,aAAa;QACpC,CAAC,CAAC,KAAK,CAAC,iBAAiB,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM;YAChD,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAAG,sBAAsB;QACpD,CAAC,CAAC,oBAAoB,CAAC,uBAAuB;QAC9C,CAAC,CAAC,KAAK,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;YAC1D,CAAC,CAAC,KAAK,CAAC,iBAAiB;YACzB,CAAC,CAAC,SAAS,CAAC;IAEhB,OAAO;QACL,YAAY;QACZ,WAAW,EAAE,MAAM;QACnB,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,OAAO;QACP,QAAQ;QACR,UAAU;QACV,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,gBAAgB,EAAE,KAAK,CAAC,OAAO;QAC/B,SAAS;QACT,YAAY;QACZ,aAAa;QACb,WAAW;QACX,UAAU;QACV,aAAa;QACb,uBAAuB;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,SAAuB,EACvB,OAAuB,EACU,EAAE;IACnC,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,SAAS,CAAC,QAAQ,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAE1D,MAAM,MAAM,GAAG,gCAAgC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAChE,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC;IAC3E,MAAM,WAAW,GACf,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,IAAI,IAAI,eAAe,CAAC;IACvE,MAAM,qBAAqB,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC1E,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,OAAO,iBAAiB,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACzD,CAAC;QAED,IAAI,qBAAqB,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3C,OAAO,CAAC,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAU,CAAC;QAC3D,CAAC;QAED,IAAI,qBAAqB,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;YACpD,MAAM,SAAS,GAAG,+BAA+B,CAC/C,MAAM,EACN,qBAAqB,EACrB,OAAO,CACR,CAAC;YACF,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,OAAO,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,WAAW,GACf,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,CAAC,CAAC,YAAY,CAAC;IAEnB,MAAM,MAAM,GAAG,CAAC,WAAW,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,SAAS,GAAmB,EAAE,GAAG,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAExE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,iBAAiB,CACjD,SAAS,CAAC,KAAK,EACf,SAAS,CACV,CAAC;IAEF,MAAM,eAAe,GAAG,6BAA6B,CACnD,SAAS,CAAC,KAAK,CAAC,YAAY,CAC7B,CAAC;IACF,IAAI,UAAqC,CAAC;IAC1C,IAAI,WAAW,GAAG,eAAe,CAAC;IAElC,IAAI,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAC9C,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;IAC3B,CAAC;SAAM,IAAI,eAAe,EAAE,CAAC;QAC3B,MAAM,CAAC,cAAc,EAAE,OAAO,CAAC,GAAG,WAAW,CAC3C,eAAe,EACf,eAAe,CAChB,CAAC;QACF,UAAU,GAAG,cAAc,CAAC;QAC5B,WAAW,GAAG,OAAO,CAAC;IACxB,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gDAAgD;IAChD,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACvE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,iBAAiB,GACrB,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QAC3B,CAAC,CAAC,mCAAmC,CAAC,MAAM,EAAE,OAAO,CAAC;QACtD,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,UAAU;QACvD,eAAe,CAAC;IAClB,MAAM,oBAAoB,GAAG,CAAC,WAAW,EAAE,iBAAiB,EAAE,eAAe,CAAC;SAC3E,MAAM,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC;SACnE,IAAI,CACH,CAAC,SAAS,EAAE,EAAE,CACZ,+BAA+B,CAAC,SAAS,CAAC,EAAE,iBAAiB,KAAK,IAAI,CACzE,CAAC;IACJ,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAChE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE;QAC5B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,eAAe,IAAI,SAAS;QAClC,UAAU,EAAE,iBAAiB;KAC9B,CAAC,CAAC;IACH,MAAM,iBAAiB,GACrB,WAAW,IAAI,eAAe;QAC5B,CAAC,CAAC,6BAA6B,CAC3B,YAAY,EACZ,WAAW,EACX,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EACjD,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,mBAAmB,GACvB,iBAAiB,IAAI,eAAe;QAClC,CAAC,CAAC,uCAAuC,CACrC,iBAAiB,CAAC,OAAO,EACzB,eAAe,EACf,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,iBAAiB,GAAG,mBAAmB,EAAE,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,uBAAuB,GAC3B,iBAAiB;QACjB,iBAAiB,KAAK,SAAS;QAC/B,eAAe;QACf,iBAAiB,CAAC,OAAO,CAAC,iBAAiB,CAAC;QAC1C,CAAC,CAAC,kCAAkC,CAChC,CAAC,iBAAiB,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,EAC9C,eAAe,EACf,OAAO,CACR,CAAC,MAAM,KAAK,CAAC;QAChB,CAAC,CAAC,KAAK,CAAC;IACZ,MAAM,OAAO,GACX,iBAAiB,IAAI,iBAAiB,KAAK,SAAS;QAClD,CAAC,CAAC,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,iBAAiB,CAAC;YACvD,iBAAiB,GAAG,CAAC,CAAC;QACxB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,WAAW,GACf,iBAAiB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;QAC/C,CAAC,CAAC;YACE,IAAI,EAAE,sBAA+B;YACrC,UAAU,EAAE,WAAW;SACxB;QACH,CAAC,CAAC,MAAM,CAAC;IAEb,OAAO;QACL,YAAY;QACZ,WAAW;QACX,UAAU;QACV,SAAS;QACT,WAAW;QACX,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;QACX,UAAU,EAAE,eAAe,IAAI,SAAS;QACxC,OAAO;QACP,uBAAuB;QACvB,oBAAoB;QACpB,iBAAiB,EAAE,iBAAiB,EAAE,iBAAiB;QACvD,iBAAiB,EAAE,iBAAiB,EAAE,iBAAiB;QACvD,gBAAgB,EAAE,iBAAiB,EAAE,OAAO;KAC7C,CAAC;AACJ,CAAC,CAAC"}

package/dist/statements/control/conditionals/guard-detectors.d.ts ADDED Viewed

@@ -0,0 +1,11 @@
+/**
+ * Guard detection and resolution functions for conditional statements
+ * — facade re-exports.
+ *
+ * Implementations live in:
+ *   - guard-detectors-discriminant.ts
+ *   - guard-detectors-structural.ts
+ */
+export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyTruthinessGuard, } from "./guard-detectors-discriminant.js";
+export { tryResolveInGuard, tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors-structural.js";
+//# sourceMappingURL=guard-detectors.d.ts.map

package/dist/statements/control/conditionals/guard-detectors.d.ts.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"guard-detectors.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,mCAAmC,EACnC,iCAAiC,GAClC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,iBAAiB,EACjB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC"}

package/dist/statements/control/conditionals/guard-detectors.js ADDED Viewed

@@ -0,0 +1,11 @@
+/**
+ * Guard detection and resolution functions for conditional statements
+ * — facade re-exports.
+ *
+ * Implementations live in:
+ *   - guard-detectors-discriminant.ts
+ *   - guard-detectors-structural.ts
+ */
+export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyTruthinessGuard, } from "./guard-detectors-discriminant.js";
+export { tryResolveInGuard, tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors-structural.js";
+//# sourceMappingURL=guard-detectors.js.map

package/dist/statements/control/conditionals/guard-detectors.js.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"guard-detectors.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,mCAAmC,EACnC,iCAAiC,GAClC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,iBAAiB,EACjB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC"}

package/dist/statements/control/conditionals/guard-extraction.d.ts ADDED Viewed

@@ -0,0 +1,30 @@
+/**
+ * Guard extraction and typeof refinement helpers for if-statement emission.
+ */
+import { IrExpression, IrStatement, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../../types.js";
+export declare const isArrayLikeNarrowingCandidate: (type: IrType, context: EmitterContext) => boolean;
+export declare const narrowTypeByArrayShape: (currentType: IrType | undefined, wantArray: boolean, context: EmitterContext) => IrType | undefined;
+export declare const narrowTypeByNotAssignableTarget: (currentType: IrType | undefined, targetType: IrType | undefined, context: EmitterContext) => IrType | undefined;
+export declare const tryExtractArrayIsArrayGuard: (condition: Extract<IrStatement, {
+    kind: "ifStatement";
+}>["condition"]) => {
+    readonly originalName: string;
+    readonly targetExpr: Extract<IrExpression, {
+        kind: "identifier" | "memberAccess";
+    }>;
+    readonly narrowsInThen: boolean;
+} | undefined;
+export type TypeofGuardRefinement = {
+    readonly bindingKey: string;
+    readonly targetExpr: Extract<IrExpression, {
+        kind: "identifier" | "memberAccess";
+    }>;
+    readonly tag: string;
+    readonly matchTag: boolean;
+};
+export declare const collectTypeofGuardRefinements: (condition: Extract<IrStatement, {
+    kind: "ifStatement";
+}>["condition"], branch: "truthy" | "falsy") => readonly TypeofGuardRefinement[];
+export declare const applyTypeofGuardRefinements: (baseContext: EmitterContext, refinements: readonly TypeofGuardRefinement[]) => EmitterContext;
+//# sourceMappingURL=guard-extraction.d.ts.map

package/dist/statements/control/conditionals/guard-extraction.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"guard-extraction.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-extraction.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,YAAY,EACZ,WAAW,EACX,MAAM,EAEP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AA8BnD,eAAO,MAAM,6BAA6B,GACxC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAYF,CAAC;AAkDF,eAAO,MAAM,sBAAsB,GACjC,aAAa,MAAM,GAAG,SAAS,EAC/B,WAAW,OAAO,EAClB,SAAS,cAAc,KACtB,MAAM,GAAG,SAiCX,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,aAAa,MAAM,GAAG,SAAS,EAC/B,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,KACtB,MAAM,GAAG,SAoBX,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,WAAW,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,CAAC,WAAW,CAAC,KAEnE;IACE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,GACD,SA0DH,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAkEF,eAAO,MAAM,6BAA6B,GACxC,WAAW,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,CAAC,WAAW,CAAC,EACrE,QAAQ,QAAQ,GAAG,OAAO,KACzB,SAAS,qBAAqB,EAmChC,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,aAAa,cAAc,EAC3B,aAAa,SAAS,qBAAqB,EAAE,KAC5C,cAsJF,CAAC"}

package/dist/statements/control/conditionals/guard-extraction.js ADDED Viewed

@@ -0,0 +1,304 @@
+/**
+ * Guard extraction and typeof refinement helpers for if-statement emission.
+ */
+import { normalizedUnionType, } from "@tsonic/frontend";
+import { emitTypeAst } from "../../../type-emitter.js";
+import { resolveTypeAlias, stripNullish, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, matchesTypeofTag, } from "../../../core/semantic/type-resolution.js";
+import { isAssignable } from "../../../core/semantic/index.js";
+import { unwrapTransparentNarrowingTarget } from "../../../core/semantic/transparent-expressions.js";
+import { getMemberAccessNarrowKey } from "../../../core/semantic/narrowing-keys.js";
+import { emitExpressionAst } from "../../../expression-emitter.js";
+import { resolveRuntimeUnionFrame } from "./guard-analysis.js";
+import { buildProjectedExprBinding, buildUnionNarrowAst, withoutNarrowedBinding, } from "./branch-context.js";
+import { buildRuntimeUnionComplementBinding, buildRuntimeUnionSubsetBinding, resolveRuntimeSubsetSourceInfo, } from "../../../core/semantic/narrowing-builders.js";
+import { isBroadObjectSlotType, isJsValueReferenceType, } from "../../../core/semantic/js-value-types.js";
+import { getContextualTypeVisitKey } from "../../../core/semantic/deterministic-type-keys.js";
+export const isArrayLikeNarrowingCandidate = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind === "arrayType" || resolved.kind === "tupleType") {
+        return true;
+    }
+    if (resolved.kind === "referenceType" &&
+        (resolved.name === "Array" || resolved.name === "ReadonlyArray")) {
+        return true;
+    }
+    return false;
+};
+const isBroadJsValueType = (type) => isJsValueReferenceType(type);
+const canNarrowBroadRuntimeValueToArray = (type, context, seen = new Set()) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    const key = getContextualTypeVisitKey(resolved, context);
+    if (seen.has(key)) {
+        return false;
+    }
+    if (resolved.kind === "unknownType" ||
+        resolved.kind === "anyType" ||
+        resolved.kind === "objectType" ||
+        (resolved.kind === "referenceType" && resolved.name === "object") ||
+        isBroadJsValueType(resolved) ||
+        isBroadObjectSlotType(resolved, context)) {
+        return true;
+    }
+    if (resolved.kind !== "unionType") {
+        return false;
+    }
+    const nextSeen = new Set(seen);
+    nextSeen.add(key);
+    return resolved.types.some((member) => !!member &&
+        !isArrayLikeNarrowingCandidate(member, context) &&
+        canNarrowBroadRuntimeValueToArray(member, context, nextSeen));
+};
+const JS_VALUE_ARRAY_TYPE = {
+    kind: "arrayType",
+    elementType: {
+        kind: "referenceType",
+        name: "JsValue",
+        resolvedClrType: "Tsonic.Runtime.JsValue",
+    },
+};
+export const narrowTypeByArrayShape = (currentType, wantArray, context) => {
+    if (!currentType)
+        return undefined;
+    const resolved = resolveTypeAlias(stripNullish(currentType), context);
+    if (resolved.kind === "unionType") {
+        const hasBroadArrayFallback = wantArray && canNarrowBroadRuntimeValueToArray(resolved, context);
+        const kept = resolved.types.filter((member) => {
+            if (!member)
+                return false;
+            const isArrayLike = isArrayLikeNarrowingCandidate(member, context);
+            return wantArray ? isArrayLike : !isArrayLike;
+        });
+        const narrowed = hasBroadArrayFallback ? [...kept, JS_VALUE_ARRAY_TYPE] : kept;
+        if (narrowed.length === 0)
+            return undefined;
+        if (narrowed.length === 1)
+            return narrowed[0];
+        return normalizedUnionType(narrowed);
+    }
+    const isArrayLike = isArrayLikeNarrowingCandidate(resolved, context);
+    if (wantArray) {
+        if (resolved.kind === "unknownType" ||
+            resolved.kind === "anyType" ||
+            resolved.kind === "objectType" ||
+            (resolved.kind === "referenceType" && resolved.name === "object") ||
+            isBroadJsValueType(resolved) ||
+            isBroadObjectSlotType(resolved, context)) {
+            return JS_VALUE_ARRAY_TYPE;
+        }
+        return isArrayLike ? resolved : undefined;
+    }
+    return isArrayLike ? undefined : resolved;
+};
+export const narrowTypeByNotAssignableTarget = (currentType, targetType, context) => {
+    if (!currentType || !targetType)
+        return undefined;
+    const resolvedCurrent = resolveTypeAlias(stripNullish(currentType), context);
+    const resolvedTarget = resolveTypeAlias(stripNullish(targetType), context);
+    if (resolvedCurrent.kind === "unionType") {
+        const kept = resolvedCurrent.types.filter((member) => {
+            if (!member)
+                return false;
+            const resolvedMember = resolveTypeAlias(stripNullish(member), context);
+            return !isAssignable(resolvedMember, resolvedTarget);
+        });
+        if (kept.length === 0)
+            return undefined;
+        if (kept.length === 1)
+            return kept[0];
+        return normalizedUnionType(kept);
+    }
+    return isAssignable(resolvedCurrent, resolvedTarget)
+        ? undefined
+        : resolvedCurrent;
+};
+export const tryExtractArrayIsArrayGuard = (condition) => {
+    const extractDirect = (expr) => {
+        if (expr.kind !== "call")
+            return undefined;
+        if (expr.arguments.length !== 1)
+            return undefined;
+        if (expr.callee.kind !== "memberAccess" || expr.callee.isComputed) {
+            return undefined;
+        }
+        if (expr.callee.property !== "isArray")
+            return undefined;
+        if (expr.callee.object.kind !== "identifier" ||
+            expr.callee.object.name !== "Array") {
+            return undefined;
+        }
+        const [rawTarget] = expr.arguments;
+        if (!rawTarget)
+            return undefined;
+        const target = unwrapTransparentNarrowingTarget(rawTarget);
+        if (!target)
+            return undefined;
+        const originalName = target.kind === "identifier"
+            ? target.name
+            : getMemberAccessNarrowKey(target);
+        if (!originalName)
+            return undefined;
+        return {
+            originalName,
+            targetExpr: target,
+            narrowsInThen: true,
+        };
+    };
+    const direct = extractDirect(condition);
+    if (direct)
+        return direct;
+    if (condition.kind === "unary" && condition.operator === "!") {
+        const inner = extractDirect(condition.expression);
+        if (inner) {
+            return {
+                ...inner,
+                narrowsInThen: false,
+            };
+        }
+    }
+    return undefined;
+};
+const tryExtractDirectTypeofGuard = (expr) => {
+    if (expr.kind !== "binary")
+        return undefined;
+    if (expr.operator !== "===" &&
+        expr.operator !== "==" &&
+        expr.operator !== "!==" &&
+        expr.operator !== "!=") {
+        return undefined;
+    }
+    const extract = (left, right) => {
+        if (left.kind !== "unary" || left.operator !== "typeof")
+            return undefined;
+        const target = unwrapTransparentNarrowingTarget(left.expression);
+        if (!target)
+            return undefined;
+        if (right.kind !== "literal" || typeof right.value !== "string") {
+            return undefined;
+        }
+        const bindingKey = target.kind === "identifier"
+            ? target.name
+            : getMemberAccessNarrowKey(target);
+        if (!bindingKey)
+            return undefined;
+        return {
+            bindingKey,
+            targetExpr: target,
+            tag: right.value,
+        };
+    };
+    const directGuard = extract(expr.left, expr.right) ?? extract(expr.right, expr.left);
+    if (!directGuard)
+        return undefined;
+    return {
+        ...directGuard,
+        matchesInTruthyBranch: expr.operator === "===" || expr.operator === "==",
+    };
+};
+export const collectTypeofGuardRefinements = (condition, branch) => {
+    const direct = tryExtractDirectTypeofGuard(condition);
+    if (direct) {
+        return [
+            {
+                bindingKey: direct.bindingKey,
+                targetExpr: direct.targetExpr,
+                tag: direct.tag,
+                matchTag: branch === "truthy"
+                    ? direct.matchesInTruthyBranch
+                    : !direct.matchesInTruthyBranch,
+            },
+        ];
+    }
+    if (condition.kind !== "logical") {
+        return [];
+    }
+    if (branch === "truthy" && condition.operator === "&&") {
+        return [
+            ...collectTypeofGuardRefinements(condition.left, branch),
+            ...collectTypeofGuardRefinements(condition.right, branch),
+        ];
+    }
+    if (branch === "falsy" && condition.operator === "||") {
+        return [
+            ...collectTypeofGuardRefinements(condition.left, branch),
+            ...collectTypeofGuardRefinements(condition.right, branch),
+        ];
+    }
+    return [];
+};
+export const applyTypeofGuardRefinements = (baseContext, refinements) => {
+    let currentContext = baseContext;
+    for (const refinement of refinements) {
+        const currentType = currentContext.narrowedBindings?.get(refinement.bindingKey)?.type ??
+            refinement.targetExpr.inferredType;
+        const narrowedType = refinement.matchTag
+            ? narrowTypeByTypeofTag(currentType, refinement.tag, currentContext)
+            : narrowTypeByNotTypeofTag(currentType, refinement.tag, currentContext);
+        if (!narrowedType) {
+            continue;
+        }
+        const [rawTargetAst, rawTargetContext] = emitExpressionAst(refinement.targetExpr, withoutNarrowedBinding(currentContext, refinement.bindingKey));
+        const runtimeFrameContext = {
+            ...rawTargetContext,
+            narrowedBindings: currentContext.narrowedBindings,
+        };
+        const runtimeUnionFrame = currentType &&
+            resolveRuntimeUnionFrame(refinement.bindingKey, currentType, runtimeFrameContext);
+        const matchingRuntimeMemberIndex = runtimeUnionFrame?.members.findIndex((member) => matchesTypeofTag(member, refinement.tag, rawTargetContext)) ?? -1;
+        const nextBindings = new Map(rawTargetContext.narrowedBindings ?? []);
+        if (runtimeUnionFrame &&
+            matchingRuntimeMemberIndex >= 0 &&
+            runtimeUnionFrame.members.filter((member) => matchesTypeofTag(member, refinement.tag, rawTargetContext)).length === 1) {
+            const memberN = runtimeUnionFrame.candidateMemberNs[matchingRuntimeMemberIndex] ??
+                matchingRuntimeMemberIndex + 1;
+            const memberType = runtimeUnionFrame.members[matchingRuntimeMemberIndex] ?? narrowedType;
+            if (refinement.matchTag) {
+                const existingBinding = currentContext.narrowedBindings?.get(refinement.bindingKey);
+                const sourceInfo = currentType && runtimeUnionFrame
+                    ? resolveRuntimeSubsetSourceInfo(refinement.bindingKey, currentType, runtimeUnionFrame, currentContext)
+                    : undefined;
+                const subsetBinding = buildRuntimeUnionSubsetBinding(rawTargetAst, runtimeUnionFrame, existingBinding?.sourceType ??
+                    existingBinding?.type ??
+                    currentType ??
+                    narrowedType, narrowedType, rawTargetContext, sourceInfo);
+                if (subsetBinding) {
+                    const [binding, subsetContext] = subsetBinding;
+                    nextBindings.set(refinement.bindingKey, binding);
+                    currentContext = {
+                        ...subsetContext,
+                        narrowedBindings: nextBindings,
+                    };
+                    continue;
+                }
+                nextBindings.set(refinement.bindingKey, buildProjectedExprBinding(buildUnionNarrowAst(rawTargetAst, memberN), memberType, currentType, rawTargetAst));
+                currentContext = {
+                    ...rawTargetContext,
+                    narrowedBindings: nextBindings,
+                };
+                continue;
+            }
+            const complementBinding = buildRuntimeUnionComplementBinding(rawTargetAst, runtimeUnionFrame, currentType ?? narrowedType, narrowedType, memberN, rawTargetContext, currentType
+                ? resolveRuntimeSubsetSourceInfo(refinement.bindingKey, currentType, runtimeUnionFrame, currentContext)
+                : undefined);
+            if (complementBinding) {
+                nextBindings.set(refinement.bindingKey, complementBinding);
+                currentContext = {
+                    ...rawTargetContext,
+                    narrowedBindings: nextBindings,
+                };
+                continue;
+            }
+        }
+        const [narrowedTypeAst, nextContext] = emitTypeAst(narrowedType, rawTargetContext);
+        nextBindings.set(refinement.bindingKey, buildProjectedExprBinding({
+            kind: "castExpression",
+            type: narrowedTypeAst,
+            expression: rawTargetAst,
+        }, narrowedType, currentType, rawTargetAst));
+        currentContext = {
+            ...nextContext,
+            narrowedBindings: nextBindings,
+        };
+    }
+    return currentContext;
+};
+//# sourceMappingURL=guard-extraction.js.map

package/dist/statements/control/conditionals/guard-extraction.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"guard-extraction.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-extraction.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAIL,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,wBAAwB,EACxB,gBAAgB,GACjB,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,gCAAgC,EAAE,MAAM,mDAAmD,CAAC;AACrG,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EACL,yBAAyB,EACzB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,kCAAkC,EAClC,8BAA8B,EAC9B,8BAA8B,GAC/B,MAAM,8CAA8C,CAAC;AACtD,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,mDAAmD,CAAC;AAE9F,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,EAChE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAW,EAAE,CACnD,sBAAsB,CAAC,IAAI,CAAC,CAAC;AAE/B,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACvB,OAAO,IAAI,GAAG,EAAU,EACf,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,aAAa;QAC/B,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC3B,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;QACjE,kBAAkB,CAAC,QAAQ,CAAC;QAC5B,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,EACxC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CACxB,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,CAAC,MAAM;QACR,CAAC,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC;QAC/C,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAC/D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAW;IAClC,IAAI,EAAE,WAAW;IACjB,WAAW,EAAE;QACX,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,SAAS;QACf,eAAe,EAAE,wBAAwB;KAC1C;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,WAA+B,EAC/B,SAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,qBAAqB,GACzB,SAAS,IAAI,iCAAiC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE;YAC9D,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,WAAW,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnE,OAAO,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QAChD,CAAC,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9C,OAAO,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,WAAW,GAAG,6BAA6B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrE,IAAI,SAAS,EAAE,CAAC;QACd,IACE,QAAQ,CAAC,IAAI,KAAK,aAAa;YAC/B,QAAQ,CAAC,IAAI,KAAK,SAAS;YAC3B,QAAQ,CAAC,IAAI,KAAK,YAAY;YAC9B,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;YACjE,kBAAkB,CAAC,QAAQ,CAAC;YAC5B,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,EACxC,CAAC;YACD,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QACD,OAAO,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5C,CAAC;IACD,OAAO,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,WAA+B,EAC/B,UAA8B,EAC9B,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,eAAe,GAAG,gBAAgB,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7E,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;IAE3E,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE;YACrE,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;YACvE,OAAO,CAAC,YAAY,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,YAAY,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,eAAe,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,SAAqE,EAUzD,EAAE;IACd,MAAM,aAAa,GAAG,CACpB,IAAsB,EAUV,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,SAAS,CAAC;QAC3C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAClD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAClE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzD,IACE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YACxC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EACnC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACnC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,MAAM,GAAG,gCAAgC,CAAC,SAAS,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAE9B,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QAEpC,OAAO;YACL,YAAY;YACZ,UAAU,EAAE,MAAM;YAClB,aAAa,EAAE,IAAI;SACpB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,KAAK,EAAE,CAAC;YACV,OAAO;gBACL,GAAG,KAAK;gBACR,aAAa,EAAE,KAAK;aACrB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAYF,MAAM,2BAA2B,GAAG,CAClC,IAAgE,EAWpD,EAAE;IACd,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,IACE,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,IAAI;QACtB,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,IAAI,EACtB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAsB,EACtB,KAAwB,EAUZ,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC1E,MAAM,MAAM,GAAG,gCAAgC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjE,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAChE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAClC,OAAO;YACL,UAAU;YACV,UAAU,EAAE,MAAM;YAClB,GAAG,EAAE,KAAK,CAAC,KAAK;SACjB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,WAAW,GACf,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,OAAO;QACL,GAAG,WAAW;QACd,qBAAqB,EAAE,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;KACzE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,SAAqE,EACrE,MAA0B,EACQ,EAAE;IACpC,MAAM,MAAM,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAC;IACtD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO;YACL;gBACE,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,GAAG,EAAE,MAAM,CAAC,GAAG;gBACf,QAAQ,EACN,MAAM,KAAK,QAAQ;oBACjB,CAAC,CAAC,MAAM,CAAC,qBAAqB;oBAC9B,CAAC,CAAC,CAAC,MAAM,CAAC,qBAAqB;aACpC;SACF,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,MAAM,KAAK,QAAQ,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACvD,OAAO;YACL,GAAG,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC;YACxD,GAAG,6BAA6B,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC;SAC1D,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,OAAO;YACL,GAAG,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC;YACxD,GAAG,6BAA6B,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC;SAC1D,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,WAA2B,EAC3B,WAA6C,EAC7B,EAAE;IAClB,IAAI,cAAc,GAAG,WAAW,CAAC;IAEjC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,WAAW,GACf,cAAc,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,IAAI;YACjE,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC;QACrC,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ;YACtC,CAAC,CAAC,qBAAqB,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,EAAE,cAAc,CAAC;YACpE,CAAC,CAAC,wBAAwB,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC1E,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,SAAS;QACX,CAAC;QAED,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC,GAAG,iBAAiB,CACxD,UAAU,CAAC,UAAU,EACrB,sBAAsB,CAAC,cAAc,EAAE,UAAU,CAAC,UAAU,CAAC,CAC9D,CAAC;QAEF,MAAM,mBAAmB,GAAG;YAC1B,GAAG,gBAAgB;YACnB,gBAAgB,EAAE,cAAc,CAAC,gBAAgB;SAClD,CAAC;QACF,MAAM,iBAAiB,GACrB,WAAW;YACX,wBAAwB,CACtB,UAAU,CAAC,UAAU,EACrB,WAAW,EACX,mBAAmB,CACpB,CAAC;QACJ,MAAM,0BAA0B,GAC9B,iBAAiB,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAC9C,gBAAgB,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAC3D,IAAI,CAAC,CAAC,CAAC;QAEV,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;QAEtE,IACE,iBAAiB;YACjB,0BAA0B,IAAI,CAAC;YAC/B,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAC1C,gBAAgB,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAC3D,CAAC,MAAM,KAAK,CAAC,EACd,CAAC;YACD,MAAM,OAAO,GACX,iBAAiB,CAAC,iBAAiB,CAAC,0BAA0B,CAAC;gBAC/D,0BAA0B,GAAG,CAAC,CAAC;YACjC,MAAM,UAAU,GACd,iBAAiB,CAAC,OAAO,CAAC,0BAA0B,CAAC,IAAI,YAAY,CAAC;YAExE,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACxB,MAAM,eAAe,GAAG,cAAc,CAAC,gBAAgB,EAAE,GAAG,CAC1D,UAAU,CAAC,UAAU,CACtB,CAAC;gBACF,MAAM,UAAU,GACd,WAAW,IAAI,iBAAiB;oBAC9B,CAAC,CAAC,8BAA8B,CAC5B,UAAU,CAAC,UAAU,EACrB,WAAW,EACX,iBAAiB,EACjB,cAAc,CACf;oBACH,CAAC,CAAC,SAAS,CAAC;gBAChB,MAAM,aAAa,GAAG,8BAA8B,CAClD,YAAY,EACZ,iBAAiB,EACjB,eAAe,EAAE,UAAU;oBACzB,eAAe,EAAE,IAAI;oBACrB,WAAW;oBACX,YAAY,EACd,YAAY,EACZ,gBAAgB,EAChB,UAAU,CACX,CAAC;gBACF,IAAI,aAAa,EAAE,CAAC;oBAClB,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,aAAa,CAAC;oBAC/C,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;oBACjD,cAAc,GAAG;wBACf,GAAG,aAAa;wBAChB,gBAAgB,EAAE,YAAY;qBAC/B,CAAC;oBACF,SAAS;gBACX,CAAC;gBAED,YAAY,CAAC,GAAG,CACd,UAAU,CAAC,UAAU,EACrB,yBAAyB,CACvB,mBAAmB,CAAC,YAAY,EAAE,OAAO,CAAC,EAC1C,UAAU,EACV,WAAW,EACX,YAAY,CACb,CACF,CAAC;gBACF,cAAc,GAAG;oBACf,GAAG,gBAAgB;oBACnB,gBAAgB,EAAE,YAAY;iBAC/B,CAAC;gBACF,SAAS;YACX,CAAC;YAED,MAAM,iBAAiB,GAAG,kCAAkC,CAC1D,YAAY,EACZ,iBAAiB,EACjB,WAAW,IAAI,YAAY,EAC3B,YAAY,EACZ,OAAO,EACP,gBAAgB,EAChB,WAAW;gBACT,CAAC,CAAC,8BAA8B,CAC5B,UAAU,CAAC,UAAU,EACrB,WAAW,EACX,iBAAiB,EACjB,cAAc,CACf;gBACH,CAAC,CAAC,SAAS,CACd,CAAC;YACF,IAAI,iBAAiB,EAAE,CAAC;gBACtB,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;gBAC3D,cAAc,GAAG;oBACf,GAAG,gBAAgB;oBACnB,gBAAgB,EAAE,YAAY;iBAC/B,CAAC;gBACF,SAAS;YACX,CAAC;QACH,CAAC;QAED,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,WAAW,CAChD,YAAY,EACZ,gBAAgB,CACjB,CAAC;QACF,YAAY,CAAC,GAAG,CACd,UAAU,CAAC,UAAU,EACrB,yBAAyB,CACvB;YACE,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE,YAAY;SACzB,EACD,YAAY,EACZ,WAAW,EACX,YAAY,CACb,CACF,CAAC;QACF,cAAc,GAAG;YACf,GAAG,WAAW;YACd,gBAAgB,EAAE,YAAY;SAC/B,CAAC;IACJ,CAAC;IAED,OAAO,cAAc,CAAC;AACxB,CAAC,CAAC"}

package/dist/statements/control/conditionals/guard-types.d.ts ADDED Viewed

@@ -0,0 +1,214 @@
+/**
+ * Guard info types, shared helpers, and utility functions for guard analysis.
+ *
+ * Contains:
+ * - All guard info type definitions (GuardInfo, InstanceofGuardInfo, etc.)
+ * - Shared helper functions (getGuardPropertyType, buildRenameNarrowedMap, etc.)
+ * - Truthiness/termination analysis (isDefinitelyTerminating, isNullOrUndefined, etc.)
+ * - resolveRuntimeUnionFrame alias
+ */
+import { IrExpression, IrStatement, IrType } from "@tsonic/frontend";
+import { EmitterContext, NarrowedBinding } from "../../../types.js";
+import { type NarrowedUnionMembers } from "../../../core/semantic/narrowed-union-resolution.js";
+import type { CSharpExpressionAst, CSharpTypeAst } from "../../../core/format/backend-ast/types.js";
+/**
+ * Information extracted from a type predicate guard call.
+ * Used to generate Union.IsN()/AsN() narrowing code.
+ */
+export type GuardInfo = {
+    readonly originalName: string;
+    readonly receiverAst: CSharpExpressionAst;
+    readonly targetType: IrType;
+    readonly memberN?: number;
+    readonly memberNs: readonly number[];
+    readonly unionArity: number;
+    readonly runtimeUnionArity: number;
+    readonly candidateMemberNs: readonly number[];
+    readonly candidateMembers: readonly IrType[];
+    readonly ctxWithId: EmitterContext;
+    readonly narrowedName: string;
+    readonly escapedNarrow: string;
+    readonly narrowedMap: Map<string, NarrowedBinding>;
+    readonly sourceType?: IrType;
+    readonly sourceMembers?: readonly IrType[];
+    readonly sourceCandidateMemberNs?: readonly number[];
+};
+/**
+ * Information extracted from an `instanceof` condition.
+ * Used to generate C# pattern variables for narrowing:
+ *   if (x is Foo x__is_1) { ... }
+ */
+export type InstanceofGuardInfo = {
+    readonly originalName: string;
+    readonly receiverAst: CSharpExpressionAst;
+    readonly rhsTypeAst: CSharpTypeAst;
+    readonly ctxWithId: EmitterContext;
+    readonly ctxAfterRhs: EmitterContext;
+    readonly narrowedName: string;
+    readonly escapedOrig: string;
+    readonly escapedNarrow: string;
+    readonly narrowedMap: Map<string, NarrowedBinding>;
+    readonly targetType?: IrType;
+    readonly memberN?: number;
+    readonly memberNeedsPatternCheck?: boolean;
+    readonly receiverMayBeNullish?: boolean;
+    readonly runtimeUnionArity?: number;
+    readonly candidateMemberNs?: readonly number[];
+    readonly candidateMembers?: readonly IrType[];
+};
+/**
+ * Information extracted from an `("prop" in x)` condition.
+ *
+ * This is used for union narrowing over structural union members (Union<T1..Tn>):
+ *   if ("error" in auth) { ... } → if (auth.IsN()) { var auth__N_k = auth.AsN(); ... }
+ *
+ * NOTE: We only support the common "single matching member" narrowing case today:
+ * - RHS must be an identifier
+ * - RHS inferred type must resolve to a carried runtime union (arity 2+)
+ * - LHS must be a string literal
+ * - The property must exist on exactly ONE union member (so narrowing is single-type)
+ */
+export type InGuardInfo = {
+    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>;
+};
+/**
+ * Information extracted from a discriminant literal equality check:
+ *   if (x.kind === "circle") { ... }
+ *
+ * Airplane-grade narrowing is only enabled when:
+ * - x is a carried runtime union (2+ members)
+ * - x is an identifier
+ * - kind is a non-computed property name
+ * - the compared value is a literal (string/number/boolean)
+ * - exactly ONE union member's discriminant property type includes that literal
+ *
+ * Lowering uses union tags (not runtime property equality):
+ *   x.kind === "circle"  ->  x.IsN()
+ *   x.kind !== "circle"  ->  !x.IsN()
+ */
+export type DiscriminantEqualityGuardInfo = {
+    readonly originalName: string;
+    readonly propertyName: string;
+    readonly literal: string | number | boolean;
+    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 wantTruthy: boolean;
+    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 = NarrowedUnionMembers;
+/**
+ * Information extracted from a nullable guard condition.
+ * Used to generate .Value access for narrowed nullable value types.
+ */
+export type NullableGuardInfo = {
+    readonly key: string;
+    readonly targetExpr: Extract<IrExpression, {
+        kind: "identifier" | "memberAccess";
+    }>;
+    readonly strippedType: IrType;
+    readonly narrowsInThen: boolean;
+    readonly isValueType: boolean;
+};
+/**
+ * Check if a local nominal type (class/interface) has a property with the given TS name.
+ */
+export declare const getGuardPropertyType: (type: IrType, propertyName: string, context: EmitterContext) => IrType | undefined;
+export declare const extractTransparentIdentifierTarget: (expr: IrExpression) => Extract<IrExpression, {
+    kind: "identifier";
+}> | undefined;
+export type PlainMemberAccessTarget = Extract<IrExpression, {
+    kind: "memberAccess";
+}> & {
+    readonly property: string;
+    readonly isComputed: false;
+    readonly isOptional: false;
+};
+export declare const extractTransparentMemberAccessTarget: (expr: IrExpression) => {
+    readonly access: PlainMemberAccessTarget;
+    readonly receiver: Extract<IrExpression, {
+        kind: "identifier";
+    }>;
+} | undefined;
+export declare const resolveRuntimeUnionFrame: (originalName: string, unionSourceType: IrType, context: EmitterContext) => NarrowedUnionMembers | undefined;
+export declare const resolveGuardRuntimeUnionFrame: (originalName: string, effectiveType: IrType, identifierTarget: Extract<IrExpression, {
+    kind: "identifier";
+}> | undefined, context: EmitterContext) => RuntimeUnionFrame | undefined;
+export declare const stripGlobalPrefix: (name: string) => string;
+export declare const buildRenameNarrowedMap: (originalName: string, narrowedName: string, memberType: IrType, sourceType: IrType | undefined, ctxWithId: EmitterContext) => Map<string, NarrowedBinding>;
+export declare const withoutNarrowedBinding: (context: EmitterContext, bindingKey: string) => EmitterContext;
+export declare const isDefinitelyTruthyLiteral: (value: string | number | boolean) => boolean;
+export declare const isDefinitelyFalsyType: (type: IrType, context: EmitterContext) => boolean;
+export declare const isDefinitelyTruthyType: (type: IrType, context: EmitterContext) => boolean;
+/**
+ * Conservative check: does a statement definitely terminate control flow?
+ * Used to apply post-if narrowing in patterns like:
+ *   if (guard(x)) return ...;
+ *   // x is now narrowed in the remainder of the block (2-member unions only)
+ */
+export declare const isDefinitelyTerminating: (stmt: IrStatement) => boolean;
+/**
+ * Check if an expression represents null or undefined.
+ * Handles both literal form (from null/undefined keyword) and identifier form
+ * (when TypeScript parses "undefined" as an identifier rather than keyword).
+ */
+export declare const isNullOrUndefined: (expr: IrExpression) => boolean;
+/**
+ * Try to extract nullable guard info from a simple comparison expression.
+ * This is the core check for patterns like: id !== undefined, id !== null, id != null
+ */
+export declare const tryResolveSimpleNullableGuard: (condition: IrExpression, context: EmitterContext) => NullableGuardInfo | undefined;
+/**
+ * Try to extract nullable guard info from a condition.
+ * Detects patterns like: id !== undefined, id !== null, id != null
+ * Also searches inside && (logical AND) conditions recursively.
+ *
+ * For compound conditions like `method === "GET" && id !== undefined`,
+ * we search both sides of the && for a nullable guard pattern.
+ *
+ * Returns guard info if the condition is a null/undefined check on an identifier
+ * with a nullable type that is a value type (needs .Value in C#).
+ */
+export declare const tryResolveNullableGuard: (condition: IrExpression, context: EmitterContext) => NullableGuardInfo | undefined;
+//# sourceMappingURL=guard-types.d.ts.map

package/dist/statements/control/conditionals/guard-types.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"guard-types.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAOpE,OAAO,EAGL,KAAK,oBAAoB,EAC1B,MAAM,qDAAqD,CAAC;AAS7D,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACd,MAAM,2CAA2C,CAAC;AAEnD;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,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,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;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,uBAAuB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACtD,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,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;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C,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,UAAU,EAAE,OAAO,CAAC;IAC7B,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,oBAAoB,CAAC;AAErD;;;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;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,MAAM,EACZ,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,MAAM,GAAG,SAwCX,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,YAAY,KACjB,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,GAAG,SAGlD,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,OAAO,CAC3C,YAAY,EACZ;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CACzB,GAAG;IACF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC;CAC5B,CAAC;AAEF,eAAO,MAAM,oCAAoC,GAC/C,MAAM,YAAY,KAEhB;IACE,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,YAAY,EAAE;QAAE,IAAI,EAAE,YAAY,CAAA;KAAE,CAAC,CAAC;CAClE,GACD,SAeH,CAAC;AAEF,eAAO,MAAM,wBAAwB,8GAA8B,CAAC;AAEpE,eAAO,MAAM,6BAA6B,GACxC,cAAc,MAAM,EACpB,eAAe,MAAM,EACrB,kBAAkB,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,GAAG,SAAS,EAC3E,SAAS,cAAc,KACtB,iBAAiB,GAAG,SAgBtB,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MACmB,CAAC;AAErE,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,cAAc,MAAM,EACpB,YAAY,MAAM,EAClB,YAAY,MAAM,GAAG,SAAS,EAC9B,WAAW,cAAc,KACxB,GAAG,CAAC,MAAM,EAAE,eAAe,CAW7B,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,SAAS,cAAc,EACvB,YAAY,MAAM,KACjB,cAWF,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,OAAO,MAAM,GAAG,MAAM,GAAG,OAAO,KAC/B,OAIF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAeF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAcF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,WAAW,KAAG,OAc3D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,YAAY,KAAG,OAgBtD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,iBAAiB,GAAG,SAgDtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,iBAAiB,GAAG,SAiBtB,CAAC"}