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

@tsonic/emitter 0.0.73 → 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 (1545) hide show

package/dist/statements/control/conditionals/guard-analysis.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"guard-analysis.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAQH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,2CAA2C,CAAC;AAGrF;;;GAGG;AACH,MAAM,qBAAqB,GAAG,CAAC,GAAwB,EAAU,EAAE,CACjE,wBAAwB,CAAC,GAAG,CAAC,CAAC;AAChC,OAAO,EACL,kCAAkC,EAClC,gBAAgB,EAChB,YAAY,EACZ,oBAAoB,EACpB,eAAe,EACf,qBAAqB,GACtB,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AA8I5E;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,IAAY,EACZ,YAAoB,EACpB,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAC5B,CAAC,MAAM,EAAmE,EAAE,CAC1E,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CACtE,CAAC;QACF,OAAO,IAAI,EAAE,IAAI,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CACtC,CAAC,MAAM,EAAmE,EAAE,CAC1E,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CACtE,CAAC;YACF,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7B,CAAC;QAED,MAAM,UAAU,GAAG,6BAA6B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChE,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBACxC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;gBAC3C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACd,MAAM,aAAa,GAAG,eAAe,CACnC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EAC7B,YAAY,EACZ,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAC3B,CAAC;YACF,IAAI,aAAa;gBAAE,OAAO,aAAa,CAAC;QAC1C,CAAC;QAED,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACtE,IAAI,gBAAgB;YAAE,OAAO,gBAAgB,CAAC;IAChD,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,6BAA6B,GAAG,CACpC,IAAgD,EAChD,OAAuB,EACyB,EAAE;IAClD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QACxC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;QAC3C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IAEd,IAAI,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,OAAO,OAAO,CAAC,UAAU,CAAC;IAC5B,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEjC,MAAM,OAAO,GAGP,EAAE,CAAC;IACT,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,CAAC,UAAU;YAAE,SAAS;QAC5B,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC;gBACX,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,UAAU,EAAE,CAAC,CAAC,UAAU;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,oEAAoE;IACpE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;IAExD,0CAA0C;IAC1C,MAAM,GAAG,GACP,IAAI,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC5E,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;QAC3D,oEAAoE;QACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;IAC5D,CAAC;IAED,8BAA8B;IAC9B,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAY,EACZ,OAAuB,EAC6B,EAAE;IACtD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,OAAO,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,GAAG,EAA6B,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACvC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;gBAAE,OAAO,SAAS,CAAC;YAC/C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,IAAY,EAAW,EAAE,CAC/C,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAE5E,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACjD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAErE,MAAM,mBAAmB,GAAG,CAC1B,IAAY,EACZ,OAAuB,EACQ,EAAE;IACjC,MAAM,YAAY,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,QAAQ,GACZ,YAAY,CAAC,IAAI,KAAK,kBAAkB;QACtC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CACtB,CAAC,MAAM,EAAwD,EAAE,CAC/D,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CACjE,IAAI,YAAY,CAAC;QACpB,CAAC,CAAC,YAAY,CAAC;IAEnB,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,KAAK,CAAC;IACxB,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC7B,QAAQ,CAAC,aAAa;QACtB,QAAQ,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC;QAClC,QAAQ,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,EAClC,CAAC;QACD,OAAO,QAAQ,CAAC,aAAa,CAAC;IAChC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,YAAoB,EACpB,eAAuB,EACvB,OAAuB,EACQ,EAAE;IACjC,MAAM,OAAO,GAAG,mBAAmB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,OAAO;YACP,iBAAiB,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC;YACvD,iBAAiB,EAAE,OAAO,CAAC,MAAM;SAClC,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,eAAe,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QACvD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,OAAO;QACP,iBAAiB,EAAE,CAAC,GAAG,QAAQ,CAAC,eAAe,CAAC;QAChD,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;KAC9C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,YAAoB,EACpB,YAAoB,EACpB,UAAkB,EAClB,SAAyB,EACK,EAAE;IAChC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAC9D,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE;QAC5B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,UAAU;KACjB,CAAC,CAAC;IACH,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAAC,KAAgC,EAAW,EAAE;IAC9E,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1E,OAAO,KAAK,KAAK,IAAI,CAAC;AACxB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC7B,OAAO,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;IACxD,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;IACnE,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,SAAuB,EACvB,OAAuB,EACoB,EAAE;IAC7C,sEAAsE;IACtE,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,mCAAmC,CAC/C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,OAAO,GACX,KAAK,CAAC,QAAQ,KAAK,KAAK;YACtB,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK;gBACxB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;oBACvB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;wBACvB,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;QAE3B,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,OAAgC,EAAE,CAAC;IAClE,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IACE,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,IAAI;QAC3B,SAAS,CAAC,QAAQ,KAAK,IAAI,EAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,SAAS,CAAC;QACnD,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,IACE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,EAChC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,MAAM;YACrB,YAAY,EAAE,IAAI,CAAC,QAAQ;YAC3B,OAAO,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,IAAI,OAAO,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,wBAAwB,CAAC,YAAY,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;IAC/E,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,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvD,wFAAwF;IACxF,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,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;YAAE,SAAS;QAEtB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,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,4EAA4E;IAC5E,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,GAAG,YAAY,KAAK,OAAO,IAAI,MAAM,EAAE,CAAC;IAC7D,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,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,OAAO;QACP,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,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;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,SAAuB,EACvB,OAAuB,EACkB,EAAE;IAC3C,MAAM,OAAO,GAAG,CACd,IAAkB,EASN,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,SAAS,CAAC;QACnD,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACzD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAExD,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,MAAM;YACrB,YAAY,EAAE,IAAI,CAAC,QAAQ;YAC3B,UAAU,EAAE,IAAI;YAChB,WAAW,EAAE,IAAI,CAAC,aAAa,EAAE,IAAI;YACrC,sBAAsB,EACpB,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,aAAa;gBACvC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;gBACpD,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;oBACzC,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW;wBACrC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,MAAM,CAAC;oBACtC,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,SAAS;SAClB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,sBAAsB,EAAE,GAC/E,KAAK,CAAC;IACR,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,wBAAwB,CAAC,YAAY,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;IAC/E,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,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,IAAI,WAAW,IAAI,sBAAsB,KAAK,SAAS,EAAE,CAAC;QACxD,MAAM,eAAe,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACvD,MAAM,gBAAgB,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE;YACpD,IAAI,MAAM,EAAE,IAAI,KAAK,eAAe;gBAAE,OAAO,KAAK,CAAC;YACnD,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe;gBACzC,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,eAAe,CAAC;gBAC3C,CAAC,CAAC,SAAS,CAAC;YACd,OAAO,YAAY,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC;QAC7E,CAAC,CAAC,CAAC;QAEH,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;YAC1B,IAAI,UAAU,KAAK,sBAAsB,EAAE,CAAC;gBAC1C,eAAe,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;gBACvC,gBAAgB,CAAC,IAAI,CACnB,iBAAiB,CAAC,gBAAgB,CAAC,IAAI,gBAAgB,GAAG,CAAC,CAC5D,CAAC;YACJ,CAAC;iBAAM,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,UAAU,GAAG,gBAAgB,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClD,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACjC,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;YACrE,IAAI,CAAC,QAAQ;gBAAE,SAAS;YAExB,MAAM,OAAO,GAAG,UAAU;gBACxB,CAAC,CAAC,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC;gBAC3C,CAAC,CAAC,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC7C,IAAI,OAAO,EAAE,CAAC;gBACZ,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACxB,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;IAED,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;IACpE,MAAM,YAAY,GAAG,GAAG,YAAY,KAAK,OAAO,IAAI,MAAM,EAAE,CAAC;IAC7D,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,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;;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,qDAAqD;IACrD,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAE5D,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;IAC1C,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;IAE1C,MAAM,eAAe,GAAG,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC;IACrD,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,wBAAwB,CAAC,YAAY,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;IAC/E,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,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvD,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,IAAI,kCAAkC,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;YAC/E,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,GAAG,YAAY,KAAK,OAAO,IAAI,MAAM,EAAE,CAAC;IAC7D,MAAM,CAAC,MAAM,CAAC,GAAG,cAAc,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAClD,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,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;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAiB,EAAW,EAAE;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzD,OAAO,IAAI,CAAC,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,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,IACE,CAAC,GAAG;QACJ,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;QACxC,GAAG,CAAC,IAAI,KAAK,YAAY,EACzB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;IAC9B,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC;IACzC,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,wBAAwB,CAAC,YAAY,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;IAC/E,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,QAAQ,GAAW;QACvB,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;KAC1B,CAAC;IACF,MAAM,GAAG,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAExC,MAAM,OAAO,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;IACxD,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,GAAG,YAAY,KAAK,OAAO,IAAI,MAAM,EAAE,CAAC;IAC7D,MAAM,CAAC,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,SAAS,CAAC,UAAU,EACpB,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,OAAO;QACP,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,WAAW;QACX,aAAa;QACb,WAAW;KACZ,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;IAC1D,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAE3D,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;IACzC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAElD,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,wDAAwD;IACxD,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAElD,gDAAgD;IAChD,MAAM,YAAY,GAAG,GAAG,YAAY,QAAQ,MAAM,EAAE,CAAC;IACrD,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAE3D,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,SAAS,CAAC,KAAK,CAAC,YAAY,IAAI,SAAS;KAChD,CAAC,CAAC;IAEH,OAAO;QACL,YAAY;QACZ,WAAW;QACX,SAAS;QACT,WAAW;QACX,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;QACX,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC,YAAY,IAAI,SAAS;KACtD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC/D,0CAA0C;IAC1C,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,wDAAwD;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAqD,EACjC,EAAE;IACtB,IAAI,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAExD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;IACxB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC9B,OAAO,GAAG,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;IACxC,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;QAC7C,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;IACjC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,SAAuB,EACQ,EAAE;IACjC,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC;IAC9B,MAAM,UAAU,GAAG,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,CAAC;IAC/C,MAAM,OAAO,GAAG,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,CAAC;IAC5C,IAAI,CAAC,UAAU,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE9C,2EAA2E;IAC3E,IAAI,OAES,CAAC;IACd,IAAI,GAAuB,CAAC;IAE5B,IACE,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC;QAClC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;YACnC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,EACzC,CAAC;QACD,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC;IAC3B,CAAC;SAAM,IACL,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC;QACjC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY;YACpC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,EAC1C,CAAC;QACD,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC;IAC5B,CAAC;IAED,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC;IACrB,CAAC;SAAM,CAAC;QACN,GAAG,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAE3B,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC;IACpC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC,CAAC,sBAAsB;IAEjE,+CAA+C;IAC/C,MAAM,WAAW,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAEpD,OAAO;QACL,GAAG;QACH,UAAU,EAAE,OAAO;QACnB,YAAY,EAAE,QAAQ;QACtB,aAAa,EAAE,UAAU;QACzB,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,SAAuB,EACvB,QAAwB,EACO,EAAE;IACjC,4BAA4B;IAC5B,MAAM,MAAM,GAAG,6BAA6B,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,uDAAuD;IACvD,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAChE,kBAAkB;QAClB,MAAM,SAAS,GAAG,uBAAuB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpE,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC;QAEhC,mBAAmB;QACnB,MAAM,UAAU,GAAG,uBAAuB,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACtE,IAAI,UAAU;YAAE,OAAO,UAAU,CAAC;IACpC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
1	+ {"version":3,"file":"guard-analysis.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAaH,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,uCAAuC;AACvC,OAAO,EACL,mCAAmC,EACnC,iCAAiC,EACjC,iBAAiB,EACjB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC"}

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

@@ -0,0 +1,20 @@
+/**
+ * Discriminant equality and property truthiness guard detectors.
+ * Handles tryResolveDiscriminantEqualityGuard and tryResolvePropertyTruthinessGuard.
+ */
+import { IrExpression } from "@tsonic/frontend";
+import { EmitterContext } from "../../../types.js";
+import type { DiscriminantEqualityGuardInfo, PropertyTruthinessGuardInfo } from "./guard-types.js";
+/**
+ * Try to extract guard info from `x.prop === <literal>` or `x.prop !== <literal>`.
+ *
+ * This supports airplane-grade discriminated union narrowing without relying on
+ * 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;
+//# sourceMappingURL=guard-detectors-discriminant.d.ts.map

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

@@ -0,0 +1 @@

+ {"version":3,"file":"guard-detectors-discriminant.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-discriminant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAKnD,OAAO,KAAK,EACV,6BAA6B,EAC7B,2BAA2B,EAC5B,MAAM,kBAAkB,CAAC;AAU1B;;;;;GAKG;AACH,eAAO,MAAM,mCAAmC,GAC9C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,6BAA6B,GAAG,SAgJlC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iCAAiC,GAC5C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,2BAA2B,GAAG,SAyGhC,CAAC"}

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

@@ -0,0 +1,214 @@
+/**
+ * Discriminant equality and property truthiness guard detectors.
+ * Handles tryResolveDiscriminantEqualityGuard and tryResolvePropertyTruthinessGuard.
+ */
+import { escapeCSharpIdentifier } from "../../../emitter-types/index.js";
+import { emitRemappedLocalName } from "../../../core/format/local-names.js";
+import { makeNarrowedLocalName } from "../../../core/semantic/narrowing-keys.js";
+import { tryGetLiteralSet } from "../../../core/semantic/guard-primitives.js";
+import { getGuardPropertyType, extractTransparentMemberAccessTarget, resolveGuardRuntimeUnionFrame, buildRenameNarrowedMap, isDefinitelyFalsyType, isDefinitelyTruthyType, } from "./guard-types.js";
+/**
+ * Try to extract guard info from `x.prop === <literal>` or `x.prop !== <literal>`.
+ *
+ * This supports airplane-grade discriminated union narrowing without relying on
+ * TypeScript flow analysis, by mapping the literal to exactly one union member.
+ */
+export const tryResolveDiscriminantEqualityGuard = (condition, context) => {
+    // Normalize `!(x.prop === lit)` to `x.prop !== lit` (and vice versa).
+    if (condition.kind === "unary" && condition.operator === "!") {
+        const inner = tryResolveDiscriminantEqualityGuard(condition.expression, context);
+        if (!inner)
+            return undefined;
+        const flipped = inner.operator === "==="
+            ? "!=="
+            : inner.operator === "!=="
+                ? "==="
+                : inner.operator === "=="
+                    ? "!="
+                    : inner.operator === "!="
+                        ? "=="
+                        : inner.operator;
+        return { ...inner, operator: flipped };
+    }
+    if (condition.kind !== "binary")
+        return undefined;
+    if (condition.operator !== "===" &&
+        condition.operator !== "!==" &&
+        condition.operator !== "==" &&
+        condition.operator !== "!=") {
+        return undefined;
+    }
+    const extract = (left, right) => {
+        const target = extractTransparentMemberAccessTarget(left);
+        if (!target)
+            return undefined;
+        if (right.kind !== "literal")
+            return undefined;
+        if (typeof right.value !== "string" &&
+            typeof right.value !== "number" &&
+            typeof right.value !== "boolean") {
+            return undefined;
+        }
+        return {
+            receiver: target.receiver,
+            propertyName: target.access.property,
+            literal: right.value,
+        };
+    };
+    const direct = extract(condition.left, condition.right);
+    const swapped = direct ? undefined : extract(condition.right, condition.left);
+    const match = direct ?? swapped;
+    if (!match)
+        return undefined;
+    const { receiver, propertyName, literal } = match;
+    const originalName = receiver.name;
+    const unionSourceType = receiver.inferredType;
+    if (!unionSourceType)
+        return undefined;
+    const frame = resolveGuardRuntimeUnionFrame(originalName, unionSourceType, receiver, context);
+    if (!frame)
+        return undefined;
+    const { members, candidateMemberNs, runtimeUnionArity } = frame;
+    const unionArity = members.length;
+    if (unionArity < 2)
+        return undefined;
+    // Find which union members have a discriminant property type that includes the literal.
+    const matchingIndices = [];
+    const matchingMemberNs = [];
+    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 literals = tryGetLiteralSet(propType, context);
+        if (!literals)
+            continue;
+        if (literals.has(literal)) {
+            matchingIndices.push(i);
+            matchingMemberNs.push(candidateMemberNs[i] ?? i + 1);
+        }
+    }
+    // Only support the common airplane-grade case: exactly one matching member.
+    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 = makeNarrowedLocalName(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, unionSourceType, ctxWithId);
+    return {
+        originalName,
+        propertyName,
+        literal,
+        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;
+        }
+        const target = extractTransparentMemberAccessTarget(expr);
+        if (!target)
+            return undefined;
+        return {
+            receiver: target.receiver,
+            propertyName: target.access.property,
+            wantTruthy: true,
+        };
+    };
+    const match = extract(condition);
+    if (!match)
+        return undefined;
+    const { receiver, propertyName, wantTruthy } = match;
+    const originalName = receiver.name;
+    const unionSourceType = receiver.inferredType;
+    if (!unionSourceType)
+        return undefined;
+    const frame = resolveGuardRuntimeUnionFrame(originalName, unionSourceType, receiver, context);
+    if (!frame)
+        return undefined;
+    const { members, candidateMemberNs, runtimeUnionArity } = frame;
+    const unionArity = members.length;
+    if (unionArity < 2)
+        return undefined;
+    const matchingIndices = [];
+    const matchingMemberNs = [];
+    for (let i = 0; i < members.length; i++) {
+        const member = members[i];
+        if (!member)
+            return undefined;
+        const propType = getGuardPropertyType(member, propertyName, context);
+        if (!propType)
+            return undefined;
+        const isTruthy = isDefinitelyTruthyType(propType, context);
+        const isFalsy = isDefinitelyFalsyType(propType, context);
+        if (isTruthy === isFalsy) {
+            return undefined;
+        }
+        if (isTruthy === wantTruthy) {
+            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 = makeNarrowedLocalName(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, unionSourceType, ctxWithId);
+    return {
+        originalName,
+        propertyName,
+        wantTruthy,
+        memberN,
+        unionArity,
+        runtimeUnionArity,
+        candidateMemberNs,
+        candidateMembers: members,
+        ctxWithId,
+        narrowedName,
+        escapedOrig,
+        escapedNarrow,
+        narrowedMap,
+    };
+};
+//# sourceMappingURL=guard-detectors-discriminant.js.map

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

@@ -0,0 +1 @@

+ {"version":3,"file":"guard-detectors-discriminant.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-discriminant.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AAK9E,OAAO,EACL,oBAAoB,EACpB,oCAAoC,EACpC,6BAA6B,EAC7B,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAE1B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,SAAuB,EACvB,OAAuB,EACoB,EAAE;IAC7C,sEAAsE;IACtE,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,mCAAmC,CAC/C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,OAAO,GACX,KAAK,CAAC,QAAQ,KAAK,KAAK;YACtB,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK;gBACxB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;oBACvB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;wBACvB,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;QAE3B,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,OAAgC,EAAE,CAAC;IAClE,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IACE,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,IAAI;QAC3B,SAAS,CAAC,QAAQ,KAAK,IAAI,EAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;QACd,MAAM,MAAM,GAAG,oCAAoC,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,IACE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,EAChC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;YACpC,OAAO,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,IAAI,OAAO,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,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,wFAAwF;IACxF,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,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;YAAE,SAAS;QAEtB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,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,4EAA4E;IAC5E,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,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1E,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,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,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;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,SAAuB,EACvB,OAAuB,EACkB,EAAE;IAC3C,MAAM,OAAO,GAAG,CACd,IAAkB,EAON,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,CAAC;QAED,MAAM,MAAM,GAAG,oCAAoC,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAE9B,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;YACpC,UAAU,EAAE,IAAI;SACjB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACrD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,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,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,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;YAAE,OAAO,SAAS,CAAC;QAE9B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAEhC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACzD,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC5B,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,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;IACpE,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1E,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,UAAU;QACV,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"}

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

@@ -0,0 +1,32 @@
+/**
+ * Structural guard detectors: in-guard, predicate-guard, and instanceof-guard.
+ * Handles tryResolveInGuard, tryResolvePredicateGuard, and tryResolveInstanceofGuard.
+ */
+import { IrExpression } from "@tsonic/frontend";
+import { EmitterContext } from "../../../types.js";
+import type { GuardInfo, InstanceofGuardInfo, InGuardInfo } from "./guard-types.js";
+/**
+ * Try to extract guard info from an `("prop" in x)` binary expression.
+ */
+export declare const tryResolveInGuard: (condition: IrExpression, context: EmitterContext) => InGuardInfo | undefined;
+/**
+ * Try to extract guard info from a predicate call expression.
+ * Returns GuardInfo if:
+ * - call.narrowing is typePredicate
+ * - predicate arg is identifier
+ * - arg.inferredType resolves to unionType
+ * - targetType exists in union
+ */
+export declare const tryResolvePredicateGuard: (call: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext) => GuardInfo | undefined;
+/**
+ * Try to extract guard info from an `instanceof` binary expression.
+ * Returns guard info if:
+ * - condition is `binary` with operator `instanceof`
+ * - lhs is identifier
+ *
+ * Note: rhs is emitted as a type name (C# pattern).
+ */
+export declare const tryResolveInstanceofGuard: (condition: IrExpression, context: EmitterContext) => InstanceofGuardInfo | undefined;
+//# sourceMappingURL=guard-detectors-structural.d.ts.map

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

@@ -0,0 +1 @@

+ {"version":3,"file":"guard-detectors-structural.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-structural.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAU,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAyBnD,OAAO,KAAK,EACV,SAAS,EACT,mBAAmB,EACnB,WAAW,EACZ,MAAM,kBAAkB,CAAC;AAQ1B;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,WAAW,GAAG,SAuFhB,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,SA0Gd,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,GACpC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,mBAAmB,GAAG,SA2JxB,CAAC"}

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

@@ -0,0 +1,302 @@
+/**
+ * Structural guard detectors: in-guard, predicate-guard, and instanceof-guard.
+ * Handles tryResolveInGuard, tryResolvePredicateGuard, and tryResolveInstanceofGuard.
+ */
+import { emitExpressionAst } from "../../../expression-emitter.js";
+import { emitIdentifier } from "../../../expressions/identifiers.js";
+import { resolveIdentifierRuntimeCarrierType } from "../../../expressions/direct-storage-types.js";
+import { emitTypeAst } from "../../../type-emitter.js";
+import { hasDeterministicPropertyMembership, splitRuntimeNullishUnionMembers, } from "../../../core/semantic/type-resolution.js";
+import { findExactRuntimeUnionMemberIndices, findRuntimeUnionMemberIndices, findRuntimeUnionInstanceofMemberIndices, } from "../../../core/semantic/runtime-unions.js";
+import { escapeCSharpIdentifier } from "../../../emitter-types/index.js";
+import { emitRemappedLocalName } from "../../../core/format/local-names.js";
+import { buildRuntimeSubsetExpressionAst } from "../../../core/semantic/narrowing-builders.js";
+import { getMemberAccessNarrowKey, makeNarrowedLocalName, } from "../../../core/semantic/narrowing-keys.js";
+import { normalizeInstanceofTargetType } from "../../../core/semantic/instanceof-targets.js";
+import { unwrapTransparentNarrowingTarget } from "../../../core/semantic/transparent-expressions.js";
+import { buildSubsetUnionType } from "./branch-context.js";
+import { extractTransparentIdentifierTarget, resolveGuardRuntimeUnionFrame, buildRenameNarrowedMap, withoutNarrowedBinding, } from "./guard-types.js";
+/**
+ * Try to extract guard info from an `("prop" in x)` binary expression.
+ */
+export const tryResolveInGuard = (condition, context) => {
+    if (condition.kind !== "binary")
+        return undefined;
+    if (condition.operator !== "in")
+        return undefined;
+    // LHS must be a string literal
+    if (condition.left.kind !== "literal")
+        return undefined;
+    if (typeof condition.left.value !== "string")
+        return undefined;
+    // RHS must be a bindable identifier, even if transparent assertion wrappers
+    // were introduced around it during earlier contextual typing/narrowing passes.
+    const target = extractTransparentIdentifierTarget(condition.right);
+    if (!target)
+        return undefined;
+    const propertyName = condition.left.value;
+    const originalName = target.name;
+    const unionSourceType = condition.right.inferredType ?? target.inferredType;
+    if (!unionSourceType)
+        return undefined;
+    const frame = resolveGuardRuntimeUnionFrame(originalName, unionSourceType, target, context);
+    if (!frame)
+        return undefined;
+    const { members, candidateMemberNs, runtimeUnionArity } = frame;
+    const unionArity = members.length;
+    if (unionArity < 2)
+        return undefined;
+    // Find which union members contain the property.
+    const matchingIndices = [];
+    const matchingMemberNs = [];
+    for (let i = 0; i < members.length; i++) {
+        const member = members[i];
+        if (!member || member.kind !== "referenceType")
+            continue;
+        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 (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 = makeNarrowedLocalName(originalName, memberN ?? "subset", nextId);
+    const escapedOrig = emitRemappedLocalName(originalName, context);
+    const escapedNarrow = escapeCSharpIdentifier(narrowedName);
+    const memberType = members[matchingIndex];
+    if (!memberType)
+        return undefined;
+    const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, memberType, unionSourceType, ctxWithId);
+    return {
+        originalName,
+        propertyName,
+        memberN,
+        unionArity,
+        runtimeUnionArity,
+        candidateMemberNs,
+        candidateMembers: members,
+        ctxWithId,
+        narrowedName,
+        escapedOrig,
+        escapedNarrow,
+        narrowedMap,
+    };
+};
+/**
+ * Try to extract guard info from a predicate call expression.
+ * Returns GuardInfo if:
+ * - call.narrowing is typePredicate
+ * - predicate arg is identifier
+ * - arg.inferredType resolves to unionType
+ * - targetType exists in union
+ */
+export const tryResolvePredicateGuard = (call, context) => {
+    const narrowing = call.narrowing;
+    if (!narrowing || narrowing.kind !== "typePredicate")
+        return undefined;
+    const arg = call.arguments[narrowing.argIndex];
+    if (!arg || ("kind" in arg && arg.kind === "spread")) {
+        return undefined;
+    }
+    const target = unwrapTransparentNarrowingTarget(arg);
+    if (!target)
+        return undefined;
+    const originalName = target.kind === "identifier"
+        ? target.name
+        : getMemberAccessNarrowKey(target);
+    if (!originalName)
+        return undefined;
+    const unionSourceType = arg.inferredType ?? target.inferredType;
+    if (!unionSourceType)
+        return undefined;
+    const frame = resolveGuardRuntimeUnionFrame(originalName, unionSourceType, target.kind === "identifier" ? target : undefined, context);
+    if (!frame)
+        return undefined;
+    const matchingIndices = findRuntimeUnionMemberIndices(frame.members, narrowing.targetType, context);
+    if (matchingIndices.length === 0)
+        return undefined;
+    const memberNs = matchingIndices
+        .map((index) => frame.candidateMemberNs[index] ?? index + 1)
+        .filter((memberN) => memberN !== undefined);
+    if (memberNs.length === 0)
+        return undefined;
+    const idx = matchingIndices[0];
+    const memberN = matchingIndices.length === 1 && idx !== undefined
+        ? (frame.candidateMemberNs[idx] ?? idx + 1)
+        : undefined;
+    const unionArity = frame.members.length;
+    const nextId = (context.tempVarId ?? 0) + 1;
+    const ctxWithId = { ...context, tempVarId: nextId };
+    const narrowedName = makeNarrowedLocalName(originalName, memberN ?? "subset", nextId);
+    const rawContext = withoutNarrowedBinding(context, originalName);
+    const [argAst] = emitExpressionAst(target, rawContext, unionSourceType);
+    const escapedNarrow = escapeCSharpIdentifier(narrowedName);
+    const currentSubsetBinding = context.narrowedBindings?.get(originalName);
+    const sourceType = currentSubsetBinding?.sourceType ??
+        currentSubsetBinding?.type ??
+        buildSubsetUnionType(frame.members) ??
+        unionSourceType;
+    const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, narrowing.targetType, sourceType, ctxWithId);
+    const hasExplicitSourceFrame = currentSubsetBinding?.kind === "runtimeSubset" &&
+        currentSubsetBinding.sourceMembers &&
+        currentSubsetBinding.sourceCandidateMemberNs &&
+        currentSubsetBinding.sourceMembers.length ===
+            currentSubsetBinding.sourceCandidateMemberNs.length;
+    const sourceMembers = hasExplicitSourceFrame
+        ? currentSubsetBinding.sourceMembers
+        : frame.runtimeUnionArity === frame.members.length
+            ? frame.members
+            : undefined;
+    const sourceCandidateMemberNs = hasExplicitSourceFrame
+        ? currentSubsetBinding.sourceCandidateMemberNs
+        : frame.runtimeUnionArity === frame.candidateMemberNs.length
+            ? frame.candidateMemberNs
+            : undefined;
+    return {
+        originalName,
+        receiverAst: argAst,
+        targetType: narrowing.targetType,
+        memberN,
+        memberNs,
+        unionArity,
+        runtimeUnionArity: frame.runtimeUnionArity,
+        candidateMemberNs: frame.candidateMemberNs,
+        candidateMembers: frame.members,
+        ctxWithId,
+        narrowedName,
+        escapedNarrow,
+        narrowedMap,
+        sourceType,
+        sourceMembers,
+        sourceCandidateMemberNs,
+    };
+};
+/**
+ * Try to extract guard info from an `instanceof` binary expression.
+ * Returns guard info if:
+ * - condition is `binary` with operator `instanceof`
+ * - lhs is identifier
+ *
+ * Note: rhs is emitted as a type name (C# pattern).
+ */
+export const tryResolveInstanceofGuard = (condition, context) => {
+    if (condition.kind !== "binary")
+        return undefined;
+    if (condition.operator !== "instanceof")
+        return undefined;
+    const target = unwrapTransparentNarrowingTarget(condition.left);
+    if (!target)
+        return undefined;
+    const originalName = target.kind === "identifier"
+        ? target.name
+        : getMemberAccessNarrowKey(target);
+    if (!originalName)
+        return undefined;
+    const unionSourceType = condition.left.inferredType ?? target.inferredType;
+    const currentType = context.narrowedBindings?.get(originalName)?.type ?? unionSourceType;
+    const activeNarrowedBinding = context.narrowedBindings?.get(originalName);
+    const [lhsAst, ctxAfterLhs] = (() => {
+        if (target.kind !== "identifier") {
+            return emitExpressionAst(target, context, currentType);
+        }
+        if (activeNarrowedBinding?.kind === "expr") {
+            return [activeNarrowedBinding.exprAst, context];
+        }
+        if (activeNarrowedBinding?.kind === "runtimeSubset") {
+            const subsetAst = buildRuntimeSubsetExpressionAst(target, activeNarrowedBinding, context);
+            if (subsetAst) {
+                return subsetAst;
+            }
+        }
+        return emitIdentifier(target, context);
+    })();
+    const escapedOrig = target.kind === "identifier"
+        ? emitRemappedLocalName(originalName, context)
+        : originalName;
+    const nextId = (ctxAfterLhs.tempVarId ?? 0) + 1;
+    const ctxWithId = { ...ctxAfterLhs, tempVarId: nextId };
+    const [rhsAst, rhsCtxAfterExpr] = emitExpressionAst(condition.right, ctxWithId);
+    const inferredRhsType = normalizeInstanceofTargetType(condition.right.inferredType);
+    let rhsTypeAst;
+    let ctxAfterRhs = rhsCtxAfterExpr;
+    if (rhsAst.kind === "typeReferenceExpression") {
+        rhsTypeAst = rhsAst.type;
+    }
+    else if (inferredRhsType) {
+        const [emittedTypeAst, nextCtx] = emitTypeAst(inferredRhsType, rhsCtxAfterExpr);
+        rhsTypeAst = emittedTypeAst;
+        ctxAfterRhs = nextCtx;
+    }
+    if (!rhsTypeAst) {
+        return undefined;
+    }
+    // Pattern variable name for the narrowed value.
+    const narrowedName = makeNarrowedLocalName(originalName, "is", nextId);
+    const escapedNarrow = escapeCSharpIdentifier(narrowedName);
+    const carrierSourceType = (target.kind === "identifier"
+        ? resolveIdentifierRuntimeCarrierType(target, context)
+        : undefined) ??
+        context.narrowedBindings?.get(originalName)?.sourceType ??
+        unionSourceType;
+    const receiverMayBeNullish = [currentType, carrierSourceType, unionSourceType]
+        .filter((candidate) => candidate !== undefined)
+        .some((candidate) => splitRuntimeNullishUnionMembers(candidate)?.hasRuntimeNullish === true);
+    const narrowedMap = new Map(ctxAfterRhs.narrowedBindings ?? []);
+    narrowedMap.set(originalName, {
+        kind: "rename",
+        name: narrowedName,
+        type: inferredRhsType ?? undefined,
+        sourceType: carrierSourceType,
+    });
+    const runtimeUnionFrame = currentType && inferredRhsType
+        ? resolveGuardRuntimeUnionFrame(originalName, currentType, target.kind === "identifier" ? target : undefined, context)
+        : undefined;
+    const runtimeMatchIndices = runtimeUnionFrame && inferredRhsType
+        ? findRuntimeUnionInstanceofMemberIndices(runtimeUnionFrame.members, inferredRhsType, context)
+        : undefined;
+    const runtimeMatchIndex = runtimeMatchIndices?.[0];
+    const memberNeedsPatternCheck = runtimeUnionFrame &&
+        runtimeMatchIndex !== undefined &&
+        inferredRhsType &&
+        runtimeUnionFrame.members[runtimeMatchIndex]
+        ? findExactRuntimeUnionMemberIndices([runtimeUnionFrame.members[runtimeMatchIndex]], inferredRhsType, context).length === 0
+        : false;
+    const memberN = runtimeUnionFrame && runtimeMatchIndex !== undefined
+        ? (runtimeUnionFrame.candidateMemberNs[runtimeMatchIndex] ??
+            runtimeMatchIndex + 1)
+        : undefined;
+    const receiverAst = runtimeUnionFrame && target.kind === "identifier"
+        ? {
+            kind: "identifierExpression",
+            identifier: escapedOrig,
+        }
+        : lhsAst;
+    return {
+        originalName,
+        receiverAst,
+        rhsTypeAst,
+        ctxWithId,
+        ctxAfterRhs,
+        narrowedName,
+        escapedOrig,
+        escapedNarrow,
+        narrowedMap,
+        targetType: inferredRhsType ?? undefined,
+        memberN,
+        memberNeedsPatternCheck,
+        receiverMayBeNullish,
+        runtimeUnionArity: runtimeUnionFrame?.runtimeUnionArity,
+        candidateMemberNs: runtimeUnionFrame?.candidateMemberNs,
+        candidateMembers: runtimeUnionFrame?.members,
+    };
+};
+//# sourceMappingURL=guard-detectors-structural.js.map