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

@tsonic/frontend 0.0.74 → 0.0.75

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

Files changed (1782) hide show

package/dist/ir/type-system/call-resolution-unification.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"call-resolution-unification.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-unification.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EACL,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAGzC,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChF,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EACL,eAAe,EACf,sBAAsB,GACvB,MAAM,gCAAgC,CAAC;AAExC,MAAM,gCAAgC,GAAG,IAAI,GAAG,CAAC;IAC/C,eAAe;IACf,uBAAuB;IACvB,wBAAwB;IACxB,gCAAgC;CACjC,CAAC,CAAC;AAEH,4EAA4E;AAC5E,4EAA4E;AAC5E,4EAA4E;AAE5E;;;;GAIG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,KAAsB,EACtB,gBAA8C,EAC9C,cAA+C,EAC/C,QAAyC,EACR,EAAE;IACnC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAEpD,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAC;IAChD,MAAM,uBAAuB,GAAG,IAAI,OAAO,EAAkB,CAAC;IAC9D,IAAI,0BAA0B,GAAG,CAAC,CAAC;IAEnC,MAAM,uBAAuB,GAAG,CAAC,IAAqB,EAAU,EAAE;QAChE,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,UAAU,QAAQ,EAAE,CAAC;QAC9B,CAAC;QACD,MAAM,IAAI,GAAG,0BAA0B,CAAC;QACxC,0BAA0B,IAAI,CAAC,CAAC;QAChC,uBAAuB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,UAAU,IAAI,EAAE,CAAC;IAC1B,CAAC,CAAC;IAEF,MAAM,4CAA4C,GAAG,CACnD,IAAY,EACZ,KAAa,EACJ,EAAE,CACX,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC;QACvB,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAE7E,MAAM,0BAA0B,GAAG,CAAC,IAAY,EAAW,EAAE;QAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,KAAK;iBACd,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC;iBAC9C,IAAI,CACH,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,kBAAkB,CAAC,SAAS,CAAC;gBAC9B,0BAA0B,CAAC,SAAS,CAAC,CACxC,CAAC;QACN,CAAC;QAED,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,eAAe;YAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACrB,IAAI,CAAC,IAAI,KAAK,SAAS;gBACvB,2BAA2B,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC,CACvE,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,uCAAuC,GAAG,CAC9C,IAAY,EAMA,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CACzC,CAAC,SAAS,EAAuB,EAAE,CACjC,SAAS,KAAK,SAAS,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAC5D,CAAC;QACF,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CACtC,CAAC,SAAS,EAAuB,EAAE,CACjC,SAAS,KAAK,SAAS,IAAI,kBAAkB,CAAC,SAAS,CAAC,CAC3D,CAAC;QAEF,IACE,iBAAiB,CAAC,MAAM,KAAK,CAAC;YAC9B,cAAc,CAAC,MAAM,KAAK,CAAC;YAC3B,iBAAiB,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EACtE,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,oBAAoB,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAClD,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC1B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,gBAAgB,EAAE,oBAAoB;YACtC,cAAc;SACf,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,wCAAwC,GAAG,CAC/C,IAAY,EACO,EAAE,CACrB,IAAI,CAAC,IAAI,KAAK,WAAW;QACvB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CACf,CAAC,SAAS,EAAuB,EAAE,CACjC,SAAS,KAAK,SAAS;YACvB,SAAS,CAAC,IAAI,KAAK,eAAe;YAClC,SAAS,CAAC,IAAI,KAAK,WAAW,CACjC;QACH,CAAC,CAAC,EAAE,CAAC;IAET,MAAM,sBAAsB,GAAG,CAC7B,QAAgB,EAChB,IAAY,EACQ,EAAE;QACtB,MAAM,gBAAgB,GAAG,uCAAuC,CAAC,QAAQ,CAAC,CAAC;QAC3E,MAAM,YAAY,GAAG,uCAAuC,CAAC,IAAI,CAAC,CAAC;QACnE,MAAM,YAAY,GAAG,gBAAgB,EAAE,gBAAgB,IAAI,QAAQ,CAAC;QACpE,MAAM,QAAQ,GAAG,YAAY,EAAE,gBAAgB,IAAI,IAAI,CAAC;QACxD,MAAM,qBAAqB,GAAG,0BAA0B,CAAC,YAAY,CAAC,CAAC;QACvE,MAAM,iBAAiB,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;QAE/D,IAAI,qBAAqB,IAAI,iBAAiB,EAAE,CAAC;YAC/C,MAAM,gBAAgB,GAAW;gBAC/B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC;YACF,MAAM,cAAc,GAAG;gBACrB,GAAG,CAAC,gBAAgB,EAAE,cAAc,IAAI,EAAE,CAAC;gBAC3C,GAAG,CAAC,YAAY,EAAE,cAAc,IAAI,EAAE,CAAC;gBACvC,GAAG,wCAAwC,CAAC,QAAQ,CAAC;gBACrD,GAAG,wCAAwC,CAAC,IAAI,CAAC;aAClD,CAAC;YACF,OAAO,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC9B,CAAC,CAAC,mBAAmB,CAAC,CAAC,gBAAgB,EAAE,GAAG,cAAc,CAAC,CAAC;gBAC5D,CAAC,CAAC,gBAAgB,CAAC;QACvB,CAAC;QAED,IACE,YAAY;YACZ,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,CAAC,gBAAgB,CAAC,EAC9D,CAAC;YACD,OAAO,mBAAmB,CAAC;gBACzB,YAAY,CAAC,gBAAgB;gBAC7B,GAAG,YAAY,CAAC,cAAc;aAC/B,CAAC,CAAC;QACL,CAAC;QAED,IACE,gBAAgB;YAChB,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,EAC9D,CAAC;YACD,OAAO,mBAAmB,CAAC;gBACzB,gBAAgB,CAAC,gBAAgB;gBACjC,GAAG,gBAAgB,CAAC,cAAc;aACnC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAW,EAAE,CACtD,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;IAExD,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAsB,EAAE;QACpE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;QAC3D,IAAI,UAAU,KAAK,aAAa,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7D,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,MAAM,uCAAuC,GAAG,CAC9C,aAAqD,EACjC,EAAE;QACtB,IAAI,iBAAqC,CAAC;QAC1C,IAAI,oBAAoB,GAAG,KAAK,CAAC;QACjC,IAAI,eAAe,GAAG,KAAK,CAAC;QAE5B,KAAK,MAAM,SAAS,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC;YAC5C,IAAI,CAAC,SAAS,IAAI,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;gBAChD,SAAS;YACX,CAAC;YAED,IACE,SAAS,CAAC,IAAI,KAAK,mBAAmB;gBACtC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EACxC,CAAC;gBACD,IACE,iBAAiB,KAAK,SAAS;oBAC/B,iBAAiB,KAAK,SAAS,CAAC,IAAI,EACpC,CAAC;oBACD,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,iBAAiB,GAAG,SAAS,CAAC,IAAI,CAAC;gBACnC,oBAAoB,GAAG,IAAI,CAAC;gBAC5B,SAAS;YACX,CAAC;YAED,MAAM,KAAK,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;YAClD,IACE,KAAK,EAAE,IAAI,KAAK,mBAAmB;gBACnC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EACpC,CAAC;gBACD,IACE,iBAAiB,KAAK,SAAS;oBAC/B,iBAAiB,KAAK,KAAK,CAAC,IAAI,EAChC,CAAC;oBACD,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,iBAAiB,GAAG,KAAK,CAAC,IAAI,CAAC;gBAC/B,eAAe,GAAG,IAAI,CAAC;gBACvB,SAAS;YACX,CAAC;YAED,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO,iBAAiB,IAAI,oBAAoB,IAAI,eAAe;YACjE,CAAC,CAAC,iBAAiB;YACnB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,uCAAuC,GAAG,CAC9C,YAAoB,EACA,EAAE;QACtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;QACrD,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACtC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,UAA8B,CAAC;QACnC,IAAI,eAAe,GAAG,KAAK,CAAC;QAE5B,KAAK,MAAM,SAAS,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;YAC3C,IAAI,CAAC,SAAS,IAAI,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;gBAChD,SAAS;YACX,CAAC;YAED,MAAM,KAAK,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;YAClD,IAAI,KAAK,EAAE,CAAC;gBACV,eAAe,GAAG,IAAI,CAAC;gBACvB,IACE,UAAU;oBACV,CAAC,4CAA4C,CAAC,UAAU,EAAE,KAAK,CAAC,EAChE,CAAC;oBACD,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,UAAU,GAAG,UAAU,IAAI,KAAK,CAAC;gBACjC,SAAS;YACX,CAAC;YAED,IACE,UAAU;gBACV,CAAC,4CAA4C,CAAC,UAAU,EAAE,SAAS,CAAC,EACpE,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,UAAU,GAAG,UAAU,IAAI,SAAS,CAAC;QACvC,CAAC;QAED,OAAO,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IAClD,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,CACf,aAAqB,EACrB,YAAoB,EACpB,mBAAwC,EAC/B,EAAE;QACX,MAAM,kCAAkC,GAAG,CACzC,YAA6B,EAC7B,WAA4B,EACnB,EAAE;YACX,MAAM,gBAAgB,GAAG,YAAY,CAAC,iBAAiB,IAAI,EAAE,CAAC;YAC9D,MAAM,eAAe,GAAG,WAAW,CAAC,iBAAiB,IAAI,EAAE,CAAC;YAC5D,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClE,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,OAAO,GAAG,GAAG,uBAAuB,CAAC,YAAY,CAAC,KAAK,uBAAuB,CAClF,WAAW,CACZ,EAAE,CAAC;YACJ,IAAI,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvC,OAAO,IAAI,CAAC;YACd,CAAC;YAED,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,CAAC;gBACH,KAAK,MAAM,eAAe,IAAI,gBAAgB,EAAE,CAAC;oBAC/C,IAAI,eAAe,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACjD,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CACpC,CACE,SAAS,EAIT,EAAE,CACF,SAAS,CAAC,IAAI,KAAK,mBAAmB;4BACtC,SAAS,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI,CAC1C,CAAC;wBACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;4BACzB,OAAO,IAAI,CAAC;wBACd,CAAC;wBAED,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;wBACzB,IACE,CAAC,KAAK;4BACN,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAChE,CAAC;4BACD,OAAO,KAAK,CAAC;wBACf,CAAC;wBACD,SAAS;oBACX,CAAC;oBAED,IAAI,eAAe,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;wBAC/C,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CACpC,CACE,SAAS,EAIT,EAAE,CACF,SAAS,CAAC,IAAI,KAAK,iBAAiB;4BACpC,SAAS,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI;4BACvC,SAAS,CAAC,UAAU,CAAC,MAAM;gCACzB,eAAe,CAAC,UAAU,CAAC,MAAM,CACtC,CAAC;wBACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;4BACzB,OAAO,IAAI,CAAC;wBACd,CAAC;wBAED,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;wBACzB,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;4BAC/C,OAAO,IAAI,CAAC;wBACd,CAAC;wBAED,KACE,IAAI,cAAc,GAAG,CAAC,EACtB,cAAc,GAAG,eAAe,CAAC,UAAU,CAAC,MAAM,EAClD,cAAc,IAAI,CAAC,EACnB,CAAC;4BACD,MAAM,kBAAkB,GACtB,eAAe,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;4BAC7C,MAAM,iBAAiB,GAAG,KAAK,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;4BAC3D,MAAM,sBAAsB,GAAG,kBAAkB,EAAE,IAAI,CAAC;4BACxD,MAAM,qBAAqB,GAAG,iBAAiB,EAAE,IAAI,CAAC;4BACtD,IAAI,CAAC,sBAAsB,IAAI,CAAC,qBAAqB,EAAE,CAAC;gCACtD,SAAS;4BACX,CAAC;4BACD,IACE,CAAC,QAAQ,CACP,sBAAsB,EACtB,qBAAqB,EACrB,mBAAmB,CACpB,EACD,CAAC;gCACD,OAAO,KAAK,CAAC;4BACf,CAAC;wBACH,CAAC;wBAED,IACE,CAAC,QAAQ,CACP,eAAe,CAAC,UAAU,IAAI,WAAW,EACzC,KAAK,CAAC,UAAU,IAAI,WAAW,EAC/B,mBAAmB,CACpB,EACD,CAAC;4BACD,OAAO,KAAK,CAAC;wBACf,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO,IAAI,CAAC;YACd,CAAC;oBAAS,CAAC;gBACT,qBAAqB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACxC,CAAC;QACH,CAAC,CAAC;QAEF,iDAAiD;QACjD,IAAI,aAAa,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC/C,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClD,gEAAgE;gBAChE,OAAO,IAAI,CAAC;YACd,CAAC;YAED,6EAA6E;YAC7E,sEAAsE;YACtE,0EAA0E;YAC1E,0EAA0E;YAC1E,iDAAiD;YACjD,IACE,YAAY,CAAC,IAAI,KAAK,mBAAmB;gBACzC,YAAY,CAAC,IAAI,KAAK,aAAa,CAAC,IAAI,EACxC,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAC7D,IAAI,QAAQ,EAAE,CAAC;gBACb,IACE,YAAY,CAAC,IAAI,KAAK,SAAS;oBAC/B,CAAC,YAAY,CAAC,IAAI,KAAK,aAAa;wBAClC,CAAC,qBAAqB,CAAC,YAAY,CAAC,CAAC,EACvC,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,IAAI,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC;oBACxC,mBAAmB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBAC1D,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAChC,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBACpC,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,gFAAgF;gBAChF,6EAA6E;gBAC7E,gEAAgE;gBAChE,IACE,QAAQ,CAAC,IAAI,KAAK,mBAAmB;oBACrC,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,IAAI,EACpC,CAAC;oBACD,mBAAmB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBAC1D,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,MAAM,MAAM,GAAG,sBAAsB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;gBAC9D,IAAI,MAAM,EAAE,CAAC;oBACX,mBAAmB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBACpD,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,OAAO,4CAA4C,CACjD,QAAQ,EACR,YAAY,CACb,CAAC;YACJ,CAAC;YAED,qEAAqE;YACrE,EAAE;YACF,yCAAyC;YACzC,8BAA8B;YAC9B,6EAA6E;YAC7E,0EAA0E;YAC1E,uDAAuD;YACvD,IAAI,YAAY,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,IAAI,CAAC;YACd,CAAC;YAED,IAAI,YAAY,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACxC,IAAI,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC;oBACxC,mBAAmB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;gBAC5D,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,mBAAmB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YAC1D,OAAO,IAAI,CAAC;QACd,CAAC;QAED,4FAA4F;QAC5F,IACE,YAAY,CAAC,IAAI,KAAK,aAAa;YACnC,YAAY,CAAC,IAAI,KAAK,SAAS,EAC/B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACtC,MAAM,yBAAyB,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CACzD,CAAC,SAAS,EAAuB,EAAE,CACjC,SAAS,KAAK,SAAS,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAC5D,CAAC;YACF,MAAM,sBAAsB,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CACtD,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,SAAS,IAAI,kBAAkB,CAAC,SAAS,CAAC,CACxE,CAAC;YAEF,IACE,yBAAyB,CAAC,MAAM,KAAK,CAAC;gBACtC,sBAAsB,CAAC,MAAM,GAAG,yBAAyB,CAAC,MAAM;oBAC9D,YAAY,CAAC,KAAK,CAAC,MAAM,EAC3B,CAAC;gBACD,MAAM,oBAAoB,GAAG,yBAAyB,CAAC,CAAC,CAAC,CAAC;gBAC1D,IAAI,oBAAoB,EAAE,CAAC;oBACzB,OAAO,QAAQ,CACb,aAAa,EACb,oBAAoB,EACpB,mBAAmB,CACpB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,+DAA+D;QAC/D,EAAE;QACF,iFAAiF;QACjF,sEAAsE;QACtE,gGAAgG;QAChG,IAAI,YAAY,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAC7C,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;gBACtC,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,EAAE,mBAAmB,CAAC;oBAAE,OAAO,KAAK,CAAC;YACxE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,8EAA8E;QAC9E,sEAAsE;QACtE,IACE,aAAa,CAAC,IAAI,KAAK,eAAe;YACtC,aAAa,CAAC,IAAI,KAAK,cAAc;YACrC,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAChD,CAAC;YACD,MAAM,KAAK,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/C,OAAO,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3E,CAAC;QAED,2EAA2E;QAC3E,8DAA8D;QAC9D,EAAE;QACF,6CAA6C;QAC7C,0EAA0E;QAC1E,2EAA2E;QAC3E,2BAA2B;QAC3B,IAAI,aAAa,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC3C,MAAM,UAAU,GACd,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC;YAC5D,IACE,CAAC,UAAU,KAAK,aAAa,IAAI,UAAU,KAAK,SAAS,CAAC;gBAC1D,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAChD,CAAC;gBACD,MAAM,eAAe,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;gBAC7D,MAAM,gBAAgB,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC1D,IAAI,eAAe,IAAI,gBAAgB,EAAE,CAAC;oBACxC,OAAO,QAAQ,CACb,gBAAgB,EAChB,eAAe,EACf,mBAAmB,CACpB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,4EAA4E;QAC5E,4CAA4C;QAC5C,EAAE;QACF,sCAAsC;QACtC,sDAAsD;QACtD,wEAAwE;QACxE,IACE,aAAa,CAAC,IAAI,KAAK,eAAe;YACtC,YAAY,CAAC,IAAI,KAAK,cAAc,EACpC,CAAC;YACD,MAAM,UAAU,GAAG,sBAAsB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;YAChE,IAAI,UAAU;gBACZ,OAAO,QAAQ,CAAC,UAAU,EAAE,YAAY,EAAE,mBAAmB,CAAC,CAAC;QACnE,CAAC;QACD,IACE,aAAa,CAAC,IAAI,KAAK,cAAc;YACrC,YAAY,CAAC,IAAI,KAAK,eAAe,EACrC,CAAC;YACD,MAAM,UAAU,GAAG,sBAAsB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;YAC/D,IAAI,UAAU;gBACZ,OAAO,QAAQ,CAAC,aAAa,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAC;QACpE,CAAC;QAED,6BAA6B;QAC7B,IACE,aAAa,CAAC,IAAI,KAAK,eAAe;YACtC,aAAa,CAAC,IAAI,KAAK,OAAO;YAC9B,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;YAChD,YAAY,CAAC,IAAI,KAAK,WAAW,EACjC,CAAC;YACD,MAAM,YAAY,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YACtD,OAAO,YAAY;gBACjB,CAAC,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,WAAW,EAAE,mBAAmB,CAAC;gBACvE,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,qFAAqF;QACrF,iEAAiE;QACjE,IAAI,aAAa,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACvC,MAAM,uBAAuB,GAC3B,uCAAuC,CAAC,aAAa,CAAC,CAAC;YACzD,MAAM,uBAAuB,GAC3B,uBAAuB,KAAK,SAAS;gBACnC,CAAC,CAAC,uCAAuC,CAAC,YAAY,CAAC;gBACvD,CAAC,CAAC,SAAS,CAAC;YAChB,IAAI,uBAAuB,IAAI,uBAAuB,EAAE,CAAC;gBACvD,OAAO,QAAQ,CACb,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,uBAAuB,EAAE,EAC5D,uBAAuB,EACvB,mBAAmB,CACpB,CAAC;YACJ,CAAC;YAED,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAC3C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CACnC,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,CAClC,CAAC;YAEF,MAAM,UAAU,GAAG,kBAAkB,CAAC,YAAY,CAAC;gBACjD,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,UAAU,CAAC;YAEf,MAAM,eAAe,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;YAC7D,IAAI,eAAe,EAAE,CAAC;gBACpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,CAAC;gBAC9C,MAAM,cAAc,GAA0B,EAAE,CAAC;gBAEjD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;oBACnC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;wBAAE,SAAS;oBAC/D,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC;oBACrE,IAAI,UAAU,KAAK,aAAa,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;wBAC7D,SAAS;oBACX,CAAC;oBAED,MAAM,gBAAgB,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;oBACtD,IAAI,CAAC,gBAAgB;wBAAE,SAAS;oBAEhC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;oBAChC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,eAAe,EAAE,KAAK,CAAC;wBAAE,SAAS;oBAClE,IAAI,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC;wBAAE,SAAS;oBAC/C,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7B,CAAC;gBAED,MAAM,iBAAiB,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;gBAC5C,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,iBAAiB,EAAE,CAAC;oBACrD,mBAAmB,CAAC,KAAK,EAAE,CAAC;oBAC5B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,iBAAiB,EAAE,CAAC;wBAC7C,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;oBACtC,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,IACE,iBAAiB;oBACjB,cAAc,CAAC,MAAM,GAAG,CAAC;oBACzB,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAClE,CAAC;oBACD,mBAAmB,CAAC,KAAK,EAAE,CAAC;oBAC5B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,iBAAiB,EAAE,CAAC;wBAC7C,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;oBACtC,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC3B,OAAO,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,YAAY,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACzE,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,CAAC;YAC9C,MAAM,kBAAkB,GAA0B,EAAE,CAAC;YAErD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACnC,IAAI,CAAC,SAAS;oBAAE,SAAS;gBACzB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAChC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,YAAY,EAAE,KAAK,CAAC;oBAAE,SAAS;gBACxD,IAAI,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC;oBAAE,SAAS;gBAC/C,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,CAAC;YAED,MAAM,qBAAqB,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;YACpD,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,qBAAqB,EAAE,CAAC;gBAC7D,MAAM,IAAI,GAAG,qBAAqB,CAAC;gBACnC,mBAAmB,CAAC,KAAK,EAAE,CAAC;gBAC5B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;oBAChC,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBACtC,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,IACE,qBAAqB;gBACrB,kBAAkB,CAAC,MAAM,GAAG,CAAC;gBAC7B,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7B,eAAe,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAC1C,EACD,CAAC;gBACD,mBAAmB,CAAC,KAAK,EAAE,CAAC;gBAC5B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,qBAAqB,EAAE,CAAC;oBACjD,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBACtC,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,kEAAkE;YAClE,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,YAAY,CAAC,IAAI,KAAK,eAAe;YACrC,YAAY,CAAC,IAAI,KAAK,OAAO;YAC7B,CAAC,YAAY,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAC/C,CAAC;YACD,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YACnD,OAAO,UAAU;gBACf,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,WAAW,EAAE,UAAU,EAAE,mBAAmB,CAAC;gBACtE,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACjE,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC/D,IACE,iBAAiB;YACjB,gBAAgB;YAChB,iBAAiB,CAAC,IAAI,KAAK,gBAAgB,CAAC,IAAI,EAChD,CAAC;YACD,OAAO,QAAQ,CACb,iBAAiB,CAAC,WAAW,EAC7B,gBAAgB,CAAC,WAAW,EAC5B,mBAAmB,CACpB,CAAC;QACJ,CAAC;QAED,mCAAmC;QACnC,IAAI,aAAa,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,CAAC;YAC7C,4DAA4D;YAC5D,OAAO,IAAI,CAAC;QACd,CAAC;QAED,QAAQ,aAAa,CAAC,IAAI,EAAE,CAAC;YAC3B,KAAK,eAAe;gBAClB,OAAO,IAAI,CAAC;YAEd,KAAK,aAAa;gBAChB,OAAO,IAAI,CAAC;YAEd,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,MAAM,GAAG,YAA+B,CAAC;gBAE/C,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,aAAa,CAAC,CAAC;gBAC/D,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;gBACvD,MAAM,WAAW,GACf,iBAAiB,KAAK,SAAS;oBAC/B,gBAAgB,KAAK,SAAS;oBAC9B,iBAAiB,KAAK,gBAAgB,CAAC;gBAEzC,qDAAqD;gBACrD,IAAI,WAAW,EAAE,CAAC;oBAChB,MAAM,SAAS,GAAG,aAAa,CAAC,aAAa,IAAI,EAAE,CAAC;oBACpD,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;oBAC3C,IAAI,SAAS,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;wBAAE,OAAO,IAAI,CAAC;oBAErD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC1C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;wBACxB,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;wBACtB,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;4BAAE,SAAS;wBACzB,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,mBAAmB,CAAC;4BAAE,OAAO,KAAK,CAAC;oBAC3D,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,wEAAwE;gBACxE,gFAAgF;gBAChF,MAAM,YAAY,GAAG,kBAAkB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;gBAC9D,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACrD,IAAI,YAAY,IAAI,UAAU,EAAE,CAAC;oBAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,gBAAgB,CAC5C,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,QAAQ,EACnB,YAAY,CAAC,MAAM,CACpB,CAAC;oBAEF,IAAI,IAAI,EAAE,CAAC;wBACT,MAAM,gBAAgB,GAAG,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAC7D,YAAY,CAAC,MAAM,CACpB,CAAC;wBACF,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACnD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAClB,CAAC;wBAEF,MAAM,SAAS,GAAG,aAAa,CAAC,aAAa,IAAI,EAAE,CAAC;wBACpD,IACE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;4BAC9C,SAAS,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,EAC5C,CAAC;4BACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gCAC1C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;gCACxB,MAAM,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gCAC/B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;oCAAE,SAAS;gCACzB,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,mBAAmB,CAAC;oCAAE,OAAO,KAAK,CAAC;4BAC3D,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO,kCAAkC,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;YACnE,CAAC;YAED,KAAK,WAAW;gBACd,OAAO,QAAQ,CACb,aAAa,CAAC,WAAW,EACxB,YAAqC,CAAC,WAAW,EAClD,mBAAmB,CACpB,CAAC;YAEJ,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,QAAQ,GAAG,YAAoC,CAAC;gBACtD,IACE,aAAa,CAAC,YAAY,CAAC,MAAM,KAAK,QAAQ,CAAC,YAAY,CAAC,MAAM,EAClE,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC3D,MAAM,EAAE,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBACzC,MAAM,EAAE,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBACpC,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;wBAAE,SAAS;oBACzB,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,mBAAmB,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAC3D,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,KAAK,GAAG,YAAoC,CAAC;gBACnD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CACxB,aAAa,CAAC,UAAU,CAAC,MAAM,EAC/B,KAAK,CAAC,UAAU,CAAC,MAAM,CACxB,CAAC;gBACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;oBACnC,MAAM,EAAE,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvC,MAAM,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC/B,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;oBACpB,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;oBACpB,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;wBACb,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,mBAAmB,CAAC;4BAAE,OAAO,KAAK,CAAC;oBAC3D,CAAC;gBACH,CAAC;gBAED,OAAO,QAAQ,CACb,aAAa,CAAC,UAAU,EACxB,KAAK,CAAC,UAAU,EAChB,mBAAmB,CACpB,CAAC;YACJ,CAAC;YAED,KAAK,YAAY,CAAC;YAClB,KAAK,gBAAgB;gBACnB,4EAA4E;gBAC5E,OAAO,IAAI,CAAC;YAEd,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC;YAEd;gBACE,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO;YAAE,SAAS;QACrC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC;YAAE,OAAO,SAAS,CAAC;IACpE,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC"}

package/dist/ir/type-system/call-resolution-utilities.d.ts ADDED Viewed

@@ -0,0 +1,11 @@
+/**
+ * Call Resolution Utilities — Facade
+ *
+ * Re-exports pure type helpers, type ID attachment, and parameter expansion
+ * from sub-modules:
+ * - call-resolution-type-ids: type ID attachment, type conversion, polymorphic this
+ * - call-resolution-parameters: parameter expansion, rest parameter building, candidate collection
+ */
+export { POLYMORPHIC_THIS_MARKER, substitutePolymorphicThis, attachParameterTypeIds, attachTypeParameterTypeIds, attachInterfaceMemberTypeIds, attachTypeIds, convertTypeNode, delegateToFunctionType, mapEntriesEqual, containsMethodTypeParameter, normalizeCatalogTsName, } from "./call-resolution-type-ids.js";
+export { expandParameterTypesForInference, expandParameterTypesForArguments, buildResolvedRestParameter, collectExpectedReturnCandidates, collectNarrowingCandidates, } from "./call-resolution-parameters.js";
+//# sourceMappingURL=call-resolution-utilities.d.ts.map

package/dist/ir/type-system/call-resolution-utilities.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"call-resolution-utilities.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-utilities.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,uBAAuB,EACvB,yBAAyB,EACzB,sBAAsB,EACtB,0BAA0B,EAC1B,4BAA4B,EAC5B,aAAa,EACb,eAAe,EACf,sBAAsB,EACtB,eAAe,EACf,2BAA2B,EAC3B,sBAAsB,GACvB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,gCAAgC,EAChC,gCAAgC,EAChC,0BAA0B,EAC1B,+BAA+B,EAC/B,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC"}

package/dist/ir/type-system/call-resolution-utilities.js ADDED Viewed

@@ -0,0 +1,11 @@
+/**
+ * Call Resolution Utilities — Facade
+ *
+ * Re-exports pure type helpers, type ID attachment, and parameter expansion
+ * from sub-modules:
+ * - call-resolution-type-ids: type ID attachment, type conversion, polymorphic this
+ * - call-resolution-parameters: parameter expansion, rest parameter building, candidate collection
+ */
+export { POLYMORPHIC_THIS_MARKER, substitutePolymorphicThis, attachParameterTypeIds, attachTypeParameterTypeIds, attachInterfaceMemberTypeIds, attachTypeIds, convertTypeNode, delegateToFunctionType, mapEntriesEqual, containsMethodTypeParameter, normalizeCatalogTsName, } from "./call-resolution-type-ids.js";
+export { expandParameterTypesForInference, expandParameterTypesForArguments, buildResolvedRestParameter, collectExpectedReturnCandidates, collectNarrowingCandidates, } from "./call-resolution-parameters.js";
+//# sourceMappingURL=call-resolution-utilities.js.map

package/dist/ir/type-system/call-resolution-utilities.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"call-resolution-utilities.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-utilities.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,uBAAuB,EACvB,yBAAyB,EACzB,sBAAsB,EACtB,0BAA0B,EAC1B,4BAA4B,EAC5B,aAAa,EACb,eAAe,EACf,sBAAsB,EACtB,eAAe,EACf,2BAA2B,EAC3B,sBAAsB,GACvB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,gCAAgC,EAChC,gCAAgC,EAChC,0BAA0B,EAC1B,+BAA+B,EAC/B,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC"}

package/dist/ir/type-system/inference-declarations-overrides.d.ts ADDED Viewed

@@ -0,0 +1,33 @@
+/**
+ * Override checking, signature queries, and type syntax conversion.
+ *
+ * Contains signatureHasConditionalReturn, signatureHasVariadicTypeParams,
+ * checkTsClassMemberOverride, and typeFromSyntax.
+ *
+ * DAG position: depends on type-system-state, type-system-relations
+ */
+import type { IrType, IrParameter } from "../types/index.js";
+import type { DeclId, SignatureId, TypeSyntaxId } from "./types.js";
+import type { TypeSystemState } from "./type-system-state.js";
+export declare const signatureHasConditionalReturn: (state: TypeSystemState, sigId: SignatureId) => boolean;
+export declare const signatureHasVariadicTypeParams: (state: TypeSystemState, sigId: SignatureId) => boolean;
+/**
+ * Check if a class member overrides a base class member.
+ *
+ * ALICE'S SPEC: Uses captured ClassMemberNames (pure data) from Binding.
+ * No TS AST inspection, no SyntaxKind numbers. TS-version safe.
+ */
+export declare const checkTsClassMemberOverride: (state: TypeSystemState, declId: DeclId, memberName: string, memberKind: "method" | "property", parameters?: readonly IrParameter[], baseClassType?: IrType) => {
+    isOverride: boolean;
+    isShadow: boolean;
+};
+/**
+ * Convert a captured type syntax to IrType.
+ *
+ * This method takes a TypeSyntaxId handle (opaque to caller) and looks up
+ * the captured TypeNode in the HandleRegistry, then converts it.
+ *
+ * ALICE'S SPEC (Phase 2): TypeSystem receives opaque handles, not ts.TypeNode.
+ */
+export declare const typeFromSyntax: (state: TypeSystemState, typeSyntaxId: TypeSyntaxId) => IrType;
+//# sourceMappingURL=inference-declarations-overrides.d.ts.map

package/dist/ir/type-system/inference-declarations-overrides.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"inference-declarations-overrides.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-declarations-overrides.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAO7D,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAa9D,eAAO,MAAM,6BAA6B,GACxC,OAAO,eAAe,EACtB,OAAO,WAAW,KACjB,OAUF,CAAC;AAMF,eAAO,MAAM,8BAA8B,GACzC,OAAO,eAAe,EACtB,OAAO,WAAW,KACjB,OAqCF,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,GACrC,OAAO,eAAe,EACtB,QAAQ,MAAM,EACd,YAAY,MAAM,EAClB,YAAY,QAAQ,GAAG,UAAU,EACjC,aAAa,SAAS,WAAW,EAAE,EACnC,gBAAgB,MAAM,KACrB;IAAE,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CA6C1C,CAAC;AA8GF;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,GACzB,OAAO,eAAe,EACtB,cAAc,YAAY,KACzB,MAuGF,CAAC"}

package/dist/ir/type-system/inference-declarations-overrides.js ADDED Viewed

@@ -0,0 +1,241 @@
+/**
+ * Override checking, signature queries, and type syntax conversion.
+ *
+ * Contains signatureHasConditionalReturn, signatureHasVariadicTypeParams,
+ * checkTsClassMemberOverride, and typeFromSyntax.
+ *
+ * DAG position: depends on type-system-state, type-system-relations
+ */
+import { stampRuntimeUnionAliasCarrier } from "../types/index.js";
+import * as ts from "typescript";
+import { substituteIrType as irSubstitute, } from "../types/ir-substitution.js";
+import { normalizeToNominal, resolveTypeIdByName, } from "./type-system-state.js";
+import { typesEqual } from "./type-system-relations.js";
+import { convertTypeNode } from "./type-system-call-resolution.js";
+import { resolveSourceFileIdentity } from "../../program/source-file-identity.js";
+// ─────────────────────────────────────────────────────────────────────────
+// signatureHasConditionalReturn — Check for conditional return type
+// ─────────────────────────────────────────────────────────────────────────
+export const signatureHasConditionalReturn = (state, sigId) => {
+    const sigInfo = state.handleRegistry.getSignature(sigId);
+    if (!sigInfo)
+        return false;
+    const returnTypeNode = sigInfo.returnTypeNode;
+    if (!returnTypeNode)
+        return false;
+    return returnTypeNode.kind === ts.SyntaxKind.ConditionalType;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// signatureHasVariadicTypeParams — Check for variadic type parameters
+// ─────────────────────────────────────────────────────────────────────────
+export const signatureHasVariadicTypeParams = (state, sigId) => {
+    const sigInfo = state.handleRegistry.getSignature(sigId);
+    if (!sigInfo)
+        return false;
+    if (!sigInfo.typeParameters)
+        return false;
+    for (const typeParam of sigInfo.typeParameters) {
+        const constraintNode = typeParam.constraintNode;
+        if (!constraintNode)
+            continue;
+        // Check if constraint is an array type (variadic pattern: T extends unknown[])
+        if (constraintNode.kind === ts.SyntaxKind.ArrayType) {
+            const elementType = constraintNode.elementType;
+            if (!elementType)
+                continue;
+            // Check for unknown[] or any[] constraint
+            if (elementType.kind === ts.SyntaxKind.UnknownKeyword ||
+                elementType.kind === ts.SyntaxKind.AnyKeyword) {
+                return true;
+            }
+            // Also check for type reference to "unknown" or "any"
+            const typeName = elementType.typeName?.text;
+            if (typeName === "unknown" || typeName === "any") {
+                return true;
+            }
+        }
+    }
+    return false;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// checkTsClassMemberOverride — Check if member can be overridden
+// ─────────────────────────────────────────────────────────────────────────
+/**
+ * Check if a class member overrides a base class member.
+ *
+ * ALICE'S SPEC: Uses captured ClassMemberNames (pure data) from Binding.
+ * No TS AST inspection, no SyntaxKind numbers. TS-version safe.
+ */
+export const checkTsClassMemberOverride = (state, declId, memberName, memberKind, parameters, baseClassType) => {
+    const declInfo = state.handleRegistry.getDecl(declId);
+    const members = declInfo?.classMemberNames;
+    // No class member info available
+    if (!members) {
+        return { isOverride: false, isShadow: false };
+    }
+    if (memberKind === "method") {
+        if (!members.methods.has(memberName)) {
+            return { isOverride: false, isShadow: false };
+        }
+        if (!parameters) {
+            return { isOverride: true, isShadow: false };
+        }
+        const signatures = members.methodSignatures.get(memberName) ?? [];
+        if (signatures.length === 0) {
+            return { isOverride: true, isShadow: false };
+        }
+        const baseSubstitution = buildCapturedBaseClassSubstitution(members.typeParameters, baseClassType);
+        const hasCompatibleBaseSignature = signatures.some((signature) => isCapturedMethodOverrideCompatible(state, signature.parameters, parameters, baseSubstitution));
+        return hasCompatibleBaseSignature
+            ? { isOverride: true, isShadow: false }
+            : { isOverride: false, isShadow: false };
+    }
+    // In TypeScript, properties/accessors override by name.
+    return members.properties.has(memberName)
+        ? { isOverride: true, isShadow: false }
+        : { isOverride: false, isShadow: false };
+};
+const capturedParameterTypeToIrType = (state, typeNode) => {
+    if (!typeNode)
+        return undefined;
+    return convertTypeNode(state, typeNode);
+};
+const areMethodParameterTypesOverrideCompatible = (state, baseType, derivedType) => {
+    if (!baseType || !derivedType) {
+        return true;
+    }
+    if (typesEqual(baseType, derivedType)) {
+        return true;
+    }
+    const baseNominal = normalizeToNominal(state, baseType);
+    const derivedNominal = normalizeToNominal(state, derivedType);
+    return (!!baseNominal &&
+        !!derivedNominal &&
+        baseNominal.typeId.stableId === derivedNominal.typeId.stableId);
+};
+const isCapturedMethodOverrideCompatible = (state, baseParameters, derivedParameters, baseSubstitution) => {
+    if (baseParameters.length !== derivedParameters.length) {
+        return false;
+    }
+    for (let index = 0; index < baseParameters.length; index += 1) {
+        const baseParameter = baseParameters[index];
+        const derivedParameter = derivedParameters[index];
+        if (!baseParameter || !derivedParameter) {
+            return false;
+        }
+        if (baseParameter.isRest !== derivedParameter.isRest) {
+            return false;
+        }
+        const baseType = capturedParameterTypeToIrType(state, baseParameter.typeNode);
+        const substitutedBaseType = baseType && baseSubstitution && baseSubstitution.size > 0
+            ? irSubstitute(baseType, baseSubstitution)
+            : baseType;
+        if (!areMethodParameterTypesOverrideCompatible(state, substitutedBaseType, derivedParameter.type)) {
+            return false;
+        }
+    }
+    return true;
+};
+const buildCapturedBaseClassSubstitution = (typeParameters, baseClassType) => {
+    if (typeParameters.length === 0) {
+        return undefined;
+    }
+    if (!baseClassType ||
+        baseClassType.kind !== "referenceType" ||
+        !baseClassType.typeArguments ||
+        baseClassType.typeArguments.length === 0) {
+        return undefined;
+    }
+    const substitution = new Map();
+    for (let index = 0; index < typeParameters.length; index += 1) {
+        const paramName = typeParameters[index];
+        const argType = baseClassType.typeArguments[index];
+        if (!paramName || !argType)
+            continue;
+        substitution.set(paramName, argType);
+    }
+    return substitution.size > 0 ? substitution : undefined;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// typeFromSyntax — Convert captured type syntax to IrType
+// ─────────────────────────────────────────────────────────────────────────
+/**
+ * Convert a captured type syntax to IrType.
+ *
+ * This method takes a TypeSyntaxId handle (opaque to caller) and looks up
+ * the captured TypeNode in the HandleRegistry, then converts it.
+ *
+ * ALICE'S SPEC (Phase 2): TypeSystem receives opaque handles, not ts.TypeNode.
+ */
+export const typeFromSyntax = (state, typeSyntaxId) => {
+    const syntaxInfo = state.handleRegistry.getTypeSyntax(typeSyntaxId);
+    if (!syntaxInfo) {
+        // Invalid handle - return unknownType
+        return { kind: "unknownType" };
+    }
+    const rawType = state.convertTypeNodeRaw(syntaxInfo.typeNode);
+    if (rawType.kind === "unionType" &&
+        syntaxInfo.referenceDeclId &&
+        ts.isTypeReferenceNode(syntaxInfo.typeNode)) {
+        const declInfo = state.handleRegistry.getDecl(syntaxInfo.referenceDeclId);
+        const declNode = (declInfo?.typeDeclNode ?? declInfo?.declNode);
+        const aliasBody = declNode && ts.isTypeAliasDeclaration(declNode)
+            ? (() => {
+                let current = declNode.type;
+                while (ts.isParenthesizedTypeNode(current)) {
+                    current = current.type;
+                }
+                return current;
+            })()
+            : undefined;
+        if (declNode &&
+            ts.isTypeAliasDeclaration(declNode) &&
+            !declNode.getSourceFile().isDeclarationFile &&
+            aliasBody &&
+            ts.isUnionTypeNode(aliasBody)) {
+            return stampRuntimeUnionAliasCarrier(convertTypeNode(state, syntaxInfo.typeNode), {
+                aliasName: declNode.name.text,
+                fullyQualifiedName: declInfo?.fqName ?? declNode.name.text,
+                typeParameters: (declNode.typeParameters ?? []).map((tp) => tp.name.text),
+                typeArguments: (syntaxInfo.typeNode.typeArguments ?? []).map((typeArgument) => convertTypeNode(state, typeArgument)),
+            });
+        }
+    }
+    if (rawType.kind !== "referenceType" || !syntaxInfo.referenceDeclId) {
+        return convertTypeNode(state, syntaxInfo.typeNode);
+    }
+    const declInfo = state.handleRegistry.getDecl(syntaxInfo.referenceDeclId);
+    const declNode = (declInfo?.typeDeclNode ?? declInfo?.declNode);
+    if (!declNode || declNode.getSourceFile().isDeclarationFile) {
+        return convertTypeNode(state, syntaxInfo.typeNode);
+    }
+    const namedDecl = declNode;
+    const declName = namedDecl.name && ts.isIdentifier(namedDecl.name)
+        ? namedDecl.name.text
+        : undefined;
+    if (!declName) {
+        return convertTypeNode(state, syntaxInfo.typeNode);
+    }
+    const sourceIdentity = resolveSourceFileIdentity(declNode.getSourceFile().fileName, state.sourceRoot, state.rootNamespace);
+    const fqName = `${sourceIdentity.namespace}.${declName}`;
+    const nominalEntry = state.typeRegistry.resolveNominal(fqName);
+    if (!nominalEntry) {
+        return convertTypeNode(state, syntaxInfo.typeNode);
+    }
+    const exactClrName = ts.isTypeAliasDeclaration(declNode) && ts.isTypeLiteralNode(declNode.type)
+        ? `${nominalEntry.fullyQualifiedName}__Alias`
+        : nominalEntry.fullyQualifiedName;
+    const exactTypeId = resolveTypeIdByName(state, exactClrName, rawType.typeArguments?.length);
+    if (!exactTypeId) {
+        return convertTypeNode(state, syntaxInfo.typeNode);
+    }
+    const converted = convertTypeNode(state, syntaxInfo.typeNode);
+    if (converted.kind !== "referenceType") {
+        return converted;
+    }
+    return {
+        ...converted,
+        typeId: exactTypeId,
+    };
+};
+//# sourceMappingURL=inference-declarations-overrides.js.map

package/dist/ir/type-system/inference-declarations-overrides.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"inference-declarations-overrides.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-declarations-overrides.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,gBAAgB,IAAI,YAAY,GAEjC,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EACL,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAElF,4EAA4E;AAC5E,oEAAoE;AACpE,4EAA4E;AAE5E,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,KAAsB,EACtB,KAAkB,EACT,EAAE;IACX,MAAM,OAAO,GAAG,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAE3B,MAAM,cAAc,GAAG,OAAO,CAAC,cAElB,CAAC;IACd,IAAI,CAAC,cAAc;QAAE,OAAO,KAAK,CAAC;IAElC,OAAO,cAAc,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;AAC/D,CAAC,CAAC;AAEF,4EAA4E;AAC5E,sEAAsE;AACtE,4EAA4E;AAE5E,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,KAAsB,EACtB,KAAkB,EACT,EAAE;IACX,MAAM,OAAO,GAAG,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAE3B,IAAI,CAAC,OAAO,CAAC,cAAc;QAAE,OAAO,KAAK,CAAC;IAE1C,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QAC/C,MAAM,cAAc,GAAG,SAAS,CAAC,cAKpB,CAAC;QACd,IAAI,CAAC,cAAc;YAAE,SAAS;QAE9B,+EAA+E;QAC/E,IAAI,cAAc,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;YACpD,MAAM,WAAW,GAAG,cAAc,CAAC,WAAW,CAAC;YAC/C,IAAI,CAAC,WAAW;gBAAE,SAAS;YAE3B,0CAA0C;YAC1C,IACE,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;gBACjD,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAC7C,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,sDAAsD;YACtD,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC;YAC5C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;gBACjD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,4EAA4E;AAC5E,iEAAiE;AACjE,4EAA4E;AAE5E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,KAAsB,EACtB,MAAc,EACd,UAAkB,EAClB,UAAiC,EACjC,UAAmC,EACnC,aAAsB,EACsB,EAAE;IAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,QAAQ,EAAE,gBAAgB,CAAC;IAE3C,iCAAiC;IACjC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAChD,CAAC;IAED,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACrC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAChD,CAAC;QAED,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC/C,CAAC;QAED,MAAM,UAAU,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAClE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC/C,CAAC;QAED,MAAM,gBAAgB,GAAG,kCAAkC,CACzD,OAAO,CAAC,cAAc,EACtB,aAAa,CACd,CAAC;QAEF,MAAM,0BAA0B,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC/D,kCAAkC,CAChC,KAAK,EACL,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,gBAAgB,CACjB,CACF,CAAC;QACF,OAAO,0BAA0B;YAC/B,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;YACvC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC7C,CAAC;IAED,wDAAwD;IACxD,OAAO,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC;QACvC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;QACvC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,KAAsB,EACtB,QAA6B,EACT,EAAE;IACtB,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,OAAO,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,yCAAyC,GAAG,CAChD,KAAsB,EACtB,QAA4B,EAC5B,WAA+B,EACtB,EAAE;IACX,IAAI,CAAC,QAAQ,IAAI,CAAC,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxD,MAAM,cAAc,GAAG,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC9D,OAAO,CACL,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,cAAc;QAChB,WAAW,CAAC,MAAM,CAAC,QAAQ,KAAK,cAAc,CAAC,MAAM,CAAC,QAAQ,CAC/D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,KAAsB,EACtB,cAGG,EACH,iBAAyC,EACzC,gBAAoC,EAC3B,EAAE;IACX,IAAI,cAAc,CAAC,MAAM,KAAK,iBAAiB,CAAC,MAAM,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,aAAa,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,aAAa,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,EAAE,CAAC;YACrD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,QAAQ,GAAG,6BAA6B,CAC5C,KAAK,EACL,aAAa,CAAC,QAAQ,CACvB,CAAC;QACF,MAAM,mBAAmB,GACvB,QAAQ,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,IAAI,GAAG,CAAC;YACvD,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,gBAAgB,CAAC;YAC1C,CAAC,CAAC,QAAQ,CAAC;QACf,IACE,CAAC,yCAAyC,CACxC,KAAK,EACL,mBAAmB,EACnB,gBAAgB,CAAC,IAAI,CACtB,EACD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,cAAiC,EACjC,aAAiC,EACF,EAAE;IACjC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,CAAC,aAAa;QACd,aAAa,CAAC,IAAI,KAAK,eAAe;QACtC,CAAC,aAAa,CAAC,aAAa;QAC5B,aAAa,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EACxC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO;YAAE,SAAS;QACrC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC;IAED,OAAO,YAAY,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1D,CAAC,CAAC;AAEF,4EAA4E;AAC5E,0DAA0D;AAC1D,4EAA4E;AAE5E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAsB,EACtB,YAA0B,EAClB,EAAE;IACV,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC;IACpE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,sCAAsC;QACtC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACjC,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,kBAAkB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC9D,IACE,OAAO,CAAC,IAAI,KAAK,WAAW;QAC5B,UAAU,CAAC,eAAe;QAC1B,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,QAAmB,CAAC,EACtD,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,YAAY,IAAI,QAAQ,EAAE,QAAQ,CAEjD,CAAC;QACd,MAAM,SAAS,GACb,QAAQ,IAAI,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC;YAC7C,CAAC,CAAC,CAAC,GAAG,EAAE;gBACJ,IAAI,OAAO,GAAgB,QAAQ,CAAC,IAAI,CAAC;gBACzC,OAAO,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC3C,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;gBACzB,CAAC;gBACD,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC,EAAE;YACN,CAAC,CAAC,SAAS,CAAC;QAChB,IACE,QAAQ;YACR,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC;YACnC,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,iBAAiB;YAC3C,SAAS;YACT,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,EAC7B,CAAC;YACD,OAAO,6BAA6B,CAClC,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,EAC3C;gBACE,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI;gBAC7B,kBAAkB,EAAE,QAAQ,EAAE,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI;gBAC1D,cAAc,EAAE,CAAC,QAAQ,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CACjD,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CACrB;gBACD,aAAa,EAAE,CACZ,UAAU,CAAC,QAAiC,CAAC,aAAa,IAAI,EAAE,CAClE,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;aAC9D,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,UAAU,CAAC,eAAe,EAAE,CAAC;QACpE,OAAO,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,YAAY,IAAI,QAAQ,EAAE,QAAQ,CAEjD,CAAC;IACd,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC,iBAAiB,EAAE,CAAC;QAC5D,OAAO,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,SAAS,GAAG,QAA+B,CAAC;IAClD,MAAM,QAAQ,GACZ,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;QAC/C,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI;QACrB,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,cAAc,GAAG,yBAAyB,CAC9C,QAAQ,CAAC,aAAa,EAAE,CAAC,QAAQ,EACjC,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,aAAa,CACpB,CAAC;IACF,MAAM,MAAM,GAAG,GAAG,cAAc,CAAC,SAAS,IAAI,QAAQ,EAAE,CAAC;IACzD,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,YAAY,GAChB,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC;QACxE,CAAC,CAAC,GAAG,YAAY,CAAC,kBAAkB,SAAS;QAC7C,CAAC,CAAC,YAAY,CAAC,kBAAkB,CAAC;IACtC,MAAM,WAAW,GAAG,mBAAmB,CACrC,KAAK,EACL,YAAY,EACZ,OAAO,CAAC,aAAa,EAAE,MAAM,CAC9B,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC9D,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,GAAG,SAAS;QACZ,MAAM,EAAE,WAAW;KACpB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-system/inference-declarations-types.d.ts ADDED Viewed

@@ -0,0 +1,20 @@
+/**
+ * Declaration type queries — typeOfDecl, typeOfValueRead, getFQNameOfDecl,
+ * hasTypeParameters, isTypeDecl, isInterfaceDecl, isTypeAliasToObjectLiteral,
+ * declHasTypeAnnotation.
+ *
+ * DAG position: depends on inference-utilities, inference-initializers,
+ *               type-system-state
+ */
+import type { IrType } from "../types/index.js";
+import type { DeclId } from "./types.js";
+import type { TypeSystemState } from "./type-system-state.js";
+export declare const typeOfDecl: (state: TypeSystemState, declId: DeclId) => IrType;
+export declare const typeOfValueRead: (state: TypeSystemState, declId: DeclId) => IrType;
+export declare const getFQNameOfDecl: (state: TypeSystemState, declId: DeclId) => string | undefined;
+export declare const hasTypeParameters: (state: TypeSystemState, declId: DeclId) => boolean;
+export declare const isTypeDecl: (state: TypeSystemState, declId: DeclId) => boolean;
+export declare const isInterfaceDecl: (state: TypeSystemState, declId: DeclId) => boolean;
+export declare const isTypeAliasToObjectLiteral: (state: TypeSystemState, declId: DeclId) => boolean;
+export declare const declHasTypeAnnotation: (state: TypeSystemState, declId: DeclId) => boolean;
+//# sourceMappingURL=inference-declarations-types.d.ts.map

package/dist/ir/type-system/inference-declarations-types.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"inference-declarations-types.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-declarations-types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,MAAM,EAKP,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,KAAK,EAAE,eAAe,EAAY,MAAM,wBAAwB,CAAC;AAmYxE,eAAO,MAAM,UAAU,GAAI,OAAO,eAAe,EAAE,QAAQ,MAAM,KAAG,MA4KnE,CAAC;AAEF,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,QAAQ,MAAM,KACb,MAuBF,CAAC;AAMF,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,QAAQ,MAAM,KACb,MAAM,GAAG,SAGX,CAAC;AAMF,eAAO,MAAM,iBAAiB,GAC5B,OAAO,eAAe,EACtB,QAAQ,MAAM,KACb,OAQF,CAAC;AAMF,eAAO,MAAM,UAAU,GAAI,OAAO,eAAe,EAAE,QAAQ,MAAM,KAAG,OAWnE,CAAC;AAMF,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,QAAQ,MAAM,KACb,OAGF,CAAC;AAMF,eAAO,MAAM,0BAA0B,GACrC,OAAO,eAAe,EACtB,QAAQ,MAAM,KACb,OAUF,CAAC;AAMF,eAAO,MAAM,qBAAqB,GAChC,OAAO,eAAe,EACtB,QAAQ,MAAM,KACb,OAGF,CAAC"}