@scriptc/compiler 0.3.1 → 0.3.3

package/dist/frontend/lowering/class-dynamic-dispatch.test.js

@@ -22,6 +22,7 @@ function context() {
         liftedFns,
         diags: [],
         prototypeMethodAccesses: new Map(),
+        protocolDispatches: new Map(),
         classMethodValueSelections: new Map(),
         isSubclassOf: () => false,
     };

package/dist/frontend/lowering/class-dynamic-dispatch.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"class-dynamic-dispatch.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-dynamic-dispatch.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,IAAI,GAIL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAI1F,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACtD,MAAM,QAAQ,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AAC5F,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAC1F,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC9E,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAc,EAAc,EAAE,CAAC,CAAC;IACxD,IAAI;IACJ,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,EAAE;IACV,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,SAAS,OAAO;IACd,MAAM,SAAS,GAAiB,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,SAAS;QACT,KAAK,EAAE,EAAE;QACT,uBAAuB,EAAE,IAAI,GAAG,EAAE;QAClC,0BAA0B,EAAE,IAAI,GAAG,EAAE;QACrC,YAAY,EAAE,GAAG,EAAE,CAAC,KAAK;KACJ,CAAC;IACxB,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,EAAE;QACtB,SAAS,CAAC;YACR,IAAI,EAAE,SAAS;YACf,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,UAAU;gBACnB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE;gBAC7C,GAAG;aACJ;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC;IACrC,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;KACxF,CAAC;IACF,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IAC3B,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,YAAY;IACZ,eAAe;IACf,aAAa;IACb,uBAAuB;IACvB,wBAAwB;CACzB,CAAC,CAAC,sBAAsB,EAAE,CAAC,IAAI,EAAE,EAAE;IAClC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,IAAI,KAAK,wBAAwB,CAAC;IACrD,MAAM,GAAG,GAAG,QAAQ;QAClB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE;QACnF,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACpB,MAAM,SAAS,GAAW,IAAI;QAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACzE,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,YAAY;YACpD,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACrD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACN,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,UAAU;QAC9D,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;QACvC,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,qCAAqC,CAAC;KACrE,CAAC,CAAC;IACH,6EAA6E;IAC7E,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,IAAI;QACN,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAChD,MAAM,CAAC,eAAe,CAAC,CAAC,2BAA2B,EAAE,kCAAkC,CAAC,CAAC,CAC1F,CAAC;IACJ,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC;IAChC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AACxC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3C,MAAM,CAAC,IAAI,CAAC,IAAI,CACd,SAAS,CAAC;QACR,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC;QAC3B,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CACH,CAAC;IACF,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;AACrF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,gBAAgB,CAAU,CAAC,CACtD,gEAAgE,EAChE,CAAC,SAAS,EAAE,EAAE;IACZ,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IAChD,OAAO,CAAC,gBAAgB,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACzC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChF,MAAM,IAAI,GAAG;QACX,QAAQ,CAAC,QAAQ,CAAC;QAClB,QAAQ,CAAC,KAAK,CAAC;QACf,GAAG,CAAC,SAAS,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,QAAQ,CAAC,UAAU,CAAC;KACrB,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,EAAE;QAC3B,SAAS,CAAC;YACR,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,SAAS;YACb,IAAI;YACJ,IAAI,EAAE,SAAS,KAAK,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;YACjD,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACnC,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE;KACxF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAE,CAAC;IACvF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACvC,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,SAAS;YACb,IAAI,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC;SAC9D;KACF,CAAC,CAAC;IACH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/E,CAAC,CACF,CAAC;AAEF,IAAI,CAAC,2FAA2F,EAAE,GAAG,EAAE;IACrG,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IAChD,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE;QAC5B,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;QACnC,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,OAAO,EAAE,IAAI,GAAG,CAAC;YACf,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;SACjF,CAAC;QACF,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,IAAI,EAAE,IAAI;KACa,CAAC,CAAC;IAC3B,OAAO,CAAC,qBAAqB,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;IAC3C,OAAO,CAAC,YAAY,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC;IACvD,OAAO,CAAC,aAAa,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC;IACpC,OAAO,CAAC,gBAAgB,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACzC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChF,OAAO,CAAC,QAAQ,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC;IACpC,OAAO,CAAC,QAAQ,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;IAC5B,MAAM,WAAW,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACjE,SAAS,CAAC;QACR,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC;QAC1B,MAAM,EAAE,MAAM;QACd,UAAU;QACV,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC5E,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CACH,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACzC,IAAI,oBAAoB,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACvF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QAC1C,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE;KAC3F,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QACvC,MAAM,CAAC,SAAS,CAAC,CAAC,aAAa,CAAC;YAC9B,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE;oBACN,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI;oBACtB,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAClB,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,0BAA0B,CAAC,EAAE;wBAC3E,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE;wBAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,KAAK,CAAC,EAAE;qBAC9D;iBACF;aACF;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IACzC,OAAO,CAAC,YAAY,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC;IACnC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAW,CAAC;IAC9D,MAAM,IAAI,GAAG;QACX,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;QACnC,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;KACS,CAAC;IAC1B,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACrF,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE;QAC1B,SAAS,CAAC;YACR,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,uBAAuB;YAC/B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YAC5D,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;QAC1B,SAAS,CAAC;YACR,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,0BAA0B;YAClC,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,0BAA0B,CAAE,CAAC;IACnF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;QAChC;YACE,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE;aACjD;YACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,CAAC;SAC1F;QACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE;KACrE,CAAC,CAAC;IACH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,mEAAmE;IACnE,qEAAqE;IACrE,IAAI,CAAC,GAAG,CAAC,mBAAmB,GAAG,mBAAmB,CAAC;IACnD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACnC,IAAI,EAAE;YACJ;gBACE,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,eAAe;oBACnB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;iBACtD;aACF;SACF;KACF,CAAC,CAAC;IACH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC;IACrC,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,uBAAuB;QAC/B,IAAI,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACzB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,oBAAoB,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,KAAK,MAAM,SAAS,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG;YACX,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;YACnC,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,OAAO,EAAE,IAAI,GAAG,EAAE;YAClB,UAAU,EAAE,EAAE;YACd,IAAI,EAAE,IAAI;SACa,CAAC;QAC1B,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE;YAC1B,SAAS,CAAC;gBACR,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,2BAA2B;gBACnC,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE;wBACzD,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;iBACF;gBACD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;SACH,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;QAC5C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,8BAA8B,CAAE,CAAC;QACvF,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,CAAC,GAAG,CAAC,mBAAmB,GAAG,mBAAmB,CAAC;YACnD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;QACD,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACpB,IAAI,SAAS;YACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;gBACnC,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,CAAC;aAC5E,CAAC,CAAC;;YAEH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;gBAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE;aACrE,CAAC,CAAC;IACP,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qFAAqF,EAAE,GAAG,EAAE;IAC/F,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC9D,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE;QAC5B,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;QACnC,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,UAAU,EAAE,EAAE;QACd,IAAI,EAAE,IAAI;KACa,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE;QAC1B,SAAS,CAAC;YACR,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,uBAAuB;YAC/B,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE;oBACzD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;QACF,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;KAC1F,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,uBAAuB,CAAE,CAAC;IAC7E,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,IAAc,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC3D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,+CAA+C,CAAC,CAAC;AACrF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG;QACX,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;QAC7D,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QACjC,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;KACS,CAAC;IAC1B,MAAM,KAAK,GAAG;QACZ,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;QAC5E,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QACjC,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,IAAI;QACJ,UAAU,EAAE,EAAE;KACS,CAAC;IAC1B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAClC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACpC,OAAO,CAAC,qBAAqB,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;IAC3C,OAAO,CAAC,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,KAAK,MAAM,CAAC;IAC/E,OAAO,CAAC,gBAAgB,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACzC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IACtE,MAAM,KAAK,GAAG,EAAE,CACd,OAAO,EACP,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACzB,SAAS,CAAC;QACR,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;YACtB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;YAClD,GAAG;SACJ;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CACH,CACF,CAAC;IACF,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,EAAE;QACtB,SAAS,CAAC;YACR,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC;YACxB,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC;YACrB,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,IAAI,oBAAoB,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAE,CAAC;IAC7F,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACrC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,sBAAsB,EAAE;KACxD,CAAC,CAAC;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAsB,CAAE,CAAC;IACtF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACtC,IAAI,EAAE,IAAI;QACV,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE;yBAC1E;qBACF;iBACF;aACF;SACF;KACF,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"class-dynamic-dispatch.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-dynamic-dispatch.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,IAAI,GAIL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAI1F,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACtD,MAAM,QAAQ,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AAC5F,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAC1F,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC9E,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAc,EAAc,EAAE,CAAC,CAAC;IACxD,IAAI;IACJ,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,EAAE;IACV,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,SAAS,OAAO;IACd,MAAM,SAAS,GAAiB,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,SAAS;QACT,KAAK,EAAE,EAAE;QACT,uBAAuB,EAAE,IAAI,GAAG,EAAE;QAClC,kBAAkB,EAAE,IAAI,GAAG,EAAE;QAC7B,0BAA0B,EAAE,IAAI,GAAG,EAAE;QACrC,YAAY,EAAE,GAAG,EAAE,CAAC,KAAK;KACJ,CAAC;IACxB,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,EAAE;QACtB,SAAS,CAAC;YACR,IAAI,EAAE,SAAS;YACf,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,UAAU;gBACnB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE;gBAC7C,GAAG;aACJ;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC;IACrC,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;KACxF,CAAC;IACF,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IAC3B,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,YAAY;IACZ,eAAe;IACf,aAAa;IACb,uBAAuB;IACvB,wBAAwB;CACzB,CAAC,CAAC,sBAAsB,EAAE,CAAC,IAAI,EAAE,EAAE;IAClC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,IAAI,KAAK,wBAAwB,CAAC;IACrD,MAAM,GAAG,GAAG,QAAQ;QAClB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE;QACnF,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACpB,MAAM,SAAS,GAAW,IAAI;QAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACzE,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,YAAY;YACpD,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACrD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACN,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,UAAU;QAC9D,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;QACvC,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,qCAAqC,CAAC;KACrE,CAAC,CAAC;IACH,6EAA6E;IAC7E,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,IAAI;QACN,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAChD,MAAM,CAAC,eAAe,CAAC,CAAC,2BAA2B,EAAE,kCAAkC,CAAC,CAAC,CAC1F,CAAC;IACJ,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC;IAChC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AACxC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3C,MAAM,CAAC,IAAI,CAAC,IAAI,CACd,SAAS,CAAC;QACR,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC;QAC3B,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CACH,CAAC;IACF,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;AACrF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,gBAAgB,CAAU,CAAC,CACtD,gEAAgE,EAChE,CAAC,SAAS,EAAE,EAAE;IACZ,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IAChD,OAAO,CAAC,gBAAgB,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACzC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChF,MAAM,IAAI,GAAG;QACX,QAAQ,CAAC,QAAQ,CAAC;QAClB,QAAQ,CAAC,KAAK,CAAC;QACf,GAAG,CAAC,SAAS,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,QAAQ,CAAC,UAAU,CAAC;KACrB,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,EAAE;QAC3B,SAAS,CAAC;YACR,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,SAAS;YACb,IAAI;YACJ,IAAI,EAAE,SAAS,KAAK,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;YACjD,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACnC,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE;KACxF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAE,CAAC;IACvF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACvC,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,SAAS;YACb,IAAI,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC;SAC9D;KACF,CAAC,CAAC;IACH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/E,CAAC,CACF,CAAC;AAEF,IAAI,CAAC,2FAA2F,EAAE,GAAG,EAAE;IACrG,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IAChD,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE;QAC5B,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;QACnC,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,OAAO,EAAE,IAAI,GAAG,CAAC;YACf,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;SACjF,CAAC;QACF,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,IAAI,EAAE,IAAI;KACa,CAAC,CAAC;IAC3B,OAAO,CAAC,qBAAqB,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;IAC3C,OAAO,CAAC,YAAY,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC;IACvD,OAAO,CAAC,aAAa,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC;IACpC,OAAO,CAAC,gBAAgB,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACzC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChF,OAAO,CAAC,QAAQ,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC;IACpC,OAAO,CAAC,QAAQ,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;IAC5B,MAAM,WAAW,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACjE,SAAS,CAAC;QACR,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC;QAC1B,MAAM,EAAE,MAAM;QACd,UAAU;QACV,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC5E,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CACH,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACzC,IAAI,oBAAoB,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACvF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QAC1C,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE;KAC3F,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QACvC,MAAM,CAAC,SAAS,CAAC,CAAC,aAAa,CAAC;YAC9B,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE;oBACN,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI;oBACtB,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAClB,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,0BAA0B,CAAC,EAAE;wBAC3E,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE;wBAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,KAAK,CAAC,EAAE;qBAC9D;iBACF;aACF;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IACzC,OAAO,CAAC,YAAY,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC;IACnC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAW,CAAC;IAC9D,MAAM,IAAI,GAAG;QACX,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;QACnC,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;KACS,CAAC;IAC1B,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACrF,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE;QAC1B,SAAS,CAAC;YACR,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,uBAAuB;YAC/B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YAC5D,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;QAC1B,SAAS,CAAC;YACR,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,0BAA0B;YAClC,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,0BAA0B,CAAE,CAAC;IACnF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;QAChC;YACE,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE;aACjD;YACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,CAAC;SAC1F;QACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE;KACrE,CAAC,CAAC;IACH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,mEAAmE;IACnE,qEAAqE;IACrE,IAAI,CAAC,GAAG,CAAC,mBAAmB,GAAG,mBAAmB,CAAC;IACnD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACnC,IAAI,EAAE;YACJ;gBACE,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,eAAe;oBACnB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;iBACtD;aACF;SACF;KACF,CAAC,CAAC;IACH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC;IACrC,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,uBAAuB;QAC/B,IAAI,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACzB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,oBAAoB,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,KAAK,MAAM,SAAS,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG;YACX,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;YACnC,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,OAAO,EAAE,IAAI,GAAG,EAAE;YAClB,UAAU,EAAE,EAAE;YACd,IAAI,EAAE,IAAI;SACa,CAAC;QAC1B,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE;YAC1B,SAAS,CAAC;gBACR,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,2BAA2B;gBACnC,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE;wBACzD,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;iBACF;gBACD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;SACH,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;QAC5C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,8BAA8B,CAAE,CAAC;QACvF,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,CAAC,GAAG,CAAC,mBAAmB,GAAG,mBAAmB,CAAC;YACnD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;QACD,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACpB,IAAI,SAAS;YACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;gBACnC,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,CAAC;aAC5E,CAAC,CAAC;;YAEH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;gBAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE;aACrE,CAAC,CAAC;IACP,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qFAAqF,EAAE,GAAG,EAAE;IAC/F,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC9D,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE;QAC5B,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;QACnC,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,UAAU,EAAE,EAAE;QACd,IAAI,EAAE,IAAI;KACa,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE;QAC1B,SAAS,CAAC;YACR,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,uBAAuB;YAC/B,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE;oBACzD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;QACF,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;KAC1F,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,uBAAuB,CAAE,CAAC;IAC7E,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,IAAc,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC3D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,+CAA+C,CAAC,CAAC;AACrF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG;QACX,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;QAC7D,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QACjC,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;KACS,CAAC;IAC1B,MAAM,KAAK,GAAG;QACZ,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;QAC5E,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QACjC,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,IAAI;QACJ,UAAU,EAAE,EAAE;KACS,CAAC;IAC1B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAClC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACpC,OAAO,CAAC,qBAAqB,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;IAC3C,OAAO,CAAC,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,KAAK,MAAM,CAAC;IAC/E,OAAO,CAAC,gBAAgB,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACzC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IACtE,MAAM,KAAK,GAAG,EAAE,CACd,OAAO,EACP,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACzB,SAAS,CAAC;QACR,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;YACtB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;YAClD,GAAG;SACJ;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CACH,CACF,CAAC;IACF,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,EAAE;QACtB,SAAS,CAAC;YACR,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC;YACxB,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC;YACrB,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,IAAI,oBAAoB,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAE,CAAC;IAC7F,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACrC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,sBAAsB,EAAE;KACxD,CAAC,CAAC;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAsB,CAAE,CAAC;IACtF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACtC,IAAI,EAAE,IAAI;QACV,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE;yBAC1E;qBACF;iBACF;aACF;SACF;KACF,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/class-protocol-dispatch.d.ts

@@ -0,0 +1,45 @@
+import { type IrExpr, type IrFunction, type IrStmt, type IrType } from "../../ir/ir.js";
+import * as ts from "../ts7/adapter.js";
+import { type Lowerer } from "./lowerer.js";
+import { type ClassInfo } from "./lower-classes.js";
+/** A method call through a class-backed protocol (`s.area()` with
+ * `s: Shape`) that keeps its static signature. ClassDynamicDispatch adds
+ * one native arm to `fn` per boxed class implementing the method; other
+ * values take `fallback`, the checked-dynamic call. */
+export interface ProtocolDispatch {
+    method: string;
+    /** (receiver, [callee], ...args, calleeName) → result. Generated: its
+     * capsule tests and unboxing stay as written. */
+    fn: IrFunction;
+    /** The same signature as `fn`, lowered as ordinary code so property
+     * reads and checks dispatch like the call they replace. */
+    fallback: IrFunction;
+    /** Reads the callee before arguments run, for argument lists with
+     * effects. Native arms answer undefined without reading it. */
+    probe: IrFunction | null;
+    params: IrType[];
+    /** The call's static result; DYN for a void protocol method, whose
+     * implementations may still return a value. */
+    result: IrType;
+    returnsVoid: boolean;
+    /** A property read (`s.name`) rather than a method call: arms read the
+     * implementing class's field. */
+    field: boolean;
+    classes: Set<string>;
+}
+/** `s.m(args)` on a class-backed protocol receiver: the arguments and the
+ * result keep their static types, and receivers that are instances of a
+ * boxed implementing class call the native method directly. */
+export declare function lowerProtocolMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression, recv: IrExpr): IrExpr | null;
+/** The native arm for receivers of `info`: the method's own signature must
+ * accept the protocol's argument types unchanged (or as one checked-dynamic
+ * value), and nothing may replace the method on an instance. */
+export declare function protocolArm(lowerer: Lowerer, dispatch: ProtocolDispatch, info: ClassInfo, receiver: IrExpr, asyncFree: boolean): IrStmt[] | null;
+/** `s.name` on a class-backed protocol receiver, where `name` is a property
+ * signature: the read has the property's static type, and receivers that
+ * are instances of a boxed class declaring the field read it directly. */
+export declare function lowerProtocolPropertyRead(lowerer: Lowerer, access: ts.PropertyAccessExpression): IrExpr | null;
+/** The field arm for receivers of `info`: a declared field of the read's
+ * type. Accessors and fields of JavaScript classes, which an own property
+ * can replace, keep the checked read. */
+export declare function protocolFieldArm(lowerer: Lowerer, dispatch: ProtocolDispatch, info: ClassInfo, receiver: IrExpr): IrStmt[] | null;

package/dist/frontend/lowering/class-protocol-dispatch.js

@@ -0,0 +1,516 @@
+import { dynUndefinedExpr, varRef } from "../../ir/build.js";
+import { DYN, STRING, isDynTypedRefType, isUnitType, canConvertToDyn, canDynCheckTo, typeEquals, typeKey, } from "../../ir/ir.js";
+import { isJsSourceFile, locOf } from "../program.js";
+import * as ts from "../ts7/adapter.js";
+import {} from "./lowerer.js";
+import { findMethodOn, upcastTo } from "./lower-classes.js";
+import { isClassCallback } from "./class-callbacks.js";
+import { tryLowerExpression } from "./expressions/try-lower-expression.js";
+/** The fallback takes its own reference to the receiver. A caller may lend
+ * the receiver from an array element, and the checked call can run code
+ * that removes that element. */
+function ownedReceiver(params) {
+    return params.map((param, index) => (index === 0 ? { ...param, owned: true } : param));
+}
+/** Lowered arguments whose evaluation can neither throw nor change any
+ * value. */
+function effectFree(expr) {
+    const scalar = (value) => (value.type.kind === "f64" || value.type.kind === "bool") && effectFree(value);
+    switch (expr.kind) {
+        case "varRef":
+        case "numLit":
+        case "strLit":
+        case "boolLit":
+        case "unitLit":
+            return true;
+        case "bin":
+            return scalar(expr.left) && scalar(expr.right);
+        case "unary":
+            return scalar(expr.operand);
+        default:
+            return false;
+    }
+}
+/** The function, class field initializer or static block whose code runs
+ * `node`, or its source file. */
+function codeOwner(node) {
+    let current = node.parent;
+    while (current &&
+        !ts.isSourceFile(current) &&
+        !ts.isFunctionLike(current) &&
+        !ts.isClassStaticBlockDeclaration(current) &&
+        !ts.isPropertyDeclaration(current))
+        current = current.parent;
+    return current ?? node.getSourceFile();
+}
+/** A local variable or parameter that only its own function's code
+ * assigns. Reading a method can run a getter, which can then assign only
+ * bindings that its own body writes, so such a variable keeps its value
+ * across the read. */
+function ownedBinding(lowerer, id) {
+    const symbol = lowerer.resolveValueSymbol(id);
+    if (!symbol)
+        return false;
+    const cached = lowerer.protocolOwnedBindings.get(symbol);
+    if (cached !== undefined)
+        return cached;
+    const decl = lowerer.checker.valueDeclarationOf(symbol);
+    let owned = decl !== undefined &&
+        decl.getSourceFile() === id.getSourceFile() &&
+        ((ts.isVariableDeclaration(decl) && ts.isIdentifier(decl.name)) ||
+            (ts.isParameter(decl) && ts.isIdentifier(decl.name)));
+    if (owned && decl) {
+        const owner = codeOwner(decl);
+        const names = (node) => ts.isIdentifier(node) &&
+            node.text === symbol.name &&
+            lowerer.resolveValueSymbol(node) === symbol;
+        const written = (target) => {
+            let found = false;
+            const walk = (node) => {
+                if (found)
+                    return;
+                if (names(node))
+                    found = true;
+                else
+                    node.forEachChild(walk);
+            };
+            walk(target);
+            return found;
+        };
+        const visit = (node) => {
+            if (!owned)
+                return;
+            // Sloppy-mode `arguments` aliases parameters.
+            if (ts.isParameter(decl) && ts.isIdentifier(node) && node.text === "arguments")
+                owned = false;
+            let target = null;
+            if (ts.isBinaryExpression(node) &&
+                node.operatorToken.kind >= ts.SyntaxKind.FirstAssignment &&
+                node.operatorToken.kind <= ts.SyntaxKind.LastAssignment)
+                target = node.left;
+            else if ((ts.isPrefixUnaryExpression(node) || ts.isPostfixUnaryExpression(node)) &&
+                (node.operator === ts.SyntaxKind.PlusPlusToken ||
+                    node.operator === ts.SyntaxKind.MinusMinusToken))
+                target = node.operand;
+            else if ((ts.isForOfStatement(node) || ts.isForInStatement(node)) &&
+                !ts.isVariableDeclarationList(node.initializer))
+                target = node.initializer;
+            if (target && codeOwner(node) !== owner && written(target))
+                owned = false;
+            node.forEachChild(visit);
+        };
+        owner.forEachChild(visit);
+    }
+    lowerer.protocolOwnedBindings.set(symbol, owned);
+    return owned;
+}
+/** Arguments a method read cannot change: literals, and arithmetic over
+ * literals and owned bindings. The method may then be read after them. */
+function stableArgument(lowerer, node) {
+    if (ts.isParenthesizedExpression(node))
+        return stableArgument(lowerer, node.expression);
+    if (ts.isIdentifier(node))
+        return ownedBinding(lowerer, node);
+    if (ts.isPrefixUnaryExpression(node))
+        return stableArgument(lowerer, node.operand);
+    if (ts.isBinaryExpression(node))
+        return ((node.operatorToken.kind < ts.SyntaxKind.FirstAssignment ||
+            node.operatorToken.kind > ts.SyntaxKind.LastAssignment) &&
+            stableArgument(lowerer, node.left) &&
+            stableArgument(lowerer, node.right));
+    return (ts.isNumericLiteral(node) ||
+        ts.isStringLiteral(node) ||
+        ts.isNoSubstitutionTemplateLiteral(node) ||
+        node.kind === ts.SyntaxKind.TrueKeyword ||
+        node.kind === ts.SyntaxKind.FalseKeyword ||
+        node.kind === ts.SyntaxKind.NullKeyword);
+}
+/** The protocol method's parameter and result types, when every parameter
+ * is plain (no rest, optional or default) and every type maps. */
+function protocolSignature(lowerer, call, access) {
+    const recvTs = lowerer.typeOf(access.expression);
+    const property = lowerer.checker.getPropertyOfType(recvTs, access.name.text);
+    if (!property)
+        return null;
+    const declarations = lowerer.checker.declarationsOf(property);
+    if (declarations.length === 0 ||
+        !declarations.every((decl) => ts.isMethodSignatureDeclaration(decl) || ts.isMethodDeclaration(decl)))
+        return null;
+    const signature = lowerer.checker.getResolvedSignature(call);
+    const declaration = signature && lowerer.checker.signatureDeclaration(signature);
+    if (!signature ||
+        !declaration ||
+        !(ts.isMethodSignatureDeclaration(declaration) || ts.isMethodDeclaration(declaration)) ||
+        (declaration.typeParameters?.length ?? 0) > 0)
+        return null;
+    const declared = (declaration.parameters ?? []).filter((param) => !(ts.isIdentifier(param.name) && param.name.text === "this"));
+    const symbols = signature.getParameters();
+    if (symbols.length !== declared.length || call.arguments.length !== declared.length)
+        return null;
+    const records = (id) => lowerer.shapes.get(id);
+    const unions = (id) => lowerer.unions.get(id);
+    const params = [];
+    for (let i = 0; i < declared.length; i++) {
+        const param = declared[i];
+        if (param.dotDotDotToken || param.questionToken || param.initializer)
+            return null;
+        const mapped = lowerer.mapTypeOf(lowerer.checker.getTypeOfSymbol(symbols[i]));
+        if (!mapped || mapped.kind === "void" || !canConvertToDyn(mapped, records, unions))
+            return null;
+        params.push(mapped);
+    }
+    const returned = lowerer.checker.getReturnTypeOfSignature(signature);
+    if ((returned.flags & ts.TypeFlags.Void) !== 0)
+        return { params, result: DYN, returnsVoid: true };
+    const result = lowerer.mapTypeOf(returned);
+    if (!result || result.kind === "void" || !canDynCheckTo(result, records, unions))
+        return null;
+    return { params, result, returnsVoid: false };
+}
+/** `s.m(args)` on a class-backed protocol receiver: the arguments and the
+ * result keep their static types, and receivers that are instances of a
+ * boxed implementing class call the native method directly. */
+export function lowerProtocolMethodCall(lowerer, call, access, recv) {
+    if (recv.type.kind !== "dyn" ||
+        call.questionDotToken ||
+        access.questionDotToken ||
+        call.arguments.some(ts.isSpreadElement))
+        return null;
+    let signature;
+    try {
+        signature = protocolSignature(lowerer, call, access);
+    }
+    catch {
+        return null;
+    }
+    if (!signature)
+        return null;
+    const { params, result, returnsVoid } = signature;
+    const loc = locOf(call);
+    const method = access.name.text;
+    // A const binding already holds the receiver for the whole call; other
+    // receivers are evaluated once into a hidden local.
+    const constant = recv.kind === "varRef" &&
+        lowerer.ctx.locals.some((local) => local.id === recv.localId && !local.mutable);
+    const receiverLocal = constant ? null : lowerer.declareHiddenLocal("%protocolReceiver", DYN);
+    const receiver = receiverLocal ? varRef(receiverLocal.id, DYN, loc) : recv;
+    const stmts = receiverLocal
+        ? [{ kind: "varDecl", localId: receiverLocal.id, init: recv, loc }]
+        : [];
+    const args = call.arguments.map((arg, i) => lowerer.coerceToExpected(lowerer.lowerExprExpecting(arg, params[i]), params[i]));
+    const probed = !args.every(effectFree) || !call.arguments.every((arg) => stableArgument(lowerer, arg));
+    const key = JSON.stringify([method, params.map(typeKey), typeKey(result), returnsVoid, probed]);
+    let dispatch = lowerer.protocolDispatches.get(key);
+    if (!dispatch) {
+        const index = lowerer.protocolDispatches.size;
+        const signatureParams = [
+            { localId: "p.0", name: "receiver", type: DYN },
+            ...(probed ? [{ localId: "p.callee", name: "callee", type: DYN }] : []),
+            ...params.map((type, i) => ({ localId: `p.${i + 1}`, name: `p${i + 1}`, type })),
+            { localId: "p.calleeName", name: "calleeName", type: STRING },
+        ];
+        const locals = () => signatureParams.map((param) => ({
+            id: param.localId,
+            name: param.name,
+            type: param.type,
+            mutable: false,
+        }));
+        const read = () => ({
+            kind: "dynKeyGet",
+            value: varRef("p.0", DYN, loc),
+            key: { kind: "strLit", value: method, type: STRING, loc },
+            type: DYN,
+            loc,
+        });
+        const dynamicCall = {
+            kind: "dynCall",
+            callee: probed ? varRef("p.callee", DYN, loc) : read(),
+            receiver: varRef("p.0", DYN, loc),
+            calleeName: access.getText(),
+            calleeNameValue: varRef("p.calleeName", STRING, loc),
+            args: params.map((type, i) => lowerer.coerceToExpected(varRef(`p.${i + 1}`, type, loc), DYN)),
+            type: DYN,
+            loc,
+        };
+        const fallback = {
+            name: `%dyn.class.protocol.fallback.${index}`,
+            params: ownedReceiver(signatureParams),
+            returnType: result,
+            locals: locals(),
+            body: [{ kind: "return", value: lowerer.coerceToExpected(dynamicCall, result), loc }],
+            loc,
+        };
+        const fn = {
+            name: `%dyn.class.protocol.${index}`,
+            params: signatureParams,
+            returnType: result,
+            locals: locals(),
+            body: [
+                {
+                    kind: "return",
+                    value: {
+                        kind: "call",
+                        callee: fallback.name,
+                        args: signatureParams.map((param) => varRef(param.localId, param.type, loc)),
+                        type: result,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        };
+        const probe = probed
+            ? {
+                name: `%dyn.class.protocol.callee.${index}`,
+                params: [signatureParams[0]],
+                returnType: DYN,
+                locals: [{ id: "p.0", name: "receiver", type: DYN, mutable: false }],
+                body: [{ kind: "return", value: read(), loc }],
+                loc,
+            }
+            : null;
+        dispatch = {
+            method,
+            fn,
+            fallback,
+            probe,
+            params,
+            result,
+            returnsVoid,
+            field: false,
+            classes: new Set(),
+        };
+        lowerer.protocolDispatches.set(key, dispatch);
+        lowerer.liftedFns.push(fn, fallback, ...(probe ? [probe] : []));
+    }
+    const callee = dispatch.probe ? lowerer.declareHiddenLocal("%protocolCallee", DYN) : null;
+    if (dispatch.probe && callee)
+        stmts.push({
+            kind: "varDecl",
+            localId: callee.id,
+            init: { kind: "call", callee: dispatch.probe.name, args: [receiver], type: DYN, loc },
+            loc,
+        });
+    return {
+        kind: "seqExpr",
+        stmts,
+        result: {
+            kind: "call",
+            callee: dispatch.fn.name,
+            args: [
+                receiver,
+                ...(callee ? [varRef(callee.id, DYN, loc)] : []),
+                ...args,
+                { kind: "strLit", value: access.getText(), type: STRING, loc },
+            ],
+            type: result,
+            loc,
+        },
+        type: result,
+        loc,
+    };
+}
+/** The native arm for receivers of `info`: the method's own signature must
+ * accept the protocol's argument types unchanged (or as one checked-dynamic
+ * value), and nothing may replace the method on an instance. */
+export function protocolArm(lowerer, dispatch, info, receiver, asyncFree) {
+    const { method } = dispatch;
+    const loc = dispatch.fn.loc;
+    if (info.def.runtime ||
+        info.builtinError ||
+        info.builtinEmitter ||
+        info.builtinStream ||
+        isClassCallback(lowerer, info, method))
+        return null;
+    const found = findMethodOn(lowerer, info, method);
+    if (!found || (asyncFree && (found.sig.gen || found.sig.async)))
+        return null;
+    const records = (id) => lowerer.shapes.get(id);
+    const unions = (id) => lowerer.unions.get(id);
+    const { params } = found.sig;
+    if (params.length !== dispatch.params.length)
+        return null;
+    const args = [];
+    for (let i = 0; i < params.length; i++) {
+        const param = params[i];
+        const incoming = varRef(`p.${i + 1}`, dispatch.params[i], loc);
+        if (param.mode !== "required" && param.mode !== "omittable")
+            return null;
+        if (typeEquals(param.type, incoming.type))
+            args.push(incoming);
+        else if (param.type.kind === "dyn")
+            args.push(lowerer.coerceToExpected(incoming, DYN));
+        else
+            return null;
+    }
+    const owner = found.declarer;
+    const virtual = lowerer.overrideBelow(owner, method) || found.sig.abstract === true;
+    const callee = `%${owner.def.name}.${method}`;
+    const ret = found.sig.ret;
+    const invoke = virtual
+        ? {
+            kind: "virtualCall",
+            className: owner.def.name,
+            method,
+            args: [upcastTo(lowerer, receiver, owner.def.name), ...args],
+            type: ret,
+            loc,
+        }
+        : {
+            kind: "call",
+            callee,
+            args: [upcastTo(lowerer, receiver, owner.def.name), ...args],
+            type: ret,
+            loc,
+        };
+    let body;
+    if (ret.kind === "void") {
+        if (!dispatch.returnsVoid)
+            return null;
+        body = [
+            { kind: "exprStmt", expr: invoke, loc },
+            { kind: "return", value: dynUndefinedExpr(loc), loc },
+        ];
+    }
+    else if (typeEquals(ret, dispatch.result)) {
+        body = [{ kind: "return", value: invoke, loc }];
+    }
+    else if (dispatch.result.kind === "dyn" && canConvertToDyn(ret, records, unions)) {
+        body = [{ kind: "return", value: lowerer.coerceToExpected(invoke, DYN), loc }];
+    }
+    else
+        return null;
+    if (virtual)
+        lowerer.noteVirtualEdge(owner, method);
+    else
+        lowerer.noteEdge(callee);
+    return body;
+}
+/** Static results that the checked fallback converts without copying: the
+ * value keeps its identity whichever path produced it. */
+function identityResult(lowerer, type) {
+    if (type.kind === "f64" || type.kind === "bool" || type.kind === "string")
+        return true;
+    if (isDynTypedRefType(type))
+        return true;
+    if (type.kind !== "union")
+        return false;
+    return (lowerer.unions
+        .get(type.unionId)
+        ?.arms.every((arm) => arm.kind === "f64" ||
+        arm.kind === "bool" ||
+        arm.kind === "string" ||
+        isUnitType(arm) ||
+        isDynTypedRefType(arm)) ?? false);
+}
+/** `s.name` on a class-backed protocol receiver, where `name` is a property
+ * signature: the read has the property's static type, and receivers that
+ * are instances of a boxed class declaring the field read it directly. */
+export function lowerProtocolPropertyRead(lowerer, access) {
+    if (isJsSourceFile(access.getSourceFile()))
+        return null;
+    const receiverType = lowerer.typeOf(access.expression);
+    if (!lowerer.classImplementedProtocol(receiverType))
+        return null;
+    const name = access.name.text;
+    const property = lowerer.checker.getPropertyOfType(receiverType, name);
+    const declarations = property ? lowerer.checker.declarationsOf(property) : [];
+    if (declarations.length === 0 || !declarations.every((decl) => ts.isPropertySignature(decl)))
+        return null;
+    const result = lowerer.mapTypeOf(lowerer.typeOf(access));
+    if (!result ||
+        !identityResult(lowerer, result) ||
+        !canDynCheckTo(result, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id)))
+        return null;
+    const recv = tryLowerExpression(lowerer, access.expression);
+    if (recv?.type.kind !== "dyn")
+        return null;
+    const loc = locOf(access);
+    const key = JSON.stringify(["get", name, typeKey(result)]);
+    let dispatch = lowerer.protocolDispatches.get(key);
+    if (!dispatch) {
+        const index = lowerer.protocolDispatches.size;
+        const params = [{ localId: "p.0", name: "receiver", type: DYN }];
+        const locals = () => [{ id: "p.0", name: "receiver", type: DYN, mutable: false }];
+        const read = {
+            kind: "dynKeyGet",
+            value: varRef("p.0", DYN, loc),
+            key: { kind: "strLit", value: name, type: STRING, loc },
+            type: DYN,
+            loc,
+        };
+        const fallback = {
+            name: `%dyn.class.protocol.fallback.${index}`,
+            params: ownedReceiver(params),
+            returnType: result,
+            locals: locals(),
+            body: [{ kind: "return", value: lowerer.coerceToExpected(read, result), loc }],
+            loc,
+        };
+        const fn = {
+            name: `%dyn.class.protocol.${index}`,
+            params,
+            returnType: result,
+            locals: locals(),
+            body: [
+                {
+                    kind: "return",
+                    value: {
+                        kind: "call",
+                        callee: fallback.name,
+                        args: [varRef("p.0", DYN, loc)],
+                        type: result,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        };
+        dispatch = {
+            method: name,
+            fn,
+            fallback,
+            probe: null,
+            params: [],
+            result,
+            returnsVoid: false,
+            field: true,
+            classes: new Set(),
+        };
+        lowerer.protocolDispatches.set(key, dispatch);
+        lowerer.liftedFns.push(fn, fallback);
+    }
+    return { kind: "call", callee: dispatch.fn.name, args: [recv], type: result, loc };
+}
+/** The field arm for receivers of `info`: a declared field of the read's
+ * type. Accessors and fields of JavaScript classes, which an own property
+ * can replace, keep the checked read. */
+export function protocolFieldArm(lowerer, dispatch, info, receiver) {
+    if (info.def.runtime ||
+        info.builtinError ||
+        info.builtinEmitter ||
+        info.builtinStream ||
+        info.def.tracksOwnFields)
+        return null;
+    const field = info.fields.get(dispatch.method);
+    if (!field || !typeEquals(field, dispatch.result))
+        return null;
+    const loc = dispatch.fn.loc;
+    return [
+        {
+            kind: "return",
+            value: {
+                kind: "fieldGet",
+                obj: receiver,
+                className: info.def.name,
+                field: dispatch.method,
+                type: field,
+                loc,
+            },
+            loc,
+        },
+    ];
+}
+//# sourceMappingURL=class-protocol-dispatch.js.map