@scriptc/compiler 0.4.5 → 0.4.6

package/dist/frontend/lowering/generator-dynamic-dispatch.js

@@ -1,5 +1,5 @@
-import { dynUndefinedExpr, varRef } from "../../ir/build.js";
-import { BOOL, DYN, STRING, canConvertToDyn, funcOf, typeEquals, typeKey, VOID, } from "../../ir/ir.js";
+import { dynUndefinedExpr, numLit, varRef } from "../../ir/build.js";
+import { BOOL, DYN, F64, STRING, canConvertToDyn, funcOf, typeEquals, typeKey, VOID, } from "../../ir/ir.js";
 import { transformStmtList } from "../../ir/traverse.js";
 import { genResultRecord } from "../type-mapper.js";
 /** The generator methods a dynamic call or read steps. */
@@ -370,7 +370,299 @@ export class GeneratorDynamicDispatch {
                 });
                 changed = true;
             }
+        return this.stepUntypedLoops(lowerer, functions) || changed;
+    }
+    /** The generator types a loop over an untyped iterable can step natively:
+     * sync generators for `for … of`, and both kinds for `for await` (a sync
+     * generator through the async-from-sync rules). Insertion order, so a
+     * type keeps its index as later waves add types. */
+    loopTypes(lowerer, site) {
+        const out = [];
+        for (const [key, type] of this.generators) {
+            if (type.async === true && !site.async)
+                continue;
+            const result = genResultRecord(type.yieldT, type.retT, lowerer.shapes, lowerer.unions);
+            if (result === null)
+                continue;
+            // next() with no argument, as the protocol calls it.
+            const channel = type.nextT;
+            if (channel.kind !== "undefinedT" && channel.kind !== "void" && channel.kind !== "dyn")
+                continue;
+            if (!canConvertToDyn(result, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id)))
+                continue;
+            out.push([key, type]);
+        }
+        return out;
+    }
+    /** Loops over untyped iterables step the program's own generators on the
+     * typed path. Once the loop has its iterator and next method, a kind local
+     * records which generator type the iterator is, when its next method is
+     * the generator's own (`%dyn.generator.method.next`); each step then
+     * resumes the generator directly and boxes only the value, where the
+     * protocol would box the result record and its promise and read them
+     * back. Every other iterator, and every early exit (return() through the
+     * protocol), keeps the dynamic path. The awaits are the protocol's: a
+     * `for await` over an async generator awaits next()'s promise, and over a
+     * sync generator awaits once for the result and, reached through
+     * Symbol.iterator, once for the value. */
+    stepUntypedLoops(lowerer, functions) {
+        if (this.generators.size === 0 || lowerer.untypedLoops.size === 0)
+            return false;
+        // The loop reads next through the getter only once it exists.
+        if (!this.properties.has("next"))
+            return false;
+        let changed = false;
+        for (const fn of functions) {
+            if (this.generated.has(fn))
+                continue;
+            const byKind = new Map();
+            const byValue = new Map();
+            for (const local of fn.locals) {
+                const site = lowerer.untypedLoops.get(local);
+                if (site === undefined)
+                    continue;
+                byKind.set(site.kind, site);
+                byValue.set(site.value, site);
+            }
+            if (byKind.size === 0)
+                continue;
+            fn.body = transformStmtList(fn.body, {
+                expr: (expr) => expr,
+                stmt: (stmt) => {
+                    if (stmt.kind !== "varDecl" || stmt.init === null)
+                        return stmt;
+                    const opened = byKind.get(stmt.localId);
+                    if (opened !== undefined) {
+                        const types = this.loopTypes(lowerer, opened);
+                        const init = this.loopKind(opened, types, stmt.loc);
+                        if (this.loopKindCount(stmt.init) === types.length)
+                            return stmt;
+                        changed = true;
+                        return { ...stmt, init };
+                    }
+                    const site = byValue.get(stmt.localId);
+                    if (site === undefined)
+                        return stmt;
+                    const types = this.loopTypes(lowerer, site);
+                    // The protocol step is the innermost else of the type chain.
+                    let fallback = stmt.init;
+                    let present = 0;
+                    while (fallback.kind === "ternary" &&
+                        fallback.cond.kind === "bin" &&
+                        fallback.cond.left.kind === "varRef" &&
+                        fallback.cond.left.localId === site.kind) {
+                        fallback = fallback.else_;
+                        present++;
+                    }
+                    if (present === types.length)
+                        return stmt;
+                    let init = fallback;
+                    for (let i = types.length - 1; i >= 0; i--) {
+                        const [, type] = types[i];
+                        const record = `${site.kind}.r${i + 1}`;
+                        init = {
+                            kind: "ternary",
+                            cond: {
+                                kind: "bin",
+                                op: "===",
+                                left: varRef(site.kind, F64, stmt.loc),
+                                right: numLit(i + 1, stmt.loc),
+                                type: BOOL,
+                                loc: stmt.loc,
+                            },
+                            then: this.loopStep(lowerer, fn, site, type, record, stmt.loc),
+                            else_: init,
+                            type: DYN,
+                            loc: stmt.loc,
+                        };
+                    }
+                    changed = true;
+                    return { ...stmt, init };
+                },
+            });
+        }
         return changed;
     }
+    /** How many generator types a loop's kind initializer tests: the chain
+     * inside its own-method test (loopKind). */
+    loopKindCount(init) {
+        if (init.kind !== "ternary")
+            return 0;
+        let count = 0;
+        for (let chain = init.then; chain.kind === "ternary"; chain = chain.else_)
+            count++;
+        return count;
+    }
+    /** The loop's kind: the 1-based index of the generator type its iterator
+     * is, when the next method it read is that generator's own, else 0. */
+    loopKind(site, types, loc) {
+        const own = {
+            kind: "libCall",
+            fn: "dyn.sameValue",
+            args: [
+                varRef(site.next, DYN, loc),
+                {
+                    kind: "dynFrom",
+                    value: {
+                        kind: "closure",
+                        fnName: "%dyn.generator.method.next",
+                        captures: [],
+                        type: funcOf([DYN], DYN),
+                        loc,
+                    },
+                    type: DYN,
+                    loc,
+                },
+            ],
+            type: BOOL,
+            loc,
+        };
+        let kind = numLit(0, loc);
+        for (let i = types.length - 1; i >= 0; i--)
+            kind = {
+                kind: "ternary",
+                cond: {
+                    kind: "libCall",
+                    fn: "dyn.typedRefIs",
+                    args: [
+                        varRef(site.iterator, DYN, loc),
+                        { kind: "strLit", value: types[i][0], type: STRING, loc },
+                    ],
+                    type: BOOL,
+                    loc,
+                },
+                then: numLit(i + 1, loc),
+                else_: kind,
+                type: F64,
+                loc,
+            };
+        return types.length === 0
+            ? kind
+            : { kind: "ternary", cond: own, then: kind, else_: numLit(0, loc), type: F64, loc };
+    }
+    /** One step of a loop over an untyped iterable that is a `type`
+     * generator: sets the loop's done flag and answers the value, boxed. */
+    loopStep(lowerer, fn, site, type, recordId, loc) {
+        const gen = { kind: "dynCheck", value: varRef(site.iterator, DYN, loc), type, loc };
+        const setDone = (value) => ({ kind: "assign", localId: site.done, value, loc });
+        const doneRef = varRef(site.done, BOOL, loc);
+        const result = genResultRecord(type.yieldT, type.retT, lowerer.shapes, lowerer.unions);
+        if (!fn.locals.some((local) => local.id === recordId))
+            fn.locals.push({ id: recordId, name: recordId, type: result, mutable: false });
+        const field = (name, fieldType) => ({
+            kind: "recordGet",
+            obj: varRef(recordId, result, loc),
+            shapeId: result.shapeId,
+            field: name,
+            type: fieldType,
+            loc,
+        });
+        const valueType = lowerer.shapes
+            .get(result.shapeId)
+            .fields.find((f) => f.name === "value").type;
+        const boxed = { kind: "dynFrom", value: field("value", valueType), type: DYN, loc };
+        const awaitDyn = (value) => ({
+            kind: "libCall",
+            fn: "async.awaitDyn",
+            args: [value],
+            type: DYN,
+            loc,
+        });
+        const resumed = {
+            kind: "genResume",
+            mode: "next",
+            gen,
+            arg: null,
+            type: type.async === true ? { kind: "promise", inner: result } : result,
+            loc,
+        };
+        if (!site.async)
+            return {
+                kind: "seqExpr",
+                stmts: [
+                    { kind: "varDecl", localId: recordId, init: resumed, loc },
+                    setDone(field("done", BOOL)),
+                ],
+                result: {
+                    kind: "ternary",
+                    cond: doneRef,
+                    then: dynUndefinedExpr(loc),
+                    else_: boxed,
+                    type: DYN,
+                    loc,
+                },
+                type: DYN,
+                loc,
+            };
+        if (type.async === true)
+            return {
+                kind: "seqExpr",
+                stmts: [
+                    {
+                        kind: "varDecl",
+                        localId: recordId,
+                        init: { kind: "awaitExpr", value: resumed, type: result, loc },
+                        loc,
+                    },
+                    setDone(field("done", BOOL)),
+                ],
+                result: {
+                    kind: "ternary",
+                    cond: doneRef,
+                    then: dynUndefinedExpr(loc),
+                    else_: boxed,
+                    type: DYN,
+                    loc,
+                },
+                type: DYN,
+                loc,
+            };
+        // for await over a sync generator: the result awaits once. When the
+        // loop reached it through Symbol.iterator, the async-from-sync iterator
+        // also awaits the value (the final one too); a sync generator that an
+        // object's Symbol.asyncIterator returns passes the value as it is, as
+        // the protocol does.
+        const fromSync = site.sync === null
+            ? { kind: "boolLit", value: false, type: BOOL, loc }
+            : varRef(site.sync, BOOL, loc);
+        return {
+            kind: "seqExpr",
+            stmts: [
+                { kind: "varDecl", localId: recordId, init: resumed, loc },
+                setDone(field("done", BOOL)),
+                { kind: "exprStmt", expr: awaitDyn(dynUndefinedExpr(loc)), loc },
+            ],
+            result: {
+                kind: "ternary",
+                cond: doneRef,
+                then: {
+                    kind: "ternary",
+                    cond: fromSync,
+                    then: {
+                        kind: "seqExpr",
+                        stmts: [{ kind: "exprStmt", expr: awaitDyn(boxed), loc }],
+                        result: dynUndefinedExpr(loc),
+                        type: DYN,
+                        loc,
+                    },
+                    else_: dynUndefinedExpr(loc),
+                    type: DYN,
+                    loc,
+                },
+                else_: {
+                    kind: "ternary",
+                    cond: fromSync,
+                    then: awaitDyn(boxed),
+                    else_: boxed,
+                    type: DYN,
+                    loc,
+                },
+                type: DYN,
+                loc,
+            },
+            type: DYN,
+            loc,
+        };
+    }
 }
 //# sourceMappingURL=generator-dynamic-dispatch.js.map

package/dist/frontend/lowering/generator-dynamic-dispatch.js.map

@@ -1 +1 @@
-{"version":3,"file":"generator-dynamic-dispatch.js","sourceRoot":"","sources":["../../../src/frontend/lowering/generator-dynamic-dispatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,GAAG,EACH,MAAM,EACN,eAAe,EACf,MAAM,EACN,UAAU,EACV,OAAO,EACP,IAAI,GAKL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAQpD,0DAA0D;AAC1D,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAE3E,4EAA4E;AAC5E,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IACpC,KAAK;IACL,QAAQ;IACR,MAAM;IACN,MAAM;IACN,SAAS;IACT,QAAQ;IACR,SAAS;IACT,SAAS;IACT,MAAM;IACN,OAAO;IACP,MAAM;CACP,CAAC,CAAC;AAEH;uEACuE;AACvE,MAAM,OAAO,wBAAwB;IAClB,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,UAAU,GAAG,IAAI,GAAG,EAGlC,CAAC;IACa,SAAS,GAAG,IAAI,GAAG,EAAc,CAAC;IAClC,UAAU,GAAG,IAAI,GAAG,EAAkD,CAAC;IACxF,wEAAwE;IAChE,iBAAiB,GAAG,KAAK,CAAC;IAElC;;;sDAGkD;IAC1C,cAAc,CAAC,OAAgB,EAAE,MAAc,EAAE,IAAY;QACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,EAAE,GAAe;YACrB,IAAI,EAAE,sBAAsB,MAAM,EAAE;YACpC,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACxD,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACnE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC;YACrF,GAAG;SACJ,CAAC;QACF,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvB,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3B,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACxB,gEAAgE;QAChE,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,CAAC;QAC1C,OAAO,CAAC,WAAW,CAAC,yBAAyB,MAAM,EAAE,CAAC,CAAC;QACvD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,yBAAyB,MAAM,EAAE;YACvC,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACpD,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAC/D,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,WAAW;wBACjB,MAAM;wBACN,UAAU,EAAE,aAAa,MAAM,EAAE;wBACjC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;wBACnE,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;wBAC/B,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,CACL,OAAgB,EAChB,SAAgC,EAChC,YAAqC,EACrC,KAAoB;QAEpB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAc,CAAC;QACtC,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAQ,EAAE;YACtC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO;YAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;iBACzD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;iBAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;iBAClD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC7B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;iBAC/E,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC3F,CAAC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC3B,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC/B,kEAAkE;YAClE,WAAW;YACX,IAAI,KAAK,CAAC,YAAY;gBAAE,YAAY,GAAG,IAAI,CAAC;YAC5C,IAAI,KAAK,CAAC,cAAc;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,sEAAsE;YACtE,oEAAoE;YACpE,gEAAgE;YAChE,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YACjF,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;gBACnC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;gBACpB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACb,iEAAiE;oBACjE,0CAA0C;oBAC1C,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;wBACzB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;wBAC1B,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;4BACzC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EACnE,CAAC;wBACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;wBAC9B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;4BAAE,OAAO,GAAG,IAAI,CAAC;wBACjD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;wBAC1D,OAAO;4BACL,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,MAAM,CAAC,IAAI;4BACnB,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;4BAClB,IAAI,EAAE,GAAG;4BACT,GAAG,EAAE,IAAI,CAAC,GAAG;yBACd,CAAC;oBACJ,CAAC;oBACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;wBAAE,OAAO,IAAI,CAAC;oBACvF,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;oBAC7E,IAAI,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACd,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;wBACrB,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;4BACtD,OAAO,EAAE,KAAK,CAAC,EAAE;4BACjB,IAAI,EAAE,IAAI,CAAC,EAAE;4BACb,IAAI,EAAE,GAAG;yBACV,CAAC,CAAC,CAAC;wBACJ,MAAM,MAAM,GAAe;4BACzB,IAAI,EAAE,uBAAuB,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE;4BACnD,MAAM;4BACN,UAAU,EAAE,GAAG;4BACf,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gCACzB,EAAE,EAAE,CAAC,CAAC,OAAO;gCACb,IAAI,EAAE,CAAC,CAAC,IAAI;gCACZ,IAAI,EAAE,GAAG;gCACT,OAAO,EAAE,KAAK;6BACf,CAAC,CAAC;4BACH,IAAI,EAAE;gCACJ;oCACE,IAAI,EAAE,QAAQ;oCACd,KAAK,EAAE;wCACL,GAAG,IAAI;wCACP,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;wCAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;qCAC9D;oCACD,GAAG;iCACJ;6BACF;4BACD,GAAG;yBACJ,CAAC;wBACF,QAAQ,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;wBAC1D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;wBACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBAC3B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAC/B,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;wBAC5B,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;oBACD,OAAO;wBACL,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI;wBACxB,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC;wBAC/B,IAAI,EAAE,GAAG;wBACT,GAAG,EAAE,IAAI,CAAC,GAAG;qBACd,CAAC;gBACJ,CAAC;aACF,CAAC,CAAC;QACL,CAAC;QACD,iEAAiE;QACjE,oEAAoE;QACpE,+BAA+B;QAC/B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC7B,IACE,YAAY;YACZ,CAAC,IAAI,CAAC,iBAAiB;YACvB,OAAO,KAAK,SAAS;YACrB,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,EAC3D,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;YACxB,MAAM,IAAI,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;gBACxC,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC;gBAChC,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;gBACzD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC,CAAC;YACH,MAAM,WAAW,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;gBAC/C,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;oBAC/D,QAAQ,EAAE,EAAE;oBACZ,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;oBACxB,GAAG;iBACJ;gBACD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC,CAAC;YACH,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,yBAAyB;oBAC7B,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;oBAClD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ,CAAC,CAAC;YACH,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC;YAC9B,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QACD,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;YAC9C,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACtC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;gBAC5B,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;oBACvB,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,gBAAgB;wBACpB,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;wBACpF,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,QAAQ;4BACd,KAAK,EAAE,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;gCAC/B,CAAC,CAAC;oCACE,IAAI,EAAE,SAAS;oCACf,EAAE,EAAE,0BAA0B;oCAC9B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;oCAC5D,IAAI,EAAE,GAAG;oCACT,GAAG;iCACJ;gCACH,CAAC,CAAC;oCACE,IAAI,EAAE,SAAS;oCACf,KAAK,EAAE;wCACL,IAAI,EAAE,SAAS;wCACf,MAAM,EAAE,yBAAyB,MAAM,EAAE;wCACzC,QAAQ,EAAE,EAAE;wCACZ,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;wCACxB,GAAG;qCACJ;oCACD,IAAI,EAAE,GAAG;oCACT,GAAG;iCACJ;4BACL,GAAG;yBACJ;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;YAC7C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC1C,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACtC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;gBAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAqC,CAAC;gBACnE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAE,CAAC;gBACxF,MAAM,UAAU,GAAW,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBACpF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;gBACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;gBAC5E,MAAM,OAAO,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzD,gEAAgE;gBAChE,sDAAsD;gBACtD,MAAM,GAAG,GACP,IAAI,KAAK,OAAO;oBACd,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;wBAC3B,OAAO,CAAC,IAAI,KAAK,MAAM;wBACvB,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC;wBAClC,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACpD,MAAM,WAAW,GAAG,eAAe,CACjC,UAAU,EACV,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC;gBACF,MAAM,IAAI,GAAa,EAAE,CAAC;gBAC1B,kEAAkE;gBAClE,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ;oBAC5D,IAAI,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE;4BACJ,IAAI,EAAE,OAAO;4BACb,EAAE,EAAE,GAAG;4BACP,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjF,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,cAAc;gCACpB,IAAI,EAAE,QAAQ;gCACd,OAAO,EACL,gFAAgF;gCAClF,GAAG;6BACJ;yBACF;wBACD,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ,CAAC,CAAC;gBACL,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAU,EAAE,CAAC,CAAC;oBAC/C,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE;4BACL,IAAI,EAAE,WAAW;4BACjB,IAAI;4BACJ,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE;4BACrD,GAAG,EAAE,IAAI;4BACT,IAAI,EAAE,UAAU;4BAChB,GAAG;yBACJ;wBACD,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,GAAG;iBACJ,CAAC,CAAC;gBACH,MAAM,KAAK,GACT,WAAW,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;gBACrF,IAAI,KAAK,IAAI,IAAI,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;oBAC5C,IAAI,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC9E,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBACpB,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ,CAAC,CAAC;gBACL,IAAI,CAAC,IAAI,CACP,KAAK;oBACH,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;oBACb,CAAC,CAAC;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,QAAQ;wBACd,OAAO,EACL,8EAA8E;wBAChF,GAAG;qBACJ,CACN,CAAC;gBACF,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;oBACvB,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,gBAAgB;wBACpB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;wBACnE,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,OAAO,OAAO,CAAC;IACjB,CAAC;CACF"}
+{"version":3,"file":"generator-dynamic-dispatch.js","sourceRoot":"","sources":["../../../src/frontend/lowering/generator-dynamic-dispatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,eAAe,EACf,MAAM,EACN,UAAU,EACV,OAAO,EACP,IAAI,GAKL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAQpD,0DAA0D;AAC1D,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAE3E,4EAA4E;AAC5E,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IACpC,KAAK;IACL,QAAQ;IACR,MAAM;IACN,MAAM;IACN,SAAS;IACT,QAAQ;IACR,SAAS;IACT,SAAS;IACT,MAAM;IACN,OAAO;IACP,MAAM;CACP,CAAC,CAAC;AAEH;uEACuE;AACvE,MAAM,OAAO,wBAAwB;IAClB,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,UAAU,GAAG,IAAI,GAAG,EAGlC,CAAC;IACa,SAAS,GAAG,IAAI,GAAG,EAAc,CAAC;IAClC,UAAU,GAAG,IAAI,GAAG,EAAkD,CAAC;IACxF,wEAAwE;IAChE,iBAAiB,GAAG,KAAK,CAAC;IAElC;;;sDAGkD;IAC1C,cAAc,CAAC,OAAgB,EAAE,MAAc,EAAE,IAAY;QACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,EAAE,GAAe;YACrB,IAAI,EAAE,sBAAsB,MAAM,EAAE;YACpC,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACxD,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACnE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC;YACrF,GAAG;SACJ,CAAC;QACF,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvB,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3B,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACxB,gEAAgE;QAChE,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,CAAC;QAC1C,OAAO,CAAC,WAAW,CAAC,yBAAyB,MAAM,EAAE,CAAC,CAAC;QACvD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,yBAAyB,MAAM,EAAE;YACvC,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACpD,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAC/D,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,WAAW;wBACjB,MAAM;wBACN,UAAU,EAAE,aAAa,MAAM,EAAE;wBACjC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;wBACnE,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;wBAC/B,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,CACL,OAAgB,EAChB,SAAgC,EAChC,YAAqC,EACrC,KAAoB;QAEpB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAc,CAAC;QACtC,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAQ,EAAE;YACtC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO;YAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;iBACzD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;iBAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;iBAClD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC7B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;iBAC/E,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC3F,CAAC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC3B,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC/B,kEAAkE;YAClE,WAAW;YACX,IAAI,KAAK,CAAC,YAAY;gBAAE,YAAY,GAAG,IAAI,CAAC;YAC5C,IAAI,KAAK,CAAC,cAAc;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,sEAAsE;YACtE,oEAAoE;YACpE,gEAAgE;YAChE,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YACjF,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;gBACnC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;gBACpB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACb,iEAAiE;oBACjE,0CAA0C;oBAC1C,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;wBACzB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;wBAC1B,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;4BACzC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EACnE,CAAC;wBACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;wBAC9B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;4BAAE,OAAO,GAAG,IAAI,CAAC;wBACjD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;wBAC1D,OAAO;4BACL,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,MAAM,CAAC,IAAI;4BACnB,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;4BAClB,IAAI,EAAE,GAAG;4BACT,GAAG,EAAE,IAAI,CAAC,GAAG;yBACd,CAAC;oBACJ,CAAC;oBACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;wBAAE,OAAO,IAAI,CAAC;oBACvF,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;oBAC7E,IAAI,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACd,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;wBACrB,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;4BACtD,OAAO,EAAE,KAAK,CAAC,EAAE;4BACjB,IAAI,EAAE,IAAI,CAAC,EAAE;4BACb,IAAI,EAAE,GAAG;yBACV,CAAC,CAAC,CAAC;wBACJ,MAAM,MAAM,GAAe;4BACzB,IAAI,EAAE,uBAAuB,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE;4BACnD,MAAM;4BACN,UAAU,EAAE,GAAG;4BACf,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gCACzB,EAAE,EAAE,CAAC,CAAC,OAAO;gCACb,IAAI,EAAE,CAAC,CAAC,IAAI;gCACZ,IAAI,EAAE,GAAG;gCACT,OAAO,EAAE,KAAK;6BACf,CAAC,CAAC;4BACH,IAAI,EAAE;gCACJ;oCACE,IAAI,EAAE,QAAQ;oCACd,KAAK,EAAE;wCACL,GAAG,IAAI;wCACP,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;wCAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;qCAC9D;oCACD,GAAG;iCACJ;6BACF;4BACD,GAAG;yBACJ,CAAC;wBACF,QAAQ,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;wBAC1D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;wBACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBAC3B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAC/B,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;wBAC5B,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;oBACD,OAAO;wBACL,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI;wBACxB,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC;wBAC/B,IAAI,EAAE,GAAG;wBACT,GAAG,EAAE,IAAI,CAAC,GAAG;qBACd,CAAC;gBACJ,CAAC;aACF,CAAC,CAAC;QACL,CAAC;QACD,iEAAiE;QACjE,oEAAoE;QACpE,+BAA+B;QAC/B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC7B,IACE,YAAY;YACZ,CAAC,IAAI,CAAC,iBAAiB;YACvB,OAAO,KAAK,SAAS;YACrB,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,EAC3D,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;YACxB,MAAM,IAAI,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;gBACxC,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC;gBAChC,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;gBACzD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC,CAAC;YACH,MAAM,WAAW,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;gBAC/C,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;oBAC/D,QAAQ,EAAE,EAAE;oBACZ,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;oBACxB,GAAG;iBACJ;gBACD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC,CAAC;YACH,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,yBAAyB;oBAC7B,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;oBAClD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ,CAAC,CAAC;YACH,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC;YAC9B,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QACD,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;YAC9C,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACtC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;gBAC5B,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;oBACvB,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,gBAAgB;wBACpB,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;wBACpF,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,QAAQ;4BACd,KAAK,EAAE,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;gCAC/B,CAAC,CAAC;oCACE,IAAI,EAAE,SAAS;oCACf,EAAE,EAAE,0BAA0B;oCAC9B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;oCAC5D,IAAI,EAAE,GAAG;oCACT,GAAG;iCACJ;gCACH,CAAC,CAAC;oCACE,IAAI,EAAE,SAAS;oCACf,KAAK,EAAE;wCACL,IAAI,EAAE,SAAS;wCACf,MAAM,EAAE,yBAAyB,MAAM,EAAE;wCACzC,QAAQ,EAAE,EAAE;wCACZ,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;wCACxB,GAAG;qCACJ;oCACD,IAAI,EAAE,GAAG;oCACT,GAAG;iCACJ;4BACL,GAAG;yBACJ;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;YAC7C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC1C,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACtC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;gBAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAqC,CAAC;gBACnE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAE,CAAC;gBACxF,MAAM,UAAU,GAAW,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBACpF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;gBACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;gBAC5E,MAAM,OAAO,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzD,gEAAgE;gBAChE,sDAAsD;gBACtD,MAAM,GAAG,GACP,IAAI,KAAK,OAAO;oBACd,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;wBAC3B,OAAO,CAAC,IAAI,KAAK,MAAM;wBACvB,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC;wBAClC,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACpD,MAAM,WAAW,GAAG,eAAe,CACjC,UAAU,EACV,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC;gBACF,MAAM,IAAI,GAAa,EAAE,CAAC;gBAC1B,kEAAkE;gBAClE,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ;oBAC5D,IAAI,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE;4BACJ,IAAI,EAAE,OAAO;4BACb,EAAE,EAAE,GAAG;4BACP,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjF,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,cAAc;gCACpB,IAAI,EAAE,QAAQ;gCACd,OAAO,EACL,gFAAgF;gCAClF,GAAG;6BACJ;yBACF;wBACD,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ,CAAC,CAAC;gBACL,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAU,EAAE,CAAC,CAAC;oBAC/C,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE;4BACL,IAAI,EAAE,WAAW;4BACjB,IAAI;4BACJ,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE;4BACrD,GAAG,EAAE,IAAI;4BACT,IAAI,EAAE,UAAU;4BAChB,GAAG;yBACJ;wBACD,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,GAAG;iBACJ,CAAC,CAAC;gBACH,MAAM,KAAK,GACT,WAAW,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;gBACrF,IAAI,KAAK,IAAI,IAAI,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;oBAC5C,IAAI,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC9E,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBACpB,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ,CAAC,CAAC;gBACL,IAAI,CAAC,IAAI,CACP,KAAK;oBACH,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;oBACb,CAAC,CAAC;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,QAAQ;wBACd,OAAO,EACL,8EAA8E;wBAChF,GAAG;qBACJ,CACN,CAAC;gBACF,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;oBACvB,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,gBAAgB;wBACpB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;wBACnE,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,OAAO,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,OAAO,CAAC;IAC9D,CAAC;IAED;;;wDAGoD;IAC5C,SAAS,CAAC,OAAgB,EAAE,IAAqB;QACvD,MAAM,GAAG,GAA8B,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC1C,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK;gBAAE,SAAS;YACjD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YACvF,IAAI,MAAM,KAAK,IAAI;gBAAE,SAAS;YAC9B,qDAAqD;YACrD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;gBACpF,SAAS;YACX,IACE,CAAC,eAAe,CACd,MAAM,EACN,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B;gBAED,SAAS;YACX,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;;;;;;;;;8CAU0C;IAClC,gBAAgB,CAAC,OAAgB,EAAE,SAAgC;QACzE,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAChF,8DAA8D;QAC9D,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/C,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;YAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;YACnD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC7C,IAAI,IAAI,KAAK,SAAS;oBAAE,SAAS;gBACjC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC5B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;gBAAE,SAAS;YAChC,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;gBACnC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;gBACpB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;wBAAE,OAAO,IAAI,CAAC;oBAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;wBAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;wBACpD,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM;4BAAE,OAAO,IAAI,CAAC;wBAChE,OAAO,GAAG,IAAI,CAAC;wBACf,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC;oBAC3B,CAAC;oBACD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACvC,IAAI,IAAI,KAAK,SAAS;wBAAE,OAAO,IAAI,CAAC;oBACpC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;oBAC5C,6DAA6D;oBAC7D,IAAI,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;oBACzB,IAAI,OAAO,GAAG,CAAC,CAAC;oBAChB,OACE,QAAQ,CAAC,IAAI,KAAK,SAAS;wBAC3B,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;wBAC5B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;wBACpC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,IAAI,EACxC,CAAC;wBACD,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC;wBAC1B,OAAO,EAAE,CAAC;oBACZ,CAAC;oBACD,IAAI,OAAO,KAAK,KAAK,CAAC,MAAM;wBAAE,OAAO,IAAI,CAAC;oBAC1C,IAAI,IAAI,GAAG,QAAQ,CAAC;oBACpB,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC3C,MAAM,CAAC,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;wBAC3B,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;wBACxC,IAAI,GAAG;4BACL,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE;gCACJ,IAAI,EAAE,KAAK;gCACX,EAAE,EAAE,KAAK;gCACT,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;gCACtC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC;gCAC9B,IAAI,EAAE,IAAI;gCACV,GAAG,EAAE,IAAI,CAAC,GAAG;6BACd;4BACD,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC;4BAC9D,KAAK,EAAE,IAAI;4BACX,IAAI,EAAE,GAAG;4BACT,GAAG,EAAE,IAAI,CAAC,GAAG;yBACd,CAAC;oBACJ,CAAC;oBACD,OAAO,GAAG,IAAI,CAAC;oBACf,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC;gBAC3B,CAAC;aACF,CAAC,CAAC;QACL,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;gDAC4C;IACpC,aAAa,CAAC,IAAY;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;QACtC,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,KAAK,GAAG,KAAK,CAAC,KAAK;YAAE,KAAK,EAAE,CAAC;QACnF,OAAO,KAAK,CAAC;IACf,CAAC;IAED;2EACuE;IAC/D,QAAQ,CACd,IAAqB,EACrB,KAAyC,EACzC,GAAkB;QAElB,MAAM,GAAG,GAAW;YAClB,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,eAAe;YACnB,IAAI,EAAE;gBACJ,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC;gBAC3B;oBACE,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,4BAA4B;wBACpC,QAAQ,EAAE,EAAE;wBACZ,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;wBACxB,GAAG;qBACJ;oBACD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;QACF,IAAI,IAAI,GAAW,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YACxC,IAAI,GAAG;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,gBAAgB;oBACpB,IAAI,EAAE;wBACJ,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC;wBAC/B,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;qBAC3D;oBACD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;gBACxB,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;QACJ,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;YACvB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACxF,CAAC;IAED;4EACwE;IAChE,QAAQ,CACd,OAAgB,EAChB,EAAc,EACd,IAAqB,EACrB,IAAmB,EACnB,QAAgB,EAChB,GAAkB;QAElB,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC5F,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAChG,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAE,CAAC;QACxF,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,QAAQ,CAAC;YACnD,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACjF,MAAM,KAAK,GAAG,CAAC,IAAsB,EAAE,SAAiB,EAAU,EAAE,CAAC,CAAC;YACpE,IAAI,EAAE,WAAW;YACjB,GAAG,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC;YAClC,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,SAAS;YACf,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM;aAC7B,GAAG,CAAC,MAAM,CAAC,OAAO,CAAE;aACpB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAE,CAAC,IAAI,CAAC;QAChD,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC5F,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,CAAC,KAAK,CAAC;YACb,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,OAAO,GAAW;YACtB,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,MAAM;YACZ,GAAG;YACH,GAAG,EAAE,IAAI;YACT,IAAI,EAAE,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM;YACvE,GAAG;SACJ,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,KAAK;YACb,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE;oBAC1D,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;iBAC7B;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC;oBAC3B,KAAK,EAAE,KAAK;oBACZ,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;QACJ,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;YACrB,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE;oBACL;wBACE,IAAI,EAAE,SAAS;wBACf,OAAO,EAAE,QAAQ;wBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;wBAC9D,GAAG;qBACJ;oBACD,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;iBAC7B;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC;oBAC3B,KAAK,EAAE,KAAK;oBACZ,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;QACJ,oEAAoE;QACpE,wEAAwE;QACxE,sEAAsE;QACtE,sEAAsE;QACtE,qBAAqB;QACrB,MAAM,QAAQ,GACZ,IAAI,CAAC,IAAI,KAAK,IAAI;YAChB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACpD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE;gBAC1D,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBAC5B,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE;aACjE;YACD,MAAM,EAAE;gBACN,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC;wBACzD,MAAM,EAAE,gBAAgB,CAAC,GAAG,CAAC;wBAC7B,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC;oBAC5B,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC;oBACrB,KAAK,EAAE,KAAK;oBACZ,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;CACF"}

package/dist/frontend/lowering/generic-functions.d.ts

@@ -208,6 +208,11 @@ export declare function erasedGenericInstance(lowerer: Lowerer, blame: ts.Node,
  * DECLARED in an opted-in package's JS files (user JS keeps today's
  * checked-dynamic story until the corpus is re-baselined). */
 export declare function implicitMonoFile(sf: ts.SourceFile): boolean;
+/** True when the body (or a nested function capturing it) ever WRITES the
+ * parameter symbol — assignment, compound assignment, ++/--, a
+ * destructuring-assignment target, or a for-in/of cursor. A written
+ * param's binding could lie after the write, so it stays dyn. */
+export declare function paramWrittenInBody(lowerer: Lowerer, body: ts.Node, sym: ts.Symbol, name: string): boolean;
 /** A destructured object parameter (`function f({ Base, name })`) whose
  * names bind the call site argument's property types. */
 export interface ImplicitPattern {
@@ -247,6 +252,11 @@ export declare function implicitCallInstance(lowerer: Lowerer, call: ts.CallExpr
  * VALUE reference of an implicit-any function names (indirect calls
  * carry no per-site types to bind). */
 export declare function implicitDefaultInstance(lowerer: Lowerer, blame: ts.Node, info: GenericFnInfo): GenericInstance;
+export declare function internImplicitInstance(lowerer: Lowerer, blame: ts.Node, info: GenericFnInfo, shapes: ParamShape[], argTypes: Map<ts.Symbol, ts.Type>, patternKey?: string, declaredReturn?: IrType): GenericInstance;
+/** internImplicitInstance; with `fallible`, a body that does not lower
+ * leaves no instance and no diagnostics, and the answer is null (the caller
+ * keeps its own lowering). */
+export declare function internImplicitInstanceOr(lowerer: Lowerer, blame: ts.Node, info: GenericFnInfo, shapes: ParamShape[], argTypes: Map<ts.Symbol, ts.Type>, patternKey: string, declaredReturn: IrType | undefined, fallible: boolean): GenericInstance | null;
 /** The implicit-any twin of bindingGenericFnNodeOf, for LOCAL and module
  * bindings alike (`const knownBy = (cmd) => [cmd.name()].concat(...)`
  * inside a method body — commander's _registerCommand shape): the

package/dist/frontend/lowering/generic-functions.js

@@ -1,7 +1,10 @@
+import { shapeOverlayAnnotated } from "../shape-inference/index.js";
+import { documentedParameter } from "./call-signatures.js";
 import { staticNameBindings } from "./static-function-names.js";
 import { positionTag } from "./structural-positions.js";
 import { keyedHelperName } from "./stable-names.js";
 import * as ts from "../ts7/adapter.js";
+import { heritageElementTarget, isHeritageTypeReference } from "../heritage-elements.js";
 import { bodyReadsArguments } from "../arguments-usage.js";
 import { BOOL, DYN, STRING, VOID, isUnitType, typeEquals, } from "../../ir/ir.js";
 import { helperLoc, nodeThrowExpr } from "../../ir/build.js";
@@ -417,8 +420,9 @@ function extendsParameter(lowerer, decl, info) {
     }
     for (const clause of decl.heritageClauses?.nodes ?? [])
         for (const base of clause.types.nodes) {
-            const symbol = ts.isIdentifier(base.expression)
-                ? lowerer.checker.getSymbolAtLocation(base.expression)
+            const target = heritageElementTarget(base);
+            const symbol = ts.isIdentifier(target)
+                ? lowerer.checker.getSymbolAtLocation(target)
                 : undefined;
             if (symbol !== undefined && params.has(symbol))
                 return true;
@@ -761,6 +765,15 @@ function unifySignatureBindings(lowerer, info, rsig, bindings, tsBindings) {
             dAlias === inst.getAliasSymbol() &&
             dAliasArgs.length &&
             iAliasArgs.length === dAliasArgs.length) {
+            if (tsBindings && declared !== inst) {
+                let entries = lowerer.boundAliasInstances.get(declared);
+                if (!entries)
+                    lowerer.boundAliasInstances.set(declared, (entries = []));
+                // A body forwarding its own alias (`inner(g)` returning `Catalog<G,
+                // "x">` inside an instance) resolves through the enclosing one.
+                if (!entries.some((entry) => entry.tsBindings === tsBindings))
+                    entries.push({ tsBindings, instance: lowerer.boundAliasTsResolver(inst) ?? inst });
+            }
             dAliasArgs.forEach((da, i) => {
                 const ia = iAliasArgs[i];
                 if (ia)
@@ -1286,7 +1299,7 @@ export function implicitMonoFile(sf) {
  * parameter symbol — assignment, compound assignment, ++/--, a
  * destructuring-assignment target, or a for-in/of cursor. A written
  * param's binding could lie after the write, so it stays dyn. */
-function paramWrittenInBody(lowerer, body, sym, name) {
+export function paramWrittenInBody(lowerer, body, sym, name) {
     let written = false;
     const targetsSym = (e) => {
         let n = e;
@@ -1479,6 +1492,7 @@ export function implicitAnyParamSymbolsOf(lowerer, decl, classParams = false) {
     if (bodyReadsArguments(decl))
         return null;
     let hasImplicitParams = false;
+    const overlayTyped = shapeOverlayAnnotated(decl);
     const out = decl.parameters.nodes.map((param) => {
         if (!ts.isIdentifier(param.name))
             return null;
@@ -1486,6 +1500,10 @@ export function implicitAnyParamSymbolsOf(lowerer, decl, classParams = false) {
             return null;
         if (param.name.text === "this")
             return null;
+        // A parameter typed by shape inference's overlay is a proven type,
+        // not an implicit type parameter.
+        if (overlayTyped && documentedParameter(param))
+            return null;
         const t = lowerer.typeOf(param.name);
         const broadFunction = lowerer.checker.typeToString(t) === "Function";
         const broadArray = lowerer.checkerAnyArrayType(t);
@@ -1932,11 +1950,20 @@ export function implicitDefaultInstance(lowerer, blame, info) {
     }
     return internImplicitInstance(lowerer, blame, info, shapes, argTypes);
 }
-function internImplicitInstance(lowerer, blame, info, shapes, argTypes, patternKey = "") {
+export function internImplicitInstance(lowerer, blame, info, shapes, argTypes, patternKey = "", declaredReturn) {
+    return internImplicitInstanceOr(lowerer, blame, info, shapes, argTypes, patternKey, declaredReturn, false);
+}
+/** internImplicitInstance; with `fallible`, a body that does not lower
+ * leaves no instance and no diagnostics, and the answer is null (the caller
+ * keeps its own lowering). */
+export function internImplicitInstanceOr(lowerer, blame, info, shapes, argTypes, patternKey, declaredReturn, fallible) {
     const key = shapes.map((s) => typeKey(s.type)).join(",") + (patternKey ? `|${patternKey}` : "");
     let inst = info.instances.get(key);
-    if (inst?.implicitState === "failed")
+    if (inst?.implicitState === "failed") {
+        if (fallible)
+            return null;
         lowerer.unsupported("SC1090", blame, `the failed specialization of '${info.baseName}'`);
+    }
     if (inst) {
         // A recursive caller has observed this ABI before inference settles.
         // Keep the promised return slot and coerce the completed body's returns.
@@ -1954,7 +1981,7 @@ function internImplicitInstance(lowerer, blame, info, shapes, argTypes, patternK
         info.implicitParams?.[index] !== undefined &&
         shapes[index]?.type.kind === "dyn" &&
         broadPromiseParam(lowerer, lowerer.typeOf(param.name)));
-    const declared = dynamicBroadPromise ? null : implicitDeclaredReturn(lowerer, info);
+    const declared = declaredReturn ?? (dynamicBroadPromise ? null : implicitDeclaredReturn(lowerer, info));
     inst = {
         path,
         name: keyedHelperName(lowerer, `${info.qualifiedName}%`, key, ""),
@@ -1975,6 +2002,27 @@ function internImplicitInstance(lowerer, blame, info, shapes, argTypes, patternK
     // JS body must still have a throwing implementation: later references
     // (including recursive ones) can already hold its cached signature.
     const diagsBefore = lowerer.diags.length;
+    const fencesBefore = lowerer.runtimeFences.length;
+    const totalBefore = lowerer.stats.statementsTotal;
+    const failedBefore = lowerer.stats.statementsFailed;
+    const skippedBefore = lowerer.stats.functionsSkipped;
+    const blockedBefore = fallible ? new Set(lowerer.blockedBindings) : null;
+    const deferredBefore = fallible ? new Set(lowerer.deferredDiags.keys()) : null;
+    /** Undoes what a failed fallible body recorded: the instance's
+     * statements share their symbols with the declaration's own body. */
+    const rollback = () => {
+        lowerer.diags.splice(diagsBefore);
+        lowerer.runtimeFences.splice(fencesBefore);
+        lowerer.stats.statementsTotal = totalBefore;
+        lowerer.stats.statementsFailed = failedBefore;
+        lowerer.stats.functionsSkipped = skippedBefore;
+        for (const symbol of [...lowerer.blockedBindings])
+            if (!blockedBefore.has(symbol))
+                lowerer.blockedBindings.delete(symbol);
+        for (const symbol of [...lowerer.deferredDiags.keys()])
+            if (!deferredBefore.has(symbol))
+                lowerer.deferredDiags.delete(symbol);
+    };
     // The instance is cached even when a receiver probe requested it.
     // Its body must retain statement fences instead of dropping failures
     // into that probe's temporary diagnostic sink and caching empty code.
@@ -1992,12 +2040,22 @@ function internImplicitInstance(lowerer, blame, info, shapes, argTypes, patternK
             ...(info.decl.body ? [info.decl.body] : []),
         ]);
         const fn = lowerer.lowerGenericInstance(info, inst);
+        if (fallible &&
+            (lowerer.diags.length > diagsBefore || lowerer.runtimeFences.length > fencesBefore)) {
+            inst.implicitState = "failed";
+            rollback();
+            return null;
+        }
         lowerer.implicitFns.push(fn);
     }
     catch (e) {
         if (!(e instanceof PoisonError))
             throw e;
         inst.implicitState = "failed";
+        if (fallible) {
+            rollback();
+            return null;
+        }
         const types = shapes.map((shape) => shape.type);
         if (info.member?.kind === "method")
             types.unshift({ kind: "object", className: info.member.cls.def.name });
@@ -2459,7 +2517,9 @@ function bindingReferences(lowerer, file, symbol, name) {
         if (resolved !== symbol)
             return false;
         for (let p = parent; p !== undefined; p = p.parent) {
-            if (ts.isTypeNode(p) && p.kind !== ts.SyntaxKind.ExpressionWithTypeArguments)
+            if (ts.isTypeNode(p) &&
+                p.kind !== ts.SyntaxKind.ExpressionWithTypeArguments &&
+                !isHeritageTypeReference(p))
                 return false;
             if (ts.isStatement(p) || ts.isFunctionLike(p))
                 break;