@scriptc/compiler 0.3.0 → 0.3.2

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

@@ -2,7 +2,7 @@ import { varRef } from "../../ir/build.js";
 import { InternalCompilerError } from "../../errors.js";
 import * as ts from "../ts7/adapter.js";
 import { bodyReadsArguments } from "../arguments-usage.js";
-import { DYN, canBoxFuncIntoDyn, typeEquals, } from "../../ir/ir.js";
+import { DYN, VOID, canBoxFuncIntoDyn, typeEquals, } from "../../ir/ir.js";
 import { isJsSourceFile, locOf } from "../program.js";
 import { PoisonError, jsFuncNameOf, newFnCtx } from "./lowerer.js";
 import { enforceLibBoundary, lowerSurplusCalls } from "./lib-boundary.js";
@@ -245,10 +245,14 @@ export function lowerLambda(lowerer, node, checkedReceiver = false) {
                 }
                 else {
                     const value = lowerer.lowerExpr(bodyExpr);
+                    // `async () => p` with a void result still resolves the
+                    // function's promise with p (its settlement, rejections included).
                     body =
                         value.kind === "unitLit"
                             ? []
-                            : [{ kind: "exprStmt", expr: value, loc: locOf(node.body) }];
+                            : isAsync && value.type.kind === "promise"
+                                ? [lowerer.adoptingReturn(value, VOID, (e) => e)]
+                                : [{ kind: "exprStmt", expr: value, loc: locOf(node.body) }];
                 }
             }
             else {
@@ -262,7 +266,7 @@ export function lowerLambda(lowerer, node, checkedReceiver = false) {
                 // thenable into the function's own promise — lowerReturnValue's
                 // await-through, applied to the implicit return.
                 if (isAsync && value.type.kind === "promise" && bodyReturn.kind !== "promise") {
-                    value = { kind: "awaitExpr", value, type: value.type.inner, loc: value.loc };
+                    value = lowerer.returnedPromiseAwait(value);
                 }
                 body =
                     value.type.kind === "void" && lowerer.wrappedUndefined(bodyReturn, locOf(node.body))

package/dist/frontend/lowering/lower-functions.js.map

@@ -1 +1 @@
-{"version":3,"file":"lower-functions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-functions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,EACL,GAAG,EAMH,iBAAiB,EACjB,UAAU,GACX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EACL,sBAAsB,EACtB,mBAAmB,EACnB,qBAAqB,EACrB,6BAA6B,EAC7B,WAAW,GACZ,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,eAAe,EAAmB,MAAM,sBAAsB,CAAC;AAEvF;6EAC6E;AAC7E,SAAS,mBAAmB,CAC1B,OAAgB,EAChB,IAAgC,EAChC,SAAkB;IAElB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO;QACL,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,QAAQ,CAAC,EAAE;QACpB,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,UAAU;YAChD,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;wDAIwD;AACxD,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,KAAoB;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,MAAM,IAAI,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,mBAAmB;QAAE,OAAO,IAAI,CAAC;IAC7F,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,OAAO,CACL,CAAC,CAAC,IAAI;QACN,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;YAC3B,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,WAAW,CAAC,CAAC,CACpF,CAAC;AACJ,CAAC;AAED;;;;;;;mDAOmD;AACnD,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAA4B;IACpF,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,iCAAiC,CAAC,CAAC;IACvF,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACnD,gEAAgE;IAChE,qEAAqE;IACrE,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9E,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QACvE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrF,QAAQ,GAAG,IAAI,CAAC;QAChB,MAAM;IACR,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,qBAAqB,CAC7B,uEAAuE,CACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACvC,qEAAqE;IACrE,sEAAsE;IACtE,0DAA0D;IAC1D,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,SAAS;YAChC,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBACxC,IAAI,OAAO,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE;oBAAE,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YAC7D,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED;6EAC6E;AAC7E,SAAS,wBAAwB,CAC/B,OAAgB,EAChB,IAA6B,EAC7B,MAA6B,EAC7B,MAAiB,EACjB,QAAkB,EAClB,GAAW,EACX,qBAA8B;IAE9B,IAAI,qBAAqB,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,KAAK,CAAC;IACrC,CAAC;IACD,IACE,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACzB,MAAM,CAAC,MAAM,KAAK,CAAC;QACnB,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;QAC7B,kBAAkB,CAAC,IAAI,CAAC,EACxB,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QAC5D,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,IAAI,EAAE;gBACJ,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC;gBAC1C,MAAM,EAAE,OAAO;gBACf,UAAU,EAAE,uBAAuB;gBACnC,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,KAAK,CAAC;IACrC,CAAC;AACH,CAAC;AAED;;2CAE2C;AAC3C,MAAM,UAAU,WAAW,CACzB,OAAgB,EAChB,IAM6B,EAC7B,eAAe,GAAG,KAAK;IAEvB,MAAM,QAAQ,GACZ,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QACvD,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC;QAC1C,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC7B,IAAI,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC;IAC7B,qEAAqE;IACrE,mEAAmE;IACnE,iEAAiE;IACjE,IACE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC5B,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,CAAC,IAAI,CAAC,IAAI;QACV,CAAC,IAAI,CAAC,aAAa;QACnB,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAC7B,eAAe,CAAC,IAAI,CAAC,EACrB,CAAC;QACD,QAAQ,GAAG;YACT,GAAG,QAAQ;YACX,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG;SAC7E,CAAC;IACJ,CAAC;IACD,oEAAoE;IACpE,qEAAqE;IACrE,oEAAoE;IACpE,wEAAwE;IACxE,uEAAuE;IACvE,IACE,CAAC,CACC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC5B,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,iBAAiB,CACf,QAAQ,EACR,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,CACF;QAED,OAAO,CAAC,sBAAsB,CAC5B,IAAI,EACJ,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EACvE,MAAM,EACN,QAAQ,CACT,CAAC;IACJ,MAAM,SAAS,GACb,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1F,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAChF,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,UAAU,GACd,SAAS,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAChE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC;IAEX,qEAAqE;IACrE,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QACpB,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC;IAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,KAAK,SAAS,CAAC;IACrD,IAAI,OAAO,IAAI,CAAC,WAAW,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;QAC5D,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,8DAA8D;IAC9D,qEAAqE;IACrE,gEAAgE;IAChE,IACE,WAAW;QACX,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,OAAO,CAAC;QAEhF,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,IAAI,UAAU,GAAG,WAAW;QAC1B,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC;QACzC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IAElD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC/D,MAAM,iBAAiB,GACrB,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAChD,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC;QACnD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,kBAAkB,GACtB,iBAAiB;QACjB,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC5F,IACE,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,CAAC,IAAI,CAAC,IAAI;QACV,CAAC,OAAO;QACR,CAAC,WAAW;QACZ,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU;YAC7B,UAAU,CAAC,IAAI,KAAK,MAAM;YAC1B,UAAU,CAAC,IAAI,KAAK,QAAQ;YAC5B,UAAU,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,kBAAkB,CAAC,CAAC,EACpF,CAAC;QACD,KAAK,CAAC,WAAW,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACtC,CAAC;IACD,KAAK,CAAC,iBAAiB,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACnD,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;IACxB,IAAI,WAAW,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrD,KAAK,CAAC,SAAS,GAAG,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;IACzC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,MAAM,QAAQ,GACZ,CAAC,eAAe;YACd,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YACpC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACxC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACvB,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC;YACjD,CAAC,CAAC,IAAI,CAAC;QACX,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC5E,IAAI,QAAQ;YAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzC,wBAAwB,CACtB,OAAO,EACP,IAAI,EACJ,MAAM,EACN,MAAM,EACN,QAAQ,EACR,GAAG,EACH,QAAQ,CAAC,IAAI,KAAK,IAAI;YACpB,QAAQ,CAAC,OAAO,KAAK,SAAS;YAC9B,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAC5C,CAAC;QAEF,IAAI,IAAc,CAAC;QACnB,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAK,CAAC,EAAE,CAAC;YAC3B,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAK,CAAC,UAAU,CAAC,CAAC;QACnD,CAAC;aAAM,CAAC;YACN,+DAA+D;YAC/D,mEAAmE;YACnE,kEAAkE;YAClE,uDAAuD;YACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAqB,CAAC;YAC5C,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC/B,+DAA+D;gBAC/D,iEAAiE;gBACjE,gEAAgE;gBAChE,iEAAiE;gBACjE,6DAA6D;gBAC7D,8DAA8D;gBAC9D,gEAAgE;gBAChE,8DAA8D;gBAC9D,iEAAiE;gBACjE,IAAI,QAAQ,GAAkB,QAAQ,CAAC;gBACvC,OAAO,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC;oBAAE,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC;gBAC9E,IAAI,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC1E,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAChD,CAAC;qBAAM,CAAC;oBACN,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;oBAC1C,IAAI;wBACF,KAAK,CAAC,IAAI,KAAK,SAAS;4BACtB,CAAC,CAAC,EAAE;4BACJ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAK,CAAC,EAAE,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,+DAA+D;gBAC/D,4DAA4D;gBAC5D,IAAI,KAAK,GACP,OAAO,IAAI,KAAK,CAAC,WAAW;oBAC1B,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC;oBAC7B,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACvD,wDAAwD;gBACxD,+DAA+D;gBAC/D,gEAAgE;gBAChE,iDAAiD;gBACjD,IAAI,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC9E,KAAK,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;gBAC/E,CAAC;gBACD,IAAI;oBACF,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC;wBACnF,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAK,CAAC,EAAE,CAAC;wBAC7D,CAAC,CAAC;4BACE;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,KAAK,CAAC,WAAW;oCACtB,CAAC,CAAC,KAAK;oCACP,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC;gCACnD,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAK,CAAC;6BACvB;yBACF,CAAC;gBACR,IAAI,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;oBACjD,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACtB,UAAU,GAAG,qBAAqB,CAChC,OAAO,EACP,EAAE,UAAU,EAAE,UAAU,EAAE,EAC1B,KAAK,CAAC,WAAW,EACjB,IAAI,EACJ,IAAI,CACL,CAAC;YACF,QAAQ,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;YAC5C,KAAK,CAAC,UAAU,GAAG,UAAU,CAAC;QAChC,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC;QAC9B,+DAA+D;QAC/D,kEAAkE;QAClE,6DAA6D;QAC7D,kDAAkD;QAClD,IAAI,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACxC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAClC,6BAA6B,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QAE9D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;QACxB,MAAM,MAAM,GAAe;YACzB,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,aAAa;YAC/C,GAAG,CAAC,CAAC,OAAO;gBACZ,CAAC,WAAW;gBACZ,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;gBAC/D,CAAC,CAAC,EAAE,aAAa,EAAE,IAAa,EAAE;gBAClC,CAAC,CAAC,EAAE,CAAC;YACP,MAAM;YACN,UAAU,EAAE,UAAU;YACtB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,QAAQ,EAAE,GAAG,CAAC,QAAS;YACvB,IAAI;YACJ,GAAG;SACJ,CAAC;QACF,IAAI,OAAO;YAAE,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC;QACjC,IAAI,KAAK,CAAC,SAAS;YAAE,MAAM,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;QACxD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IACxF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,6DAA6D;QAC7D,iEAAiE;QACjE,mEAAmE;QACnE,iEAAiE;QACjE,iEAAiE;QACjE,6DAA6D;QAC7D,gEAAgE;QAChE,6DAA6D;QAC7D,4DAA4D;QAC5D,sDAAsD;QACtD,IAAI,CAAC,CAAC,CAAC,YAAY,WAAW,CAAC;YAAE,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YAAE,MAAM,CAAC,CAAC;QACnD,MAAM,MAAM,GAAc,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACvD,OAAO,EAAE,MAAM,CAAC,EAAE;YAClB,IAAI,EAAE,MAAM,CAAC,EAAE;YACf,IAAI,EAAE,CAAC;SACR,CAAC,CAAC,CAAC;QACJ,kEAAkE;QAClE,iEAAiE;QACjE,iEAAiE;QACjE,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,mBAAmB,CAAC,WAAW,EAAE,IAAI,EAAE;YAC3D,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,MAAM;YACZ,MAAM;YACN,UAAU,EAAE,UAAU;YACtB,IAAI,EAAE,QAAQ;YACd,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3D,CAAC,CAAC;QACH,IAAI,CAAC,KAAK;YAAE,MAAM,CAAC,CAAC;QACpB,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;IACxB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAgB,EAAE,IAA4B;IAC1E,oEAAoE;IACpE,uEAAuE;IACvE,uEAAuE;IACvE,gCAAgC;IAChC,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC,CAAC,8BAA8B;IAErD,MAAM,UAAU,GACd,GAAG,CAAC,SAAS,KAAK,SAAS;QACzB,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC;QAC3C,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACnE,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACpD,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC;IACnC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;QAAE,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;IAC/D,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;IACzC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,CAAC;QACH,MAAM,QAAQ,GACZ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YAC3E,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC;YACjE,CAAC,CAAC,IAAI,CAAC;QACX,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAChF,IAAI,QAAQ;YAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzC,wBAAwB,CACtB,OAAO,EACP,IAAI,EACJ,GAAG,CAAC,MAAM,EACV,MAAM,EACN,QAAQ,EACR,KAAK,CAAC,IAAI,CAAC,EACX,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM;YACxC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,KAAK,SAAS;gBACpD,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,KAAK,WAAW,CAAC,CAC7D,CAAC;QACF,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,mEAAmE,CACpE,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;QACxE,6BAA6B,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,MAAM,EAAE,GAAe;YACrB,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,aAAa;YAC5C,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,MAAM;YACN,UAAU,EAAE,UAAU;YACtB,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM;YAC1B,IAAI;YACJ,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;SACjB,CAAC;QACF,IAAI,GAAG,CAAC,OAAO;YAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;QACjC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;YAAE,EAAE,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;QAC9D,OAAO,EAAE,CAAC;IACZ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,kEAAkE;QAClE,gEAAgE;QAChE,gEAAgE;QAChE,mEAAmE;QACnE,sBAAsB;QACtB,IAAI,CAAC,CAAC,CAAC,YAAY,WAAW,CAAC;YAAE,MAAM,CAAC,CAAC;QACzC,gEAAgE;QAChE,mEAAmE;QACnE,6DAA6D;QAC7D,iEAAiE;QACjE,4DAA4D;QAC5D,gEAAgE;QAChE,8DAA8D;QAC9D,IAAI,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC;YACzC,kEAAkE;YAClE,kEAAkE;YAClE,6DAA6D;YAC7D,kEAAkE;YAClE,4DAA4D;YAC5D,+DAA+D;YAC/D,mDAAmD;YACnD,MAAM,MAAM,GAAc,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBAClD,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,IAAI,EAAE,MAAM,CAAC,EAAE;gBACf,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC,CAAC;YACJ,MAAM,KAAK,GAAG,OAAO,CAAC,mBAAmB,CAAC,WAAW,EAAE,IAAI,EAAE;gBAC3D,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM;gBACN,UAAU,EAAE,UAAU;gBACtB,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChD,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvD,CAAC,CAAC;YACH,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;IACxB,CAAC;AACH,CAAC"}
+{"version":3,"file":"lower-functions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-functions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,EACL,GAAG,EAMH,IAAI,EACJ,iBAAiB,EACjB,UAAU,GACX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EACL,sBAAsB,EACtB,mBAAmB,EACnB,qBAAqB,EACrB,6BAA6B,EAC7B,WAAW,GACZ,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,eAAe,EAAmB,MAAM,sBAAsB,CAAC;AAEvF;6EAC6E;AAC7E,SAAS,mBAAmB,CAC1B,OAAgB,EAChB,IAAgC,EAChC,SAAkB;IAElB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO;QACL,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,QAAQ,CAAC,EAAE;QACpB,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,UAAU;YAChD,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;wDAIwD;AACxD,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,KAAoB;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,MAAM,IAAI,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,mBAAmB;QAAE,OAAO,IAAI,CAAC;IAC7F,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,OAAO,CACL,CAAC,CAAC,IAAI;QACN,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;YAC3B,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,WAAW,CAAC,CAAC,CACpF,CAAC;AACJ,CAAC;AAED;;;;;;;mDAOmD;AACnD,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAA4B;IACpF,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,iCAAiC,CAAC,CAAC;IACvF,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACnD,gEAAgE;IAChE,qEAAqE;IACrE,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9E,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QACvE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrF,QAAQ,GAAG,IAAI,CAAC;QAChB,MAAM;IACR,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,qBAAqB,CAC7B,uEAAuE,CACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACvC,qEAAqE;IACrE,sEAAsE;IACtE,0DAA0D;IAC1D,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,SAAS;YAChC,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBACxC,IAAI,OAAO,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE;oBAAE,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YAC7D,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED;6EAC6E;AAC7E,SAAS,wBAAwB,CAC/B,OAAgB,EAChB,IAA6B,EAC7B,MAA6B,EAC7B,MAAiB,EACjB,QAAkB,EAClB,GAAW,EACX,qBAA8B;IAE9B,IAAI,qBAAqB,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,KAAK,CAAC;IACrC,CAAC;IACD,IACE,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACzB,MAAM,CAAC,MAAM,KAAK,CAAC;QACnB,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;QAC7B,kBAAkB,CAAC,IAAI,CAAC,EACxB,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QAC5D,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,IAAI,EAAE;gBACJ,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC;gBAC1C,MAAM,EAAE,OAAO;gBACf,UAAU,EAAE,uBAAuB;gBACnC,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,KAAK,CAAC;IACrC,CAAC;AACH,CAAC;AAED;;2CAE2C;AAC3C,MAAM,UAAU,WAAW,CACzB,OAAgB,EAChB,IAM6B,EAC7B,eAAe,GAAG,KAAK;IAEvB,MAAM,QAAQ,GACZ,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QACvD,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC;QAC1C,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC7B,IAAI,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC;IAC7B,qEAAqE;IACrE,mEAAmE;IACnE,iEAAiE;IACjE,IACE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC5B,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,CAAC,IAAI,CAAC,IAAI;QACV,CAAC,IAAI,CAAC,aAAa;QACnB,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAC7B,eAAe,CAAC,IAAI,CAAC,EACrB,CAAC;QACD,QAAQ,GAAG;YACT,GAAG,QAAQ;YACX,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG;SAC7E,CAAC;IACJ,CAAC;IACD,oEAAoE;IACpE,qEAAqE;IACrE,oEAAoE;IACpE,wEAAwE;IACxE,uEAAuE;IACvE,IACE,CAAC,CACC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC5B,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,iBAAiB,CACf,QAAQ,EACR,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,CACF;QAED,OAAO,CAAC,sBAAsB,CAC5B,IAAI,EACJ,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EACvE,MAAM,EACN,QAAQ,CACT,CAAC;IACJ,MAAM,SAAS,GACb,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1F,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAChF,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,UAAU,GACd,SAAS,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAChE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC;IAEX,qEAAqE;IACrE,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QACpB,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC;IAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,KAAK,SAAS,CAAC;IACrD,IAAI,OAAO,IAAI,CAAC,WAAW,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;QAC5D,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,8DAA8D;IAC9D,qEAAqE;IACrE,gEAAgE;IAChE,IACE,WAAW;QACX,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,OAAO,CAAC;QAEhF,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,IAAI,UAAU,GAAG,WAAW;QAC1B,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC;QACzC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IAElD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC/D,MAAM,iBAAiB,GACrB,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAChD,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC;QACnD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,kBAAkB,GACtB,iBAAiB;QACjB,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC5F,IACE,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,CAAC,IAAI,CAAC,IAAI;QACV,CAAC,OAAO;QACR,CAAC,WAAW;QACZ,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU;YAC7B,UAAU,CAAC,IAAI,KAAK,MAAM;YAC1B,UAAU,CAAC,IAAI,KAAK,QAAQ;YAC5B,UAAU,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,kBAAkB,CAAC,CAAC,EACpF,CAAC;QACD,KAAK,CAAC,WAAW,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACtC,CAAC;IACD,KAAK,CAAC,iBAAiB,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACnD,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;IACxB,IAAI,WAAW,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrD,KAAK,CAAC,SAAS,GAAG,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;IACzC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,MAAM,QAAQ,GACZ,CAAC,eAAe;YACd,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YACpC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACxC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACvB,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC;YACjD,CAAC,CAAC,IAAI,CAAC;QACX,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC5E,IAAI,QAAQ;YAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzC,wBAAwB,CACtB,OAAO,EACP,IAAI,EACJ,MAAM,EACN,MAAM,EACN,QAAQ,EACR,GAAG,EACH,QAAQ,CAAC,IAAI,KAAK,IAAI;YACpB,QAAQ,CAAC,OAAO,KAAK,SAAS;YAC9B,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAC5C,CAAC;QAEF,IAAI,IAAc,CAAC;QACnB,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAK,CAAC,EAAE,CAAC;YAC3B,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAK,CAAC,UAAU,CAAC,CAAC;QACnD,CAAC;aAAM,CAAC;YACN,+DAA+D;YAC/D,mEAAmE;YACnE,kEAAkE;YAClE,uDAAuD;YACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAqB,CAAC;YAC5C,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC/B,+DAA+D;gBAC/D,iEAAiE;gBACjE,gEAAgE;gBAChE,iEAAiE;gBACjE,6DAA6D;gBAC7D,8DAA8D;gBAC9D,gEAAgE;gBAChE,8DAA8D;gBAC9D,iEAAiE;gBACjE,IAAI,QAAQ,GAAkB,QAAQ,CAAC;gBACvC,OAAO,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC;oBAAE,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC;gBAC9E,IAAI,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC1E,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAChD,CAAC;qBAAM,CAAC;oBACN,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;oBAC1C,wDAAwD;oBACxD,mEAAmE;oBACnE,IAAI;wBACF,KAAK,CAAC,IAAI,KAAK,SAAS;4BACtB,CAAC,CAAC,EAAE;4BACJ,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;gCACxC,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;gCACjD,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAK,CAAC,EAAE,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,+DAA+D;gBAC/D,4DAA4D;gBAC5D,IAAI,KAAK,GACP,OAAO,IAAI,KAAK,CAAC,WAAW;oBAC1B,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC;oBAC7B,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACvD,wDAAwD;gBACxD,+DAA+D;gBAC/D,gEAAgE;gBAChE,iDAAiD;gBACjD,IAAI,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC9E,KAAK,GAAG,OAAO,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;gBAC9C,CAAC;gBACD,IAAI;oBACF,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC;wBACnF,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAK,CAAC,EAAE,CAAC;wBAC7D,CAAC,CAAC;4BACE;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,KAAK,CAAC,WAAW;oCACtB,CAAC,CAAC,KAAK;oCACP,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC;gCACnD,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAK,CAAC;6BACvB;yBACF,CAAC;gBACR,IAAI,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;oBACjD,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACtB,UAAU,GAAG,qBAAqB,CAChC,OAAO,EACP,EAAE,UAAU,EAAE,UAAU,EAAE,EAC1B,KAAK,CAAC,WAAW,EACjB,IAAI,EACJ,IAAI,CACL,CAAC;YACF,QAAQ,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;YAC5C,KAAK,CAAC,UAAU,GAAG,UAAU,CAAC;QAChC,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC;QAC9B,+DAA+D;QAC/D,kEAAkE;QAClE,6DAA6D;QAC7D,kDAAkD;QAClD,IAAI,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACxC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAClC,6BAA6B,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QAE9D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;QACxB,MAAM,MAAM,GAAe;YACzB,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,aAAa;YAC/C,GAAG,CAAC,CAAC,OAAO;gBACZ,CAAC,WAAW;gBACZ,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;gBAC/D,CAAC,CAAC,EAAE,aAAa,EAAE,IAAa,EAAE;gBAClC,CAAC,CAAC,EAAE,CAAC;YACP,MAAM;YACN,UAAU,EAAE,UAAU;YACtB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,QAAQ,EAAE,GAAG,CAAC,QAAS;YACvB,IAAI;YACJ,GAAG;SACJ,CAAC;QACF,IAAI,OAAO;YAAE,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC;QACjC,IAAI,KAAK,CAAC,SAAS;YAAE,MAAM,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;QACxD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IACxF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,6DAA6D;QAC7D,iEAAiE;QACjE,mEAAmE;QACnE,iEAAiE;QACjE,iEAAiE;QACjE,6DAA6D;QAC7D,gEAAgE;QAChE,6DAA6D;QAC7D,4DAA4D;QAC5D,sDAAsD;QACtD,IAAI,CAAC,CAAC,CAAC,YAAY,WAAW,CAAC;YAAE,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YAAE,MAAM,CAAC,CAAC;QACnD,MAAM,MAAM,GAAc,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACvD,OAAO,EAAE,MAAM,CAAC,EAAE;YAClB,IAAI,EAAE,MAAM,CAAC,EAAE;YACf,IAAI,EAAE,CAAC;SACR,CAAC,CAAC,CAAC;QACJ,kEAAkE;QAClE,iEAAiE;QACjE,iEAAiE;QACjE,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,mBAAmB,CAAC,WAAW,EAAE,IAAI,EAAE;YAC3D,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,MAAM;YACZ,MAAM;YACN,UAAU,EAAE,UAAU;YACtB,IAAI,EAAE,QAAQ;YACd,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3D,CAAC,CAAC;QACH,IAAI,CAAC,KAAK;YAAE,MAAM,CAAC,CAAC;QACpB,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;IACxB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAgB,EAAE,IAA4B;IAC1E,oEAAoE;IACpE,uEAAuE;IACvE,uEAAuE;IACvE,gCAAgC;IAChC,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC,CAAC,8BAA8B;IAErD,MAAM,UAAU,GACd,GAAG,CAAC,SAAS,KAAK,SAAS;QACzB,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC;QAC3C,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACnE,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACpD,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC;IACnC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;QAAE,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;IAC/D,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;IACzC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,CAAC;QACH,MAAM,QAAQ,GACZ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YAC3E,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC;YACjE,CAAC,CAAC,IAAI,CAAC;QACX,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAChF,IAAI,QAAQ;YAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzC,wBAAwB,CACtB,OAAO,EACP,IAAI,EACJ,GAAG,CAAC,MAAM,EACV,MAAM,EACN,QAAQ,EACR,KAAK,CAAC,IAAI,CAAC,EACX,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM;YACxC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,KAAK,SAAS;gBACpD,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,KAAK,WAAW,CAAC,CAC7D,CAAC;QACF,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,mEAAmE,CACpE,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;QACxE,6BAA6B,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,MAAM,EAAE,GAAe;YACrB,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,aAAa;YAC5C,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,MAAM;YACN,UAAU,EAAE,UAAU;YACtB,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM;YAC1B,IAAI;YACJ,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;SACjB,CAAC;QACF,IAAI,GAAG,CAAC,OAAO;YAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;QACjC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;YAAE,EAAE,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;QAC9D,OAAO,EAAE,CAAC;IACZ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,kEAAkE;QAClE,gEAAgE;QAChE,gEAAgE;QAChE,mEAAmE;QACnE,sBAAsB;QACtB,IAAI,CAAC,CAAC,CAAC,YAAY,WAAW,CAAC;YAAE,MAAM,CAAC,CAAC;QACzC,gEAAgE;QAChE,mEAAmE;QACnE,6DAA6D;QAC7D,iEAAiE;QACjE,4DAA4D;QAC5D,gEAAgE;QAChE,8DAA8D;QAC9D,IAAI,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC;YACzC,kEAAkE;YAClE,kEAAkE;YAClE,6DAA6D;YAC7D,kEAAkE;YAClE,4DAA4D;YAC5D,+DAA+D;YAC/D,mDAAmD;YACnD,MAAM,MAAM,GAAc,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBAClD,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,IAAI,EAAE,MAAM,CAAC,EAAE;gBACf,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC,CAAC;YACJ,MAAM,KAAK,GAAG,OAAO,CAAC,mBAAmB,CAAC,WAAW,EAAE,IAAI,EAAE;gBAC3D,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM;gBACN,UAAU,EAAE,UAAU;gBACtB,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChD,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvD,CAAC,CAAC;YACH,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;IACxB,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/lower-generators.d.ts

@@ -20,6 +20,25 @@ export declare function lowerGenMethodCall(lowerer: Lowerer, call: ts.CallExpres
  * trappable (the same proved-away contract, proved here by the desugar's
  * own done test). Null when no extraction exists. */
 export declare function extractIteratorValue(lowerer: Lowerer, yieldT: IrType, valueT: IrType, read: IrExpr, loc: SrcLoc): IrExpr | null;
+/** Whether `node` reads `.value` from an IteratorResult the checker has
+ * not narrowed to IteratorYieldResult. A finished generator and a
+ * valueless return() answer `{ value: undefined, done: true }` even where
+ * the checker types that read as the return channel. */
+export declare function isSettledIteratorValueRead(lowerer: Lowerer, node: ts.PropertyAccessExpression): boolean;
+/** A settled IteratorResult `.value` read (isSettledIteratorValueRead)
+ * keeps the record slot's undefined arm, as array reads do. Null when
+ * this is not such a read. */
+export declare function iteratorResultValueRead(lowerer: Lowerer, read: IrExpr, node: ts.PropertyAccessExpression): IrExpr | null;
+/** Whether the compiler's own drive of `genT` can use the record-free
+ * step/value resume modes: a sync generator resumed without a value whose
+ * yield channel has an OUT-slot form (number, boolean, or a refcounted
+ * value). */
+export declare function stepDrivable(genT: GenType): boolean;
+/** `step` and `value` resumes of a generator-typed borrowed read. */
+export declare function genStep(gen: IrExpr, loc: SrcLoc): IrExpr;
+export declare function genValue(gen: IrExpr & {
+    type: GenType;
+}, loc: SrcLoc): IrExpr;
 /** `for (const x of gen)` — the desugared drive:
  *
  *   { const %gof = <iterable>; let %gdone = true;
@@ -56,13 +75,12 @@ export declare function lowerForAwaitGenerator(lowerer: Lowerer, stmt: ts.ForOfS
 }, labels?: string[]): IrStmt;
 /** Statement-position `yield* e;` — the forwarding loop:
  *
- *   { const %dele = <e>; let %dr = %dele.next();
- *     while (!%dr.done) { %dr = %dele.next(<yield %dr.value>); } }
+ *   { const %dele = <e>; let %dr = delegate(%dele);
+ *     while (!%dr.done) { %dr = delegate(%dele, <yield %dr.value>); } }
  *
  * The inner yield value re-yields out of the OUTER generator (coerced
- * across the channels); the consumer's `.next(v)` argument forwards into
- * the delegate; the delegate's return value is this statement's dropped
- * result. Consumer `.return()`/`.throw()` while suspended here unwinds
- * the OUTER generator without forwarding to the delegate (numbered
- * divergence). Null when this is not a yield* statement. */
+ * across the channels); the consumer's `.next(v)`, `.return(v)`, and
+ * `.throw(e)` forward into the delegate; the delegate's return value is
+ * this statement's dropped result. Null when this is not a yield*
+ * statement. */
 export declare function lowerYieldStarStatement(lowerer: Lowerer, expr: ts.Expression): IrStmt | null;

package/dist/frontend/lowering/lower-generators.js

@@ -9,11 +9,11 @@ import { InternalCompilerError } from "../../errors.js";
  * mapType's IteratorResult alias mapping so unannotated `const r =
  * g.next()` binds and reads flow. */
 import * as ts from "../ts7/adapter.js";
-import { BOOL, DYN, VOID, isUnitType, typeEquals, } from "../../ir/ir.js";
+import { BOOL, DYN, isRefCounted, UNDEFINED_T, VOID, isUnitType, typeEquals, } from "../../ir/ir.js";
 import { locOf } from "../program.js";
 import { genResultRecord } from "../type-mapper.js";
 import { forOfVarTarget, lowerDestructuringAssign } from "./lower-stmts.js";
-import { lowerCheckedDelegation } from "./generator-delegation.js";
+import { lowerBuiltinDelegation, lowerCheckedDelegation } from "./generator-delegation.js";
 /** The interned IteratorResult record of a generator type (never null for
  * a MAPPED generator — mapType required it to intern). */
 function resultRecordOf(lowerer, genT) {
@@ -158,8 +158,11 @@ export function lowerGenMethodCall(lowerer, call, access) {
  * own done test). Null when no extraction exists. */
 export function extractIteratorValue(lowerer, yieldT, valueT, read, loc) {
     const yt = yieldT;
-    if (valueT.kind === "dyn")
-        return read; // the dyn channel: V IS the value
+    if (valueT.kind === "dyn") {
+        // The dyn channel: V IS the value. A concrete channel beside a dyn
+        // one checks back to its type (it holds one: done was tested).
+        return yt.kind === "dyn" ? read : lowerer.coerceToExpected(read, yt);
+    }
     if (valueT.kind !== "union")
         return null;
     if (typeEquals(valueT, yt))
@@ -183,6 +186,80 @@ export function extractIteratorValue(lowerer, yieldT, valueT, read, loc) {
         return null;
     return { kind: "call", callee: helper, args: [read], type: yt, loc };
 }
+/** Whether `node` reads `.value` from an IteratorResult the checker has
+ * not narrowed to IteratorYieldResult. A finished generator and a
+ * valueless return() answer `{ value: undefined, done: true }` even where
+ * the checker types that read as the return channel. */
+export function isSettledIteratorValueRead(lowerer, node) {
+    if (node.name.text !== "value")
+        return false;
+    // The member's symbol (batched with the program's symbol queries) rules
+    // out every other `.value` before any type query: only the standard
+    // IteratorYieldResult/IteratorReturnResult members qualify.
+    const member = lowerer.checker.getSymbolAtLocation(node.name);
+    if (!member ||
+        !lowerer.checker
+            .declarationsOf(member)
+            .some((d) => ts.isPropertySignature(d) &&
+            ts.isInterfaceDeclaration(d.parent) &&
+            (d.parent.name.text === "IteratorYieldResult" ||
+                d.parent.name.text === "IteratorReturnResult") &&
+            lowerer.isStdlibFile(d.getSourceFile())))
+        return false;
+    const receiver = lowerer.typeOf(node.expression);
+    const stdlib = (sym) => sym !== undefined &&
+        lowerer.checker
+            .declarationsOf(sym)
+            .some((d) => (ts.isInterfaceDeclaration(d) || ts.isTypeAliasDeclaration(d)) &&
+            lowerer.isStdlibFile(d.getSourceFile()));
+    const alias = receiver.getAliasSymbol();
+    const symbol = receiver.getSymbol();
+    if (!(alias?.name === "IteratorResult" && stdlib(alias)) &&
+        !(symbol?.name === "IteratorReturnResult" && stdlib(symbol)))
+        return false;
+    const checked = lowerer.mapTypeOf(lowerer.typeOf(node));
+    return (checked !== null &&
+        checked.kind !== "dyn" &&
+        checked.kind !== "void" &&
+        !(checked.kind === "union" && lowerer.armTag(checked.unionId, UNDEFINED_T) >= 0));
+}
+/** A settled IteratorResult `.value` read (isSettledIteratorValueRead)
+ * keeps the record slot's undefined arm, as array reads do. Null when
+ * this is not such a read. */
+export function iteratorResultValueRead(lowerer, read, node) {
+    if (read.kind !== "recordGet" || read.field !== "value" || read.type.kind !== "union")
+        return null;
+    if (lowerer.armTag(read.type.unionId, UNDEFINED_T) < 0)
+        return null;
+    if (!isSettledIteratorValueRead(lowerer, node))
+        return null;
+    const optional = lowerer.withUndefinedArmOf(lowerer.mapTypeOf(lowerer.typeOf(node)));
+    if (optional?.kind !== "union")
+        return null;
+    return extractIteratorValue(lowerer, optional, read.type, read, read.loc);
+}
+/** Whether the compiler's own drive of `genT` can use the record-free
+ * step/value resume modes: a sync generator resumed without a value whose
+ * yield channel has an OUT-slot form (number, boolean, or a refcounted
+ * value). */
+export function stepDrivable(genT) {
+    if (genT.async)
+        return false;
+    if (genT.nextT.kind !== "undefinedT" && genT.nextT.kind !== "dyn")
+        return false;
+    return hasOutSlot(genT.yieldT);
+}
+/** Whether a yield channel's values have an OUT-slot form `value` reads. */
+function hasOutSlot(yt) {
+    return yt.kind === "f64" || yt.kind === "date" || yt.kind === "bool" || isRefCounted(yt);
+}
+/** `step` and `value` resumes of a generator-typed borrowed read. */
+export function genStep(gen, loc) {
+    return { kind: "genResume", mode: "step", gen, arg: null, type: BOOL, loc };
+}
+export function genValue(gen, loc) {
+    return { kind: "genResume", mode: "value", gen, arg: null, type: gen.type.yieldT, loc };
+}
 function generatorLoopBinding(lowerer, stmt, value, valueType) {
     const loc = locOf(stmt.initializer);
     if (!ts.isVariableDeclarationList(stmt.initializer)) {
@@ -299,52 +376,71 @@ export function lowerForOfGenerator(lowerer, stmt, iterable, labels) {
         const g = lowerer.declareHiddenLocal("%gof", genT);
         const done = lowerer.declareHiddenLocal("%gdone", BOOL);
         done.mutable = true;
-        const r = lowerer.declareHiddenLocal("%gres", recT);
         const gRef = () => ({ kind: "varRef", localId: g.id, type: genT, loc });
-        const rRef = () => ({ kind: "varRef", localId: r.id, type: recT, loc });
-        const valueRead = {
-            kind: "recordGet",
-            obj: rRef(),
-            shapeId: recT.shapeId,
-            field: "value",
-            type: valueT,
-            loc,
-        };
-        const extracted = extractIteratorValue(lowerer, genT.yieldT, valueT, valueRead, loc);
-        if (!extracted) {
-            lowerer.unsupported("SC1090", stmt.expression, `for-of over a generator yielding '${lowerer.fmt(genT.yieldT)}' (no per-element extraction exists — drive it with .next() and narrow r.value)`);
-        }
         const setDone = (value) => ({
             kind: "assign",
             localId: done.id,
             value: { kind: "boolLit", value, type: BOOL, loc },
             loc,
         });
-        const head = [
-            setDone(true),
-            {
-                kind: "varDecl",
-                localId: r.id,
-                init: { kind: "genResume", mode: "next", gen: gRef(), arg: null, type: recT, loc },
-                loc,
-            },
-            {
-                kind: "if",
-                cond: {
-                    kind: "recordGet",
-                    obj: rRef(),
-                    shapeId: recT.shapeId,
-                    field: "done",
-                    type: BOOL,
+        let head;
+        if (stepDrivable(genT)) {
+            // The record-free drive: test done, then move the yielded value
+            // straight out of the generator.
+            head = [
+                setDone(true),
+                {
+                    kind: "if",
+                    cond: genStep(gRef(), loc),
+                    then: [{ kind: "break", loc }],
+                    else_: null,
                     loc,
                 },
-                then: [{ kind: "break", loc }],
-                else_: null,
+                setDone(false),
+                ...generatorLoopBinding(lowerer, stmt, genValue({ kind: "varRef", localId: g.id, type: genT, loc }, loc), genT.yieldT),
+            ];
+        }
+        else {
+            const r = lowerer.declareHiddenLocal("%gres", recT);
+            const rRef = () => ({ kind: "varRef", localId: r.id, type: recT, loc });
+            const valueRead = {
+                kind: "recordGet",
+                obj: rRef(),
+                shapeId: recT.shapeId,
+                field: "value",
+                type: valueT,
                 loc,
-            },
-            setDone(false),
-            ...generatorLoopBinding(lowerer, stmt, extracted, genT.yieldT),
-        ];
+            };
+            const extracted = extractIteratorValue(lowerer, genT.yieldT, valueT, valueRead, loc);
+            if (!extracted) {
+                lowerer.unsupported("SC1090", stmt.expression, `for-of over a generator yielding '${lowerer.fmt(genT.yieldT)}' (no per-element extraction exists — drive it with .next() and narrow r.value)`);
+            }
+            head = [
+                setDone(true),
+                {
+                    kind: "varDecl",
+                    localId: r.id,
+                    init: { kind: "genResume", mode: "next", gen: gRef(), arg: null, type: recT, loc },
+                    loc,
+                },
+                {
+                    kind: "if",
+                    cond: {
+                        kind: "recordGet",
+                        obj: rRef(),
+                        shapeId: recT.shapeId,
+                        field: "done",
+                        type: BOOL,
+                        loc,
+                    },
+                    then: [{ kind: "break", loc }],
+                    else_: null,
+                    loc,
+                },
+                setDone(false),
+                ...generatorLoopBinding(lowerer, stmt, extracted, genT.yieldT),
+            ];
+        }
         const body = lowerer.inCtl("loop", () => lowerer.lowerScopedBlock(stmt.statement), labels);
         return {
             kind: "block",
@@ -386,10 +482,10 @@ export function lowerForOfGenerator(lowerer, stmt, iterable, labels) {
                                     kind: "exprStmt",
                                     expr: {
                                         kind: "genResume",
-                                        mode: "return",
+                                        mode: "close",
                                         gen: gRef(),
                                         arg: null,
-                                        type: recT,
+                                        type: VOID,
                                         loc,
                                     },
                                     loc,
@@ -554,15 +650,14 @@ export function lowerForAwaitGenerator(lowerer, stmt, iterable, labels) {
 }
 /** Statement-position `yield* e;` — the forwarding loop:
  *
- *   { const %dele = <e>; let %dr = %dele.next();
- *     while (!%dr.done) { %dr = %dele.next(<yield %dr.value>); } }
+ *   { const %dele = <e>; let %dr = delegate(%dele);
+ *     while (!%dr.done) { %dr = delegate(%dele, <yield %dr.value>); } }
  *
  * The inner yield value re-yields out of the OUTER generator (coerced
- * across the channels); the consumer's `.next(v)` argument forwards into
- * the delegate; the delegate's return value is this statement's dropped
- * result. Consumer `.return()`/`.throw()` while suspended here unwinds
- * the OUTER generator without forwarding to the delegate (numbered
- * divergence). Null when this is not a yield* statement. */
+ * across the channels); the consumer's `.next(v)`, `.return(v)`, and
+ * `.throw(e)` forward into the delegate; the delegate's return value is
+ * this statement's dropped result. Null when this is not a yield*
+ * statement. */
 export function lowerYieldStarStatement(lowerer, expr) {
     if (!ts.isYieldExpression(expr) || expr.asteriskToken === undefined)
         return null;
@@ -578,7 +673,17 @@ function lowerYieldStar(lowerer, expr) {
     if (!expr.expression)
         lowerer.unsupported("SC1071", expr, "'yield*' with no operand");
     const loc = locOf(expr);
-    const lowered = lowerer.lowerExpr(expr.expression);
+    // An array literal operand builds as its own array type: the yield*
+    // context would otherwise type it by the generator.
+    let operand = expr.expression;
+    while (ts.isParenthesizedExpression(operand))
+        operand = operand.expression;
+    const literalT = ts.isArrayLiteralExpression(operand)
+        ? lowerer.mapTypeOf(lowerer.typeOf(operand))
+        : null;
+    const lowered = literalT?.kind === "array"
+        ? lowerer.lowerExprExpecting(expr.expression, literalT)
+        : lowerer.lowerExpr(expr.expression);
     const delegate = lowered.kind === "dynCheck" && lowered.value.type.kind === "dyn" ? lowered.value : lowered;
     if ((delegate.type.kind === "record" ||
         delegate.type.kind === "func" ||
@@ -590,10 +695,17 @@ function lowerYieldStar(lowerer, expr) {
         delegate.type.kind === "object" ||
         delegate.type.kind === "classval")
         return lowerCheckedDelegation(lowerer, expr, delegate);
+    if (delegate.type.kind === "array" ||
+        delegate.type.kind === "string" ||
+        delegate.type.kind === "map" ||
+        delegate.type.kind === "set")
+        return lowerBuiltinDelegation(lowerer, expr, delegate);
     if (delegate.type.kind !== "generator") {
-        lowerer.unsupported("SC1071", expr, `'yield*' over '${lowerer.fmt(delegate.type)}' (only generator delegates have a lowering — spell out the loop for other iterables)`);
+        lowerer.unsupported("SC1071", expr, `'yield*' over '${lowerer.fmt(delegate.type)}' (generators, arrays, strings, Sets, Maps and iterator objects have a lowering — spell out the loop for other iterables)`);
     }
     const dT = delegate.type;
+    if (dT.async)
+        lowerer.unsupported("SC1071", expr, "'yield*' over an async generator");
     if (dT.nextT.kind !== "undefinedT" &&
         dT.nextT.kind !== "dyn" &&
         !typeEquals(dT.nextT, gen.nextT)) {
@@ -605,9 +717,69 @@ function lowerYieldStar(lowerer, expr) {
     lowerer.scopes.push(new Map());
     try {
         const d = lowerer.declareHiddenLocal("%dele", dT);
+        const dRef = () => ({ kind: "varRef", localId: d.id, type: dT, loc });
+        // The re-yield: the delegate's value coerced into the outer yield
+        // channel. The delegate resume that follows passes the consumer's
+        // next(v), return(v), or throw(e) on to the delegate.
+        const reYield = (value) => ({
+            kind: "yieldExpr",
+            value: typeEquals(dT.yieldT, gen.yieldT) && typeEquals(value.type, gen.yieldT)
+                ? value
+                : lowerer.coerceInto(expr.expression, value, gen.yieldT),
+            delegated: true,
+            type: VOID,
+            loc,
+        });
+        const drive = (arg, type) => ({
+            kind: "genResume",
+            mode: "delegate",
+            gen: dRef(),
+            arg,
+            type,
+            loc,
+        });
+        const retT = dT.retT;
+        if (hasOutSlot(dT.yieldT) &&
+            (retT.kind === "void" || (hasOutSlot(retT) && retT.kind !== "union" && retT.kind !== "dyn"))) {
+            // Drive the delegate record-free, re-yielding each value as it is
+            // taken; a valued completion moves out of the delegate last.
+            const done = lowerer.declareHiddenLocal("%ddone", BOOL);
+            done.mutable = true;
+            const result = retT.kind === "void"
+                ? channelUndefined(lowerer, DYN, loc)
+                : { kind: "genResume", mode: "value", gen: dRef(), arg: null, type: retT, loc };
+            return {
+                kind: "seqExpr",
+                result,
+                type: result.type,
+                loc,
+                stmts: [
+                    { kind: "varDecl", localId: d.id, init: delegate, loc },
+                    { kind: "varDecl", localId: done.id, init: drive(null, BOOL), loc },
+                    {
+                        kind: "while",
+                        cond: {
+                            kind: "unary",
+                            op: "!",
+                            operand: { kind: "varRef", localId: done.id, type: BOOL, loc },
+                            type: BOOL,
+                            loc,
+                        },
+                        body: [
+                            {
+                                kind: "assign",
+                                localId: done.id,
+                                value: drive(reYield(genValue({ kind: "varRef", localId: d.id, type: dT, loc }, loc)), BOOL),
+                                loc,
+                            },
+                        ],
+                        loc,
+                    },
+                ],
+            };
+        }
         const r = lowerer.declareHiddenLocal("%dres", recT);
         r.mutable = true;
-        const dRef = () => ({ kind: "varRef", localId: d.id, type: dT, loc });
         const rRef = () => ({ kind: "varRef", localId: r.id, type: recT, loc });
         const valueRead = {
             kind: "recordGet",
@@ -621,78 +793,52 @@ function lowerYieldStar(lowerer, expr) {
         if (!inner) {
             lowerer.unsupported("SC1071", expr, `'yield*' over a generator yielding '${lowerer.fmt(dT.yieldT)}' (no per-element extraction exists)`);
         }
-        // The re-yield: the delegate's value coerced into the outer yield
-        // channel; the resumed value (outer nextT) forwards into the
-        // delegate's next slot (or drops on an undefined channel).
-        const reYield = {
-            kind: "yieldExpr",
-            value: typeEquals(dT.yieldT, gen.yieldT) && typeEquals(inner.type, gen.yieldT)
-                ? inner
-                : lowerer.coerceInto(expr.expression, inner, gen.yieldT),
-            type: gen.nextT.kind === "undefinedT" ? VOID : gen.nextT,
-            loc,
-        };
-        let forwarded;
-        if (dT.nextT.kind === "undefinedT") {
-            forwarded = null; // reYield still evaluates as the arg? no — see below
-        }
-        else if (reYield.type.kind === "void") {
-            forwarded = null;
-        }
-        else if (dT.nextT.kind === "dyn" && reYield.type.kind !== "dyn") {
-            forwarded = { kind: "dynFrom", value: reYield, type: DYN, loc };
-        }
-        else {
-            forwarded = reYield;
-        }
-        const resumeArg = forwarded;
-        // When the yield's value cannot ride the resume argument (undefined
-        // channels), it must still EXECUTE before the delegate resumes: the
-        // loop body becomes [exprStmt(yield), assign(next)].
-        const loopBody = resumeArg === null
-            ? [
-                { kind: "exprStmt", expr: reYield, loc },
-                {
-                    kind: "assign",
-                    localId: r.id,
-                    value: { kind: "genResume", mode: "next", gen: dRef(), arg: null, type: recT, loc },
-                    loc,
-                },
-            ]
-            : [
-                {
-                    kind: "assign",
-                    localId: r.id,
-                    value: {
-                        kind: "genResume",
-                        mode: "next",
-                        gen: dRef(),
-                        arg: resumeArg,
-                        type: recT,
-                        loc,
-                    },
-                    loc,
-                },
-            ];
         const completed = dT.retT.kind === "void"
             ? channelUndefined(lowerer, DYN, loc)
             : extractIteratorValue(lowerer, dT.retT, valueT, valueRead, loc);
         if (!completed)
             lowerer.unsupported("SC1071", expr, "a delegate whose return channel has no extraction");
         const result = dT.retT.kind === "void" ? completed : lowerer.coerceInto(expr, completed, dT.retT);
-        return {
+        // A delegate that was already finished, or that finished a forwarded
+        // return() without a value, completes with undefined.
+        const undefinedTag = valueT.kind === "union" ? lowerer.armTag(valueT.unionId, UNDEFINED_T) : -1;
+        const completion = undefinedTag >= 0 &&
+            dT.retT.kind !== "void" &&
+            dT.retT.kind !== "undefinedT" &&
+            !(dT.retT.kind === "union" && lowerer.armTag(dT.retT.unionId, UNDEFINED_T) >= 0)
+            ? [
+                {
+                    kind: "if",
+                    cond: {
+                        kind: "unionIsTag",
+                        unionId: valueT.unionId,
+                        tag: undefinedTag,
+                        negated: false,
+                        value: valueRead,
+                        type: BOOL,
+                        loc,
+                    },
+                    then: [
+                        {
+                            kind: "runtimeFence",
+                            code: "SC1071",
+                            message: "yield* of a generator that completes with undefined through a return type that cannot hold it is not supported",
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                },
+            ]
+            : [];
+        const sequence = {
             kind: "seqExpr",
             result,
             type: result.type,
             loc,
             stmts: [
                 { kind: "varDecl", localId: d.id, init: delegate, loc },
-                {
-                    kind: "varDecl",
-                    localId: r.id,
-                    init: { kind: "genResume", mode: "next", gen: dRef(), arg: null, type: recT, loc },
-                    loc,
-                },
+                { kind: "varDecl", localId: r.id, init: drive(null, recT), loc },
                 {
                     kind: "while",
                     cond: {
@@ -709,11 +855,16 @@ function lowerYieldStar(lowerer, expr) {
                         type: BOOL,
                         loc,
                     },
-                    body: loopBody,
+                    body: [{ kind: "assign", localId: r.id, value: drive(reYield(inner), recT), loc }],
                     loc,
                 },
+                ...completion,
             ],
         };
+        // The fence may leave the sequence (the validator admits it there).
+        if (completion.length > 0)
+            sequence.generatorDelegate = true;
+        return sequence;
     }
     finally {
         lowerer.scopes.pop();