@scriptc/compiler 0.3.6 → 0.4.1

package/dist/frontend/lowering/coercions/fresh-spread.js

@@ -0,0 +1,95 @@
+/* Array spreads whose elements nothing else can reach. */
+import * as ts from "../../ts7/adapter.js";
+/** Whether the elements a spread inserts are reachable only through it: an
+ * array literal (`...(cond ? [{ ... }] : [])`), or an unexported const
+ * initialized by one that this spread is the only reference to, and that
+ * the spread reads at most once per evaluation of the initializer. Converting such elements
+ * into the destination's element layout copies them, which nothing can
+ * observe. */
+export function freshSpreadSource(lowerer, node) {
+    let e = node;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if (ts.isArrayLiteralExpression(e))
+        return e.elements.nodes.every((x) => !ts.isSpreadElement(x) && (ts.isObjectLiteralExpression(x) || !isReference(x)));
+    if (ts.isConditionalExpression(e))
+        return freshSpreadSource(lowerer, e.whenTrue) && freshSpreadSource(lowerer, e.whenFalse);
+    if (!ts.isIdentifier(e))
+        return false;
+    const symbol = lowerer.resolveValueSymbol(e);
+    const decl = symbol?.valueDeclaration;
+    if (!symbol || !decl || !ts.isVariableDeclaration(decl) || !decl.initializer)
+        return false;
+    const list = decl.parent;
+    if (!ts.isVariableDeclarationList(list) || (list.flags & ts.NodeFlags.Const) === 0)
+        return false;
+    // Other modules can import an exported binding and reach its elements.
+    const statement = list.parent;
+    if (ts.isVariableStatement(statement) &&
+        statement.modifiers?.nodes.some((m) => m.kind === ts.SyntaxKind.ExportKeyword))
+        return false;
+    if (!freshSpreadSource(lowerer, decl.initializer))
+        return false;
+    // The binding's only use is this spread; an export specifier naming it
+    // (`export { name }`) is another.
+    let scope = list;
+    while (scope.parent && !ts.isBlock(scope) && !ts.isSourceFile(scope))
+        scope = scope.parent;
+    let uses = 0;
+    const visit = (n) => {
+        if (uses > 1)
+            return;
+        if (ts.isExportSpecifier(n) && (n.propertyName ?? n.name).text === e.text) {
+            uses = 2;
+            return;
+        }
+        if (ts.isIdentifier(n) && n !== decl.name && n.text === e.text) {
+            if (lowerer.resolveValueSymbol(n) === symbol)
+                uses++;
+        }
+        ts.forEachChild(n, visit);
+    };
+    visit(scope);
+    return uses === 1 && runsOnceInScope(node, scope);
+}
+/** Whether `node` runs at most once each time `scope` runs: no loop body,
+ * loop test or update, function, or class field initializer lies between
+ * them. A spread that runs again inserts the same elements again, and
+ * copies would no longer be the same objects. */
+function runsOnceInScope(node, scope) {
+    let child = node;
+    for (let n = node.parent; n && n !== scope; child = n, n = n.parent) {
+        if (ts.isFunctionLike(n) || ts.isPropertyDeclaration(n))
+            return false;
+        if (ts.isForOfStatement(n) || ts.isForInStatement(n)) {
+            if (child !== n.expression)
+                return false;
+        }
+        else if (ts.isForStatement(n)) {
+            if (child !== n.initializer)
+                return false;
+        }
+        else if (ts.isWhileStatement(n) || ts.isDoStatement(n)) {
+            return false;
+        }
+    }
+    return true;
+}
+function isReference(e) {
+    return !(ts.isStringLiteral(e) ||
+        ts.isNumericLiteral(e) ||
+        e.kind === ts.SyntaxKind.TrueKeyword ||
+        e.kind === ts.SyntaxKind.FalseKeyword ||
+        e.kind === ts.SyntaxKind.NullKeyword);
+}
+/** A fresh array spread converted into the destination's array layout by
+ * the structural width lift, or null when the layouts do not lift. */
+export function liftedFreshSpread(lowerer, node, source, arrType, loc) {
+    if (source.type.kind !== "array" || arrType.kind !== "array")
+        return null;
+    if (!freshSpreadSource(lowerer, node))
+        return null;
+    const lift = lowerer.widthLiftPlan(source.type, arrType);
+    return lift ? lowerer.applyWidthLift(lift, source, arrType, loc) : null;
+}
+//# sourceMappingURL=fresh-spread.js.map

package/dist/frontend/lowering/coercions/fresh-spread.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fresh-spread.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/fresh-spread.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAI3C;;;;;cAKc;AACd,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,IAAmB;IACrE,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC;QAChC,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CACtF,CAAC;IACJ,IAAI,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC;QAC/B,OAAO,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;IAC3F,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,MAAM,EAAE,gBAAgB,CAAC;IACtC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAC3F,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACjG,uEAAuE;IACvE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9B,IACE,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QACjC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;QAE9E,OAAO,KAAK,CAAC;IACf,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAChE,uEAAuE;IACvE,kCAAkC;IAClC,IAAI,KAAK,GAAY,IAAI,CAAC;IAC1B,OAAO,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3F,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,IAAI,GAAG,CAAC;YAAE,OAAO;QACrB,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1E,IAAI,GAAG,CAAC,CAAC;YACT,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YAC/D,IAAI,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,MAAM;gBAAE,IAAI,EAAE,CAAC;QACvD,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,KAAK,CAAC,CAAC;IACb,OAAO,IAAI,KAAK,CAAC,IAAI,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACpD,CAAC;AAED;;;iDAGiD;AACjD,SAAS,eAAe,CAAC,IAAa,EAAE,KAAc;IACpD,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpE,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACtE,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,IAAI,KAAK,KAAK,CAAC,CAAC,UAAU;gBAAE,OAAO,KAAK,CAAC;QAC3C,CAAC;aAAM,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,IAAI,KAAK,KAAK,CAAC,CAAC,WAAW;gBAAE,OAAO,KAAK,CAAC;QAC5C,CAAC;aAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,CAAgB;IACnC,OAAO,CAAC,CACN,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;QACrB,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACpC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QACrC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CACrC,CAAC;AACJ,CAAC;AAED;sEACsE;AACtE,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,IAAmB,EACnB,MAAc,EACd,OAAe,EACf,GAAW;IAEX,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzD,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1E,CAAC"}

package/dist/frontend/lowering/coercions/function-adapters.d.ts

@@ -13,15 +13,29 @@ export declare function funcReturnWidthAdapter(lowerer: Lowerer, fromT: IrType &
  * promises to accept the destination signature. */
 export declare function coercibleValue(lowerer: Lowerer, src: IrType, dst: IrType): boolean;
 /** Whether all parameters and the result adapt without a trap-only path.
- * Rest signatures are excluded; extra destination parameters are ignored. */
+ * Rest signatures are excluded, except a typed-rest source in a slot with
+ * fixed parameters (the rest packing adapter); extra destination
+ * parameters are ignored. */
 export declare function cleanFuncAdaptable(lowerer: Lowerer, src: IrType & {
     kind: "func";
 }, dst: IrType & {
     kind: "func";
 }): boolean;
+/** Whether a typed-rest function (`(...m: T[]) => R`) can serve a slot
+ * with fixed parameters (`(m: T) => void`): the slot's parameters convert
+ * to the function's fixed parameters, then to the rest element type. */
+export declare function restPackingAdapterFits(lowerer: Lowerer, fromT: IrType & {
+    kind: "func";
+}, toT: IrType & {
+    kind: "func";
+}): boolean;
 /** Adapt a function value to a destination signature, forwarding and
  * converting its arguments and result. Unsupported parameter/result pairs
- * produce checked traps when called; rest signatures remain refused. */
+ * produce checked traps when called. Rest signatures are refused, except a
+ * typed-rest source in a slot with fixed parameters, which the rest
+ * packing adapter serves, and a fixed-parameter function into a
+ * checked-dynamic rest signature without fixed parameters
+ * (funcIntoDynRestAdapter). */
 export declare function funcCoerceAdapter(lowerer: Lowerer, fromT: IrType & {
     kind: "func";
 }, toT: IrType & {

package/dist/frontend/lowering/coercions/function-adapters.js

@@ -1,8 +1,10 @@
 import { dynUndefinedExpr } from "../../../ir/build.js";
 import { buildFunctionAdapter } from "./builders.js";
 import { InternalCompilerError } from "../../../errors.js";
-import { canAdaptDynFuncTo, DYN, F64, isUnitType, STRING, typeEquals, UNDEFINED_T, } from "../../../ir/ir.js";
+import { canAdaptDynFuncTo, canDynCheckTo, DYN, F64, isUnitType, STRING, typeEquals, UNDEFINED_T, } from "../../../ir/ir.js";
 import { typeKey } from "../../type-mapper.js";
+import { newFnCtx } from "../function-context.js";
+import { maybePromiseUnionOf } from "../maybe-promise.js";
 /** Wrap a zero-argument function whose array result needs an element
  * conversion. Each invocation creates a fresh converted array; the factory
  * creates a fresh closure capturing the original function. */
@@ -70,6 +72,12 @@ export function coercibleValue(lowerer, src, dst) {
             return lowerer.unionRetagMappable(src.unionId, dst.unionId);
         if (src.kind === "void")
             return lowerer.armTag(dst.unionId, UNDEFINED_T) >= 0;
+        if (src.kind === "promise") {
+            // A maybe-promise union's promise arm accepts payload widening.
+            const mp = maybePromiseUnionOf(lowerer, dst);
+            if (mp)
+                return lowerer.promisePayloadWidens(src, mp.promise);
+        }
         return !isUnitType(src) && lowerer.armTag(dst.unionId, src) >= 0;
     }
     if (src.kind === "union") {
@@ -78,8 +86,12 @@ export function coercibleValue(lowerer, src, dst) {
     return false;
 }
 /** Whether all parameters and the result adapt without a trap-only path.
- * Rest signatures are excluded; extra destination parameters are ignored. */
+ * Rest signatures are excluded, except a typed-rest source in a slot with
+ * fixed parameters (the rest packing adapter); extra destination
+ * parameters are ignored. */
 export function cleanFuncAdaptable(lowerer, src, dst) {
+    if (restPackingAdapterFits(lowerer, src, dst))
+        return true;
     if (src.rest === true || dst.rest === true)
         return false;
     if (src.params.length > dst.params.length)
@@ -94,10 +106,127 @@ export function cleanFuncAdaptable(lowerer, src, dst) {
         return true;
     return src.ret.kind === "void" && dst.ret.kind === "dyn";
 }
+/** Whether a typed-rest function (`(...m: T[]) => R`) can serve a slot
+ * with fixed parameters (`(m: T) => void`): the slot's parameters convert
+ * to the function's fixed parameters, then to the rest element type. */
+export function restPackingAdapterFits(lowerer, fromT, toT) {
+    if (fromT.rest !== true || fromT.restAbi !== "typed" || toT.rest === true)
+        return false;
+    const fixed = fromT.params.length - 1;
+    const restT = fromT.params[fixed];
+    if (restT?.kind !== "array" || toT.params.length < fixed)
+        return false;
+    for (let i = 0; i < toT.params.length; i++) {
+        if (!lowerer.coercibleValue(toT.params[i], i < fixed ? fromT.params[i] : restT.elem))
+            return false;
+    }
+    return toT.ret.kind === "void" || lowerer.coercibleValue(fromT.ret, toT.ret);
+}
+/** The adapter for restPackingAdapterFits: forwards the fixed arguments and
+ * packs the remaining ones into the rest array, as a JavaScript call of the
+ * function with those arguments does. */
+function restPackingAdapter(lowerer, fromT, toT, loc) {
+    const key = `fnrestadapt:${typeKey(fromT)}:${typeKey(toT)}`;
+    const existing = lowerer.coercions.retags.get(key);
+    if (existing)
+        return existing;
+    const name = `%fn.adapt.${lowerer.coercions.retags.size}`;
+    lowerer.coercions.retags.set(key, name);
+    lowerer.freshClosureAdapters.add(name);
+    const fixed = fromT.params.length - 1;
+    const restT = fromT.params[fixed];
+    const params = toT.params.map((t, i) => ({
+        localId: `a.${i}`,
+        name: `a${i}`,
+        type: t,
+    }));
+    const arg = (i, want) => lowerer.coerceToExpected({ kind: "varRef", localId: `a.${i}`, type: toT.params[i], loc }, want);
+    const args = [];
+    for (let i = 0; i < fixed; i++)
+        args.push(arg(i, fromT.params[i]));
+    const packed = [];
+    for (let i = fixed; i < toT.params.length; i++)
+        packed.push(arg(i, restT.elem));
+    args.push({ kind: "arrayLit", elems: packed, type: restT, loc });
+    const call = {
+        kind: "callValue",
+        callee: { kind: "varRef", localId: "f.0", type: fromT, loc },
+        receiver: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
+        args,
+        type: fromT.ret,
+        loc,
+    };
+    const body = toT.ret.kind === "void"
+        ? [
+            { kind: "exprStmt", expr: call, loc },
+            { kind: "return", value: null, loc },
+        ]
+        : [{ kind: "return", value: lowerer.coerceToExpected(call, toT.ret), loc }];
+    lowerer.liftedFns.push(...buildFunctionAdapter(name, fromT, toT, params, [], body, loc));
+    return name;
+}
+/** Adapt a fixed-parameter function to a checked-dynamic rest signature
+ * without fixed parameters (`() => {}` into mock.fn()'s `(...args: any[])
+ * => undefined`): the adapter receives the hidden argument array and
+ * passes its element i as parameter i, undefined when the caller passed
+ * fewer arguments, as JS does. Null unless every parameter is
+ * checked-dynamic, which holds a missing argument as undefined, and the
+ * result is discarded or converts. */
+function funcIntoDynRestAdapter(lowerer, fromT, toT, loc) {
+    if (fromT.rest === true || fromT.params.some((p) => p.kind !== "dyn"))
+        return null;
+    if (toT.ret.kind !== "void" && !lowerer.coercibleValue(fromT.ret, toT.ret))
+        return null;
+    const key = `fnadapt:${typeKey(fromT)}:${typeKey(toT)}`;
+    const existing = lowerer.coercions.retags.get(key);
+    if (existing)
+        return existing;
+    const name = `%fn.adapt.${lowerer.coercions.retags.size}`;
+    lowerer.coercions.retags.set(key, name);
+    lowerer.freshClosureAdapters.add(name);
+    const params = [{ localId: "rest.0", name: "args", type: DYN }];
+    const call = {
+        kind: "callValue",
+        callee: { kind: "varRef", localId: "f.0", type: fromT, loc },
+        receiver: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
+        args: fromT.params.map((_, i) => ({
+            kind: "dynKeyGet",
+            value: { kind: "varRef", localId: "rest.0", type: DYN, loc },
+            key: { kind: "strLit", value: String(i), type: STRING, loc },
+            type: DYN,
+            loc,
+        })),
+        type: fromT.ret,
+        loc,
+    };
+    let body;
+    if (toT.ret.kind === "void") {
+        body = [
+            { kind: "exprStmt", expr: call, loc },
+            { kind: "return", value: null, loc },
+        ];
+    }
+    else {
+        const result = lowerer.coerceToExpected(call, toT.ret);
+        if (!typeEquals(result.type, toT.ret))
+            throw new InternalCompilerError("lowerer bug: probed fn-adapter return stopped coercing");
+        body = [{ kind: "return", value: result, loc }];
+    }
+    lowerer.liftedFns.push(...buildFunctionAdapter(name, fromT, toT, params, [], body, loc));
+    return name;
+}
 /** Adapt a function value to a destination signature, forwarding and
  * converting its arguments and result. Unsupported parameter/result pairs
- * produce checked traps when called; rest signatures remain refused. */
+ * produce checked traps when called. Rest signatures are refused, except a
+ * typed-rest source in a slot with fixed parameters, which the rest
+ * packing adapter serves, and a fixed-parameter function into a
+ * checked-dynamic rest signature without fixed parameters
+ * (funcIntoDynRestAdapter). */
 export function funcCoerceAdapter(lowerer, fromT, toT, loc) {
+    if (restPackingAdapterFits(lowerer, fromT, toT))
+        return restPackingAdapter(lowerer, fromT, toT, loc);
+    if (toT.rest === true && toT.restAbi === undefined && toT.params.length === 0)
+        return funcIntoDynRestAdapter(lowerer, fromT, toT, loc);
     if (fromT.rest === true || toT.rest === true)
         return null;
     if (fromT.params.length > toT.params.length)
@@ -122,6 +251,11 @@ export function funcCoerceAdapter(lowerer, fromT, toT, loc) {
         const expected = fromT.params[i];
         if (lowerer.coercibleValue(actual, expected))
             continue;
+        // A record argument the parameter's shape is a structural width of
+        // (members missing from the argument are optional there): the
+        // record width conversion.
+        if (lowerer.widthLiftPlan(actual, expected))
+            continue;
         if (actual.kind === "union" && expected.kind === "dyn") {
             const arms = lowerer.unions.get(actual.unionId)?.arms.filter((arm) => lowerer.dynConvertible(arm)) ?? [];
             if (arms.length > 0) {
@@ -160,6 +294,27 @@ export function funcCoerceAdapter(lowerer, fromT, toT, loc) {
             voidRet = toT.ret.kind === "dyn" ? "dyn" : "strand";
         }
     }
+    // An untyped result (a generic wrapper's `any` handed back `as F`) takes
+    // the checked-dynamic extraction to the slot's result: a record checks
+    // its shape, a Promise keeps its identity and checks its payload when it
+    // settles.
+    const checkedRet = strandRet &&
+        fromT.ret.kind === "dyn" &&
+        canDynCheckTo(toT.ret, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id));
+    if (checkedRet)
+        strandRet = false;
+    // A Promise result whose payload widens into the slot's (a record with
+    // extra, optional or nested members, `Promise<Narrow>` into
+    // `Promise<Wide>`): the result keeps its identity and converts its
+    // payload when it settles (coerceToExpected's boxed-settlement rule).
+    if (strandRet &&
+        fromT.ret.kind === "promise" &&
+        toT.ret.kind === "promise" &&
+        lowerer.promisePayloadWidens(fromT.ret, toT.ret))
+        strandRet = false;
+    // A record result the slot's result is a structural width of.
+    if (strandRet && lowerer.widthLiftPlan(fromT.ret, toT.ret))
+        strandRet = false;
     const key = `fnadapt:${typeKey(fromT)}:${typeKey(toT)}`;
     const existing = lowerer.coercions.retags.get(key);
     if (existing)
@@ -183,78 +338,94 @@ export function funcCoerceAdapter(lowerer, fromT, toT, loc) {
         },
         loc,
     });
+    // The body lowers in the adapter's own function context: conversions
+    // that need scratch locals (a union of record results lifted into one
+    // record slot) declare them in the adapter, not in the function that
+    // asked for it.
+    const context = newFnCtx(false, null, null, toT.ret);
     let body;
-    if (strandParams) {
-        body = [
-            strandThrow(`a '${lowerer.fmt(fromT)}' function invoked through a '${lowerer.fmt(toT)}' slot (the parameter types cannot convert — the checker's loose function compatibility admitted the assignment, but the call has no exact lowering)`),
-        ];
-    }
-    else {
-        const args = fromT.params.map((pt, i) => {
-            const aRef = { kind: "varRef", localId: `a.${i}`, type: toT.params[i], loc };
-            const partial = partialDynParams.get(i);
-            if (partial && aRef.type.kind === "union") {
-                const source = lowerer.unions.get(aRef.type.unionId);
-                const supported = partial.kind === "union" ? lowerer.unions.get(partial.unionId).arms : [partial];
-                const rejected = new Set(source.arms.flatMap((arm, tag) => supported.some((accepted) => typeEquals(accepted, arm)) ? [] : [tag]));
-                const narrow = partial.kind === "union"
-                    ? lowerer.unionRetagHelper(aRef.type.unionId, partial.unionId, loc, rejected)
-                    : lowerer.narrowedArmHelper(aRef.type.unionId, partial, loc);
-                if (!narrow)
-                    throw new InternalCompilerError("lowerer bug: partial callable parameter stopped narrowing");
-                return lowerer.coerceToExpected({ kind: "call", callee: narrow, args: [aRef], type: partial, loc }, pt);
-            }
-            const narrowed = narrowedParams.get(i);
-            const helper = narrowed && aRef.type.kind === "union" && pt.kind === "union"
-                ? lowerer.unionRetagHelper(aRef.type.unionId, pt.unionId, loc, narrowed)
-                : null;
-            const converted = helper
-                ? { kind: "call", callee: helper, args: [aRef], type: pt, loc }
-                : lowerer.coerceToExpected(aRef, pt);
-            if (!typeEquals(converted.type, pt))
-                throw new InternalCompilerError("lowerer bug: probed fn-adapter param stopped coercing");
-            return converted;
-        });
-        const call = {
-            kind: "callValue",
-            callee: { kind: "varRef", localId: "f.0", type: fromT, loc },
-            receiver: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
-            args,
-            type: fromT.ret,
-            loc,
-        };
-        if (toT.ret.kind === "void") {
+    lowerer.fnStack.push(context);
+    try {
+        if (strandParams) {
             body = [
-                { kind: "exprStmt", expr: call, loc },
-                { kind: "return", value: null, loc },
-            ];
-        }
-        else if (voidRet === "dyn") {
-            body = [
-                { kind: "exprStmt", expr: call, loc },
-                { kind: "return", value: dynUndefinedExpr(loc), loc },
-            ];
-        }
-        else if (voidRet === "strand") {
-            body = [
-                { kind: "exprStmt", expr: call, loc },
-                strandThrow(`a void result where the '${lowerer.fmt(toT)}' slot promises '${lowerer.fmt(toT.ret)}' (a thrower typed 'never' never reaches this; a genuinely void function has no result to hand over)`),
-            ];
-        }
-        else if (strandRet) {
-            body = [
-                { kind: "exprStmt", expr: call, loc },
-                strandThrow(`a '${lowerer.fmt(fromT)}' function invoked through a '${lowerer.fmt(toT)}' slot (the result cannot convert to '${lowerer.fmt(toT.ret)}' — the checker's loose function compatibility admitted the assignment, but the call has no exact lowering)`),
+                strandThrow(`a '${lowerer.fmt(fromT)}' function invoked through a '${lowerer.fmt(toT)}' slot (the parameter types cannot convert — the checker's loose function compatibility admitted the assignment, but the call has no exact lowering)`),
             ];
         }
         else {
-            const result = lowerer.coerceToExpected(call, toT.ret);
-            if (!typeEquals(result.type, toT.ret))
-                throw new InternalCompilerError("lowerer bug: probed fn-adapter return stopped coercing");
-            body = [{ kind: "return", value: result, loc }];
+            const args = fromT.params.map((pt, i) => {
+                const aRef = { kind: "varRef", localId: `a.${i}`, type: toT.params[i], loc };
+                const partial = partialDynParams.get(i);
+                if (partial && aRef.type.kind === "union") {
+                    const source = lowerer.unions.get(aRef.type.unionId);
+                    const supported = partial.kind === "union" ? lowerer.unions.get(partial.unionId).arms : [partial];
+                    const rejected = new Set(source.arms.flatMap((arm, tag) => supported.some((accepted) => typeEquals(accepted, arm)) ? [] : [tag]));
+                    const narrow = partial.kind === "union"
+                        ? lowerer.unionRetagHelper(aRef.type.unionId, partial.unionId, loc, rejected)
+                        : lowerer.narrowedArmHelper(aRef.type.unionId, partial, loc);
+                    if (!narrow)
+                        throw new InternalCompilerError("lowerer bug: partial callable parameter stopped narrowing");
+                    return lowerer.coerceToExpected({ kind: "call", callee: narrow, args: [aRef], type: partial, loc }, pt);
+                }
+                const narrowed = narrowedParams.get(i);
+                const helper = narrowed && aRef.type.kind === "union" && pt.kind === "union"
+                    ? lowerer.unionRetagHelper(aRef.type.unionId, pt.unionId, loc, narrowed)
+                    : null;
+                const converted = helper
+                    ? { kind: "call", callee: helper, args: [aRef], type: pt, loc }
+                    : lowerer.coerceToExpected(aRef, pt);
+                if (!typeEquals(converted.type, pt))
+                    throw new InternalCompilerError("lowerer bug: probed fn-adapter param stopped coercing");
+                return converted;
+            });
+            const call = {
+                kind: "callValue",
+                callee: { kind: "varRef", localId: "f.0", type: fromT, loc },
+                receiver: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
+                args,
+                type: fromT.ret,
+                loc,
+            };
+            if (toT.ret.kind === "void") {
+                body = [
+                    { kind: "exprStmt", expr: call, loc },
+                    { kind: "return", value: null, loc },
+                ];
+            }
+            else if (voidRet === "dyn") {
+                body = [
+                    { kind: "exprStmt", expr: call, loc },
+                    { kind: "return", value: dynUndefinedExpr(loc), loc },
+                ];
+            }
+            else if (voidRet === "strand") {
+                body = [
+                    { kind: "exprStmt", expr: call, loc },
+                    strandThrow(`a void result where the '${lowerer.fmt(toT)}' slot promises '${lowerer.fmt(toT.ret)}' (a thrower typed 'never' never reaches this; a genuinely void function has no result to hand over)`),
+                ];
+            }
+            else if (strandRet) {
+                body = [
+                    { kind: "exprStmt", expr: call, loc },
+                    strandThrow(`a '${lowerer.fmt(fromT)}' function invoked through a '${lowerer.fmt(toT)}' slot (the result cannot convert to '${lowerer.fmt(toT.ret)}' — the checker's loose function compatibility admitted the assignment, but the call has no exact lowering)`),
+                ];
+            }
+            else if (checkedRet) {
+                body = [
+                    { kind: "return", value: { kind: "dynCheck", value: call, type: toT.ret, loc }, loc },
+                ];
+            }
+            else {
+                const result = lowerer.coerceToExpected(call, toT.ret);
+                if (!typeEquals(result.type, toT.ret))
+                    throw new InternalCompilerError("lowerer bug: probed fn-adapter return stopped coercing");
+                body = [{ kind: "return", value: result, loc }];
+            }
         }
     }
-    lowerer.liftedFns.push(...buildFunctionAdapter(name, fromT, toT, params, [], body, loc));
+    finally {
+        lowerer.fnStack.pop();
+    }
+    lowerer.liftedFns.push(...buildFunctionAdapter(name, fromT, toT, params, context.locals, body, loc));
     return name;
 }
 /** The spawnSync-runner VALUE adapter's plan — a function returning the

package/dist/frontend/lowering/coercions/function-adapters.js.map

@@ -1 +1 @@
-{"version":3,"file":"function-adapters.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/function-adapters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EACL,iBAAiB,EACjB,GAAG,EACH,GAAG,EACH,UAAU,EACV,MAAM,EACN,UAAU,EACV,WAAW,GACZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAG/C;;8DAE8D;AAC9D,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,KAAgC,EAChC,GAA8B,EAC9B,GAAW;IAEX,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,aAAa,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACtD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,sEAAsE;IACtE,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,GAAG,oBAAoB,CACrB,IAAI,EACJ,KAAK,EACL,GAAG,EACH,EAAE,EACF,EAAE,EACF;QACE;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,MAAM;gBACd,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,WAAW;wBACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;wBAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;wBACvE,IAAI,EAAE,EAAE;wBACR,IAAI,EAAE,KAAK,CAAC,GAAG;wBACf,GAAG;qBACJ;iBACF;gBACD,IAAI,EAAE,GAAG,CAAC,GAAG;gBACb,GAAG;aACJ;YACD,GAAG;SACJ;KACF,EACD,GAAG,CACJ,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;mDAEmD;AACnD,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,GAAW,EAAE,GAAW;IACvE,IAAI,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAChD,OAAO,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IAE5D,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IACjF,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACvB,kEAAkE;QAClE,iEAAiE;QACjE,mEAAmE;QACnE,+DAA+D;QAC/D,OAAO,CACL,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YACrB,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM;gBAClB,iBAAiB,CACf,GAAG,EACH,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC,CACL,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACtF,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;6EAC6E;AAC7E,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,GAA8B,EAC9B,GAA8B;IAE9B,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACzD,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5E,CAAC;IACD,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC;AAC3D,CAAC;AAED;;wEAEwE;AACxE,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,KAAgC,EAChC,GAA8B,EAC9B,GAAW;IAEX,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1D,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzD,iEAAiE;IACjE,sEAAsE;IACtE,mEAAmE;IACnE,sEAAsE;IACtE,iEAAiE;IACjE,iEAAiE;IACjE,sEAAsE;IACtE,wBAAwB;IAExB,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,MAAM,cAAc,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC9D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QAClC,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC;YAAE,SAAS;QACvD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvD,MAAM,IAAI,GACR,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9F,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,gBAAgB,CAAC,GAAG,CAClB,CAAC,EACD,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CACvF,CAAC;gBACF,SAAS;YACX,CAAC;QACH,CAAC;QACD,iEAAiE;QACjE,kEAAkE;QAClE,kEAAkE;QAClE,iEAAiE;QACjE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpD,IACE,MAAM;gBACN,MAAM;gBACN,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EACpE,CAAC;gBACD,cAAc,CAAC,GAAG,CAChB,CAAC,EACD,IAAI,GAAG,CACL,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAC/B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CACvD,CACF,CACF,CAAC;gBACF,SAAS;YACX,CAAC;QACH,CAAC;QACD,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,GAA4B,IAAI,CAAC;IAC5C,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3E,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC9B,iEAAiE;YACjE,gEAAgE;YAChE,6DAA6D;YAC7D,+DAA+D;YAC/D,gEAAgE;YAChE,SAAS,GAAG,IAAI,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;QACtD,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,WAAW,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,aAAa,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAc,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,IAAI,EAAE,IAAI,CAAC,EAAE;QACb,IAAI,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,WAAW,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,OAAO;QACb,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,WAAW;YACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACzD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;YACjD,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,IAAI,IAAc,CAAC;IACnB,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,GAAG;YACL,WAAW,CACT,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,iCAAiC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,sJAAsJ,CAChO;SACF,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;YACtC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,CAAC;YACtF,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC;gBACtD,MAAM,SAAS,GACb,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACnF,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAC/B,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CACrE,CACF,CAAC;gBACF,MAAM,MAAM,GACV,OAAO,CAAC,IAAI,KAAK,OAAO;oBACtB,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC;oBAC7E,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;gBACjE,IAAI,CAAC,MAAM;oBACT,MAAM,IAAI,qBAAqB,CAC7B,2DAA2D,CAC5D,CAAC;gBACJ,OAAO,OAAO,CAAC,gBAAgB,CAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAClE,EAAE,CACH,CAAC;YACJ,CAAC;YACD,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,MAAM,GACV,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;gBAC3D,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC;gBACxE,CAAC,CAAC,IAAI,CAAC;YACX,MAAM,SAAS,GAAW,MAAM;gBAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;gBAC/D,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;gBACjC,MAAM,IAAI,qBAAqB,CAAC,uDAAuD,CAAC,CAAC;YAC3F,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACvE,IAAI;YACJ,IAAI,EAAE,KAAK,CAAC,GAAG;YACf,GAAG;SACJ,CAAC;QACF,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,IAAI,GAAG;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aACrC,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YAC7B,IAAI,GAAG;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;aACtD,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,GAAG;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,WAAW,CACT,4BAA4B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,oBAAoB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,sGAAsG,CAC3L;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,SAAS,EAAE,CAAC;YACrB,IAAI,GAAG;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,WAAW,CACT,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,iCAAiC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,yCAAyC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,6GAA6G,CACpP;aACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YACvD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;gBACnC,MAAM,IAAI,qBAAqB,CAAC,wDAAwD,CAAC,CAAC;YAC5F,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACzF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;6BAQ6B;AAC7B,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,KAAgC,EAChC,GAA8B;IAE9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,mCAAmC;IAChH,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC3D,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9E,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;KACzD,CAAC;IACF,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,WAAW,CAAC,CAAC;KACvF,CAAC;IACF,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;IACjG,MAAM,IAAI,GAAmE,EAAE,CAAC;IAChF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YACvD,IAAI,CAAC,IAAI,CAAC;gBACR,KAAK,EAAE,CAAC,CAAC,IAAI;gBACb,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,iBAAiB;oBACrB,IAAI,EAAE,CAAC,CAAC,CAAC;oBACT,IAAI,EAAE,OAAO;oBACb,GAAG;iBACJ,CAAC;aACH,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC5C,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,EACzD,CAAC;YACD,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAE,iBAA2B,CAAC,CAAC,CAAE,iBAA2B,CAAC;YAC7F,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACvF,IAAI,CAAC,IAAI,CAAC;gBACR,KAAK,EAAE,CAAC,CAAC,IAAI;gBACb,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;oBAChB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;oBAC3E,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAC7B,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAG,CAAC,CAAC,IAAmC,CAAC,OAAO;4BACvD,GAAG,EAAE,MAAM;4BACX,KAAK,EAAE,IAAI;4BACX,IAAI,EAAE,CAAC,CAAC,IAAI;4BACZ,GAAG;yBACJ,CAAC;gBACR,CAAC;aACF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC;gBACR,KAAK,EAAE,CAAC,CAAC,IAAI;gBACb,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,gBAAgB;oBACpB,IAAI,EAAE,CAAC,CAAC,CAAC;oBACT,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ,CAAC;aACH,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;wCAMwC;AACxC,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,KAAgC,EAChC,GAA8B,EAC9B,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,qBAAqB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,GAAG,GAAG,WAAW,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,mBAAmB,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAC5D,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAc,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,IAAI,CAAC,IAAI;QAClB,IAAI,EAAE,IAAI,CAAC,EAAE;QACb,IAAI,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;IAC9E,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,GAAG,oBAAoB,CACrB,IAAI,EACJ,KAAK,EACL,GAAG,EACH,MAAM,EACN,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAC3D;QACE;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;gBAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACvE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC;oBAC/B,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,GAAG;iBACJ,CAAC,CAAC;gBACH,IAAI,EAAE,KAAK,CAAC,GAAG;gBACf,GAAG;aACJ;YACD,GAAG;SACJ;QACD;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBACnF,IAAI,EAAE,GAAG,CAAC,GAAG;gBACb,GAAG;aACJ;YACD,GAAG;SACJ;KACF,EACD,GAAG,CACJ,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"function-adapters.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/function-adapters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EACL,iBAAiB,EACjB,aAAa,EACb,GAAG,EACH,GAAG,EACH,UAAU,EACV,MAAM,EACN,UAAU,EACV,WAAW,GACZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAElD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE1D;;8DAE8D;AAC9D,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,KAAgC,EAChC,GAA8B,EAC9B,GAAW;IAEX,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,aAAa,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACtD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,sEAAsE;IACtE,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,GAAG,oBAAoB,CACrB,IAAI,EACJ,KAAK,EACL,GAAG,EACH,EAAE,EACF,EAAE,EACF;QACE;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,MAAM;gBACd,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,WAAW;wBACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;wBAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;wBACvE,IAAI,EAAE,EAAE;wBACR,IAAI,EAAE,KAAK,CAAC,GAAG;wBACf,GAAG;qBACJ;iBACF;gBACD,IAAI,EAAE,GAAG,CAAC,GAAG;gBACb,GAAG;aACJ;YACD,GAAG;SACJ;KACF,EACD,GAAG,CACJ,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;mDAEmD;AACnD,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,GAAW,EAAE,GAAW;IACvE,IAAI,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAChD,OAAO,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IAE5D,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IACjF,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACvB,kEAAkE;QAClE,iEAAiE;QACjE,mEAAmE;QACnE,+DAA+D;QAC/D,OAAO,CACL,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YACrB,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM;gBAClB,iBAAiB,CACf,GAAG,EACH,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC,CACL,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACtF,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9E,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,gEAAgE;YAChE,MAAM,EAAE,GAAG,mBAAmB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC7C,IAAI,EAAE;gBAAE,OAAO,OAAO,CAAC,oBAAoB,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;6BAG6B;AAC7B,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,GAA8B,EAC9B,GAA8B;IAE9B,IAAI,sBAAsB,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACzD,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5E,CAAC;IACD,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC;AAC3D,CAAC;AAED;;wEAEwE;AACxE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,KAAgC,EAChC,GAA8B;IAE9B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACxF,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,KAAK;QAAE,OAAO,KAAK,CAAC;IACvE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;YACpF,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;AAC/E,CAAC;AAED;;yCAEyC;AACzC,SAAS,kBAAkB,CACzB,OAAgB,EAChB,KAAgC,EAChC,GAA8B,EAC9B,GAAW;IAEX,MAAM,GAAG,GAAG,eAAe,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,aAAa,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAA+B,CAAC;IAChE,MAAM,MAAM,GAAc,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,IAAI,EAAE,IAAI,CAAC,EAAE;QACb,IAAI,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,IAAY,EAAU,EAAE,CAC9C,OAAO,CAAC,gBAAgB,CACtB,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,EAChE,IAAI,CACL,CAAC;IACJ,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;IACpE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IACjE,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;QAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACvE,IAAI;QACJ,IAAI,EAAE,KAAK,CAAC,GAAG;QACf,GAAG;KACJ,CAAC;IACF,MAAM,IAAI,GACR,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM;QACrB,CAAC,CAAC;YACE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACrC,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,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAChF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACzF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;sCAMsC;AACtC,SAAS,sBAAsB,CAC7B,OAAgB,EAChB,KAAgC,EAChC,GAA8B,EAC9B,GAAW;IAEX,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,GAAG,GAAG,WAAW,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,aAAa,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAc,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;QAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACvE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAU,EAAE,CAAC,CAAC;YACxC,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC5D,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAC5D,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,IAAI,EAAE,KAAK,CAAC,GAAG;QACf,GAAG;KACJ,CAAC;IACF,IAAI,IAAc,CAAC;IACnB,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,IAAI,GAAG;YACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACrC,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;YACnC,MAAM,IAAI,qBAAqB,CAAC,wDAAwD,CAAC,CAAC;QAC5F,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACzF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;+BAM+B;AAC/B,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,KAAgC,EAChC,GAA8B,EAC9B,GAAW;IAEX,IAAI,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC;QAC7C,OAAO,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACtD,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAC3E,OAAO,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1D,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzD,iEAAiE;IACjE,sEAAsE;IACtE,mEAAmE;IACnE,sEAAsE;IACtE,iEAAiE;IACjE,iEAAiE;IACjE,sEAAsE;IACtE,wBAAwB;IAExB,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,MAAM,cAAc,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC9D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QAClC,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC;YAAE,SAAS;QACvD,mEAAmE;QACnE,8DAA8D;QAC9D,2BAA2B;QAC3B,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC;YAAE,SAAS;QACtD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvD,MAAM,IAAI,GACR,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9F,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,gBAAgB,CAAC,GAAG,CAClB,CAAC,EACD,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CACvF,CAAC;gBACF,SAAS;YACX,CAAC;QACH,CAAC;QACD,iEAAiE;QACjE,kEAAkE;QAClE,kEAAkE;QAClE,iEAAiE;QACjE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpD,IACE,MAAM;gBACN,MAAM;gBACN,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EACpE,CAAC;gBACD,cAAc,CAAC,GAAG,CAChB,CAAC,EACD,IAAI,GAAG,CACL,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAC/B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CACvD,CACF,CACF,CAAC;gBACF,SAAS;YACX,CAAC;QACH,CAAC;QACD,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,GAA4B,IAAI,CAAC;IAC5C,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3E,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC9B,iEAAiE;YACjE,gEAAgE;YAChE,6DAA6D;YAC7D,+DAA+D;YAC/D,gEAAgE;YAChE,SAAS,GAAG,IAAI,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;QACtD,CAAC;IACH,CAAC;IACD,yEAAyE;IACzE,uEAAuE;IACvE,yEAAyE;IACzE,WAAW;IACX,MAAM,UAAU,GACd,SAAS;QACT,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK;QACxB,aAAa,CACX,GAAG,CAAC,GAAG,EACP,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC;IACJ,IAAI,UAAU;QAAE,SAAS,GAAG,KAAK,CAAC;IAClC,uEAAuE;IACvE,4DAA4D;IAC5D,mEAAmE;IACnE,sEAAsE;IACtE,IACE,SAAS;QACT,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;QAC5B,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;QAC1B,OAAO,CAAC,oBAAoB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC;QAEhD,SAAS,GAAG,KAAK,CAAC;IACpB,8DAA8D;IAC9D,IAAI,SAAS,IAAI,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC;QAAE,SAAS,GAAG,KAAK,CAAC;IAC9E,MAAM,GAAG,GAAG,WAAW,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,aAAa,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAc,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,IAAI,EAAE,IAAI,CAAC,EAAE;QACb,IAAI,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,WAAW,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,OAAO;QACb,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,WAAW;YACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACzD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;YACjD,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,qEAAqE;IACrE,sEAAsE;IACtE,qEAAqE;IACrE,gBAAgB;IAChB,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,IAAc,CAAC;IACnB,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,CAAC;QACH,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,GAAG;gBACL,WAAW,CACT,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,iCAAiC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,sJAAsJ,CAChO;aACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;gBACtC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,CAAC;gBACtF,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACxC,IAAI,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC;oBACtD,MAAM,SAAS,GACb,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;oBACnF,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAC/B,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CACrE,CACF,CAAC;oBACF,MAAM,MAAM,GACV,OAAO,CAAC,IAAI,KAAK,OAAO;wBACtB,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC;wBAC7E,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;oBACjE,IAAI,CAAC,MAAM;wBACT,MAAM,IAAI,qBAAqB,CAC7B,2DAA2D,CAC5D,CAAC;oBACJ,OAAO,OAAO,CAAC,gBAAgB,CAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAClE,EAAE,CACH,CAAC;gBACJ,CAAC;gBACD,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACvC,MAAM,MAAM,GACV,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;oBAC3D,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC;oBACxE,CAAC,CAAC,IAAI,CAAC;gBACX,MAAM,SAAS,GAAW,MAAM;oBAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;oBAC/D,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACvC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;oBACjC,MAAM,IAAI,qBAAqB,CAAC,uDAAuD,CAAC,CAAC;gBAC3F,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC,CAAC;YACH,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;gBAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACvE,IAAI;gBACJ,IAAI,EAAE,KAAK,CAAC,GAAG;gBACf,GAAG;aACJ,CAAC;YACF,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC5B,IAAI,GAAG;oBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;iBACrC,CAAC;YACJ,CAAC;iBAAM,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;gBAC7B,IAAI,GAAG;oBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;iBACtD,CAAC;YACJ,CAAC;iBAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;gBAChC,IAAI,GAAG;oBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACrC,WAAW,CACT,4BAA4B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,oBAAoB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,sGAAsG,CAC3L;iBACF,CAAC;YACJ,CAAC;iBAAM,IAAI,SAAS,EAAE,CAAC;gBACrB,IAAI,GAAG;oBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACrC,WAAW,CACT,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,iCAAiC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,yCAAyC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,6GAA6G,CACpP;iBACF,CAAC;YACJ,CAAC;iBAAM,IAAI,UAAU,EAAE,CAAC;gBACtB,IAAI,GAAG;oBACL,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;iBACtF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;gBACvD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;oBACnC,MAAM,IAAI,qBAAqB,CAAC,wDAAwD,CAAC,CAAC;gBAC5F,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAC7E,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;6BAQ6B;AAC7B,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,KAAgC,EAChC,GAA8B;IAE9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,mCAAmC;IAChH,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC3D,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9E,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;KACzD,CAAC;IACF,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,WAAW,CAAC,CAAC;KACvF,CAAC;IACF,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;IACjG,MAAM,IAAI,GAAmE,EAAE,CAAC;IAChF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YACvD,IAAI,CAAC,IAAI,CAAC;gBACR,KAAK,EAAE,CAAC,CAAC,IAAI;gBACb,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,iBAAiB;oBACrB,IAAI,EAAE,CAAC,CAAC,CAAC;oBACT,IAAI,EAAE,OAAO;oBACb,GAAG;iBACJ,CAAC;aACH,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC5C,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,EACzD,CAAC;YACD,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAE,iBAA2B,CAAC,CAAC,CAAE,iBAA2B,CAAC;YAC7F,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACvF,IAAI,CAAC,IAAI,CAAC;gBACR,KAAK,EAAE,CAAC,CAAC,IAAI;gBACb,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;oBAChB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;oBAC3E,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAC7B,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAG,CAAC,CAAC,IAAmC,CAAC,OAAO;4BACvD,GAAG,EAAE,MAAM;4BACX,KAAK,EAAE,IAAI;4BACX,IAAI,EAAE,CAAC,CAAC,IAAI;4BACZ,GAAG;yBACJ,CAAC;gBACR,CAAC;aACF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC;gBACR,KAAK,EAAE,CAAC,CAAC,IAAI;gBACb,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,gBAAgB;oBACpB,IAAI,EAAE,CAAC,CAAC,CAAC;oBACT,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ,CAAC;aACH,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;wCAMwC;AACxC,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,KAAgC,EAChC,GAA8B,EAC9B,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,qBAAqB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,GAAG,GAAG,WAAW,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,mBAAmB,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAC5D,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAc,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,IAAI,CAAC,IAAI;QAClB,IAAI,EAAE,IAAI,CAAC,EAAE;QACb,IAAI,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;IAC9E,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,GAAG,oBAAoB,CACrB,IAAI,EACJ,KAAK,EACL,GAAG,EACH,MAAM,EACN,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAC3D;QACE;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;gBAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACvE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC;oBAC/B,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,GAAG;iBACJ,CAAC,CAAC;gBACH,IAAI,EAAE,KAAK,CAAC,GAAG;gBACf,GAAG;aACJ;YACD,GAAG;SACJ;QACD;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBACnF,IAAI,EAAE,GAAG,CAAC,GAAG;gBACb,GAAG;aACJ;YACD,GAAG;SACJ;KACF,EACD,GAAG,CACJ,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/coercions/structural-plans.js

@@ -1,4 +1,4 @@
-import { planRecordUnionWrap } from "../union-retag.js";
+import { planRecordUnionLift, planRecordUnionWrap } from "../union-retag.js";
 import { isUnitType, typeEquals, UNDEFINED_T } from "../../../ir/ir.js";
 import { findMethodOn, findGenericMethodOn } from "../lower-classes.js";
 /** Plan one recursive structural conversion without interning helpers.
@@ -15,7 +15,18 @@ export function widthLiftPlan(lowerer, src, dst) {
     }
     if (dst.kind === "union") {
         if (src.kind === "union") {
-            return lowerer.unionRetagMappable(src.unionId, dst.unionId) ? { how: "retag" } : null;
+            if (lowerer.unionRetagMappable(src.unionId, dst.unionId))
+                return { how: "retag" };
+            // A field the checker types `undefined` alone (an object literal's
+            // omitted member, normalized to `?: undefined` across a union of
+            // literal types) carries the unit-only union. Into a slot with an
+            // undefined arm it lifts as that arm; its null arm cannot occur.
+            const srcArms = lowerer.unions.get(src.unionId)?.arms ?? [];
+            if (srcArms.length > 0 &&
+                srcArms.every(isUnitType) &&
+                lowerer.armTag(dst.unionId, UNDEFINED_T) >= 0)
+                return { how: "unitRetag" };
+            return null;
         }
         // A unit-typed source can't wrap here (unionWrap requires the
         // LITERAL unit — and no lowered shape carries a bare unit field).
@@ -72,6 +83,17 @@ export function widthLiftPlan(lowerer, src, dst) {
             if (absentOnly.length === 1)
                 selected = absentOnly;
         }
+        // A record that fits several arms of a discriminated union selects one
+        // by its discriminant at run time. Without this, an arm that a nested
+        // field could reach only ambiguously dropped out of the candidates, and
+        // an arm reached by dropping fields could win alone.
+        if (selected.length !== 1 && src.kind === "record") {
+            const source = lowerer.shapes.get(src.shapeId);
+            if (source &&
+                planRecordUnionLift(source, def, (id) => lowerer.shapes.get(id), (from, to) => lowerer.widthLiftPlan(from, to))) {
+                return { how: "discriminantRoute" };
+            }
+        }
         if (selected.length !== 1)
             return null;
         return { how: "liftWrap", tag: selected[0].tag, arm: selected[0].arm };
@@ -401,7 +423,7 @@ export function recordToClassPlan(lowerer, fromId, className) {
             return null;
         }
     }
-    if (!info.ctor || info.ctor.body === undefined || info.ctor.body.statements.length > 0)
+    if (!info.ctor || info.ctor.body === undefined || info.ctor.body.statements.nodes.length > 0)
         return null;
     const props = info.paramProps ?? [];
     if (props.length !== info.ctorParams.length)