@tsonic/frontend 0.0.14 → 0.0.16

package/dist/ir/validation/attribute-collection-pass.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"attribute-collection-pass.test.js","sourceRoot":"","sources":["../../../src/ir/validation/attribute-collection-pass.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAO5E;;GAEG;AACH,MAAM,aAAa,GAAG,CAAI,KAA2B,EAAE,GAAY,EAAK,EAAE;IACxE,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,8BAA8B,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC;;OAEG;IACH,MAAM,YAAY,GAAG,CAAC,IAAsB,EAAY,EAAE,CAAC,CAAC;QAC1D,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,SAAS;QACnB,SAAS,EAAE,MAAM;QACjB,SAAS,EAAE,MAAM;QACjB,iBAAiB,EAAE,KAAK;QACxB,OAAO,EAAE,EAAE;QACX,IAAI;QACJ,OAAO,EAAE,EAAE;KACZ,CAAC,CAAC;IAEH;;OAEG;IACH,MAAM,cAAc,GAAG,CACrB,UAAkB,EAClB,QAAgB,EAChB,OAAqE,EAAE,EACvE,eAAwB,EACxB,EAAE,CAAC,CAAC;QACJ,IAAI,EAAE,qBAA8B;QACpC,UAAU,EAAE;YACV,IAAI,EAAE,MAAe;YACrB,MAAM,EAAE;gBACN,IAAI,EAAE,cAAuB;gBAC7B,MAAM,EAAE;oBACN,IAAI,EAAE,cAAuB;oBAC7B,MAAM,EAAE;wBACN,IAAI,EAAE,MAAe;wBACrB,MAAM,EAAE;4BACN,IAAI,EAAE,cAAuB;4BAC7B,MAAM,EAAE,EAAE,IAAI,EAAE,YAAqB,EAAE,IAAI,EAAE,GAAG,EAAE;4BAClD,QAAQ,EAAE,IAAI;4BACd,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,YAAqB,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;wBAC9D,UAAU,EAAE,KAAK;qBAClB;oBACD,QAAQ,EAAE,MAAM;oBAChB,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;gBACD,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,KAAK;aAClB;YACD,SAAS,EAAE;gBACT;oBACE,IAAI,EAAE,YAAqB;oBAC3B,IAAI,EAAE,QAAQ;oBACd,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAChD;gBACD,GAAG,IAAI;aACR;YACD,UAAU,EAAE,KAAK;SAClB;KACF,CAAC,CAAC;IAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAClD,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,wBAAwB;YACxB,gBAAgB;YAChB,8CAA8C;YAC9C,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,cAAc,CACZ,MAAM,EACN,uBAAuB,EACvB,EAAE,EACF,8BAA8B,CAC/B;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAEzC,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,qCAAqC;YACrC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE/C,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YAChE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,wBAAwB;YACxB,gBAAgB;YAChB,iEAAiE;YACjE,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,cAAc,CAAC,MAAM,EAAE,mBAAmB,EAAE;oBAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,qBAAqB,EAAE;iBAClD,CAAC;aACH,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3C,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,qBAAqB;aAC7B,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,wBAAwB;YACxB,sBAAsB;YACtB,uCAAuC;YACvC,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,OAAO;oBACb,UAAU,EAAE,EAAE;oBACd,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;oBAChD,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE,IAAI;iBACQ;gBAC1B,cAAc,CAAC,OAAO,EAAE,eAAe,CAAC;aACzC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAEnC,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAA0B,CAAC;YACtD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACtD,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,wBAAwB;YACxB,0CAA0C;YAC1C,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,cAAc,CAAC,UAAU,EAAE,eAAe,CAAC;aAC5C,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,8CAA8C;YAC5E,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;aACxB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB;QAC/D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,wBAAwB;YACxB,gBAAgB;YAChB,8CAA8C;YAC9C,wDAAwD;YACxD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,cAAc,CAAC,MAAM,EAAE,uBAAuB,CAAC;gBAC/C,cAAc,CAAC,MAAM,EAAE,mBAAmB,EAAE;oBAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,EAAE;iBACzC,CAAC;aACH,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAEnC,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"attribute-collection-pass.test.js","sourceRoot":"","sources":["../../../src/ir/validation/attribute-collection-pass.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAO5E;;GAEG;AACH,MAAM,aAAa,GAAG,CAAI,KAA2B,EAAE,GAAY,EAAK,EAAE;IACxE,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,8BAA8B,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC;;OAEG;IACH,MAAM,YAAY,GAAG,CAAC,IAAsB,EAAY,EAAE,CAAC,CAAC;QAC1D,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,SAAS;QACnB,SAAS,EAAE,MAAM;QACjB,SAAS,EAAE,MAAM;QACjB,iBAAiB,EAAE,KAAK;QACxB,OAAO,EAAE,EAAE;QACX,IAAI;QACJ,OAAO,EAAE,EAAE;KACZ,CAAC,CAAC;IAEH;;OAEG;IACH,MAAM,cAAc,GAAG,CAAC,IAAY,EAAE,eAAwB,EAAE,EAAE,CAAC,CAAC;QAClE,IAAI,EAAE,YAAqB;QAC3B,IAAI;QACJ,eAAe;KAChB,CAAC,CAAC;IAEH;;OAEG;IACH,8DAA8D;IAC9D,MAAM,gBAAgB,GAAG,CAAC,MAAW,EAAE,QAAgB,EAAE,EAAE,CAAC,CAAC;QAC3D,IAAI,EAAE,cAAuB;QAC7B,MAAM;QACN,QAAQ;QACR,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC;IAEH;;OAEG;IACH,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,CAAC,MAAW,EAAE,IAAoB,EAAE,EAAE,CAAC,CAAC;QACvD,IAAI,EAAE,MAAe;QACrB,MAAM;QACN,SAAS,EAAE,IAAI;QACf,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC;IAEH;;OAEG;IACH,MAAM,WAAW,GAAG,CAAC,KAAgC,EAAE,EAAE,CAAC,CAAC;QACzD,IAAI,EAAE,SAAkB;QACxB,KAAK;QACL,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC;KACnB,CAAC,CAAC;IAEH;;OAEG;IACH,MAAM,cAAc,GAAG,CACrB,UAAkB,EAClB,QAAgB,EAChB,OAAqE,EAAE,EACvE,eAAwB,EACxB,EAAE,CAAC,CAAC;QACJ,IAAI,EAAE,qBAA8B;QACpC,UAAU,EAAE,QAAQ,CAClB,gBAAgB,CACd,gBAAgB,CACd,QAAQ,CAAC,gBAAgB,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE;YACpD,cAAc,CAAC,UAAU,CAAC;SAC3B,CAAC,EACF,MAAM,CACP,EACD,KAAK,CACN,EACD;YACE,cAAc,CAAC,QAAQ,EAAE,eAAe,CAAC;YACzC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;SACzC,CACF;KACF,CAAC,CAAC;IAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAClD,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,wBAAwB;YACxB,gBAAgB;YAChB,8CAA8C;YAC9C,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,cAAc,CACZ,MAAM,EACN,uBAAuB,EACvB,EAAE,EACF,8BAA8B,CAC/B;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAEzC,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,qCAAqC;YACrC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE/C,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YAChE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,wBAAwB;YACxB,gBAAgB;YAChB,iEAAiE;YACjE,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,cAAc,CAAC,MAAM,EAAE,mBAAmB,EAAE;oBAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,qBAAqB,EAAE;iBAClD,CAAC;aACH,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3C,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,qBAAqB;aAC7B,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,wBAAwB;YACxB,sBAAsB;YACtB,uCAAuC;YACvC,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,OAAO;oBACb,UAAU,EAAE,EAAE;oBACd,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;oBAChD,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE,IAAI;iBACQ;gBAC1B,cAAc,CAAC,OAAO,EAAE,eAAe,CAAC;aACzC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAEnC,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAA0B,CAAC;YACtD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACtD,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,wBAAwB;YACxB,0CAA0C;YAC1C,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,cAAc,CAAC,UAAU,EAAE,eAAe,CAAC;aAC5C,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,8CAA8C;YAC5E,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;aACxB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB;QAC/D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,wBAAwB;YACxB,gBAAgB;YAChB,8CAA8C;YAC9C,wDAAwD;YACxD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,cAAc,CAAC,MAAM,EAAE,uBAAuB,CAAC;gBAC/C,cAAc,CAAC,MAAM,EAAE,mBAAmB,EAAE;oBAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,EAAE;iBACzC,CAAC;aACH,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAEnC,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/char-validation-pass.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Char Validation Pass
+ *
+ * Tsonic models `char` as a distinct CLR primitive.
+ *
+ * TypeScript uses string literals for single characters ("a"), but C# requires
+ * a char literal ('a') when a `char` is expected.
+ *
+ * This pass enforces that any position that *expects* `char` is provided either:
+ * - a single-character string literal, or
+ * - an expression whose inferred type is `char`.
+ *
+ * This is a HARD GATE. Any errors prevent emission.
+ *
+ * IMPORTANT: The emitter contains a safety-net ICE for invalid `char` literals.
+ * This pass must catch those cases so the compiler fails with diagnostics, not ICE.
+ */
+import { Diagnostic } from "../../types/diagnostic.js";
+import { IrModule } from "../types.js";
+export type CharValidationResult = {
+    readonly ok: boolean;
+    readonly modules: readonly IrModule[];
+    readonly diagnostics: readonly Diagnostic[];
+};
+export declare const runCharValidationPass: (modules: readonly IrModule[]) => CharValidationResult;
+//# sourceMappingURL=char-validation-pass.d.ts.map

package/dist/ir/validation/char-validation-pass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"char-validation-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/char-validation-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAoB,UAAU,EAAkB,MAAM,2BAA2B,CAAC;AACzF,OAAO,EACL,QAAQ,EAQT,MAAM,aAAa,CAAC;AAErB,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AA8kBF,eAAO,MAAM,qBAAqB,GAChC,SAAS,SAAS,QAAQ,EAAE,KAC3B,oBAUF,CAAC"}

package/dist/ir/validation/char-validation-pass.js

@@ -0,0 +1,495 @@
+/**
+ * Char Validation Pass
+ *
+ * Tsonic models `char` as a distinct CLR primitive.
+ *
+ * TypeScript uses string literals for single characters ("a"), but C# requires
+ * a char literal ('a') when a `char` is expected.
+ *
+ * This pass enforces that any position that *expects* `char` is provided either:
+ * - a single-character string literal, or
+ * - an expression whose inferred type is `char`.
+ *
+ * This is a HARD GATE. Any errors prevent emission.
+ *
+ * IMPORTANT: The emitter contains a safety-net ICE for invalid `char` literals.
+ * This pass must catch those cases so the compiler fails with diagnostics, not ICE.
+ */
+import { createDiagnostic } from "../../types/diagnostic.js";
+const moduleLocation = (ctx) => ({
+    file: ctx.filePath,
+    line: 1,
+    column: 1,
+    length: 1,
+});
+const stripNullish = (type) => {
+    if (!type)
+        return undefined;
+    if (type.kind !== "unionType")
+        return type;
+    const nonNullish = type.types.filter((t) => !(t.kind === "primitiveType" &&
+        (t.name === "null" || t.name === "undefined")));
+    if (nonNullish.length === 0)
+        return undefined;
+    if (nonNullish.length === 1)
+        return nonNullish[0];
+    return { kind: "unionType", types: nonNullish };
+};
+const resolveTypeAliases = (type, ctx, seen = new Set()) => {
+    if (!type)
+        return undefined;
+    if (type.kind === "referenceType") {
+        const alias = ctx.typeAliases.get(type.name);
+        const hasTypeArgs = (type.typeArguments?.length ?? 0) > 0;
+        const hasTypeParams = (alias?.typeParameters?.length ?? 0) > 0;
+        // Only resolve local, non-generic aliases deterministically.
+        if (alias && !hasTypeArgs && !hasTypeParams) {
+            if (seen.has(type.name))
+                return type;
+            const nextSeen = new Set(seen);
+            nextSeen.add(type.name);
+            return resolveTypeAliases(alias.type, ctx, nextSeen);
+        }
+    }
+    if (type.kind === "unionType") {
+        return {
+            kind: "unionType",
+            types: type.types.map((t) => resolveTypeAliases(t, ctx, seen) ?? t),
+        };
+    }
+    if (type.kind === "intersectionType") {
+        return {
+            kind: "intersectionType",
+            types: type.types.map((t) => resolveTypeAliases(t, ctx, seen) ?? t),
+        };
+    }
+    return type;
+};
+const isCharType = (type, ctx) => {
+    const resolved = stripNullish(resolveTypeAliases(type, ctx));
+    if (!resolved)
+        return false;
+    if (resolved.kind === "primitiveType")
+        return resolved.name === "char";
+    if (resolved.kind === "referenceType")
+        return resolved.name === "char";
+    return false;
+};
+const isCharTypedExpression = (expr, ctx) => isCharType(expr.inferredType, ctx);
+const addCharDiagnostic = (ctx, message, location, hint) => {
+    ctx.diagnostics.push(createDiagnostic("TSN7418", "error", message, location, hint));
+};
+const validateCharExpected = (expr, expectedType, ctx) => {
+    if (!isCharType(expectedType, ctx))
+        return;
+    const location = expr.sourceSpan ?? moduleLocation(ctx);
+    // Special case: allow single-character string literals in char positions.
+    if (expr.kind === "literal" && typeof expr.value === "string") {
+        if (expr.value.length !== 1) {
+            addCharDiagnostic(ctx, `Invalid char literal: expected a single-character string, got length ${expr.value.length}.`, location, `Use a single character like "A" for char, or call System.Char.Parse(...) for dynamic strings.`);
+        }
+        return;
+    }
+    // Conditional expressions are validated by validating each branch in the same expectedType.
+    if (expr.kind === "conditional") {
+        return;
+    }
+    // Otherwise, the expression itself must already be typed as char.
+    if (!isCharTypedExpression(expr, ctx)) {
+        addCharDiagnostic(ctx, "Invalid char value: expected a single-character string literal or a value typed as char.", location, `Use "A" in a char-typed position, or assign a char-typed expression (e.g., from a method returning char).`);
+    }
+};
+const validatePattern = (pattern, ctx) => {
+    switch (pattern.kind) {
+        case "identifierPattern":
+            return;
+        case "arrayPattern":
+            for (const elem of pattern.elements) {
+                if (!elem)
+                    continue;
+                validatePattern(elem.pattern, ctx);
+                if (elem.defaultExpr) {
+                    validateExpression(elem.defaultExpr, ctx);
+                }
+            }
+            return;
+        case "objectPattern":
+            for (const prop of pattern.properties) {
+                if (prop.kind === "property") {
+                    validatePattern(prop.value, ctx);
+                    if (prop.defaultExpr) {
+                        validateExpression(prop.defaultExpr, ctx);
+                    }
+                }
+                else {
+                    validatePattern(prop.pattern, ctx);
+                }
+            }
+            return;
+        default:
+            return;
+    }
+};
+const getPropertyExpectedType = (expectedType, propertyName, ctx) => {
+    const resolved = stripNullish(resolveTypeAliases(expectedType, ctx));
+    if (!resolved)
+        return undefined;
+    if (resolved.kind === "objectType") {
+        const member = resolved.members.find((m) => m.kind === "propertySignature" && m.name === propertyName);
+        return member?.kind === "propertySignature" ? member.type : undefined;
+    }
+    if (resolved.kind === "referenceType" && resolved.structuralMembers) {
+        const member = resolved.structuralMembers.find((m) => m.kind === "propertySignature" && m.name === propertyName);
+        return member?.kind === "propertySignature" ? member.type : undefined;
+    }
+    return undefined;
+};
+const validateExpression = (expr, ctx, expectedType) => {
+    // Hard gate for char expected positions (prevents emitter ICE).
+    validateCharExpected(expr, expectedType, ctx);
+    switch (expr.kind) {
+        case "literal":
+        case "identifier":
+        case "this":
+            return;
+        case "array": {
+            const resolvedExpected = stripNullish(resolveTypeAliases(expectedType, ctx));
+            const elementExpectedType = resolvedExpected?.kind === "arrayType" ? resolvedExpected.elementType : undefined;
+            for (const elem of expr.elements) {
+                if (!elem)
+                    continue;
+                if (elem.kind === "spread") {
+                    validateExpression(elem.expression, ctx);
+                }
+                else {
+                    validateExpression(elem, ctx, elementExpectedType);
+                }
+            }
+            return;
+        }
+        case "object": {
+            const effectiveType = expectedType ?? expr.contextualType;
+            for (const prop of expr.properties) {
+                if (prop.kind === "spread") {
+                    validateExpression(prop.expression, ctx);
+                    continue;
+                }
+                if (typeof prop.key === "string") {
+                    const propExpectedType = getPropertyExpectedType(effectiveType, prop.key, ctx);
+                    validateExpression(prop.value, ctx, propExpectedType);
+                }
+                else {
+                    validateExpression(prop.key, ctx);
+                    validateExpression(prop.value, ctx);
+                }
+            }
+            return;
+        }
+        case "memberAccess": {
+            validateExpression(expr.object, ctx);
+            if (expr.isComputed && typeof expr.property !== "string") {
+                validateExpression(expr.property, ctx);
+            }
+            return;
+        }
+        case "call": {
+            validateExpression(expr.callee, ctx);
+            const paramTypes = expr.parameterTypes ?? [];
+            for (let i = 0; i < expr.arguments.length; i++) {
+                const arg = expr.arguments[i];
+                if (!arg)
+                    continue;
+                const expected = paramTypes[i];
+                if (arg.kind === "spread") {
+                    validateExpression(arg.expression, ctx);
+                }
+                else {
+                    validateExpression(arg, ctx, expected);
+                }
+            }
+            return;
+        }
+        case "new": {
+            validateExpression(expr.callee, ctx);
+            const paramTypes = expr.parameterTypes ?? [];
+            for (let i = 0; i < expr.arguments.length; i++) {
+                const arg = expr.arguments[i];
+                if (!arg)
+                    continue;
+                const expected = paramTypes[i];
+                if (arg.kind === "spread") {
+                    validateExpression(arg.expression, ctx);
+                }
+                else {
+                    validateExpression(arg, ctx, expected);
+                }
+            }
+            return;
+        }
+        case "binary":
+            validateExpression(expr.left, ctx);
+            validateExpression(expr.right, ctx);
+            return;
+        case "logical":
+            validateExpression(expr.left, ctx);
+            validateExpression(expr.right, ctx);
+            return;
+        case "unary":
+            validateExpression(expr.expression, ctx, expectedType);
+            return;
+        case "update":
+            validateExpression(expr.expression, ctx);
+            return;
+        case "assignment": {
+            const leftIsPattern = "kind" in expr.left &&
+                (expr.left.kind === "identifierPattern" ||
+                    expr.left.kind === "arrayPattern" ||
+                    expr.left.kind === "objectPattern");
+            if (leftIsPattern) {
+                validatePattern(expr.left, ctx);
+                validateExpression(expr.right, ctx);
+                return;
+            }
+            const leftExpr = expr.left;
+            validateExpression(leftExpr, ctx);
+            validateExpression(expr.right, ctx, leftExpr.inferredType);
+            return;
+        }
+        case "conditional":
+            validateExpression(expr.condition, ctx);
+            validateExpression(expr.whenTrue, ctx, expectedType);
+            validateExpression(expr.whenFalse, ctx, expectedType);
+            return;
+        case "functionExpression":
+            validateBlock(expr.body, ctx, expr.returnType);
+            return;
+        case "arrowFunction":
+            if (expr.body.kind === "blockStatement") {
+                validateBlock(expr.body, ctx, expr.returnType);
+            }
+            else {
+                validateExpression(expr.body, ctx, expr.returnType);
+            }
+            return;
+        case "templateLiteral":
+            for (const subExpr of expr.expressions) {
+                validateExpression(subExpr, ctx);
+            }
+            return;
+        case "spread":
+            validateExpression(expr.expression, ctx);
+            return;
+        case "await":
+            validateExpression(expr.expression, ctx);
+            return;
+        case "numericNarrowing":
+            validateExpression(expr.expression, ctx);
+            return;
+        case "typeAssertion":
+            // Validate the operand in the asserted type context (this is where char literals matter).
+            validateExpression(expr.expression, ctx, expr.targetType);
+            return;
+        case "trycast":
+            validateExpression(expr.expression, ctx);
+            return;
+        case "stackalloc":
+            validateExpression(expr.size, ctx);
+            return;
+        default:
+            return;
+    }
+};
+const validateBlock = (block, ctx, currentReturnType) => {
+    if (!block)
+        return;
+    for (const stmt of block.statements) {
+        validateStatement(stmt, ctx, currentReturnType);
+    }
+};
+const validateClassMember = (member, ctx) => {
+    switch (member.kind) {
+        case "propertyDeclaration":
+            if (member.initializer) {
+                validateExpression(member.initializer, ctx, member.type);
+            }
+            if (member.getterBody) {
+                validateBlock(member.getterBody, ctx, member.type);
+            }
+            if (member.setterBody) {
+                validateBlock(member.setterBody, ctx, undefined);
+            }
+            return;
+        case "methodDeclaration":
+            validateBlock(member.body, ctx, member.returnType);
+            return;
+        case "constructorDeclaration":
+            validateBlock(member.body, ctx, undefined);
+            return;
+        default:
+            return;
+    }
+};
+const validateStatement = (stmt, ctx, currentReturnType) => {
+    switch (stmt.kind) {
+        case "variableDeclaration":
+            for (const decl of stmt.declarations) {
+                if (decl.initializer) {
+                    validateExpression(decl.initializer, ctx, decl.type);
+                }
+            }
+            return;
+        case "functionDeclaration":
+            validateBlock(stmt.body, ctx, stmt.returnType);
+            return;
+        case "classDeclaration":
+            for (const member of stmt.members) {
+                validateClassMember(member, ctx);
+            }
+            return;
+        case "interfaceDeclaration":
+        case "enumDeclaration":
+        case "typeAliasDeclaration":
+            return;
+        case "expressionStatement":
+            validateExpression(stmt.expression, ctx);
+            return;
+        case "returnStatement":
+            if (stmt.expression) {
+                validateExpression(stmt.expression, ctx, currentReturnType);
+            }
+            return;
+        case "ifStatement":
+            validateExpression(stmt.condition, ctx);
+            validateStatement(stmt.thenStatement, ctx, currentReturnType);
+            if (stmt.elseStatement) {
+                validateStatement(stmt.elseStatement, ctx, currentReturnType);
+            }
+            return;
+        case "blockStatement":
+            validateBlock(stmt, ctx, currentReturnType);
+            return;
+        case "forStatement":
+            if (stmt.initializer) {
+                if ("kind" in stmt.initializer && stmt.initializer.kind === "variableDeclaration") {
+                    validateStatement(stmt.initializer, ctx, currentReturnType);
+                }
+                else {
+                    validateExpression(stmt.initializer, ctx);
+                }
+            }
+            if (stmt.condition)
+                validateExpression(stmt.condition, ctx);
+            if (stmt.update)
+                validateExpression(stmt.update, ctx);
+            validateStatement(stmt.body, ctx, currentReturnType);
+            return;
+        case "forOfStatement":
+            validatePattern(stmt.variable, ctx);
+            validateExpression(stmt.expression, ctx);
+            validateStatement(stmt.body, ctx, currentReturnType);
+            return;
+        case "whileStatement":
+            validateExpression(stmt.condition, ctx);
+            validateStatement(stmt.body, ctx, currentReturnType);
+            return;
+        case "switchStatement":
+            validateExpression(stmt.expression, ctx);
+            for (const c of stmt.cases) {
+                if (c.test)
+                    validateExpression(c.test, ctx);
+                for (const s of c.statements) {
+                    validateStatement(s, ctx, currentReturnType);
+                }
+            }
+            return;
+        case "throwStatement":
+            validateExpression(stmt.expression, ctx);
+            return;
+        case "tryStatement":
+            validateBlock(stmt.tryBlock, ctx, currentReturnType);
+            if (stmt.catchClause) {
+                if (stmt.catchClause.parameter) {
+                    validatePattern(stmt.catchClause.parameter, ctx);
+                }
+                validateBlock(stmt.catchClause.body, ctx, currentReturnType);
+            }
+            if (stmt.finallyBlock) {
+                validateBlock(stmt.finallyBlock, ctx, currentReturnType);
+            }
+            return;
+        case "breakStatement":
+        case "continueStatement":
+        case "emptyStatement":
+            return;
+        case "yieldStatement":
+            if (stmt.output) {
+                validateExpression(stmt.output, ctx);
+            }
+            if (stmt.receiveTarget) {
+                validatePattern(stmt.receiveTarget, ctx);
+            }
+            return;
+        case "generatorReturnStatement":
+            if (stmt.expression) {
+                validateExpression(stmt.expression, ctx);
+            }
+            return;
+        default:
+            return;
+    }
+};
+const collectTypeAliases = (module) => {
+    const aliases = new Map();
+    const collectFromStatement = (stmt) => {
+        if (stmt.kind === "typeAliasDeclaration") {
+            aliases.set(stmt.name, stmt);
+        }
+    };
+    for (const stmt of module.body) {
+        collectFromStatement(stmt);
+    }
+    for (const exp of module.exports) {
+        if (exp.kind === "declaration") {
+            collectFromStatement(exp.declaration);
+        }
+    }
+    return aliases;
+};
+const validateModule = (module) => {
+    const ctx = {
+        filePath: module.filePath,
+        diagnostics: [],
+        typeAliases: collectTypeAliases(module),
+    };
+    for (const stmt of module.body) {
+        validateStatement(stmt, ctx, undefined);
+    }
+    for (const exp of module.exports) {
+        switch (exp.kind) {
+            case "default":
+                validateExpression(exp.expression, ctx);
+                break;
+            case "declaration":
+                validateStatement(exp.declaration, ctx, undefined);
+                break;
+            case "named":
+            case "reexport":
+                break;
+            default:
+                break;
+        }
+    }
+    return ctx.diagnostics;
+};
+export const runCharValidationPass = (modules) => {
+    const diagnostics = [];
+    for (const module of modules) {
+        diagnostics.push(...validateModule(module));
+    }
+    return {
+        ok: diagnostics.length === 0,
+        modules,
+        diagnostics,
+    };
+};
+//# sourceMappingURL=char-validation-pass.js.map

package/dist/ir/validation/char-validation-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"char-validation-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/char-validation-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,gBAAgB,EAA8B,MAAM,2BAA2B,CAAC;AAwBzF,MAAM,cAAc,GAAG,CAAC,GAA0B,EAAkB,EAAE,CAAC,CAAC;IACtE,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,IAAwB,EAAsB,EAAE;IACpE,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAClD,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAwB,EACxB,GAA0B,EAC1B,OAA4B,IAAI,GAAG,EAAE,EACjB,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1D,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAE/D,6DAA6D;QAC7D,IAAI,KAAK,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;SACpE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;SACpE,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAwB,EAAE,GAA0B,EAAW,EAAE;IACnF,MAAM,QAAQ,GAAG,YAAY,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;IACvE,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;IACvE,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAkB,EAClB,GAA0B,EACjB,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;AAEjD,MAAM,iBAAiB,GAAG,CACxB,GAA0B,EAC1B,OAAe,EACf,QAAwB,EACxB,IAAa,EACP,EAAE;IACR,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAC9D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAkB,EAClB,YAAgC,EAChC,GAA0B,EACpB,EAAE;IACR,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,GAAG,CAAC;QAAE,OAAO;IAE3C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IAExD,0EAA0E;IAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9D,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,iBAAiB,CACf,GAAG,EACH,wEAAwE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,EAC5F,QAAQ,EACR,+FAA+F,CAChG,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IAED,4FAA4F;IAC5F,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChC,OAAO;IACT,CAAC;IAED,kEAAkE;IAClE,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACtC,iBAAiB,CACf,GAAG,EACH,0FAA0F,EAC1F,QAAQ,EACR,2GAA2G,CAC5G,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,OAAkB,EAClB,GAA0B,EACpB,EAAE;IACR,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB;YACtB,OAAO;QAET,KAAK,cAAc;YACjB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACpC,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBACnC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBAC5C,CAAC;YACH,CAAC;YACD,OAAO;QAET,KAAK,eAAe;YAClB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACtC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC7B,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACjC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;wBACrB,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;YACD,OAAO;QAET;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,YAAgC,EAChC,YAAoB,EACpB,GAA0B,EACN,EAAE;IACtB,MAAM,QAAQ,GAAG,YAAY,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC;IACrE,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACjE,CAAC;QACF,OAAO,MAAM,EAAE,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QACpE,MAAM,MAAM,GAAG,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACjE,CAAC;QACF,OAAO,MAAM,EAAE,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAkB,EAClB,GAA0B,EAC1B,YAAqB,EACf,EAAE;IACR,gEAAgE;IAChE,oBAAoB,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;IAE9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,MAAM;YACT,OAAO;QAET,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,gBAAgB,GAAG,YAAY,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC;YAC7E,MAAM,mBAAmB,GACvB,gBAAgB,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;YACpF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACjC,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC3C,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,mBAAmB,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,aAAa,GAAG,YAAY,IAAI,IAAI,CAAC,cAAc,CAAC;YAC1D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACnC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;oBACzC,SAAS;gBACX,CAAC;gBACD,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;oBACjC,MAAM,gBAAgB,GAAG,uBAAuB,CAC9C,aAAa,EACb,IAAI,CAAC,GAAG,EACR,GAAG,CACJ,CAAC;oBACF,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;gBACxD,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;oBAClC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACrC,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACzD,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACzC,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC;YAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC;YAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,QAAQ;YACX,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACpC,OAAO;QAET,KAAK,SAAS;YACZ,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACpC,OAAO;QAET,KAAK,OAAO;YACV,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YACvD,OAAO;QAET,KAAK,QAAQ;YACX,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,aAAa,GACjB,MAAM,IAAI,IAAI,CAAC,IAAI;gBACnB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBACrC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;oBACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;YAExC,IAAI,aAAa,EAAE,CAAC;gBAClB,eAAe,CAAC,IAAI,CAAC,IAAiB,EAAE,GAAG,CAAC,CAAC;gBAC7C,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACpC,OAAO;YACT,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAoB,CAAC;YAC3C,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAClC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;YAC3D,OAAO;QACT,CAAC;QAED,KAAK,aAAa;YAChB,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YACrD,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YACtD,OAAO;QAET,KAAK,oBAAoB;YACvB,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/C,OAAO;QAET,KAAK,eAAe;YAClB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACxC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YACjD,CAAC;iBAAM,CAAC;gBACN,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YACtD,CAAC;YACD,OAAO;QAET,KAAK,iBAAiB;YACpB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACvC,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YACnC,CAAC;YACD,OAAO;QAET,KAAK,QAAQ;YACX,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,OAAO;YACV,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,kBAAkB;YACrB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,eAAe;YAClB,0FAA0F;YAC1F,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAC1D,OAAO;QAET,KAAK,SAAS;YACZ,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,YAAY;YACf,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,OAAO;QAET;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,KAAmC,EACnC,GAA0B,EAC1B,iBAAqC,EAC/B,EAAE;IACR,IAAI,CAAC,KAAK;QAAE,OAAO;IACnB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,MAAqB,EACrB,GAA0B,EACpB,EAAE;IACR,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,qBAAqB;YACxB,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACvB,kBAAkB,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3D,CAAC;YACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACtB,aAAa,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YACrD,CAAC;YACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACtB,aAAa,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACnD,CAAC;YACD,OAAO;QACT,KAAK,mBAAmB;YACtB,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;YACnD,OAAO;QACT,KAAK,wBAAwB;YAC3B,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YAC3C,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAiB,EACjB,GAA0B,EAC1B,iBAAqC,EAC/B,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;YACD,OAAO;QAET,KAAK,qBAAqB;YACxB,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/C,OAAO;QAET,KAAK,kBAAkB;YACrB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,mBAAmB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACnC,CAAC;YACD,OAAO;QAET,KAAK,sBAAsB,CAAC;QAC5B,KAAK,iBAAiB,CAAC;QACvB,KAAK,sBAAsB;YACzB,OAAO;QAET,KAAK,qBAAqB;YACxB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,iBAAiB;YACpB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAC9D,CAAC;YACD,OAAO;QAET,KAAK,aAAa;YAChB,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxC,iBAAiB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAC9D,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,iBAAiB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAChE,CAAC;YACD,OAAO;QAET,KAAK,gBAAgB;YACnB,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAC5C,OAAO;QAET,KAAK,cAAc;YACjB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IAAI,MAAM,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBAClF,iBAAiB,CAAC,IAAI,CAAC,WAA0B,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;gBAC7E,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,IAAI,CAAC,WAA2B,EAAE,GAAG,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,SAAS;gBAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC5D,IAAI,IAAI,CAAC,MAAM;gBAAE,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACtD,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YACrD,OAAO;QAET,KAAK,gBAAgB;YACnB,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACpC,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YACrD,OAAO;QAET,KAAK,gBAAgB;YACnB,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YACrD,OAAO;QAET,KAAK,iBAAiB;YACpB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC3B,IAAI,CAAC,CAAC,IAAI;oBAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC5C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;oBAC7B,iBAAiB,CAAC,CAAC,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;gBAC/C,CAAC;YACH,CAAC;YACD,OAAO;QAET,KAAK,gBAAgB;YACnB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,cAAc;YACjB,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YACrD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;oBAC/B,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBACnD,CAAC;gBACD,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAC/D,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAC3D,CAAC;YACD,OAAO;QAET,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB,CAAC;QACzB,KAAK,gBAAgB;YACnB,OAAO;QAET,KAAK,gBAAgB;YACnB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,eAAe,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO;QAET,KAAK,0BAA0B;YAC7B,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO;QAET;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,MAAgB,EAA+C,EAAE;IAC3F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkC,CAAC;IAE1D,MAAM,oBAAoB,GAAG,CAAC,IAAiB,EAAQ,EAAE;QACvD,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,MAAgB,EAAyB,EAAE;IACjE,MAAM,GAAG,GAA0B;QACjC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,EAAE;QACf,WAAW,EAAE,kBAAkB,CAAC,MAAM,CAAC;KACxC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,SAAS;gBACZ,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBACxC,MAAM;YACR,KAAK,aAAa;gBAChB,iBAAiB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBACnD,MAAM;YACR,KAAK,OAAO,CAAC;YACb,KAAK,UAAU;gBACb,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC,WAAW,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAA4B,EACN,EAAE;IACxB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,WAAW,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO;QACL,EAAE,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;QAC5B,OAAO;QACP,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/validation/index.d.ts

@@ -7,4 +7,7 @@ export { runNumericCoercionPass, type NumericCoercionResult, } from "./numeric-c
 export { runYieldLoweringPass, type YieldLoweringResult, } from "./yield-lowering-pass.js";
 export { runAttributeCollectionPass, type AttributeCollectionResult, } from "./attribute-collection-pass.js";
 export { runAnonymousTypeLoweringPass, type AnonymousTypeLoweringResult, } from "./anonymous-type-lowering-pass.js";
+export { runRestTypeSynthesisPass, type RestTypeSynthesisResult, } from "./rest-type-synthesis-pass.js";
+export { runArrowReturnFinalizationPass, type ArrowReturnFinalizationResult, } from "./arrow-return-finalization-pass.js";
+export { runVirtualMarkingPass, type VirtualMarkingResult, } from "./virtual-marking-pass.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/ir/validation/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,mBAAmB,EACnB,KAAK,yBAAyB,GAC/B,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mBAAmB,EACnB,KAAK,kBAAkB,GACxB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,sBAAsB,EACtB,KAAK,qBAAqB,GAC3B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,oBAAoB,EACpB,KAAK,mBAAmB,GACzB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,0BAA0B,EAC1B,KAAK,yBAAyB,GAC/B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,4BAA4B,EAC5B,KAAK,2BAA2B,GACjC,MAAM,mCAAmC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,mBAAmB,EACnB,KAAK,yBAAyB,GAC/B,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mBAAmB,EACnB,KAAK,kBAAkB,GACxB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,sBAAsB,EACtB,KAAK,qBAAqB,GAC3B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,oBAAoB,EACpB,KAAK,mBAAmB,GACzB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,0BAA0B,EAC1B,KAAK,yBAAyB,GAC/B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,4BAA4B,EAC5B,KAAK,2BAA2B,GACjC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,wBAAwB,EACxB,KAAK,uBAAuB,GAC7B,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,8BAA8B,EAC9B,KAAK,6BAA6B,GACnC,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,qBAAqB,EACrB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC"}

package/dist/ir/validation/index.js

@@ -7,4 +7,7 @@ export { runNumericCoercionPass, } from "./numeric-coercion-pass.js";
 export { runYieldLoweringPass, } from "./yield-lowering-pass.js";
 export { runAttributeCollectionPass, } from "./attribute-collection-pass.js";
 export { runAnonymousTypeLoweringPass, } from "./anonymous-type-lowering-pass.js";
+export { runRestTypeSynthesisPass, } from "./rest-type-synthesis-pass.js";
+export { runArrowReturnFinalizationPass, } from "./arrow-return-finalization-pass.js";
+export { runVirtualMarkingPass, } from "./virtual-marking-pass.js";
 //# sourceMappingURL=index.js.map

package/dist/ir/validation/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,mBAAmB,GAEpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mBAAmB,GAEpB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,sBAAsB,GAEvB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,oBAAoB,GAErB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,0BAA0B,GAE3B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,4BAA4B,GAE7B,MAAM,mCAAmC,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,mBAAmB,GAEpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mBAAmB,GAEpB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,sBAAsB,GAEvB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,oBAAoB,GAErB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,0BAA0B,GAE3B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,4BAA4B,GAE7B,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,wBAAwB,GAEzB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,8BAA8B,GAE/B,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,qBAAqB,GAEtB,MAAM,2BAA2B,CAAC"}