@scriptc/compiler 0.4.7 → 0.4.8

package/dist/frontend/lowering/lowerer.test.js

@@ -38,6 +38,24 @@ test("keeps narrowing evidence local to each conversion request", () => {
     expect(lowerer.unionRetagHelper(from, to, loc, new Set([1]))).toBe(helper);
     expect(lowerer.unionRetagHelper(from, to, loc, new Set([1, 0]))).toBe(helper);
 });
+test("a class route checks the stored base arm before viewing the subclass", () => {
+    const lowerer = context();
+    const animal = { kind: "object", className: "Animal" };
+    const dog = { kind: "object", className: "Dog" };
+    const from = lowerer.unions.intern([animal, F64]);
+    const to = lowerer.unions.intern([dog, F64]);
+    const routes = new Map([
+        [lowerer.armTag(from, animal), [{ tag: lowerer.armTag(to, dog), arm: dog }]],
+    ]);
+    const helper = lowerer.unionRetagHelper(from, to, loc, undefined, routes);
+    expect(helper).not.toBeNull();
+    const body = JSON.stringify(lowerer.liftedFns.find((fn) => fn.name === helper)?.body);
+    expect(body).toContain('"kind":"instanceOf"');
+    expect(body).toContain('"kind":"downcast"');
+    expect(lowerer.unionRetagHelper(from, to, loc, undefined, routes)).toBe(helper);
+    // Without the route the base arm has no destination and the plan declines.
+    expect(lowerer.unionRetagHelper(from, to, loc)).toBeNull();
+});
 test("replans after a recursive union gains its final arms", () => {
     const lowerer = context();
     const recursive = {};

package/dist/frontend/lowering/lowerer.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"lowerer.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lowerer.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EACL,GAAG,EACH,GAAG,EACH,MAAM,EACN,MAAM,EACN,WAAW,EACX,IAAI,GAGL,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAE5D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpD,MAAM,MAAM,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAC1E,MAAM,OAAO,GAAG,GAAG,EAAE,CACnB,IAAI,OAAO,CACT,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,4BAA4B,EAAE,GAAG,EAAE,CAAC,EAAE,EAAwB,EAC5F,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAgB,EACpC,EAAE,CACH,CAAC;AAEJ,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,YAAY,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,YAAY,CAAC,CAAC;IACvE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,CAAC;IAChC,IAAI,CAAC,SAAS,EAAE,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1F,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IACpC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC;IAC1D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7D,MAAM,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,CAAC;AAClC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IAC/D,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3E,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACxD,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC1D,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACjC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CACzE,MAAM,CAAC,eAAe,CAAC;QACrB,MAAM,CAAC,gBAAgB,CAAC;YACtB,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;SAC5E,CAAC;KACH,CAAC,CACH,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC/E,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAe;YACrB,IAAI,EAAE,aAAa,CAAC,EAAE;YACtB,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,EAAE;YACV,IAAI,EAAE,EAAE;YACR,GAAG;SACJ,CAAC;QACF,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE;YAChC,GAAG;gBACD,SAAS,EAAE,CAAC;gBACZ,OAAO,aAAa,CAAC,EAAE,CAAC;YAC1B,CAAC;SACF,CAAC,CAAC;QACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;IAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAE,CAAC;IACrD,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE,EAAU,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAC5E,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAAU,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE;QACxD,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;KACxC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7D,OAAO,CAAC,SAAS,EAAE,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1F,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/D,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IAEvC,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,EAAE;QACpD,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;KACnC,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACtE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE;QACnD,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;KACvC,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gGAAgG,EAAE,GAAG,EAAE;IAC1G,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,CAAC,GAAG,MAAM,CACd,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QACpB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;QAC9B,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;KAC7B,CAAC,CACH,CAAC;IACF,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE;YAClD,KAAK,EAAE,MAAM;YACb,KAAK,EAAE;gBACL,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE;gBACzB,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE;aAC1B;SACF,CAAC;KACH,CAAC;IACF,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACxF,MAAM,CAAC,SAAS,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IAC9E,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAChE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,CAChD,CAAC;IAEF,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC;KACnE,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACnE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3D,MAAM,CAAC,SAAS,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,CAAC,GAAG,MAAM,CACd,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QACpB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;QAC9B,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;KAC7B,CAAC,CACH,CAAC;IACF,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,MAAM;QACb,KAAK,EAAE;YACL,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE;YACzB,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE;SAC1B;KACF,CAAC;IACF,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,CAAC;IAC9F,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtF,MAAM,CAAC,SAAS,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACxE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAE9E,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC;KACnE,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACnD,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAClE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAChE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzD,MAAM,CAAC,SAAS,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC;KACnE,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC3D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;IACvF,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAEvD,sEAAsE;IACtE,iCAAiC;IACjC,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACnE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4FAA4F,EAAE,GAAG,EAAE;IACtG,MAAM,QAAQ,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAgB,CAAC;IACvD,MAAM,OAAO,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAgB,CAAC;IAC3D,MAAM,eAAe,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAU,CAAC;IAClE,MAAM,kBAAkB,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,OAAO,EAAU,CAAC;IACpE,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,MAAM,UAAU,GAAG,CAAC,YAA6B,EAAU,EAAE,CAC3D,CAAC;QACC,IAAI,YAAY;YACd,gBAAgB,EAAE,CAAC;YACnB,OAAO,YAAY,CAAC;QACtB,CAAC;KACF,CAAsB,CAAC;IAC1B,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,eAAe,EAAE,kBAAkB,CAAC,CAAC,EAC/D,MAAM,GAAG,UAAU,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAwB,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IAChG,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IACjF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC,CAAC,CAAC;AAEH;iEACiE;AACjE,SAAS,cAAc,CAAC,OAAgB;IAMtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CACpC;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE;QAC9B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE;QACjC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;KAC/B,EACD,KAAK,EACL,GAAG,EACH,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CACzC,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CACpC;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE;QAC9B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE;KAClC,EACD,KAAK,EACL,GAAG,CACJ,CAAC;IACF,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AACpF,CAAC;AAED,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IACtE,kEAAkE;IAClE,8CAA8C;IAC9C,MAAM,QAAQ,GAAG,MAAM,CACrB,OAAO,CAAC,MAAM,CAAC,MAAM,CACnB;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;KAChC,EACD,KAAK,EACL,GAAG,CACJ,CACF,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,QAAQ,IAAI,QAAQ,EAAE,CAAC,CAAC;IACxE,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;IAC9B,uEAAuE;IACvE,kBAAkB;IAClB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CACxF,OAAQ,CACT,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7D,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC"}
+{"version":3,"file":"lowerer.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lowerer.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EACL,GAAG,EACH,GAAG,EACH,MAAM,EACN,MAAM,EACN,WAAW,EACX,IAAI,GAGL,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAE5D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpD,MAAM,MAAM,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAC1E,MAAM,OAAO,GAAG,GAAG,EAAE,CACnB,IAAI,OAAO,CACT,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,4BAA4B,EAAE,GAAG,EAAE,CAAC,EAAE,EAAwB,EAC5F,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAgB,EACpC,EAAE,CACH,CAAC;AAEJ,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,YAAY,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,YAAY,CAAC,CAAC;IACvE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,CAAC;IAChC,IAAI,CAAC,SAAS,EAAE,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1F,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IACpC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC;IAC1D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7D,MAAM,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,CAAC;AAClC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IAC/D,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3E,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,MAAM,GAAgC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IACpF,MAAM,GAAG,GAAgC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAC9E,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IAClD,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC;QACrB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;KAC7E,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IACtF,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC5C,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChF,2EAA2E;IAC3E,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACxD,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC1D,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACjC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CACzE,MAAM,CAAC,eAAe,CAAC;QACrB,MAAM,CAAC,gBAAgB,CAAC;YACtB,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;SAC5E,CAAC;KACH,CAAC,CACH,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC/E,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAe;YACrB,IAAI,EAAE,aAAa,CAAC,EAAE;YACtB,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,EAAE;YACV,IAAI,EAAE,EAAE;YACR,GAAG;SACJ,CAAC;QACF,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE;YAChC,GAAG;gBACD,SAAS,EAAE,CAAC;gBACZ,OAAO,aAAa,CAAC,EAAE,CAAC;YAC1B,CAAC;SACF,CAAC,CAAC;QACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;IAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAE,CAAC;IACrD,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE,EAAU,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAC5E,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAAU,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE;QACxD,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;KACxC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7D,OAAO,CAAC,SAAS,EAAE,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1F,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/D,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IAEvC,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,EAAE;QACpD,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;KACnC,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACtE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE;QACnD,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;KACvC,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gGAAgG,EAAE,GAAG,EAAE;IAC1G,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,CAAC,GAAG,MAAM,CACd,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QACpB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;QAC9B,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;KAC7B,CAAC,CACH,CAAC;IACF,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE;YAClD,KAAK,EAAE,MAAM;YACb,KAAK,EAAE;gBACL,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE;gBACzB,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE;aAC1B;SACF,CAAC;KACH,CAAC;IACF,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACxF,MAAM,CAAC,SAAS,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IAC9E,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAChE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,CAChD,CAAC;IAEF,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC;KACnE,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACnE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3D,MAAM,CAAC,SAAS,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,CAAC,GAAG,MAAM,CACd,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QACpB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;QAC9B,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;KAC7B,CAAC,CACH,CAAC;IACF,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,MAAM;QACb,KAAK,EAAE;YACL,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE;YACzB,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE;SAC1B;KACF,CAAC;IACF,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,CAAC;IAC9F,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtF,MAAM,CAAC,SAAS,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACxE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAE9E,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC;KACnE,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACnD,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAClE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAChE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzD,MAAM,CAAC,SAAS,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,SAAS,GAAG,EAAU,CAAC;IAC7B,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC;KACnE,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC3D,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;IACvF,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAEvD,sEAAsE;IACtE,iCAAiC;IACjC,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACnE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4FAA4F,EAAE,GAAG,EAAE;IACtG,MAAM,QAAQ,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAgB,CAAC;IACvD,MAAM,OAAO,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAgB,CAAC;IAC3D,MAAM,eAAe,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAU,CAAC;IAClE,MAAM,kBAAkB,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,OAAO,EAAU,CAAC;IACpE,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,MAAM,UAAU,GAAG,CAAC,YAA6B,EAAU,EAAE,CAC3D,CAAC;QACC,IAAI,YAAY;YACd,gBAAgB,EAAE,CAAC;YACnB,OAAO,YAAY,CAAC;QACtB,CAAC;KACF,CAAsB,CAAC;IAC1B,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,eAAe,EAAE,kBAAkB,CAAC,CAAC,EAC/D,MAAM,GAAG,UAAU,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAwB,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IAChG,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IACjF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC,CAAC,CAAC;AAEH;iEACiE;AACjE,SAAS,cAAc,CAAC,OAAgB;IAMtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CACpC;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE;QAC9B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE;QACjC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;KAC/B,EACD,KAAK,EACL,GAAG,EACH,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CACzC,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CACpC;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE;QAC9B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE;KAClC,EACD,KAAK,EACL,GAAG,CACJ,CAAC;IACF,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AACpF,CAAC;AAED,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IACtE,kEAAkE;IAClE,8CAA8C;IAC9C,MAAM,QAAQ,GAAG,MAAM,CACrB,OAAO,CAAC,MAAM,CAAC,MAAM,CACnB;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;KAChC,EACD,KAAK,EACL,GAAG,CACJ,CACF,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;IAC1B,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,QAAQ,IAAI,QAAQ,EAAE,CAAC,CAAC;IACxE,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;IAC9B,uEAAuE;IACvE,kBAAkB;IAClB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CACxF,OAAQ,CACT,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7D,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/lowering-facts.d.ts

@@ -0,0 +1,110 @@
+import * as ts from "../ts7/adapter.js";
+import { type NodeIslandSet } from "../../node-islands/boundary.js";
+import { type AdmittedOpinion } from "../tsc-codes.js";
+import { type SymbolProvenance } from "../type-mapper.js";
+import { ClassProtocols } from "./class-protocols.js";
+/** How many shared-fact hits SCRIPTC_LOWERING_FACTS_VERIFY has checked in
+ * this process. Zero when the mode is off. */
+export declare function verifiedLoweringFactHits(fact?: string): number;
+/** The admitted opinions' sites by file and code. */
+type OpinionIndex = ReadonlyMap<string, readonly AdmittedOpinion[]>;
+export interface LoweringFactsOptions {
+    /** Override the SCRIPTC_LOWERING_FACTS_VERIFY environment (tests). */
+    verify?: boolean;
+}
+/** The program facts every pass of one island round shares
+ * (see the module comment for what may live here). */
+export declare class LoweringFacts {
+    readonly program: ts.Program;
+    readonly moduleOrder: readonly ts.SourceFile[];
+    /** The round's external type surface (LowerOptions.externalTypes as
+     * externalTypeSpecifiersByFile): every pass receives the same map, and
+     * isExternalTypeFile bypasses its cache when a caller's map differs. */
+    private readonly externalTypeSpecifiers;
+    /** A symbol belongs to one loaded program, and the mapper asks for its
+     * provenance on every object type it maps. */
+    readonly symbolProvenance: Map<ts.Symbol, SymbolProvenance>;
+    /** The process-constant shipped declaration paths isStdlibFile compares. */
+    private readonly ambient;
+    private readonly overridesAmbient;
+    /** pathOf's answers: a source file's path spelling cannot change. */
+    private readonly filePaths;
+    /** isStdlibFile's answers: a file's name and library status cannot change. */
+    private readonly stdlibFiles;
+    /** isExternalTypeFile's answers for `externalTypeSpecifiers`. */
+    private readonly externalTypeFiles;
+    /** foreignType's answers, by checker type id. */
+    private readonly foreignTypeAnswers;
+    /** The island set and subclass count foreignTypeAnswers was computed at. */
+    private foreignIslands;
+    private foreignChecker;
+    private foreignSubclasses;
+    /** inPackageFileOf's answers, by source file. */
+    private readonly packageFileMemo;
+    private declBoundaryAnswer;
+    /** The opinion index of one admitted-opinions list: every pass of a round
+     * receives the same list from preflight. */
+    private opinionIndexOpinions;
+    private opinionIndexValue;
+    /** jsDynamicDeclarations over the round's moduleOrder. */
+    private jsDynamic;
+    /** The opinion index and the JavaScript declaration set are whole-program
+     * answers over immutable inputs: the verify mode proves each of them once
+     * per round rather than on every hit. */
+    private opinionIndexVerified;
+    private jsDynamicVerified;
+    private protocols;
+    /** Whether hits are recomputed and compared (SCRIPTC_LOWERING_FACTS_VERIFY). */
+    readonly verify: boolean;
+    private readonly verified;
+    constructor(program: ts.Program, moduleOrder: readonly ts.SourceFile[], 
+    /** The round's external type surface (LowerOptions.externalTypes as
+     * externalTypeSpecifiersByFile): every pass receives the same map, and
+     * isExternalTypeFile bypasses its cache when a caller's map differs. */
+    externalTypeSpecifiers: ReadonlyMap<string, readonly string[]>, options?: LoweringFactsOptions);
+    /** tsgoPath(resolve(sf.fileName)): the path spelling the module tables key
+     * by. */
+    pathOf(sf: ts.SourceFile): string;
+    /** True for the STANDARD LIBRARY's source files (Lowerer.isStdlibFile). */
+    isStdlibFile: (sf: ts.SourceFile) => boolean;
+    private computeStdlibFile;
+    /** Whether the file holds declarations of an explicitly mapped external
+     * type surface (coverage's --external-types) or of the declaration-typed
+     * boundary's generated types. `externalTypeSpecifiers` is the asking
+     * pass's map: a round hands every pass the same one, and the cache is
+     * bypassed for any other. */
+    isExternalTypeFile(sf: ts.SourceFile, externalTypeSpecifiers: ReadonlyMap<string, readonly string[]>): boolean;
+    /** Whether values of `type` are island handles (boundary.ts's
+     * isForeignType). The answer is a function of (island set, checker, type);
+     * the one input that moves while a round runs is the island-subclass
+     * registry (splitFiles registers native subclasses of island classes), so
+     * a new registration drops every answer that predates it. */
+    foreignType(type: ts.Type, islands: NodeIslandSet | null, checker: ts.TypeChecker): boolean;
+    /** The admitted opinions' sites by file and code (Lowerer.opinionAt's
+     * index). */
+    opinionIndex(opinions: readonly AdmittedOpinion[]): OpinionIndex;
+    private verifyOpinionIndex;
+    /** Whether the node's file is package code (decl-origin.ts's
+     * inPackageFile, memoized per file). */
+    inPackageFile(node: ts.Node): boolean;
+    /** The program holds the declaration-typed boundary's projection. */
+    get declBoundary(): boolean;
+    /** The JavaScript declarations whose instance or object-literal types only
+     * the checked-dynamic representation holds (js-dynamic-objects.ts). */
+    jsDynamicDeclarations(): ReadonlySet<ts.Node>;
+    /** The program's class protocol index (class-protocols.ts). Each pass
+     * asking its own questions must get the same answers; the Lowerer's verify
+     * mode compares them against a fresh index per pass, so a pass that
+     * registered an island (or otherwise edited declarations) mid-round and
+     * changed an answer fails there instead of lowering a stale one. Nothing
+     * may edit the program while a round lowers. */
+    classProtocols(): ClassProtocols;
+    private verifyHit;
+    /** Records a check the Lowerer made against a shared answer, so the
+     * per-facts count and the process-wide one agree. */
+    noteVerified(fact: string): void;
+    private countVerified;
+    /** How many hits the verify mode has checked, by fact (tests). */
+    verifiedHits(fact: string): number;
+}
+export {};

package/dist/frontend/lowering/lowering-facts.js

@@ -0,0 +1,323 @@
+/* The program facts one island round's lowering passes share.
+ *
+ * lowerToIrWithIslands constructs a Lowerer per pass: validation, reachable
+ * emit, the whole-slot comparison, the general-stream/dyn-stream relower, the
+ * historical-order relower and the coverage remainder. Each pass lowers the
+ * SAME loaded program and differs only in its mode flags, so the answers it
+ * derives from the program alone (a file's path spelling, whether a file is
+ * the standard library or an external type surface, a symbol's declaration
+ * provenance, whether a type is an island handle, the admitted-opinion site
+ * index, the package-file and declaration-boundary flags, the JavaScript
+ * dynamic-declaration set, and the class protocol index) would be computed
+ * again identically in every pass.
+ *
+ * This object computes each of them once per round. The rule for what may
+ * live here: the answer must be a pure function of (program, island set,
+ * external type surface) and must not read a Lowerer's mode flags, its unit
+ * tables or any lowering state. The type memos (typeMemo, typeMemoShared,
+ * scopedTypeMemos) fail that rule — generalNodeStreams, dynNodeStreams and
+ * wholeSlotDegradation change what a type maps to — and stay per pass.
+ *
+ * A stale fact would be a silent miscompile, so the class also carries a
+ * recompute-and-compare mode (SCRIPTC_LOWERING_FACTS_VERIFY=1, the shape of
+ * type-mapper.ts's SCRIPTC_TYPE_MEMO_VERIFY): every hit is recomputed from
+ * scratch and a disagreement throws, because the mode exists to prove the
+ * sharing, never to rescue it at run time. */
+import { resolve } from "node:path";
+import * as ts from "../ts7/adapter.js";
+import { InternalCompilerError } from "../../errors.js";
+import { isDeclBoundaryFile } from "../decl-projection.js";
+import { ambientDtsPath, isFallbackDtsPath, isNodeTypesPath, overridesDtsPath, tsgoPath, } from "../dts-paths.js";
+import { isForeignType, islandSubclassCount, } from "../../node-islands/boundary.js";
+import {} from "../tsc-codes.js";
+import { newSymbolProvenanceMemo } from "../type-mapper.js";
+import { ClassProtocols } from "./class-protocols.js";
+import { inPackageFile } from "./decl-origin.js";
+import { jsDynamicDeclarations } from "./js-dynamic-objects.js";
+/** SCRIPTC_LOWERING_FACTS_VERIFY: `1` recomputes and compares every shared
+ * fact, `stats` does the same and also prints the hit count when the process
+ * exits. */
+const verifyMode = process.env["SCRIPTC_LOWERING_FACTS_VERIFY"] ?? "";
+const verifyFromEnvironment = verifyMode === "1" || verifyMode === "stats";
+/** The hits every verify-mode LoweringFacts has checked in this process
+ * (tests assert the mode engaged; the `stats` variant prints it). */
+let verifiedFactHits = 0;
+const verifiedByFact = new Map();
+if (verifyMode === "stats")
+    // One listener for the whole process: a round builds one facts object, and
+    // a build runs several rounds.
+    process.on("exit", () => {
+        const parts = [];
+        for (const [fact, hits] of verifiedByFact)
+            parts.push(`${fact}=${hits}`);
+        process.stderr.write(`[lowering-facts] verified ${verifiedFactHits} hits (${parts.join(" ") || "none"})\n`);
+    });
+/** How many shared-fact hits SCRIPTC_LOWERING_FACTS_VERIFY has checked in
+ * this process. Zero when the mode is off. */
+export function verifiedLoweringFactHits(fact) {
+    if (fact === undefined)
+        return verifiedFactHits;
+    return verifiedByFact.get(fact) ?? 0;
+}
+/** Records one verified hit in the process-wide counter, so `stats` and the
+ * engagement test see every checked fact, including the Lowerer's own
+ * per-pass comparisons (which call LoweringFacts.noteVerified). */
+function recordVerified(fact) {
+    verifiedFactHits++;
+    verifiedByFact.set(fact, (verifiedByFact.get(fact) ?? 0) + 1);
+}
+/** The program facts every pass of one island round shares
+ * (see the module comment for what may live here). */
+export class LoweringFacts {
+    program;
+    moduleOrder;
+    externalTypeSpecifiers;
+    /** A symbol belongs to one loaded program, and the mapper asks for its
+     * provenance on every object type it maps. */
+    symbolProvenance = newSymbolProvenanceMemo();
+    /** The process-constant shipped declaration paths isStdlibFile compares. */
+    ambient = ambientDtsPath();
+    overridesAmbient = overridesDtsPath();
+    /** pathOf's answers: a source file's path spelling cannot change. */
+    filePaths = new Map();
+    /** isStdlibFile's answers: a file's name and library status cannot change. */
+    stdlibFiles = new Map();
+    /** isExternalTypeFile's answers for `externalTypeSpecifiers`. */
+    externalTypeFiles = new Map();
+    /** foreignType's answers, by checker type id. */
+    foreignTypeAnswers = new Map();
+    /** The island set and subclass count foreignTypeAnswers was computed at. */
+    foreignIslands = null;
+    foreignChecker = null;
+    foreignSubclasses = -1;
+    /** inPackageFileOf's answers, by source file. */
+    packageFileMemo = new Map();
+    declBoundaryAnswer = null;
+    /** The opinion index of one admitted-opinions list: every pass of a round
+     * receives the same list from preflight. */
+    opinionIndexOpinions = null;
+    opinionIndexValue = null;
+    /** jsDynamicDeclarations over the round's moduleOrder. */
+    jsDynamic = null;
+    /** The opinion index and the JavaScript declaration set are whole-program
+     * answers over immutable inputs: the verify mode proves each of them once
+     * per round rather than on every hit. */
+    opinionIndexVerified = false;
+    jsDynamicVerified = false;
+    protocols = null;
+    /** Whether hits are recomputed and compared (SCRIPTC_LOWERING_FACTS_VERIFY). */
+    verify;
+    verified = new Map();
+    constructor(program, moduleOrder, 
+    /** The round's external type surface (LowerOptions.externalTypes as
+     * externalTypeSpecifiersByFile): every pass receives the same map, and
+     * isExternalTypeFile bypasses its cache when a caller's map differs. */
+    externalTypeSpecifiers, options = {}) {
+        this.program = program;
+        this.moduleOrder = moduleOrder;
+        this.externalTypeSpecifiers = externalTypeSpecifiers;
+        this.verify = options.verify ?? verifyFromEnvironment;
+    }
+    /** tsgoPath(resolve(sf.fileName)): the path spelling the module tables key
+     * by. */
+    pathOf(sf) {
+        const known = this.filePaths.get(sf);
+        if (known === undefined) {
+            const path = tsgoPath(resolve(sf.fileName));
+            this.filePaths.set(sf, path);
+            return path;
+        }
+        return this.verifyHit("pathOf", known, () => tsgoPath(resolve(sf.fileName)));
+    }
+    /** True for the STANDARD LIBRARY's source files (Lowerer.isStdlibFile). */
+    isStdlibFile = (sf) => {
+        const known = this.stdlibFiles.get(sf);
+        if (known === undefined) {
+            const stdlib = this.computeStdlibFile(sf);
+            this.stdlibFiles.set(sf, stdlib);
+            return stdlib;
+        }
+        return this.verifyHit("isStdlibFile", known, () => this.computeStdlibFile(sf));
+    };
+    computeStdlibFile(sf) {
+        return (sf.fileName === this.ambient ||
+            sf.fileName === this.overridesAmbient ||
+            isFallbackDtsPath(sf.fileName) ||
+            this.program.isSourceFileDefaultLibrary(sf) ||
+            (sf.isDeclarationFile && isNodeTypesPath(sf.fileName)));
+    }
+    /** Whether the file holds declarations of an explicitly mapped external
+     * type surface (coverage's --external-types) or of the declaration-typed
+     * boundary's generated types. `externalTypeSpecifiers` is the asking
+     * pass's map: a round hands every pass the same one, and the cache is
+     * bypassed for any other. */
+    isExternalTypeFile(sf, externalTypeSpecifiers) {
+        const compute = () => externalTypeSpecifiers.has(this.pathOf(sf)) || isDeclBoundaryFile(sf.fileName);
+        if (externalTypeSpecifiers !== this.externalTypeSpecifiers)
+            return compute();
+        const known = this.externalTypeFiles.get(sf);
+        if (known === undefined) {
+            const external = compute();
+            this.externalTypeFiles.set(sf, external);
+            return external;
+        }
+        return this.verifyHit("isExternalTypeFile", known, compute);
+    }
+    /** Whether values of `type` are island handles (boundary.ts's
+     * isForeignType). The answer is a function of (island set, checker, type);
+     * the one input that moves while a round runs is the island-subclass
+     * registry (splitFiles registers native subclasses of island classes), so
+     * a new registration drops every answer that predates it. */
+    foreignType(type, islands, checker) {
+        if (islands === null)
+            return false;
+        const subclasses = islandSubclassCount();
+        if (this.foreignIslands !== islands ||
+            this.foreignChecker !== checker ||
+            this.foreignSubclasses !== subclasses) {
+            this.foreignTypeAnswers.clear();
+            this.foreignIslands = islands;
+            this.foreignChecker = checker;
+            this.foreignSubclasses = subclasses;
+        }
+        const id = type.id;
+        if (id === undefined)
+            return isForeignType(islands, type, checker);
+        const known = this.foreignTypeAnswers.get(id);
+        if (known !== undefined)
+            return this.verifyHit("foreignType", known, () => isForeignType(islands, type, checker));
+        const foreign = isForeignType(islands, type, checker);
+        this.foreignTypeAnswers.set(id, foreign);
+        return foreign;
+    }
+    /** The admitted opinions' sites by file and code (Lowerer.opinionAt's
+     * index). */
+    opinionIndex(opinions) {
+        if (this.opinionIndexOpinions === opinions && this.opinionIndexValue !== null) {
+            if (this.verify && !this.opinionIndexVerified) {
+                this.opinionIndexVerified = true;
+                this.verifyOpinionIndex(opinions, this.opinionIndexValue);
+            }
+            return this.opinionIndexValue;
+        }
+        const built = buildOpinionIndex(opinions);
+        this.opinionIndexOpinions = opinions;
+        this.opinionIndexValue = built;
+        return built;
+    }
+    verifyOpinionIndex(opinions, known) {
+        const fresh = buildOpinionIndex(opinions);
+        let same = fresh.size === known.size;
+        if (same)
+            for (const [key, sites] of fresh) {
+                const theirs = known.get(key);
+                if (theirs === undefined || theirs.length !== sites.length) {
+                    same = false;
+                    break;
+                }
+                for (let i = 0; i < sites.length; i++)
+                    if (sites[i] !== theirs[i]) {
+                        same = false;
+                        break;
+                    }
+                if (!same)
+                    break;
+            }
+        this.countVerified("opinionIndex");
+        if (same)
+            return;
+        throw new InternalCompilerError("shared admitted-opinion index does not match a fresh index over the same opinions");
+    }
+    /** Whether the node's file is package code (decl-origin.ts's
+     * inPackageFile, memoized per file). */
+    inPackageFile(node) {
+        const sf = ts.getSourceFileOfNode(node);
+        const known = this.packageFileMemo.get(sf);
+        if (known === undefined) {
+            const inside = inPackageFile(node);
+            this.packageFileMemo.set(sf, inside);
+            return inside;
+        }
+        return this.verifyHit("inPackageFile", known, () => inPackageFile(node));
+    }
+    /** The program holds the declaration-typed boundary's projection. */
+    get declBoundary() {
+        const known = this.declBoundaryAnswer;
+        if (known === null) {
+            const boundary = this.program.getSourceFileNames().some(isDeclBoundaryFile);
+            this.declBoundaryAnswer = boundary;
+            return boundary;
+        }
+        return this.verifyHit("declBoundary", known, () => this.program.getSourceFileNames().some(isDeclBoundaryFile));
+    }
+    /** The JavaScript declarations whose instance or object-literal types only
+     * the checked-dynamic representation holds (js-dynamic-objects.ts). */
+    jsDynamicDeclarations() {
+        const known = this.jsDynamic;
+        if (known === null) {
+            const computed = jsDynamicDeclarations(this.moduleOrder, this.program.getTypeChecker());
+            this.jsDynamic = computed;
+            return computed;
+        }
+        if (!this.verify || this.jsDynamicVerified)
+            return known;
+        this.jsDynamicVerified = true;
+        const fresh = jsDynamicDeclarations(this.moduleOrder, this.program.getTypeChecker());
+        let same = fresh.size === known.size;
+        if (same)
+            for (const node of fresh)
+                if (!known.has(node))
+                    same = false;
+        this.countVerified("jsDynamicDeclarations");
+        if (same)
+            return known;
+        throw new InternalCompilerError(`shared JavaScript dynamic-declaration set does not match a fresh one: ` +
+            `${known.size} shared, ${fresh.size} recomputed`);
+    }
+    /** The program's class protocol index (class-protocols.ts). Each pass
+     * asking its own questions must get the same answers; the Lowerer's verify
+     * mode compares them against a fresh index per pass, so a pass that
+     * registered an island (or otherwise edited declarations) mid-round and
+     * changed an answer fails there instead of lowering a stale one. Nothing
+     * may edit the program while a round lowers. */
+    classProtocols() {
+        this.protocols ??= new ClassProtocols(this.program.getTypeChecker(), this.moduleOrder);
+        return this.protocols;
+    }
+    verifyHit(fact, known, recompute) {
+        if (!this.verify)
+            return known;
+        const fresh = recompute();
+        this.countVerified(fact);
+        if (Object.is(known, fresh))
+            return known;
+        throw new InternalCompilerError(`shared lowering fact ${fact} does not match a fresh computation: ` +
+            `${String(known)} shared, ${String(fresh)} recomputed`);
+    }
+    /** Records a check the Lowerer made against a shared answer, so the
+     * per-facts count and the process-wide one agree. */
+    noteVerified(fact) {
+        this.countVerified(fact);
+    }
+    countVerified(fact) {
+        this.verified.set(fact, (this.verified.get(fact) ?? 0) + 1);
+        recordVerified(fact);
+    }
+    /** How many hits the verify mode has checked, by fact (tests). */
+    verifiedHits(fact) {
+        return this.verified.get(fact) ?? 0;
+    }
+}
+function buildOpinionIndex(opinions) {
+    const built = new Map();
+    for (const site of opinions) {
+        const key = `${site.file}\0${site.code}`;
+        const list = built.get(key);
+        if (list === undefined)
+            built.set(key, [site]);
+        else
+            list.push(site);
+    }
+    return built;
+}
+//# sourceMappingURL=lowering-facts.js.map

package/dist/frontend/lowering/lowering-facts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lowering-facts.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lowering-facts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;8CAwB8C;AAE9C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,QAAQ,GACT,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,aAAa,EACb,mBAAmB,GAEpB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAwB,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAyB,MAAM,mBAAmB,CAAC;AACnF,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAEhE;;YAEY;AACZ,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC;AACtE,MAAM,qBAAqB,GAAG,UAAU,KAAK,GAAG,IAAI,UAAU,KAAK,OAAO,CAAC;AAE3E;qEACqE;AACrE,IAAI,gBAAgB,GAAG,CAAC,CAAC;AACzB,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;AACjD,IAAI,UAAU,KAAK,OAAO;IACxB,2EAA2E;IAC3E,+BAA+B;IAC/B,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE;QACtB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,cAAc;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;QACzE,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,6BAA6B,gBAAgB,UAAU,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,KAAK,CACtF,CAAC;IACJ,CAAC,CAAC,CAAC;AAEL;8CAC8C;AAC9C,MAAM,UAAU,wBAAwB,CAAC,IAAa;IACpD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,gBAAgB,CAAC;IAChD,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC;AAED;;mEAEmE;AACnE,SAAS,cAAc,CAAC,IAAY;IAClC,gBAAgB,EAAE,CAAC;IACnB,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAChE,CAAC;AAUD;sDACsD;AACtD,MAAM,OAAO,aAAa;IAwCb,OAAO;IACP,WAAW;IAIH,sBAAsB;IA5CzC;kDAC8C;IACrC,gBAAgB,GAAqC,uBAAuB,EAAE,CAAC;IACxF,4EAA4E;IAC3D,OAAO,GAAG,cAAc,EAAE,CAAC;IAC3B,gBAAgB,GAAG,gBAAgB,EAAE,CAAC;IACvD,qEAAqE;IACpD,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9D,8EAA8E;IAC7D,WAAW,GAAG,IAAI,GAAG,EAA0B,CAAC;IACjE,iEAAiE;IAChD,iBAAiB,GAAG,IAAI,GAAG,EAA0B,CAAC;IACvE,iDAAiD;IAChC,kBAAkB,GAAG,IAAI,GAAG,EAAmB,CAAC;IACjE,4EAA4E;IACpE,cAAc,GAAyB,IAAI,CAAC;IAC5C,cAAc,GAA0B,IAAI,CAAC;IAC7C,iBAAiB,GAAG,CAAC,CAAC,CAAC;IAC/B,iDAAiD;IAChC,eAAe,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC7D,kBAAkB,GAAmB,IAAI,CAAC;IAClD;gDAC4C;IACpC,oBAAoB,GAAsC,IAAI,CAAC;IAC/D,iBAAiB,GAAwB,IAAI,CAAC;IACtD,0DAA0D;IAClD,SAAS,GAAgC,IAAI,CAAC;IACtD;;6CAEyC;IACjC,oBAAoB,GAAG,KAAK,CAAC;IAC7B,iBAAiB,GAAG,KAAK,CAAC;IAC1B,SAAS,GAA0B,IAAI,CAAC;IAEhD,gFAAgF;IACvE,MAAM,CAAU;IACR,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEtD,YACW,OAAmB,EACnB,WAAqC;IAC9C;;4EAEwE;IACvD,sBAA8D,EAC/E,OAAO,GAAyB,EAAE;uBANzB,OAAO;2BACP,WAAW;sCAIH,sBAAsB;QAGvC,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,qBAAqB,CAAC;IACxD,CAAC;IAED;aACS;IACT,MAAM,CAAC,EAAiB;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC5C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC7B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;IAED,2EAA2E;IAC3E,YAAY,GAAG,CAAC,EAAiB,EAAW,EAAE;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;YAC1C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACjC,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;IACjF,CAAC,CAAC;IACM,iBAAiB,CAAC,EAAiB;QACzC,OAAO,CACL,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC,OAAO;YAC5B,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC,gBAAgB;YACrC,iBAAiB,CAAC,EAAE,CAAC,QAAQ,CAAC;YAC9B,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC,EAAE,CAAC;YAC3C,CAAC,EAAE,CAAC,iBAAiB,IAAI,eAAe,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CACvD,CAAC;IACJ,CAAC;IAED;;;;iCAI6B;IAC7B,kBAAkB,CAChB,EAAiB,EACjB,sBAA8D;QAE9D,MAAM,OAAO,GAAG,GAAY,EAAE,CAC5B,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,kBAAkB,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACjF,IAAI,sBAAsB,KAAK,IAAI,CAAC,sBAAsB;YAAE,OAAO,OAAO,EAAE,CAAC;QAC7E,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,OAAO,EAAE,CAAC;YAC3B,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YACzC,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC9D,CAAC;IAED;;;;iEAI6D;IAC7D,WAAW,CAAC,IAAa,EAAE,OAA6B,EAAE,OAAuB;QAC/E,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACnC,MAAM,UAAU,GAAG,mBAAmB,EAAE,CAAC;QACzC,IACE,IAAI,CAAC,cAAc,KAAK,OAAO;YAC/B,IAAI,CAAC,cAAc,KAAK,OAAO;YAC/B,IAAI,CAAC,iBAAiB,KAAK,UAAU,EACrC,CAAC;YACD,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,CAAC,cAAc,GAAG,OAAO,CAAC;YAC9B,IAAI,CAAC,cAAc,GAAG,OAAO,CAAC;YAC9B,IAAI,CAAC,iBAAiB,GAAG,UAAU,CAAC;QACtC,CAAC;QACD,MAAM,EAAE,GAAI,IAAwB,CAAC,EAAE,CAAC;QACxC,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9C,IAAI,KAAK,KAAK,SAAS;YACrB,OAAO,IAAI,CAAC,SAAS,CAAC,aAAa,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC3F,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACtD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACzC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;iBACa;IACb,YAAY,CAAC,QAAoC;QAC/C,IAAI,IAAI,CAAC,oBAAoB,KAAK,QAAQ,IAAI,IAAI,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;YAC9E,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,oBAAoB,EAAE,CAAC;gBAC9C,IAAI,CAAC,oBAAoB,GAAG,IAAI,CAAC;gBACjC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC5D,CAAC;YACD,OAAO,IAAI,CAAC,iBAAiB,CAAC;QAChC,CAAC;QACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,CAAC,oBAAoB,GAAG,QAAQ,CAAC;QACrC,IAAI,CAAC,iBAAiB,GAAG,KAAK,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IACO,kBAAkB,CAAC,QAAoC,EAAE,KAAmB;QAClF,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;QACrC,IAAI,IAAI;YACN,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC9B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC3D,IAAI,GAAG,KAAK,CAAC;oBACb,MAAM;gBACR,CAAC;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;oBACnC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3B,IAAI,GAAG,KAAK,CAAC;wBACb,MAAM;oBACR,CAAC;gBACH,IAAI,CAAC,IAAI;oBAAE,MAAM;YACnB,CAAC;QACH,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC;QACnC,IAAI,IAAI;YAAE,OAAO;QACjB,MAAM,IAAI,qBAAqB,CAC7B,mFAAmF,CACpF,CAAC;IACJ,CAAC;IAED;4CACwC;IACxC,aAAa,CAAC,IAAa;QACzB,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACrC,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED,qEAAqE;IACrE,IAAI,YAAY;QACd,MAAM,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC;QACtC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC5E,IAAI,CAAC,kBAAkB,GAAG,QAAQ,CAAC;YACnC,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,KAAK,EAAE,GAAG,EAAE,CAChD,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAC3D,CAAC;IACJ,CAAC;IAED;2EACuE;IACvE,qBAAqB;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC;QAC7B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;YACxF,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;YAC1B,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,iBAAiB;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC;QAC9B,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;QACrF,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;QACrC,IAAI,IAAI;YAAE,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,IAAI,GAAG,KAAK,CAAC;QACvE,IAAI,CAAC,aAAa,CAAC,uBAAuB,CAAC,CAAC;QAC5C,IAAI,IAAI;YAAE,OAAO,KAAK,CAAC;QACvB,MAAM,IAAI,qBAAqB,CAC7B,wEAAwE;YACtE,GAAG,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,aAAa,CACnD,CAAC;IACJ,CAAC;IAED;;;;;oDAKgD;IAChD,cAAc;QACZ,IAAI,CAAC,SAAS,KAAK,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QACvF,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAEO,SAAS,CAAI,IAAY,EAAE,KAAQ,EAAE,SAAkB;QAC7D,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC/B,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1C,MAAM,IAAI,qBAAqB,CAC7B,wBAAwB,IAAI,uCAAuC;YACjE,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,MAAM,CAAC,KAAK,CAAC,aAAa,CACzD,CAAC;IACJ,CAAC;IAED;yDACqD;IACrD,YAAY,CAAC,IAAY;QACvB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAEO,aAAa,CAAC,IAAY;QAChC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,cAAc,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IAED,kEAAkE;IAClE,YAAY,CAAC,IAAY;QACvB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;CACF;AAED,SAAS,iBAAiB,CAAC,QAAoC;IAC7D,MAAM,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;;YAC1C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/frontend/lowering/lowering-facts.test.d.ts

@@ -0,0 +1 @@
+export {};