@scriptc/compiler 0.3.1 → 0.3.3

package/dist/frontend/lowering/generator-delegation.js

@@ -1,7 +1,9 @@
-import { dynUndefinedExpr, varRef } from "../../ir/build.js";
+import { dynUndefinedExpr, numLit, varRef } from "../../ir/build.js";
 import * as ts from "../ts7/adapter.js";
-import { BOOL, DYN, F64, STRING, canConvertToDyn } from "../../ir/ir.js";
+import { BOOL, DYN, F64, STRING, VOID, canConvertToDyn, typeEquals, } from "../../ir/ir.js";
 import { locOf } from "../program.js";
+import { arrayValueRead } from "./array-values.js";
+const NO_THROW_METHOD = "The iterator does not provide a 'throw' method.";
 /** The synchronous IteratorRecord protocol, including completion forwarding.
  * Native class methods enter through the checked-value dispatcher; every
  * step and every user method still executes as compiled code. */
@@ -181,14 +183,7 @@ export function lowerCheckedDelegation(lowerer, expr, source) {
                                             value: {
                                                 kind: "libCall",
                                                 fn: "error.new",
-                                                args: [
-                                                    {
-                                                        kind: "strLit",
-                                                        value: "The iterator does not provide a 'throw' method.",
-                                                        type: STRING,
-                                                        loc,
-                                                    },
-                                                ],
+                                                args: [{ kind: "strLit", value: NO_THROW_METHOD, type: STRING, loc }],
                                                 type: { kind: "object", className: "%TypeError" },
                                                 loc,
                                             },
@@ -214,4 +209,230 @@ export function lowerCheckedDelegation(lowerer, expr, source) {
         : get(step.ref, "value");
     return { kind: "seqExpr", stmts, result, generatorDelegate: true, type: result.type, loc };
 }
+/** `yield* xs` over an array, a string, a Set or a Map: the built-in
+ * iterator walked in place, with the same live view as for-of (an array
+ * re-reads its length every step, a string steps by code point, a Map
+ * yields fresh [key, value] entries). These iterators have no return() or
+ * throw() methods: a consumer's next(v) drops v, return(v) completes the
+ * outer generator at the yield, and throw(e) raises a TypeError there
+ * instead of e. The expression completes with undefined. */
+export function lowerBuiltinDelegation(lowerer, expr, source) {
+    const loc = locOf(expr);
+    const gen = lowerer.ctx.generator;
+    const sourceT = source.type;
+    const container = lowerer.declareHiddenLocal("%delegate", sourceT);
+    const cursor = lowerer.declareHiddenLocal("%delegateCursor", F64);
+    cursor.mutable = true;
+    const src = () => varRef(container.id, sourceT, loc);
+    const at = () => varRef(cursor.id, F64, loc);
+    const advance = (by) => ({
+        kind: "assign",
+        localId: cursor.id,
+        value: { kind: "bin", op: "+", left: at(), right: by, type: F64, loc },
+        loc,
+    });
+    const below = (bound) => ({
+        kind: "bin",
+        op: "<",
+        left: at(),
+        right: bound,
+        type: BOOL,
+        loc,
+    });
+    // One delegated step: the value converts into the outer yield channel
+    // first, so only the resumption itself is inside the try.
+    const step = (value) => {
+        const prefix = [];
+        let yielded = value;
+        if (value.kind !== "varRef" || !typeEquals(value.type, gen.yieldT)) {
+            const local = lowerer.declareHiddenLocal("%delegateValue", gen.yieldT);
+            prefix.push({
+                kind: "varDecl",
+                localId: local.id,
+                init: lowerer.coerceInto(expr.expression, value, gen.yieldT),
+                loc,
+            });
+            yielded = varRef(local.id, gen.yieldT, loc);
+        }
+        return [
+            ...prefix,
+            {
+                kind: "tryCatch",
+                tryBody: [
+                    {
+                        kind: "exprStmt",
+                        expr: {
+                            kind: "yieldExpr",
+                            value: yielded,
+                            type: gen.nextT.kind === "undefinedT" ? VOID : gen.nextT,
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+                catchBody: [
+                    {
+                        kind: "throw",
+                        value: {
+                            kind: "libCall",
+                            fn: "error.new",
+                            args: [{ kind: "strLit", value: NO_THROW_METHOD, type: STRING, loc }],
+                            type: { kind: "object", className: "%TypeError" },
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+                catchLocalId: null,
+                finallyBody: null,
+                loc,
+            },
+        ];
+    };
+    const stmts = [
+        { kind: "varDecl", localId: container.id, init: source, loc },
+        { kind: "varDecl", localId: cursor.id, init: numLit(0, loc), loc },
+    ];
+    if (sourceT.kind === "array") {
+        // A present element converts straight from the dense read; a hole or
+        // a stored undefined takes the optional read, as Get does.
+        const read = {
+            kind: "ternary",
+            cond: {
+                kind: "bin",
+                op: "===",
+                left: { kind: "arrayState", arr: src(), index: at(), type: F64, loc },
+                right: numLit(1, loc),
+                type: BOOL,
+                loc,
+            },
+            then: lowerer.coerceInto(expr.expression, { kind: "arrayGet", arr: src(), index: at(), type: sourceT.elem, loc }, gen.yieldT),
+            else_: lowerer.coerceInto(expr.expression, arrayValueRead(lowerer, src(), at(), sourceT.elem, loc), gen.yieldT),
+            type: gen.yieldT,
+            loc,
+        };
+        const element = lowerer.declareHiddenLocal("%delegateElement", read.type);
+        stmts.push({
+            kind: "while",
+            cond: below({
+                kind: "arrIntrinsic",
+                method: "length",
+                receiver: src(),
+                args: [],
+                type: F64,
+                loc,
+            }),
+            body: [
+                { kind: "varDecl", localId: element.id, init: read, loc },
+                advance(numLit(1, loc)),
+                ...step(varRef(element.id, read.type, loc)),
+            ],
+            loc,
+        });
+    }
+    else if (sourceT.kind === "string") {
+        const ch = lowerer.declareHiddenLocal("%delegateElement", STRING);
+        const length = (receiver) => ({
+            kind: "strIntrinsic",
+            method: "length",
+            receiver,
+            args: [],
+            type: F64,
+            loc,
+        });
+        stmts.push({
+            kind: "while",
+            cond: below(length(src())),
+            body: [
+                {
+                    kind: "varDecl",
+                    localId: ch.id,
+                    init: {
+                        kind: "strIntrinsic",
+                        method: "cpAt",
+                        receiver: src(),
+                        args: [at()],
+                        type: STRING,
+                        loc,
+                    },
+                    loc,
+                },
+                advance(length(varRef(ch.id, STRING, loc))),
+                ...step(varRef(ch.id, STRING, loc)),
+            ],
+            loc,
+        });
+    }
+    else if (sourceT.kind === "map" || sourceT.kind === "set") {
+        const iter = (method, args, type) => sourceT.kind === "map"
+            ? {
+                kind: "mapIntrinsic",
+                method: method,
+                receiver: src(),
+                args,
+                type,
+                loc,
+            }
+            : {
+                kind: "setIntrinsic",
+                method: method,
+                receiver: src(),
+                args,
+                type,
+                loc,
+            };
+        const keyT = sourceT.kind === "map" ? sourceT.key : sourceT.elem;
+        const index = lowerer.declareHiddenLocal("%delegateIndex", F64);
+        const key = () => iter("iterKey", [varRef(index.id, F64, loc)], keyT);
+        let element = key();
+        if (sourceT.kind === "map") {
+            const entryT = {
+                kind: "record",
+                shapeId: lowerer.shapes.intern([
+                    { name: "0", type: keyT },
+                    { name: "1", type: sourceT.value },
+                ], true),
+            };
+            element = {
+                kind: "recordLit",
+                fields: [
+                    { name: "0", value: key() },
+                    { name: "1", value: iter("iterValue", [varRef(index.id, F64, loc)], sourceT.value) },
+                ],
+                type: entryT,
+                loc,
+            };
+        }
+        const exit = { kind: "exprStmt", expr: iter("iterExit", [], VOID), loc };
+        stmts.push({ kind: "exprStmt", expr: iter("iterEnter", [], VOID), loc }, {
+            kind: "tryCatch",
+            tryBody: [
+                {
+                    kind: "while",
+                    cond: below(iter("iterCount", [], F64)),
+                    body: [
+                        { kind: "varDecl", localId: index.id, init: at(), loc },
+                        advance(numLit(1, loc)),
+                        {
+                            kind: "if",
+                            cond: iter("iterLive", [varRef(index.id, F64, loc)], BOOL),
+                            then: step(element),
+                            else_: null,
+                            loc,
+                        },
+                    ],
+                    loc,
+                },
+            ],
+            catchBody: null,
+            catchLocalId: null,
+            finallyBody: [exit],
+            loc,
+        });
+    }
+    const expected = lowerer.mapTypeOf(lowerer.typeOf(expr));
+    const done = dynUndefinedExpr(loc);
+    const result = expected && expected.kind !== "void" ? lowerer.coerceToExpected(done, expected) : done;
+    return { kind: "seqExpr", stmts, result, generatorDelegate: true, type: result.type, loc };
+}
 //# sourceMappingURL=generator-delegation.js.map

package/dist/frontend/lowering/generator-delegation.js.map

@@ -1 +1 @@
-{"version":3,"file":"generator-delegation.js","sourceRoot":"","sources":["../../../src/frontend/lowering/generator-delegation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,EAA4B,MAAM,gBAAgB,CAAC;AACnG,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAGtC;;iEAEiE;AACjE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAwB,EACxB,MAAc;IAEd,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,SAAU,CAAC;IACnC,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;QAC3C,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,eAAe,CACd,IAAI,EACJ,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,EACD,CAAC;YACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,uEAAuE,CACxE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAO,GAAG,KAAK,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpD,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;QACnD,IAAI,EAAE,WAAW;QACjB,KAAK;QACL,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QACtD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,IAAc,EAAU,EAAE,CACtD,KAAK,CAAC;QACJ,IAAI,EAAE,SAAS;QACf,MAAM;QACN,QAAQ,EAAE,QAAQ,CAAC,GAAG;QACtB,UAAU,EAAE,iBAAiB;QAC7B,IAAI;QACJ,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACL,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,CAAC;QAC1B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;QAC5B,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,SAAS;QACf,KAAK;QACL,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC1E,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAChD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE;QACtB,KAAK;QACL,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,MAAmB,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC;QAC9D,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;QACxB,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAY,EAAE,CACzC,UAAU,CAAC,IAAI,KAAK,MAAM;QACxB,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,GAAG;oBACP,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACvE,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,QAAQ;wBACd,OAAO,EACL,gFAAgF;wBAClF,GAAG;qBACJ;iBACF;gBACD,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACrC;QACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACpF,MAAM,KAAK,GAAa;QACtB,OAAO,CACL,QAAQ,EACR,KAAK,CAAC;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE;gBACJ,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAW,EAAE,MAAM,EAAE,GAAG,CAAC;gBACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;aACjD;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CACH;QACD,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD;YACE,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAClE,IAAI,EAAE;gBACJ,OAAO,CAAC,MAAM,EAAE;oBACd,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;oBACnE,iBAAiB,EAAE,EAAE,UAAU,EAAE;oBACjC,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ,CAAC;gBACF;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;oBACb,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACtC,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;4BACb,IAAI,EAAE;gCACJ,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gCAC9C;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;oCAC1B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;oCAClB,KAAK,EAAE;wCACL,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;wCAClC;4CACE,IAAI,EAAE,IAAI;4CACV,IAAI,EAAE,IAAI,EAAE;4CACZ,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;4CACpC,KAAK,EAAE,IAAI;4CACX,GAAG;yCACJ;qCACF;oCACD,GAAG;iCACJ;6BACF;4BACD,KAAK,EAAE;gCACL,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gCAC3C;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;oCACxB,IAAI,EAAE;wCACJ,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;wCAC3C;4CACE,IAAI,EAAE,IAAI;4CACV,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;4CAC7E,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;4CAC5D,KAAK,EAAE,IAAI;4CACX,GAAG;yCACJ;wCACD;4CACE,IAAI,EAAE,OAAO;4CACb,KAAK,EAAE;gDACL,IAAI,EAAE,SAAS;gDACf,EAAE,EAAE,WAAW;gDACf,IAAI,EAAE;oDACJ;wDACE,IAAI,EAAE,QAAQ;wDACd,KAAK,EAAE,iDAAiD;wDACxD,IAAI,EAAE,MAAM;wDACZ,GAAG;qDACJ;iDACF;gDACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;gDACjD,GAAG;6CACJ;4CACD,GAAG;yCACJ;qCACF;oCACD,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oCACzC,GAAG;iCACJ;6BACF;4BACD,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ;KACF,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GACV,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;QAClC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC;QAC5D,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC7F,CAAC"}
+{"version":3,"file":"generator-delegation.js","sourceRoot":"","sources":["../../../src/frontend/lowering/generator-delegation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,IAAI,EACJ,eAAe,EAMf,UAAU,GACX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,MAAM,eAAe,GAAG,iDAAiD,CAAC;AAE1E;;iEAEiE;AACjE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAwB,EACxB,MAAc;IAEd,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,SAAU,CAAC;IACnC,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;QAC3C,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,eAAe,CACd,IAAI,EACJ,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,EACD,CAAC;YACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,uEAAuE,CACxE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAO,GAAG,KAAK,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpD,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;QACnD,IAAI,EAAE,WAAW;QACjB,KAAK;QACL,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QACtD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,IAAc,EAAU,EAAE,CACtD,KAAK,CAAC;QACJ,IAAI,EAAE,SAAS;QACf,MAAM;QACN,QAAQ,EAAE,QAAQ,CAAC,GAAG;QACtB,UAAU,EAAE,iBAAiB;QAC7B,IAAI;QACJ,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACL,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,CAAC;QAC1B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;QAC5B,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,SAAS;QACf,KAAK;QACL,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC1E,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAChD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE;QACtB,KAAK;QACL,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,MAAmB,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC;QAC9D,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;QACxB,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAY,EAAE,CACzC,UAAU,CAAC,IAAI,KAAK,MAAM;QACxB,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,GAAG;oBACP,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACvE,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,QAAQ;wBACd,OAAO,EACL,gFAAgF;wBAClF,GAAG;qBACJ;iBACF;gBACD,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACrC;QACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACpF,MAAM,KAAK,GAAa;QACtB,OAAO,CACL,QAAQ,EACR,KAAK,CAAC;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE;gBACJ,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAW,EAAE,MAAM,EAAE,GAAG,CAAC;gBACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;aACjD;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CACH;QACD,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD;YACE,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAClE,IAAI,EAAE;gBACJ,OAAO,CAAC,MAAM,EAAE;oBACd,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;oBACnE,iBAAiB,EAAE,EAAE,UAAU,EAAE;oBACjC,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ,CAAC;gBACF;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;oBACb,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACtC,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;4BACb,IAAI,EAAE;gCACJ,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gCAC9C;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;oCAC1B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;oCAClB,KAAK,EAAE;wCACL,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;wCAClC;4CACE,IAAI,EAAE,IAAI;4CACV,IAAI,EAAE,IAAI,EAAE;4CACZ,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;4CACpC,KAAK,EAAE,IAAI;4CACX,GAAG;yCACJ;qCACF;oCACD,GAAG;iCACJ;6BACF;4BACD,KAAK,EAAE;gCACL,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gCAC3C;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;oCACxB,IAAI,EAAE;wCACJ,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;wCAC3C;4CACE,IAAI,EAAE,IAAI;4CACV,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;4CAC7E,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;4CAC5D,KAAK,EAAE,IAAI;4CACX,GAAG;yCACJ;wCACD;4CACE,IAAI,EAAE,OAAO;4CACb,KAAK,EAAE;gDACL,IAAI,EAAE,SAAS;gDACf,EAAE,EAAE,WAAW;gDACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;gDACrE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;gDACjD,GAAG;6CACJ;4CACD,GAAG;yCACJ;qCACF;oCACD,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oCACzC,GAAG;iCACJ;6BACF;4BACD,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ;KACF,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GACV,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;QAClC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC;QAC5D,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC7F,CAAC;AAED;;;;;;4DAM4D;AAC5D,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAwB,EACxB,MAAc;IAEd,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,SAAU,CAAC;IACnC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC;IAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;IAClE,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAC7D,MAAM,EAAE,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,MAAM,CAAC,EAAE;QAClB,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACtE,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,EAAE,EAAE;QACV,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,sEAAsE;IACtE,0DAA0D;IAC1D,MAAM,IAAI,GAAG,CAAC,KAAa,EAAY,EAAE;QACvC,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACnE,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAW,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;gBAC7D,GAAG;aACJ,CAAC,CAAC;YACH,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO;YACL,GAAG,MAAM;YACT;gBACE,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE,OAAO;4BACd,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK;4BACxD,GAAG;yBACJ;wBACD,GAAG;qBACJ;iBACF;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,OAAO;wBACb,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,WAAW;4BACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;4BACrE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;4BACjD,GAAG;yBACJ;wBACD,GAAG;qBACJ;iBACF;gBACD,YAAY,EAAE,IAAI;gBAClB,WAAW,EAAE,IAAI;gBACjB,GAAG;aACJ;SACF,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,KAAK,GAAa;QACtB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC7D,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;KACnE,CAAC;IACF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,qEAAqE;QACrE,2DAA2D;QAC3D,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE;gBACJ,IAAI,EAAE,KAAK;gBACX,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACrE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;gBACrB,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,OAAO,CAAC,UAAU,CACtB,IAAI,CAAC,UAAW,EAChB,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,EACtE,GAAG,CAAC,MAAM,CACX;YACD,KAAK,EAAE,OAAO,CAAC,UAAU,CACvB,IAAI,CAAC,UAAW,EAChB,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EACvD,GAAG,CAAC,MAAM,CACX;YACD,IAAI,EAAE,GAAG,CAAC,MAAM;YAChB,GAAG;SACJ,CAAC;QACF,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,KAAK,CAAC;gBACV,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,QAAQ;gBAChB,QAAQ,EAAE,GAAG,EAAE;gBACf,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;YACF,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACzD,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACvB,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aAC5C;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAU,EAAE,CAAC,CAAC;YAC5C,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,QAAQ;YAChB,QAAQ;YACR,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YAC1B,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,EAAE,CAAC,EAAE;oBACd,IAAI,EAAE;wBACJ,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE,MAAM;wBACd,QAAQ,EAAE,GAAG,EAAE;wBACf,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;wBACZ,IAAI,EAAE,MAAM;wBACZ,GAAG;qBACJ;oBACD,GAAG;iBACJ;gBACD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC3C,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;aACpC;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5D,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,IAAc,EAAE,IAAY,EAAU,EAAE,CACpE,OAAO,CAAC,IAAI,KAAK,KAAK;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,MAA8B;gBACtC,QAAQ,EAAE,GAAG,EAAE;gBACf,IAAI;gBACJ,IAAI;gBACJ,GAAG;aACJ;YACH,CAAC,CAAC;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,MAA8B;gBACtC,QAAQ,EAAE,GAAG,EAAE;gBACf,IAAI;gBACJ,IAAI;gBACJ,GAAG;aACJ,CAAC;QACR,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;QACjE,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;QAChE,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9E,IAAI,OAAO,GAAW,GAAG,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAW;gBACrB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAC5B;oBACE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE;oBACzB,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE;iBACnC,EACD,IAAI,CACL;aACF,CAAC;YACF,OAAO,GAAG;gBACR,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;oBAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE;iBACrF;gBACD,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACjF,KAAK,CAAC,IAAI,CACR,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,EAC5D;YACE,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;oBACvC,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE;wBACvD,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;wBACvB;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;4BAC1D,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;4BACnB,KAAK,EAAE,IAAI;4BACX,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;aACF;YACD,SAAS,EAAE,IAAI;YACf,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE,CAAC,IAAI,CAAC;YACnB,GAAG;SACJ,CACF,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,MAAM,GACV,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC7F,CAAC"}

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

@@ -179,7 +179,7 @@ export declare function implicitDefaultInstance(lowerer: Lowerer, blame: ts.Node
  * inside a method body — commander's _registerCommand shape): the
  * initializer function-like when the WHOLE declaration qualifies for
  * implicit monomorphization, else null — non-qualifying shapes keep
- * today's closure story silently (never a fence: the flag must not make
+ * today's closure story without a diagnostic (no fence: the flag must not make
  * working code worse). Qualification: an npm-static JS file, a const (or
  * never-reassigned, never-redeclared) identifier binding, an
  * arrow/function-expression initializer with bindable implicit-any
@@ -267,5 +267,5 @@ export declare function bindingGenericFnAliasInfoOf(lowerer: Lowerer, decl: ts.V
  * scan is the whole story). The read is pure — call and value sites skip
  * evaluating it entirely. A reassignable binding could hold a
  * structurally identical literal with a DIFFERENT body, which static
- * resolution would silently miss. */
+ * resolution would miss without a diagnostic. */
 export declare function requireObjLitGenericReceiver(lowerer: Lowerer, blame: ts.Node, recvExpr: ts.Expression, literal: ts.ObjectLiteralExpression, name: string): void;

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

@@ -1356,7 +1356,7 @@ function internImplicitInstance(lowerer, blame, info, shapes, argTypes) {
  * inside a method body — commander's _registerCommand shape): the
  * initializer function-like when the WHOLE declaration qualifies for
  * implicit monomorphization, else null — non-qualifying shapes keep
- * today's closure story silently (never a fence: the flag must not make
+ * today's closure story without a diagnostic (no fence: the flag must not make
  * working code worse). Qualification: an npm-static JS file, a const (or
  * never-reassigned, never-redeclared) identifier binding, an
  * arrow/function-expression initializer with bindable implicit-any
@@ -1700,7 +1700,7 @@ export function bindingGenericFnAliasInfoOf(lowerer, decl) {
  * scan is the whole story). The read is pure — call and value sites skip
  * evaluating it entirely. A reassignable binding could hold a
  * structurally identical literal with a DIFFERENT body, which static
- * resolution would silently miss. */
+ * resolution would miss without a diagnostic. */
 export function requireObjLitGenericReceiver(lowerer, blame, recvExpr, literal, name) {
     let recv = recvExpr;
     while (ts.isParenthesizedExpression(recv))