@scriptc/compiler 0.4.3 → 0.4.5

package/dist/frontend/lowering/lib-boundary.js.map

@@ -1 +1 @@
-{"version":3,"file":"lib-boundary.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lib-boundary.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yEAqCyE;AACzE,OAAO,EACL,cAAc,EACd,cAAc,EACd,eAAe,EACf,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EACL,iBAAiB,EACjB,GAAG,EACH,gBAAgB,EAKhB,MAAM,EACN,iBAAiB,EACjB,UAAU,EACV,UAAU,GACX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAC5F,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAErF;;;;2BAI2B;AAC3B,SAAS,YAAY,CAAC,OAAgB,EAAE,IAAY;IAClD,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvE,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO,iBAAiB,CACtB,IAAI,EACJ,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7C,OAAO,CACL,CAAC,CAAC,GAAG;YACL,GAAG,CAAC,IAAI,CAAC,KAAK,CACZ,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,YAAY;gBACvB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACnB,iBAAiB,CAAC,CAAC,CAAC;gBACpB,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/B,CACF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;2DAE2D;AAC3D,SAAS,UAAU,CAAC,OAAgB,EAAE,GAAW,EAAE,IAAY,EAAE,IAAY;IAC3E,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IAE3C,wEAAwE;IACxE,uEAAuE;IACvE,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACnD,IAAI,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;YAChC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;QACpE,CAAC;QACD,KAAK,CACH,OAAO,EACP,QAAQ,EACR,GAAG,CAAC,GAAG,EACP,mCAAmC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,GAAG,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACvE,KAAK,CACH,OAAO,EACP,QAAQ,EACR,GAAG,CAAC,GAAG,EACP,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,mBAAmB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,GAAG,CACvH,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnF,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACvF,MAAM,IAAI,WAAW,EAAE,CAAC;IAC1B,CAAC;IACD,uEAAuE;IACvE,yEAAyE;IACzE,wDAAwD;IACxD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAS;IAClC,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,KAAK,CAAC,OAAgB,EAAE,IAAyB,EAAE,GAAW,EAAE,OAAe;IACtF,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;IACtD,MAAM,IAAI,WAAW,EAAE,CAAC;AAC1B,CAAC;AAED;;;wEAGwE;AACxE,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAuB;IAC1E,MAAM,IAAI,GAAG,CAAC,KAAa,EAAW,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,CAAC,KAAa,EAAW,EAAE;QACtC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YACrB,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,CAAC,CAAC,CAAC;;QACA,IAAI,CAAC,IAAI,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAgB,EAAE,IAAY;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACrF,MAAM,GAAG,GAAG,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1F,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,MAAM,GAAG,GAAG,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3F,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1F,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAClE,uEAAuE;YACvE,uEAAuE;YACvE,sDAAsD;YACtD,4DAA4D;YAC5D,WAAW;YACX,KAAK,CACH,OAAO,EACP,QAAQ,EACR,CAAC,CAAC,QAAQ,CAAC,GAAG,EACd,KAAK,CAAC,CAAC,MAAM,WAAW,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CACxE,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,YAAY,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,CAAC,4BAA4B;QACvE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YACpC,KAAK,CACH,OAAO,EACP,QAAQ,EACR,CAAC,CAAC,GAAG,EACL,iCAAiC,CAAC,CAAC,IAAI,CAAC,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,sCAAsC,MAAM,CAAC,MAAM,EAAE,CAC9I,CAAC;QACJ,CAAC;QACD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QAC/C,oEAAoE;QACpE,sDAAsD;QACtD,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,CAA2C,CAAC;YACxD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACjC,KAAK,CACH,OAAO,EACP,QAAQ,EACR,GAAG,CAAC,IAAI,CAAC,GAAG,EACZ,KAAK,GAAG,CAAC,MAAM,sBAAsB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C,CAC1G,CAAC;YACJ,CAAC;QACH,CAAC;QACD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO;YAElC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3D,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;gBACjE,OAAO;YACT,CAAC;YACD,KAAK,CACH,OAAO,EACP,QAAQ,EACR,CAAC,CAAC,GAAG,EACL,YAAY,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,8CAA8C,CAC9E,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;AACH,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,IAAc;IAChE,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE;QACrC,iEAAiE;QACjE,oEAAoE;QACpE,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,WAAW,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;QAC9F,MAAM,WAAW,GAAG,CAAC,IAAY,EAAW,EAAE;YAC5C,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;gBACzB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBAChC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM;gBACjD,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAEpC,MAAM,GAAG,IAAI,CAAC;YAChB,OAAO,cAAc,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;QACxD,CAAC,CAAC;QACF,WAAW,CAAC,KAAK,CAAC,CAAC;QACnB,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YACxB,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC;gBAC3D,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;oBAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;YAC9C,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE;QACrC,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3E,MAAM,KAAK,GAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YAC9F,IAAI,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;YAC1B,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC5E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;gBACtF,QAAQ,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC;YAC3F,CAAC;YACD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBAChC,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBACzE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChF,OAAO,EAAE,IAAI,EAAE,QAAiB,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;YAC1F,CAAC,CAAC,CAAC;YACH,MAAM,MAAM,GAAW;gBACrB,GAAG,CAAC;gBACJ,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;gBAC/E,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC;aACnC,CAAC;YACF,IAAI,QAAQ;gBAAE,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;gBAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,YAAY,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC3F,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QACtE,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC"}
+{"version":3,"file":"lib-boundary.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lib-boundary.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yEAqCyE;AACzE,OAAO,EACL,cAAc,EACd,cAAc,EACd,eAAe,EACf,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EACL,iBAAiB,EACjB,GAAG,EACH,gBAAgB,EAKhB,MAAM,EACN,iBAAiB,EACjB,UAAU,EACV,UAAU,GACX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAC5F,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAErF;;;;2BAI2B;AAC3B,SAAS,YAAY,CAAC,OAAgB,EAAE,IAAY;IAClD,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvE,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO,iBAAiB,CACtB,IAAI,EACJ,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7C,OAAO,CACL,CAAC,CAAC,GAAG;YACL,GAAG,CAAC,IAAI,CAAC,KAAK,CACZ,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,YAAY;gBACvB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACnB,iBAAiB,CAAC,CAAC,CAAC;gBACpB,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/B,CACF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;2DAE2D;AAC3D,SAAS,UAAU,CAAC,OAAgB,EAAE,GAAW,EAAE,IAAY,EAAE,IAAY;IAC3E,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IAE3C,wEAAwE;IACxE,uEAAuE;IACvE,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACnD,IAAI,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;YAChC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;QACpE,CAAC;QACD,KAAK,CACH,OAAO,EACP,QAAQ,EACR,GAAG,CAAC,GAAG,EACP,mCAAmC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,GAAG,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACvE,KAAK,CACH,OAAO,EACP,QAAQ,EACR,GAAG,CAAC,GAAG,EACP,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,mBAAmB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,GAAG,CACvH,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnF,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACvF,MAAM,IAAI,WAAW,EAAE,CAAC;IAC1B,CAAC;IACD,uEAAuE;IACvE,yEAAyE;IACzE,wDAAwD;IACxD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAS;IAClC,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,KAAK,CAAC,OAAgB,EAAE,IAAyB,EAAE,GAAW,EAAE,OAAe;IACtF,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;IACtD,MAAM,IAAI,WAAW,EAAE,CAAC;AAC1B,CAAC;AAED;;;wEAGwE;AACxE,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAuB;IAC1E,MAAM,IAAI,GAAG,CAAC,KAAa,EAAW,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,CAAC,KAAa,EAAW,EAAE;QACtC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YACrB,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,CAAC,CAAC,CAAC;;QACA,IAAI,CAAC,IAAI,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAgB,EAAE,IAAY;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpC,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACrF,MAAM,GAAG,GAAG,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1F,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,MAAM,GAAG,GAAG,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3F,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1F,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAClE,uEAAuE;YACvE,uEAAuE;YACvE,sDAAsD;YACtD,4DAA4D;YAC5D,WAAW;YACX,KAAK,CACH,OAAO,EACP,QAAQ,EACR,CAAC,CAAC,QAAQ,CAAC,GAAG,EACd,KAAK,CAAC,CAAC,MAAM,WAAW,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CACxE,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,YAAY,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,CAAC,4BAA4B;QACvE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YACpC,KAAK,CACH,OAAO,EACP,QAAQ,EACR,CAAC,CAAC,GAAG,EACL,iCAAiC,CAAC,CAAC,IAAI,CAAC,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,sCAAsC,MAAM,CAAC,MAAM,EAAE,CAC9I,CAAC;QACJ,CAAC;QACD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,IAAI;gBAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QAC/C,oEAAoE;QACpE,sDAAsD;QACtD,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,CAA2C,CAAC;YACxD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACjC,KAAK,CACH,OAAO,EACP,QAAQ,EACR,GAAG,CAAC,IAAI,CAAC,GAAG,EACZ,KAAK,GAAG,CAAC,MAAM,sBAAsB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C,CAC1G,CAAC;YACJ,CAAC;QACH,CAAC;QACD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO;YAElC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3D,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;gBACjE,OAAO;YACT,CAAC;YACD,KAAK,CACH,OAAO,EACP,QAAQ,EACR,CAAC,CAAC,GAAG,EACL,YAAY,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,8CAA8C,CAC9E,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;AACH,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,IAAc;IAChE,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE;QACrC,iEAAiE;QACjE,oEAAoE;QACpE,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,WAAW,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;QAC9F,MAAM,WAAW,GAAG,CAAC,IAAY,EAAW,EAAE;YAC5C,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;gBACzB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBAChC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM;gBACjD,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAEpC,MAAM,GAAG,IAAI,CAAC;YAChB,OAAO,cAAc,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;QACxD,CAAC,CAAC;QACF,WAAW,CAAC,KAAK,CAAC,CAAC;QACnB,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YACxB,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC;gBAC3D,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;oBAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;YAC9C,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE;QACrC,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3E,MAAM,KAAK,GAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YAC9F,IAAI,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;YAC1B,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC5E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;gBACtF,QAAQ,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC;YAC3F,CAAC;YACD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBAChC,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBACzE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChF,OAAO,EAAE,IAAI,EAAE,QAAiB,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;YAC1F,CAAC,CAAC,CAAC;YACH,MAAM,MAAM,GAAW;gBACrB,GAAG,CAAC;gBACJ,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;gBAC/E,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC;aACnC,CAAC;YACF,IAAI,QAAQ;gBAAE,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;gBAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,YAAY,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC3F,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QACtE,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC"}

package/dist/frontend/lowering/lower-assert.d.ts

@@ -1,6 +1,20 @@
 import * as ts from "../ts7/adapter.js";
 import type { Lowerer } from "./lowerer.js";
 import { type IrExpr, type SrcLoc } from "../../ir/ir.js";
+/** The assert method a `const` binding holds (`const ok = assert.ok`,
+ * `const eq = strictEqual`), or null. */
+export declare function assertFunctionAliasOf(lowerer: Lowerer, ident: ts.Identifier): {
+    module: string;
+    member: string;
+} | null;
+/** An assert method read as a value (`emitter.on("x", assert.fail)`,
+ * `const eq = assert.strictEqual`): an untyped function that asserts as
+ * the method does, the same value for every read. Null for other
+ * members. */
+export declare function assertFunctionValue(bi: {
+    module: string;
+    member: string;
+}, loc: SrcLoc): IrExpr | null;
 /** The module-function dispatch — the spoke's entry, called from both the
  * named-import and namespace/default-import call paths. Null for other
  * modules and for members with no lowering (the module tables' fence

package/dist/frontend/lowering/lower-assert.js

@@ -30,8 +30,11 @@ import { jsFuncNameOf, own } from "./lowerer.js";
 import { NARROW_FIRST } from "./surfaces.js";
 import { inspectExpr, typeReachesCycle, typeReachesFunction, typeReachesItself, } from "./lower-inspect.js";
 import { abstractEqualityExpr, abstractEqualitySupported } from "./abstract-equality.js";
-import { BOOL, CAUGHT, DYN, DYN_HANDLE_KINDS, F64, REGEX, RUNTIME_ERROR_CLASSES, STRING, VOID, isUnitType, typeEquals, typeKey, } from "../../ir/ir.js";
+import { BOOL, CAUGHT, DYN, DYN_HANDLE_KINDS, F64, REGEX, RUNTIME_ERROR_CLASSES, STRING, VOID, isDynTypedRefType, isUnitType, typeEquals, typeKey, } from "../../ir/ir.js";
 import { boolLit, countedFor, dynUndefinedExpr, numLit, strLit, varRef } from "../../ir/build.js";
+import { everyExpr } from "../../ir/traverse.js";
+import { checkedClassInstanceOf } from "./class-construction.js";
+import { isJsSourceFile } from "../program.js";
 /** node:assert/strict binds the loose NAMES to the strict comparisons —
  * Node's own aliasing (`strict.equal === assert.strictEqual`). */
 const STRICT_ALIASES = {
@@ -47,6 +50,56 @@ function canonicalAssertMember(module, member) {
         return own(STRICT_ALIASES, member) ?? member;
     return member;
 }
+/** The assert methods that are function values (scr_assert_method_value). */
+const ASSERT_FUNCTION_VALUES = new Set([
+    "ok",
+    "fail",
+    "equal",
+    "notEqual",
+    "strictEqual",
+    "notStrictEqual",
+    "deepEqual",
+    "notDeepEqual",
+    "deepStrictEqual",
+    "notDeepStrictEqual",
+    "partialDeepStrictEqual",
+    "ifError",
+]);
+/** The assert method a `const` binding holds (`const ok = assert.ok`,
+ * `const eq = strictEqual`), or null. */
+export function assertFunctionAliasOf(lowerer, ident) {
+    const decl = lowerer.checker.getSymbolAtLocation(ident)?.valueDeclaration;
+    if (!decl ||
+        !ts.isVariableDeclaration(decl) ||
+        !ts.isIdentifier(decl.name) ||
+        !ts.isVariableDeclarationList(decl.parent) ||
+        (decl.parent.flags & ts.NodeFlags.Const) === 0 ||
+        !decl.initializer)
+        return null;
+    let init = decl.initializer;
+    while (ts.isParenthesizedExpression(init))
+        init = init.expression;
+    const bi = ts.isPropertyAccessExpression(init)
+        ? lowerer.builtinMemberOf(init)
+        : ts.isIdentifier(init)
+            ? lowerer.builtinImportOf(init)
+            : null;
+    if (!bi || (bi.module !== "assert" && bi.module !== "assert/strict"))
+        return null;
+    return ASSERT_FUNCTION_VALUES.has(canonicalAssertMember(bi.module, bi.member)) ? bi : null;
+}
+/** An assert method read as a value (`emitter.on("x", assert.fail)`,
+ * `const eq = assert.strictEqual`): an untyped function that asserts as
+ * the method does, the same value for every read. Null for other
+ * members. */
+export function assertFunctionValue(bi, loc) {
+    if (bi.module !== "assert" && bi.module !== "assert/strict")
+        return null;
+    const member = canonicalAssertMember(bi.module, bi.member);
+    if (!ASSERT_FUNCTION_VALUES.has(member))
+        return null;
+    return { kind: "libCall", fn: "assert.methodValue", args: [strLit(member, loc)], type: DYN, loc };
+}
 /* Node's AssertionError carries actual, expected and operator. Where the
  * verdict is computed in compiled code, the failure branch records them
  * (assert.record) before the throwing call, so a passing assertion boxes
@@ -116,20 +169,122 @@ function requireStatementPosition(lowerer, call, what) {
         return;
     lowerer.noLowering(`using the result of ${what}`, call, "the result is void — call it as its own statement");
 }
+/** The message the runtime reads from a registered value
+ * (SCR_ASSERT_VALUE_MESSAGE in scr_assert.h). */
+const VALUE_MESSAGE = "\u0001scriptc:assert-message-value";
+/** A message argument that is not a string, met while one assertion
+ * lowers (withValueMessage). `fail` marks assert.fail's message, which
+ * Node uses for every value but null and undefined. */
+let valueMessage = null;
 /** The optional trailing message argument: Node accepts a string or an
  * Error (throwing the Error itself) — the STRING form lowers; a literal
  * `undefined` counts as omitted (Node's `message == null` test). Returns
  * the libCall's (msg, hasMsg) pair — a "" dummy when omitted, so the
- * runtime can distinguish an omitted message from an empty one. */
-function lowerMessageArg(lowerer, node, loc) {
+ * runtime can distinguish an omitted message from an empty one. Any other
+ * value that crosses into the checked-dynamic tree (an untyped
+ * `failures.join('')`, an Error) is registered with the runtime at the call
+ * instead (withValueMessage). */
+function lowerMessageArg(lowerer, node, loc, fail = false) {
     if (!node || (ts.isIdentifier(node) && node.text === "undefined")) {
         return { msg: { kind: "strLit", value: "", type: STRING, loc }, hasMsg: boolLit(false, loc) };
     }
     const msg = lowerer.lowerExpr(node);
-    if (msg.type.kind !== "string") {
+    if (msg.type.kind === "string")
+        return { msg, hasMsg: boolLit(true, loc) };
+    const value = valueMessage === null && (msg.type.kind === "dyn" || lowerer.dynConvertible(msg.type))
+        ? lowerer.coerceToExpected(msg, DYN)
+        : null;
+    if (value === null || value.type.kind !== "dyn") {
         lowerer.noLowering(`assert messages of type '${lowerer.fmt(msg.type)}'`, node, "only string messages lower (Node also accepts an Error to throw — construct and throw it directly)");
     }
-    return { msg, hasMsg: boolLit(true, loc) };
+    const has = lowerer.declareHiddenLocal("assert.hasMessage", BOOL);
+    const text = lowerer.declareHiddenLocal("assert.messageText", STRING);
+    valueMessage = { value, has: has.id, text: text.id, fail };
+    return { msg: varRef(text.id, STRING, loc), hasMsg: varRef(has.id, BOOL, loc) };
+}
+/** Lowers one assertion; a message value met on the way is evaluated after
+ * the assertion's other arguments, as Node evaluates them. A null or
+ * undefined message is omitted (Node's `message == null` test); a truthy
+ * one is registered with the runtime, which the failure reads; any other
+ * value is the empty message, which Node's comparison diffs treat as no
+ * message too (createErrDiff tests the message's truthiness). */
+function withValueMessage(lowerer, expr, loc, lower) {
+    const outer = valueMessage;
+    valueMessage = null;
+    try {
+        const lowered = lower();
+        const message = valueMessage;
+        if (lowered === null || message === null)
+            return lowered;
+        // assert.ok's statements evaluate the value first; its call is last.
+        const before = lowered.kind === "seqExpr" ? lowered.stmts : [];
+        const call = lowered.kind === "seqExpr" ? lowered.result : lowered;
+        if (call.kind !== "libCall") {
+            lowerer.noLowering("assert messages that are not strings in this assertion form", expr, "pass a string message");
+        }
+        const stmts = [...before];
+        // An argument computed from the message (assert.fail's generated flag)
+        // reads it after the declarations below; the others are evaluated first.
+        const readsMessage = (arg) => !everyExpr(arg, {
+            stmt: () => true,
+            expr: (e) => !(e.kind === "varRef" && (e.localId === message.has || e.localId === message.text)),
+        });
+        const args = call.args.map((arg, index) => readsMessage(arg) ? arg : stableValue(lowerer, stmts, arg, `assert.arg${index}`, loc));
+        const local = lowerer.declareHiddenLocal("assert.message", DYN);
+        const value = varRef(local.id, DYN, loc);
+        // The runtime reports a registered value: a truthy one for the other
+        // methods, any value but null and undefined for assert.fail (Node's
+        // `actual == null` test), whose other values read "Failed".
+        const registered = message.fail
+            ? varRef(message.has, BOOL, loc)
+            : { kind: "dynTest", test: "truthy", value, type: BOOL, loc };
+        stmts.push({ kind: "varDecl", localId: local.id, init: message.value, loc }, {
+            kind: "varDecl",
+            localId: message.has,
+            init: { kind: "dynTest", test: "nullish", negated: true, value, type: BOOL, loc },
+            loc,
+        }, {
+            kind: "varDecl",
+            localId: message.text,
+            init: {
+                kind: "ternary",
+                cond: registered,
+                then: strLit(VALUE_MESSAGE, loc),
+                else_: strLit(message.fail ? "Failed" : "", loc),
+                type: STRING,
+                loc,
+            },
+            loc,
+        }, {
+            kind: "if",
+            cond: registered,
+            then: [
+                {
+                    kind: "exprStmt",
+                    expr: {
+                        kind: "libCall",
+                        fn: "assert.messageValue",
+                        args: [value, { kind: "dynTest", test: "error", value, type: BOOL, loc }],
+                        type: VOID,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            else_: null,
+            loc,
+        }, { kind: "exprStmt", expr: { ...call, args }, loc });
+        return {
+            kind: "seqExpr",
+            stmts,
+            result: { kind: "libCall", fn: "assert.messageClear", args: [], type: VOID, loc },
+            type: VOID,
+            loc,
+        };
+    }
+    finally {
+        valueMessage = outer;
+    }
 }
 /** The module-function dispatch — the spoke's entry, called from both the
  * named-import and namespace/default-import call paths. Null for other
@@ -138,6 +293,9 @@ function lowerMessageArg(lowerer, node, loc) {
 export function lowerAssertModuleCall(lowerer, expr, bi, loc) {
     if (bi.module !== "assert" && bi.module !== "assert/strict")
         return null;
+    return withValueMessage(lowerer, expr, loc, () => lowerAssertMember(lowerer, expr, bi, loc));
+}
+function lowerAssertMember(lowerer, expr, bi, loc) {
     switch (canonicalAssertMember(bi.module, bi.member)) {
         case "ok":
             return lowerAssertOk(lowerer, expr, loc);
@@ -707,7 +865,7 @@ export function lowerAssertDirectCall(lowerer, expr, loc) {
         lowerer.unsupported("SC1013", expr, "calling a module namespace object (Node throws TypeError there — " +
             'use the default import: import assert from "node:assert")');
     }
-    return lowerAssertOk(lowerer, expr, loc);
+    return withValueMessage(lowerer, expr, loc, () => lowerAssertOk(lowerer, expr, loc));
 }
 /** assert(value[, message]) / assert.ok(value[, message]): the truthiness
  * test over any condition-testable type; the generated message carries the
@@ -715,7 +873,24 @@ export function lowerAssertDirectCall(lowerer, expr, loc) {
  * the same bytes at compile time). */
 function lowerAssertOk(lowerer, expr, loc) {
     requireStatementPosition(lowerer, expr, ts.getTextOfNode(expr.expression));
-    if (expr.arguments.nodes.length < 1 || expr.arguments.nodes.length > 2) {
+    if (expr.arguments.nodes.length === 0) {
+        // Node's message for a call without arguments.
+        const text = "No value argument passed to `assert.ok()`";
+        return {
+            kind: "seqExpr",
+            stmts: [recordOnFailure(lowerer, boolLit(true, loc), null, boolLit(true, loc), "==", loc)],
+            result: {
+                kind: "libCall",
+                fn: "assert.ok",
+                args: [boolLit(false, loc), strLit(text, loc), boolLit(true, loc)],
+                type: VOID,
+                loc,
+            },
+            type: VOID,
+            loc,
+        };
+    }
+    if (expr.arguments.nodes.length > 2) {
         lowerer.noLowering(`${ts.getTextOfNode(expr.expression)} with ${expr.arguments.nodes.length} arguments`, expr, "the supported forms are assert(value) and assert(value, message)");
     }
     const valueNode = expr.arguments.nodes[0];
@@ -766,16 +941,27 @@ function lowerAssertFail(lowerer, expr, loc) {
     }
     else {
         // Node's AssertionError sets generatedMessage to !message, so an
-        // empty custom message counts as generated.
-        msg = stableValue(lowerer, stmts, lowerMessageArg(lowerer, msgNode, loc).msg, "%assertFailMessage", loc);
-        generated = {
-            kind: "strEq",
-            negated: false,
-            left: msg,
-            right: strLit("", loc),
-            type: BOOL,
-            loc,
-        };
+        // empty custom message counts as generated. A message that is not a
+        // string is read from the hidden local that withValueMessage declares
+        // after these statements, so it is used as is.
+        const { msg: lowered, hasMsg } = lowerMessageArg(lowerer, msgNode, loc, true);
+        if (lowered.kind === "varRef" && hasMsg.kind === "varRef") {
+            // A value message: generated when Node reads "Failed" for null or
+            // undefined; the runtime sets the flag for a registered value.
+            msg = lowered;
+            generated = { kind: "unary", op: "!", operand: hasMsg, type: BOOL, loc };
+        }
+        else {
+            msg = stableValue(lowerer, stmts, lowered, "%assertFailMessage", loc);
+            generated = {
+                kind: "strEq",
+                negated: false,
+                left: msg,
+                right: strLit("", loc),
+                type: BOOL,
+                loc,
+            };
+        }
     }
     const falseLit = { kind: "boolLit", value: false, type: BOOL, loc };
     stmts.push(recordOnFailure(lowerer, boolLit(true, loc), null, null, "fail", loc));
@@ -847,9 +1033,20 @@ function lowerAssertEqual(lowerer, expr, loc, negated, deep) {
     // would answer false where Node can answer true (the value's own
     // earlier crossing) — a miscompare, never lowered. Bytes fence both
     // ways (the dyn copy cannot carry the Buffer/Uint8Array brand the
-    // checker type knows); class instances and everything non-convertible
-    // keep the fence too.
-    if (a.type.kind === "dyn" || b.type.kind === "dyn") {
+    // checker type knows); everything non-convertible keeps the fence too.
+    // A class instance crosses as a reference to the instance itself, so
+    // strict compares are honest reference equality, between two instances
+    // too (assert.strictEqual(e, e.setMaxListeners(1))).
+    const instanceType = (t) => isDynTypedRefType(t) && !lowerer.isSubclassOf(t.className, "%Error");
+    const instance = (e) => !deep &&
+        (instanceType(e.type) ||
+            (e.type.kind === "union" &&
+                (lowerer.unions
+                    .get(e.type.unionId)
+                    ?.arms.every((arm) => instanceType(arm) || isUnitType(arm)) ??
+                    false))) &&
+        lowerer.dynConvertible(e.type);
+    if (a.type.kind === "dyn" || b.type.kind === "dyn" || (instance(a) && instance(b))) {
         const box = (e, node) => {
             if (e.type.kind === "dyn")
                 return e;
@@ -858,6 +1055,15 @@ function lowerAssertEqual(lowerer, expr, loc, negated, deep) {
                 k === "f64" ||
                 k === "string" ||
                 k === "bool" ||
+                // A union of scalars and units crosses by value, like its arms.
+                (e.type.kind === "union" &&
+                    (lowerer.unions
+                        .get(e.type.unionId)
+                        ?.arms.every((arm) => arm.kind === "f64" ||
+                        arm.kind === "string" ||
+                        arm.kind === "bool" ||
+                        isUnitType(arm)) ??
+                        false)) ||
                 (k === "func" && lowerer.dynConvertible(e.type)) ||
                 // Runtime handles cross by REFERENCE (identity preserved), so the
                 // strict compare is honest: assert.strictEqual(this, server) —
@@ -873,6 +1079,9 @@ function lowerAssertEqual(lowerer, expr, loc, negated, deep) {
                 // same). The deep walk compares the retained error data without
                 // re-encoding and losing identity (SEMANTICS.md).
                 (k === "object" && e.type.kind === "object" && e.type.className === "%Error") ||
+                instance(e) ||
+                // A symbol crosses as itself, so strict compares are identity.
+                (!deep && k === "symbol") ||
                 (deep && k !== "bytes" && k !== "object" && lowerer.dynConvertible(e.type)) ||
                 // Under skipPrototype the prototype a class instance or Buffer
                 // brand would carry is not compared.
@@ -1081,7 +1290,7 @@ function lowerAssertMatch(lowerer, expr, loc, negated) {
         lowerer.noLowering(`${surface} with ${expr.arguments.nodes.length} arguments`, expr);
     }
     const s = lowerer.lowerExprExpecting(expr.arguments.nodes[0], STRING);
-    const re = lowerer.lowerExpr(expr.arguments.nodes[1]);
+    const re = lowerExpectedValue(lowerer, expr.arguments.nodes[1]);
     if (re.type.kind !== "regex") {
         lowerer.noLowering(`${surface} with a non-regex pattern`, expr.arguments.nodes[1], "the second argument must be a regular expression");
     }
@@ -1106,6 +1315,18 @@ function inErrorHierarchy(lowerer, className) {
     }
     return false;
 }
+/** An expected string or regex: a value JavaScript stores checked-dynamic
+ * (an object literal's field, an untyped binding) converts to the string
+ * or regex its checker type names, so the comparison takes that arm. */
+function lowerExpectedValue(lowerer, node) {
+    const value = lowerer.lowerExpr(node);
+    if (value.type.kind !== "dyn")
+        return value;
+    const expected = lowerer.mapTypeOf(lowerer.typeOf(node));
+    return expected?.kind === "string" || expected?.kind === "regex"
+        ? lowerer.coerceToExpected(value, expected)
+        : value;
+}
 /** Classify the expected argument: string → message, regex value → the
  * regex test over String(error), an error-class identifier → instanceof,
  * an object LITERAL over name/message/code (string or regex values) →
@@ -1117,7 +1338,7 @@ function classifyThrowsExpected(lowerer, surface, node, loc) {
         return { form: "message", msg: m.msg, hasMsg: m.hasMsg };
     }
     if (expectedT?.kind === "regex") {
-        return { form: "regex", value: lowerer.lowerExpr(node) };
+        return { form: "regex", value: lowerExpectedValue(lowerer, node) };
     }
     const sym = ts.isIdentifier(node) ? lowerer.resolveValueSymbol(node) : null;
     const info = (sym && lowerer.builtinErrorInfoOf(sym)) ?? (sym && lowerer.classBySymbol.get(sym)) ?? null;
@@ -1134,13 +1355,28 @@ function classifyThrowsExpected(lowerer, surface, node, loc) {
             displayName: rec ? rec.lib : info.def.name.replace(/^%/, ""),
         };
     }
-    if ((surface === "assert.doesNotThrow" || surface === "assert.doesNotReject") &&
-        expectedT?.kind === "func") {
+    if (expectedT?.kind === "func") {
         const value = lowerer.lowerExpr(node);
+        // An untyped value there (a dynamic-tier function's result) is checked
+        // at run time like any untyped expected value.
+        if (value.type.kind === "jsval" || value.type.kind === "dyn") {
+            const boxed = lowerer.coerceToExpected(value, DYN);
+            if (boxed.type.kind === "dyn")
+                return { form: "errValue", value: boxed };
+        }
+        // A JavaScript function accepts any argument; a typed one must take
+        // unknown values (the caught value need not be an Error).
         if (value.type.kind === "func" &&
-            value.type.params.every((param) => param.kind === "dyn") &&
+            (value.type.params.every((param) => param.kind === "dyn") ||
+                isJsSourceFile(ts.getSourceFileOfNode(node))) &&
             lowerer.dynConvertible(value.type)) {
-            return { form: "predicate", value: lowerer.coerceToExpected(value, DYN) };
+            // The boxed function carries its source name (Node's message names
+            // a named validation function).
+            const fnName = jsFuncNameOf(node);
+            return {
+                form: "predicate",
+                value: { kind: "dynFrom", value, ...(fnName !== null ? { fnName } : {}), type: DYN, loc },
+            };
         }
         lowerer.noLowering(`${surface} with this validation callback`, node, "use a callback accepting an unknown value, or a zero-parameter callback; its result is compared with true");
     }
@@ -1165,7 +1401,7 @@ function classifyThrowsExpected(lowerer, surface, node, loc) {
                 lowerer.noLowering(`${surface} comparing the '${keyName}' property of the thrown error`, prop, "the static error surface carries name, message, and code — compare other properties in a catch block");
             }
             const valueNode = ts.isPropertyAssignment(named) ? named.initializer : named.name;
-            const value = lowerer.lowerExpr(valueNode);
+            const value = lowerExpectedValue(lowerer, valueNode);
             if (value.type.kind === "string") {
                 byId.set(id, { id, kind: "str", value, enameBake: null });
             }
@@ -1188,7 +1424,9 @@ function classifyThrowsExpected(lowerer, surface, node, loc) {
     // tracingChannel suite's shape): the value crosses as a dyn error and
     // the runtime compares per Node's expectsError key walk. A
     // checked-dynamic expected rides directly; a static %Error boxes.
-    if (expectedT?.kind === "dyn") {
+    // An untyped JavaScript value (a parameter) too: a function there is
+    // checked at run time (assertThrowsHelper).
+    if (expectedT?.kind === "dyn" || expectedT === null) {
         const value = lowerer.lowerExpr(node);
         if (value.type.kind === "dyn")
             return { form: "errValue", value };
@@ -1491,6 +1729,33 @@ function assertThrowsHelper(lowerer, mode, recvType, recvIsPromise, expected, lo
         }
         return { e: strLit("", loc), has: false };
     })();
+    // expectedException's function branch: a function with a prototype that
+    // the caught value is an instance of passes; anything else is called as
+    // a validation function, whose result must be true.
+    const validateStmts = (fn) => {
+        const actual = () => ({ kind: "caughtToDyn", value: caughtRef(), type: DYN, loc });
+        const prototype = {
+            kind: "dynKeyGet",
+            value: fn,
+            key: strLit("prototype", loc),
+            optional: true,
+            type: DYN,
+            loc,
+        };
+        return [
+            ifStmt({ kind: "dynTest", test: "undefined", negated: true, value: prototype, type: BOOL, loc }, [
+                ifStmt(checkedClassInstanceOf(lowerer, actual(), fn, "assert.throws against this native constructor is not supported yet", loc), [doReturn]),
+            ]),
+            lib("assert.throwsValidate", [
+                actual(),
+                fn,
+                strLit(mode === "rejects" ? "rejects" : "throws", loc),
+                m(),
+                hm(),
+            ]),
+            doReturn,
+        ];
+    };
     let catchBody;
     if (mode === "dnr" || mode === "dnt") {
         const actual = () => ({ kind: "caughtToDyn", value: caughtRef(), type: DYN, loc });
@@ -1655,7 +1920,10 @@ function assertThrowsHelper(lowerer, mode, recvType, recvIsPromise, expected, lo
                 // caught value crosses as a dyn value (identity-preserving) and
                 // the runtime walks the expected's keys — a mismatch throws the
                 // deep-equal AssertionError.
+                // A function there is a validation function (or an error class
+                // value) as in the predicate form.
                 catchBody = [
+                    ifStmt({ kind: "dynTest", test: "function", value: varRef("ev.0", DYN, loc), type: BOOL, loc }, validateStmts(varRef("ev.0", DYN, loc))),
                     lib("assert.expectsErrDyn", [
                         { kind: "caughtToDyn", value: caughtRef(), type: DYN, loc },
                         varRef("ev.0", DYN, loc),
@@ -1666,7 +1934,8 @@ function assertThrowsHelper(lowerer, mode, recvType, recvIsPromise, expected, lo
                 ];
                 break;
             case "predicate":
-                throw new InternalCompilerError("assert validation callback only enters a no-error helper");
+                catchBody = validateStmts(varRef("predicate.0", DYN, loc));
+                break;
         }
     }
     const body = [];