@scriptc/compiler 0.3.6 → 0.4.1

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

@@ -1,6 +1,6 @@
 import { dynUndefinedExpr, numLit, varRef } from "../../ir/build.js";
 import * as ts from "../ts7/adapter.js";
-import { BOOL, DYN, F64, STRING, VOID, canConvertToDyn, typeEquals, } from "../../ir/ir.js";
+import { BOOL, CAUGHT, 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.";
@@ -209,6 +209,196 @@ export function lowerCheckedDelegation(lowerer, expr, source) {
         : get(step.ref, "value");
     return { kind: "seqExpr", stmts, result, generatorDelegate: true, type: result.type, loc };
 }
+/** `yield* e` in an async generator: the async iterator protocol (a compiled
+ * async generator, Symbol.asyncIterator's result, or a synchronous iterator
+ * whose values are awaited). Each step's result is awaited, its values are
+ * yielded, and the expression completes with the final result's value. An
+ * abrupt completion at the yield (a consumer's return() or throw()) closes
+ * the delegate through its return(), as for-await does; next() arguments
+ * are not forwarded to the delegate. */
+export function lowerAsyncDelegation(lowerer, expr, source) {
+    const loc = locOf(expr);
+    const gen = lowerer.ctx.generator;
+    const slot = (name, type, mutable = false) => {
+        const local = lowerer.declareHiddenLocal(name, type);
+        local.mutable = mutable;
+        return { local, ref: varRef(local.id, type, loc) };
+    };
+    const iterator = slot("%adelegate", DYN);
+    const sync = slot("%adelegateSync", BOOL);
+    const next = slot("%adelegateNext", DYN);
+    const step = slot("%adelegateStep", DYN, true);
+    const needsClose = slot("%adelegateClose", BOOL, true);
+    const returned = slot("%adelegateReturn", DYN);
+    const error = slot("%adelegateError", CAUGHT);
+    const get = (value, key) => ({
+        kind: "dynKeyGet",
+        value,
+        key: { kind: "strLit", value: key, type: STRING, loc },
+        type: DYN,
+        loc,
+    });
+    const awaitDyn = (value) => ({
+        kind: "libCall",
+        fn: "async.awaitDyn",
+        args: [value],
+        type: DYN,
+        loc,
+    });
+    // Each step's awaited result, which must be an object (TypeError
+    // otherwise), for next() and return() alike.
+    const invoke = (callee) => ({
+        kind: "libCall",
+        fn: "dyn.iteratorResult",
+        args: [
+            awaitDyn({
+                kind: "dynCall",
+                callee,
+                receiver: iterator.ref,
+                calleeName: "iterator method",
+                args: [],
+                type: DYN,
+                loc,
+            }),
+        ],
+        type: DYN,
+        loc,
+    });
+    const stepNext = invoke(next.ref);
+    const setClose = (value) => ({
+        kind: "assign",
+        localId: needsClose.local.id,
+        value: { kind: "boolLit", value, type: BOOL, loc },
+        loc,
+    });
+    const close = () => [
+        { kind: "varDecl", localId: returned.local.id, init: get(iterator.ref, "return"), loc },
+        {
+            kind: "if",
+            cond: {
+                kind: "unary",
+                op: "!",
+                operand: { kind: "dynTest", test: "nullish", value: returned.ref, type: BOOL, loc },
+                type: BOOL,
+                loc,
+            },
+            then: [{ kind: "exprStmt", expr: invoke(returned.ref), loc }],
+            else_: null,
+            loc,
+        },
+    ];
+    // A synchronous delegate's values are awaited, its final value too.
+    const stepValue = () => ({
+        kind: "ternary",
+        cond: sync.ref,
+        then: awaitDyn(get(step.ref, "value")),
+        else_: get(step.ref, "value"),
+        type: DYN,
+        loc,
+    });
+    const yielded = stepValue();
+    const stmts = [
+        {
+            kind: "varDecl",
+            localId: iterator.local.id,
+            init: {
+                kind: "libCall",
+                fn: "dyn.iteratorResult",
+                args: [
+                    {
+                        kind: "libCall",
+                        fn: "dyn.asyncIteratorOpen",
+                        args: [source, { kind: "strLit", value: "", type: STRING, loc }],
+                        type: DYN,
+                        loc,
+                    },
+                ],
+                type: DYN,
+                loc,
+            },
+            loc,
+        },
+        {
+            kind: "varDecl",
+            localId: sync.local.id,
+            init: { kind: "libCall", fn: "dyn.asyncIteratorWasSync", args: [], type: BOOL, loc },
+            loc,
+        },
+        { kind: "varDecl", localId: next.local.id, init: get(iterator.ref, "next"), loc },
+        {
+            kind: "varDecl",
+            localId: needsClose.local.id,
+            init: { kind: "boolLit", value: false, type: BOOL, loc },
+            loc,
+        },
+        { kind: "varDecl", localId: step.local.id, init: stepNext, loc },
+        {
+            kind: "tryCatch",
+            tryBody: [
+                {
+                    kind: "while",
+                    cond: {
+                        kind: "unary",
+                        op: "!",
+                        operand: {
+                            kind: "dynTest",
+                            test: "truthy",
+                            value: get(step.ref, "done"),
+                            type: BOOL,
+                            loc,
+                        },
+                        type: BOOL,
+                        loc,
+                    },
+                    body: [
+                        setClose(true),
+                        {
+                            kind: "exprStmt",
+                            expr: {
+                                kind: "yieldExpr",
+                                value: lowerer.coerceToExpected(yielded, gen.yieldT),
+                                type: gen.nextT.kind === "undefinedT" ? VOID : gen.nextT,
+                                loc,
+                            },
+                            loc,
+                        },
+                        setClose(false),
+                        { kind: "assign", localId: step.local.id, value: stepNext, loc },
+                    ],
+                    loc,
+                },
+            ],
+            catchBody: [
+                {
+                    kind: "if",
+                    cond: needsClose.ref,
+                    then: [
+                        setClose(false),
+                        {
+                            kind: "tryCatch",
+                            tryBody: close(),
+                            catchBody: [],
+                            catchLocalId: null,
+                            finallyBody: null,
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                },
+                { kind: "rethrow", localId: error.local.id, loc },
+            ],
+            catchLocalId: error.local.id,
+            finallyBody: [{ kind: "if", cond: needsClose.ref, then: close(), else_: null, loc }],
+            loc,
+        },
+    ];
+    const expected = lowerer.mapTypeOf(lowerer.typeOf(expr));
+    const result = expected && expected.kind !== "void"
+        ? lowerer.coerceToExpected(stepValue(), expected)
+        : stepValue();
+    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

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,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"}
+{"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,MAAM,EACN,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;;;;;;wCAMwC;AACxC,MAAM,UAAU,oBAAoB,CAClC,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,IAAI,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,OAAO,GAAG,KAAK,EAAE,EAAE;QAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrD,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IACrD,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;IAC9C,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,QAAQ,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QAC3C,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,iEAAiE;IACjE,6CAA6C;IAC7C,MAAM,MAAM,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QAC1C,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE;YACJ,QAAQ,CAAC;gBACP,IAAI,EAAE,SAAS;gBACf,MAAM;gBACN,QAAQ,EAAE,QAAQ,CAAC,GAAG;gBACtB,UAAU,EAAE,iBAAiB;gBAC7B,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;SACH;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE;QAC5B,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAClD,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,GAAa,EAAE,CAAC;QAC5B,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE;QACvF;YACE,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,EAAE,EAAE,GAAG;gBACP,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACnF,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;YAC7D,KAAK,EAAE,IAAI;YACX,GAAG;SACJ;KACF,CAAC;IACF,oEAAoE;IACpE,MAAM,SAAS,GAAG,GAAW,EAAE,CAAC,CAAC;QAC/B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,IAAI,CAAC,GAAG;QACd,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACtC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC;QAC7B,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,SAAS,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAa;QACtB;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE;YAC1B,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,oBAAoB;gBACxB,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,uBAAuB;wBAC3B,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;wBAChE,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;iBACF;gBACD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,GAAG;SACJ;QACD;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE;YACtB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,0BAA0B,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACpF,GAAG;SACJ;QACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE;QACjF;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE;YAC5B,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACxD,GAAG;SACJ;QACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;QAChE;YACE,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE;wBACJ,IAAI,EAAE,OAAO;wBACb,EAAE,EAAE,GAAG;wBACP,OAAO,EAAE;4BACP,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,QAAQ;4BACd,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;4BAC5B,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE;wBACJ,QAAQ,CAAC,IAAI,CAAC;wBACd;4BACE,IAAI,EAAE,UAAU;4BAChB,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC;gCACpD,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK;gCACxD,GAAG;6BACJ;4BACD,GAAG;yBACJ;wBACD,QAAQ,CAAC,KAAK,CAAC;wBACf,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE;qBACjE;oBACD,GAAG;iBACJ;aACF;YACD,SAAS,EAAE;gBACT;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,UAAU,CAAC,GAAG;oBACpB,IAAI,EAAE;wBACJ,QAAQ,CAAC,KAAK,CAAC;wBACf;4BACE,IAAI,EAAE,UAAU;4BAChB,OAAO,EAAE,KAAK,EAAE;4BAChB,SAAS,EAAE,EAAE;4BACb,YAAY,EAAE,IAAI;4BAClB,WAAW,EAAE,IAAI;4BACjB,GAAG;yBACJ;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE;aAClD;YACD,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;YAC5B,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACpF,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,SAAS,EAAE,EAAE,QAAQ,CAAC;QACjD,CAAC,CAAC,SAAS,EAAE,CAAC;IAClB,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/generator-dynamic-dispatch.d.ts

@@ -7,5 +7,12 @@ export declare class GeneratorDynamicDispatch {
     private readonly dispatches;
     private readonly generated;
     private readonly properties;
+    /** Whether %main registers the next/return getters with the runtime. */
+    private membersRegistered;
+    /** The getter for a generator capsule's `method` (next, return, throw or
+     * an iterator helper): a checked function over the capsule's type keys
+     * that answers the method as a function value. `read` is the dyn read
+     * whose fallback it keeps for other receivers. */
+    private ensureProperty;
     process(lowerer: Lowerer, functions: readonly IrFunction[], classHelpers: ReadonlySet<IrFunction>): boolean;
 }

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

@@ -1,7 +1,21 @@
 import { dynUndefinedExpr, varRef } from "../../ir/build.js";
-import { BOOL, DYN, STRING, canConvertToDyn, funcOf, typeEquals, typeKey, } from "../../ir/ir.js";
+import { BOOL, DYN, STRING, canConvertToDyn, funcOf, typeEquals, typeKey, VOID, } from "../../ir/ir.js";
 import { everyStmtList, transformStmtList } from "../../ir/traverse.js";
 import { genResultRecord } from "../type-mapper.js";
+/** The iterator helper methods the runtime answers on checked iterators. */
+const HELPER_METHODS = new Set([
+    "map",
+    "filter",
+    "take",
+    "drop",
+    "flatMap",
+    "reduce",
+    "toArray",
+    "forEach",
+    "some",
+    "every",
+    "find",
+]);
 /** An untyped consumer resumes the original native fiber. The capsule's
  * exact type key selects the channel conversions and result layout. */
 export class GeneratorDynamicDispatch {
@@ -9,9 +23,59 @@ export class GeneratorDynamicDispatch {
     dispatches = new Map();
     generated = new Set();
     properties = new Map();
+    /** Whether %main registers the next/return getters with the runtime. */
+    membersRegistered = false;
+    /** The getter for a generator capsule's `method` (next, return, throw or
+     * an iterator helper): a checked function over the capsule's type keys
+     * that answers the method as a function value. `read` is the dyn read
+     * whose fallback it keeps for other receivers. */
+    ensureProperty(lowerer, method, read) {
+        const existing = this.properties.get(method);
+        if (existing)
+            return existing.fn;
+        const loc = read.loc;
+        const fn = {
+            name: `%dyn.generator.get.${method}`,
+            params: [{ localId: "value", name: "value", type: DYN }],
+            returnType: DYN,
+            locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
+            body: [{ kind: "return", value: { ...read, value: varRef("value", DYN, loc) }, loc }],
+            loc,
+        };
+        this.properties.set(method, { fn, types: new Set() });
+        this.generated.add(fn);
+        lowerer.liftedFns.push(fn);
+        // The runtime's own helper functions answer the helper methods.
+        if (HELPER_METHODS.has(method))
+            return fn;
+        lowerer.liftedFns.push({
+            name: `%dyn.generator.method.${method}`,
+            params: [{ localId: "arg", name: "arg", type: DYN }],
+            returnType: DYN,
+            locals: [{ id: "arg", name: "arg", type: DYN, mutable: false }],
+            body: [
+                {
+                    kind: "return",
+                    value: {
+                        kind: "dynInvoke",
+                        method,
+                        calleeName: `Generator.${method}`,
+                        recv: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
+                        args: [varRef("arg", DYN, loc)],
+                        type: DYN,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+        return fn;
+    }
     process(lowerer, functions, classHelpers) {
         const seen = new Set();
         const rewrite = new Set();
+        let runtimeSteps = false;
         const discover = (type) => {
             const key = typeKey(type);
             if (seen.has(key))
@@ -38,9 +102,19 @@ export class GeneratorDynamicDispatch {
                         discover(expr.value.type);
                     if (expr.kind === "dynInvoke" && ["next", "return", "throw"].includes(expr.method))
                         rewrite.add(fn);
+                    // The runtime steps the values iterator helpers and destructuring
+                    // receive.
+                    if ((expr.kind === "dynInvoke" && HELPER_METHODS.has(expr.method)) ||
+                        (expr.kind === "dynKeyGet" &&
+                            expr.key.kind === "strLit" &&
+                            HELPER_METHODS.has(expr.key.value)) ||
+                        expr.kind === "dynIterN" ||
+                        (expr.kind === "libCall" && expr.fn === "dyn.destructureRest"))
+                        runtimeSteps = true;
                     if (expr.kind === "dynKeyGet" &&
                         expr.key.kind === "strLit" &&
-                        ["next", "return", "throw"].includes(expr.key.value))
+                        (["next", "return", "throw"].includes(expr.key.value) ||
+                            HELPER_METHODS.has(expr.key.value)))
                         rewrite.add(fn);
                     return true;
                 },
@@ -55,54 +129,19 @@ export class GeneratorDynamicDispatch {
             fn.body = transformStmtList(fn.body, {
                 stmt: (stmt) => stmt,
                 expr: (expr) => {
+                    // A helper method read reaches the runtime's helpers through the
+                    // same getters once generators are boxed.
                     if (expr.kind === "dynKeyGet" &&
                         expr.key.kind === "strLit" &&
-                        ["next", "return", "throw"].includes(expr.key.value)) {
+                        (["next", "return", "throw"].includes(expr.key.value) ||
+                            (HELPER_METHODS.has(expr.key.value) && this.generators.size > 0))) {
                         const method = expr.key.value;
-                        let property = this.properties.get(method);
-                        if (!property) {
-                            const loc = expr.loc;
-                            const fn = {
-                                name: `%dyn.generator.get.${method}`,
-                                params: [{ localId: "value", name: "value", type: DYN }],
-                                returnType: DYN,
-                                locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
-                                body: [
-                                    { kind: "return", value: { ...expr, value: varRef("value", DYN, loc) }, loc },
-                                ],
-                                loc,
-                            };
-                            property = { fn, types: new Set() };
-                            this.properties.set(method, property);
-                            this.generated.add(fn);
-                            lowerer.liftedFns.push(fn);
-                            lowerer.liftedFns.push({
-                                name: `%dyn.generator.method.${method}`,
-                                params: [{ localId: "arg", name: "arg", type: DYN }],
-                                returnType: DYN,
-                                locals: [{ id: "arg", name: "arg", type: DYN, mutable: false }],
-                                body: [
-                                    {
-                                        kind: "return",
-                                        value: {
-                                            kind: "dynInvoke",
-                                            method,
-                                            calleeName: `Generator.${method}`,
-                                            recv: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
-                                            args: [varRef("arg", DYN, loc)],
-                                            type: DYN,
-                                            loc,
-                                        },
-                                        loc,
-                                    },
-                                ],
-                                loc,
-                            });
+                        if (!this.properties.has(method))
                             changed = true;
-                        }
+                        const getter = this.ensureProperty(lowerer, method, expr);
                         return {
                             kind: "call",
-                            callee: property.fn.name,
+                            callee: getter.name,
                             args: [expr.value],
                             type: DYN,
                             loc: expr.loc,
@@ -158,6 +197,48 @@ export class GeneratorDynamicDispatch {
                 },
             });
         }
+        // Iterator helpers called on untyped values may reach a compiled
+        // generator's capsule; the runtime drives it through these getters,
+        // which %main registers first.
+        const firstFn = functions[0];
+        if (runtimeSteps &&
+            !this.membersRegistered &&
+            firstFn !== undefined &&
+            [...this.generators.values()].some((t) => t.async !== true)) {
+            const loc = firstFn.loc;
+            const read = (method) => ({
+                kind: "dynKeyGet",
+                value: varRef("value", DYN, loc),
+                key: { kind: "strLit", value: method, type: STRING, loc },
+                type: DYN,
+                loc,
+            });
+            const getterValue = (method) => ({
+                kind: "dynFrom",
+                value: {
+                    kind: "closure",
+                    fnName: this.ensureProperty(lowerer, method, read(method)).name,
+                    captures: [],
+                    type: funcOf([DYN], DYN),
+                    loc,
+                },
+                type: DYN,
+                loc,
+            });
+            lowerer.mainPrelude.push({
+                kind: "exprStmt",
+                expr: {
+                    kind: "libCall",
+                    fn: "dyn.setGeneratorMembers",
+                    args: [getterValue("next"), getterValue("return")],
+                    type: VOID,
+                    loc,
+                },
+                loc,
+            });
+            this.membersRegistered = true;
+            changed = true;
+        }
         for (const [method, property] of this.properties)
             for (const [key] of this.generators) {
                 if (property.types.has(key))
@@ -176,18 +257,26 @@ export class GeneratorDynamicDispatch {
                     then: [
                         {
                             kind: "return",
-                            value: {
-                                kind: "dynFrom",
-                                value: {
-                                    kind: "closure",
-                                    fnName: `%dyn.generator.method.${method}`,
-                                    captures: [],
-                                    type: funcOf([DYN], DYN),
+                            value: HELPER_METHODS.has(method)
+                                ? {
+                                    kind: "libCall",
+                                    fn: "dyn.iteratorHelperMethod",
+                                    args: [{ kind: "strLit", value: method, type: STRING, loc }],
+                                    type: DYN,
+                                    loc,
+                                }
+                                : {
+                                    kind: "dynFrom",
+                                    value: {
+                                        kind: "closure",
+                                        fnName: `%dyn.generator.method.${method}`,
+                                        captures: [],
+                                        type: funcOf([DYN], DYN),
+                                        loc,
+                                    },
+                                    type: DYN,
                                     loc,
                                 },
-                                type: DYN,
-                                loc,
-                            },
                             loc,
                         },
                     ],
@@ -209,9 +298,13 @@ export class GeneratorDynamicDispatch {
                 const supplied = dispatch.source.args.length > 0;
                 const incoming = supplied ? varRef("p.1", DYN, loc) : dynUndefinedExpr(loc);
                 const channel = mode === "next" ? type.nextT : type.retT;
+                // return() with no value completes with undefined, as the typed
+                // .return() does, whatever the return channel's type.
                 const arg = mode === "throw"
                     ? incoming
-                    : channel.kind === "undefinedT" || channel.kind === "void"
+                    : channel.kind === "undefinedT" ||
+                        channel.kind === "void" ||
+                        (mode === "return" && !supplied)
                         ? null
                         : lowerer.coerceToExpected(incoming, channel);
                 const convertible = canConvertToDyn(resultType, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id));
@@ -238,24 +331,34 @@ export class GeneratorDynamicDispatch {
                         else_: null,
                         loc,
                     });
-                body.push(convertible && (arg === null || mode === "throw" || typeEquals(arg.type, channel))
-                    ? {
-                        kind: "return",
+                const resume = (sent) => ({
+                    kind: "return",
+                    value: {
+                        kind: "dynFrom",
                         value: {
-                            kind: "dynFrom",
-                            value: {
-                                kind: "genResume",
-                                mode,
-                                gen: { kind: "dynCheck", value: receiver, type, loc },
-                                arg,
-                                type: resultType,
-                                loc,
-                            },
-                            type: DYN,
+                            kind: "genResume",
+                            mode,
+                            gen: { kind: "dynCheck", value: receiver, type, loc },
+                            arg: sent,
+                            type: resultType,
                             loc,
                         },
+                        type: DYN,
                         loc,
-                    }
+                    },
+                    loc,
+                });
+                const valid = convertible && (arg === null || mode === "throw" || typeEquals(arg.type, channel));
+                if (valid && mode === "return" && arg !== null)
+                    body.push({
+                        kind: "if",
+                        cond: { kind: "dynTest", test: "undefined", value: incoming, type: BOOL, loc },
+                        then: [resume(null)],
+                        else_: null,
+                        loc,
+                    });
+                body.push(valid
+                    ? resume(arg)
                     : {
                         kind: "runtimeFence",
                         code: "SC1071",