@scriptc/compiler 0.3.6 → 0.4.1

package/dist/frontend/lowering/constructor-returns.js

@@ -0,0 +1,477 @@
+/** Constructors that `return` a value.
+ *
+ * JavaScript's `new C()` answers the constructor's returned value when it
+ * is an object (functions included) and the constructed `this` otherwise.
+ * A primitive or bare return therefore keeps the ordinary lowering, which
+ * evaluates the operand and drops it.
+ *
+ * A return whose value is an instance of the constructor's own class keeps
+ * the class representation (`if (Single.instance) return
+ * Single.instance;`). The return stores that instance in a per-class
+ * result slot and every direct `new C()` takes it from there. Any other
+ * object has no representation as a `C` instance and refuses at the return
+ * statement, deferred to run time in JavaScript like other statement
+ * fences. A JavaScript value that is an object only at run time (`any`)
+ * is tested when it returns: a primitive answers the constructed
+ * instance, an instance of the class takes the result slot, and any other
+ * object refuses.
+ *
+ * `super()` from a subclass refuses: Node would rebind the subclass's
+ * `this` to the returned instance. In JavaScript the refusal is a run-time
+ * test after the call: an instance other than the subclass's own `this`
+ * refuses, and the constructed instance itself (`return this.set(r, g,
+ * b)`, where `set` answers `this`) continues. */
+import * as ts from "../ts7/adapter.js";
+import { varRef } from "../../ir/build.js";
+import { BOOL, DYN, STRING, typeKey, VOID, } from "../../ir/ir.js";
+import { unsupportedDiag } from "../../diagnostics/diagnostic.js";
+import { isJsSourceFile, locOf } from "../program.js";
+const PRIMITIVE_FLAGS = ts.TypeFlags.Primitive | ts.TypeFlags.EnumLike | ts.TypeFlags.Void | ts.TypeFlags.Never;
+/** Types whose values may be primitives or objects: open types, type
+ * variables and intersections (a branded `string & { tag }` is a string). */
+const OPEN_FLAGS = ts.TypeFlags.AnyOrUnknown | ts.TypeFlags.InstantiableNonPrimitive | ts.TypeFlags.Intersection;
+function unparenthesized(node) {
+    let e = node;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    return e;
+}
+/** Whether a value of this checker type can be an object: "never",
+ * "always", or "maybe" (open types and primitive/object unions). */
+function objectness(type) {
+    const parts = type.isUnionType() ? ts.constituentTypes(type) : [type];
+    let primitive = false;
+    let object = false;
+    for (const part of parts) {
+        if ((part.flags & OPEN_FLAGS) !== 0)
+            return "maybe";
+        if ((part.flags & PRIMITIVE_FLAGS) !== 0)
+            primitive = true;
+        else
+            object = true;
+    }
+    if (!object)
+        return "never";
+    return primitive ? "maybe" : "always";
+}
+/** The constructor's own `return <expr>` statements: nested functions,
+ * arrows and classes have their own returns. */
+function ownValueReturns(ctor) {
+    const out = [];
+    const visit = (node) => {
+        if (ts.isFunctionLike(node) || ts.isClassLikeDeclaration(node))
+            return;
+        if (ts.isReturnStatement(node) && node.expression !== undefined)
+            out.push(node);
+        ts.forEachChild(node, visit);
+    };
+    if (ctor.body !== undefined)
+        ts.forEachChild(ctor.body, visit);
+    return out;
+}
+/** A return inside a `try` with a `finally` block: the finally block runs
+ * after the result is stored and may throw past it. */
+function insideFinallyTry(node, ctor) {
+    for (let p = node.parent; p !== undefined && p !== ctor; p = p.parent) {
+        if (ts.isTryStatement(p) && p.finallyBlock !== undefined && !nodeWithin(node, p.finallyBlock))
+            return true;
+    }
+    return false;
+}
+function nodeWithin(node, ancestor) {
+    return node.pos >= ancestor.pos && node.end <= ancestor.end;
+}
+function instanceType(info) {
+    return { kind: "object", className: info.def.name };
+}
+function isInstanceOf(lowerer, info, type) {
+    if (type === null)
+        return false;
+    if (type.kind === "object")
+        return type.className === info.def.name;
+    if (type.kind !== "union")
+        return false;
+    const arms = lowerer.unions.get(type.unionId)?.arms ?? [];
+    return (arms.length === 2 &&
+        arms.some((arm) => arm.kind === "object" && arm.className === info.def.name) &&
+        arms.some((arm) => arm.kind === "undefinedT"));
+}
+/** Whether an expression always yields the receiver itself: `this`, or a
+ * call `this.m(...)` / `super.m(...)` whose every implementation the
+ * receiver can reach (the statically resolved method and, for `this`
+ * calls, each subclass override) returns only `this`, a primitive, or
+ * nothing (`return this.set(r, g, b)` with a chainable setter). Such a
+ * return answers the constructed instance. Methods already being checked
+ * count as returning `this` (their other returns decide). */
+function returnsThis(lowerer, info, node, visiting = new Set()) {
+    let e = node;
+    while (ts.isParenthesizedExpression(e) || ts.isAsExpression(e) || ts.isNonNullExpression(e))
+        e = e.expression;
+    if (e.kind === ts.SyntaxKind.ThisKeyword)
+        return true;
+    if (!ts.isCallExpression(e))
+        return false;
+    const callee = unparenthesized(e.expression);
+    if (!ts.isPropertyAccessExpression(callee) ||
+        callee.questionDotToken !== undefined ||
+        !ts.isIdentifier(callee.name))
+        return false;
+    const receiver = unparenthesized(callee.expression).kind;
+    if (receiver !== ts.SyntaxKind.ThisKeyword && receiver !== ts.SyntaxKind.SuperKeyword)
+        return false;
+    const name = callee.name.text;
+    const symbol = lowerer.checker.getSymbolAtLocation(callee.name);
+    if (symbol === undefined)
+        return false;
+    const methods = [...symbol.declarations];
+    if (receiver === ts.SyntaxKind.ThisKeyword) {
+        const pending = [...info.subclasses];
+        while (pending.length > 0) {
+            const sub = pending.pop();
+            pending.push(...sub.subclasses);
+            for (const member of sub.decl?.members.nodes ?? []) {
+                if (member.name === undefined || !ts.isIdentifier(member.name) || member.name.text !== name)
+                    continue;
+                if (!ts.isMethodDeclaration(member))
+                    return false;
+                methods.push(member);
+            }
+        }
+    }
+    if (methods.length === 0)
+        return false;
+    for (const method of methods) {
+        if (!ts.isMethodDeclaration(method) || method.body === undefined)
+            return false;
+        if (visiting.has(method))
+            continue;
+        visiting.add(method);
+        for (const ret of ownReturns(method.body)) {
+            if (ret.expression === undefined)
+                continue;
+            if (objectness(lowerer.typeOf(ret.expression)) === "never")
+                continue;
+            if (!returnsThis(lowerer, info, ret.expression, visiting))
+                return false;
+        }
+    }
+    return true;
+}
+/** A function body's own return statements (nested functions, arrows and
+ * classes have their own). */
+function ownReturns(body) {
+    const out = [];
+    const visit = (node) => {
+        if (ts.isFunctionLike(node) || ts.isClassLikeDeclaration(node))
+            return;
+        if (ts.isReturnStatement(node))
+            out.push(node);
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(body, visit);
+    return out;
+}
+export function constructorReturnPlan(lowerer, info) {
+    const byClass = lowerer.constructorReturnPlans;
+    const known = byClass.get(info.def.name);
+    if (known !== undefined)
+        return known;
+    const ctor = info.ctor;
+    let plan = null;
+    if (ctor?.body !== undefined && info.decl !== null) {
+        const returns = new Map();
+        for (const stmt of ownValueReturns(ctor)) {
+            const value = unparenthesized(stmt.expression);
+            if (returnsThis(lowerer, info, value))
+                continue;
+            const type = lowerer.typeOf(value);
+            const shape = objectness(type);
+            if (shape === "never")
+                continue;
+            // Local classes construct through their own environment, which has
+            // no result slot.
+            const instance = info.localClass === undefined &&
+                !insideFinallyTry(stmt, ctor) &&
+                isInstanceOf(lowerer, info, lowerer.mapTypeOf(type));
+            returns.set(stmt, instance ? "instance" : shape === "always" ? "object" : "mixed");
+        }
+        if (returns.size > 0) {
+            let slot = null;
+            // A JavaScript value typed only at run time may hold an instance of
+            // the class too (`if (C.instance) return C.instance;`).
+            const runtimeInstance = info.localClass === undefined &&
+                isJsSourceFile(ts.getSourceFileOfNode(ctor)) &&
+                [...returns].some(([stmt, kind]) => kind === "mixed" && !insideFinallyTry(stmt, ctor));
+            if ([...returns.values()].includes("instance") || runtimeInstance) {
+                slot = {
+                    id: `%g.${info.def.name}.%constructorResult`,
+                    name: `${info.def.name}.%constructorResult`,
+                    type: lowerer.withUndefinedArm(instanceType(info)),
+                    mutable: true,
+                };
+                lowerer.globalsList.push(slot);
+            }
+            plan = { returns, slot };
+        }
+    }
+    byClass.set(info.def.name, plan);
+    return plan;
+}
+function foreignObjectFeature(info) {
+    const display = info.def.name.replace(/^%|^%m\d+\./, "");
+    return `returning an object other than an instance of the class from a constructor (Node's 'new ${display}()' answers the returned object, which has no representation as a '${display}' instance)`;
+}
+/** `return <expr>` inside a class constructor whose value may be an
+ * object. Null when the statement keeps the ordinary lowering. */
+export function lowerConstructorReturn(lowerer, stmt) {
+    const info = lowerer.currentClass;
+    if (info === null || info.ctor === null || stmt.expression === undefined)
+        return null;
+    let fn = stmt.parent;
+    while (fn !== undefined && !ts.isFunctionLike(fn) && !ts.isClassLikeDeclaration(fn))
+        fn = fn.parent;
+    if (fn !== info.ctor)
+        return null;
+    const plan = constructorReturnPlan(lowerer, info);
+    const kind = plan?.returns.get(stmt);
+    if (plan === null || kind === undefined)
+        return null;
+    const loc = locOf(stmt);
+    if (kind === "instance") {
+        const value = lowerer.coerceInto(stmt.expression, lowerer.lowerExpr(stmt.expression), plan.slot.type);
+        return {
+            kind: "block",
+            body: [
+                { kind: "assign", localId: plan.slot.id, value, loc },
+                { kind: "return", value: null, loc },
+            ],
+            loc,
+        };
+    }
+    const feature = foreignObjectFeature(info);
+    if (kind === "object" || !isJsSourceFile(ts.getSourceFileOfNode(stmt)))
+        lowerer.unsupported("SC1090", stmt, feature);
+    // A JavaScript value that is an object only sometimes: a primitive
+    // still answers the constructed instance, an object refuses.
+    const value = lowerer.coerceToExpected(lowerer.lowerExpr(stmt.expression), DYN);
+    if (value.type.kind !== "dyn")
+        lowerer.unsupported("SC1090", stmt, feature);
+    const held = lowerer.declareHiddenLocal("%returned", DYN);
+    const read = varRef(held.id, DYN, loc);
+    const typeOf = { kind: "libCall", fn: "dyn.typeof", args: [read], type: STRING, loc };
+    const typeIs = (name) => ({
+        kind: "strEq",
+        negated: false,
+        left: typeOf,
+        right: { kind: "strLit", value: name, type: STRING, loc },
+        type: BOOL,
+        loc,
+    });
+    const diag = unsupportedDiag("SC1090", loc, feature);
+    lowerer.runtimeFences.push(diag);
+    const sf = ts.getSourceFileOfNode(stmt);
+    const line = ts.getLineAndCharacterOfPosition(sf, loc.start).line + 1;
+    return {
+        kind: "block",
+        body: [
+            { kind: "varDecl", localId: held.id, init: value, loc },
+            {
+                kind: "if",
+                // null answers "object" and is falsy; every object is truthy.
+                cond: {
+                    kind: "logical",
+                    op: "||",
+                    left: typeIs("function"),
+                    right: {
+                        kind: "logical",
+                        op: "&&",
+                        left: typeIs("object"),
+                        right: lowerer.ensureBool(read, stmt.expression),
+                        type: BOOL,
+                        loc,
+                    },
+                    type: BOOL,
+                    loc,
+                },
+                then: [
+                    ...(plan.slot !== null && !insideFinallyTry(stmt, info.ctor)
+                        ? [
+                            {
+                                kind: "if",
+                                cond: {
+                                    kind: "libCall",
+                                    fn: "dyn.typedRefIs",
+                                    args: [
+                                        read,
+                                        {
+                                            kind: "strLit",
+                                            value: typeKey(instanceType(info)),
+                                            type: STRING,
+                                            loc,
+                                        },
+                                    ],
+                                    type: BOOL,
+                                    loc,
+                                },
+                                then: [
+                                    {
+                                        kind: "assign",
+                                        localId: plan.slot.id,
+                                        value: lowerer.coerceToExpected(lowerer.coerceToExpected(read, instanceType(info)), plan.slot.type),
+                                        loc,
+                                    },
+                                    { kind: "return", value: null, loc },
+                                ],
+                                else_: null,
+                                loc,
+                            },
+                        ]
+                        : []),
+                    {
+                        kind: "runtimeFence",
+                        code: diag.code,
+                        message: `${diag.message} [${diag.code} at ${loc.file}:${line}]`,
+                        loc,
+                    },
+                ],
+                else_: null,
+                loc,
+            },
+            { kind: "return", value: null, loc },
+        ],
+        loc,
+    };
+}
+/** The value of a construction of exactly class `C`: the constructed
+ * instance, or the instance the constructor returned. Unchanged for
+ * classes without a result slot. The slot is read and cleared by a
+ * per-class helper, so every construction site (direct `new`, class
+ * values, the checked dynamic dispatchers) shares one protocol. */
+export function constructedValue(lowerer, info, constructed) {
+    const slot = constructorReturnPlan(lowerer, info)?.slot;
+    if (slot === null || slot === undefined)
+        return constructed;
+    const loc = constructed.loc;
+    const type = instanceType(info);
+    const name = `%${info.def.name}.%constructed`;
+    if (!lowerer.liftedFns.some((fn) => fn.name === name)) {
+        const instance = { id: "instance.0", name: "instance", type, mutable: false };
+        const returned = { id: "returned.0", name: "returned", type: slot.type, mutable: false };
+        lowerer.liftedFns.push({
+            name,
+            params: [{ localId: instance.id, name: instance.name, type }],
+            returnType: type,
+            locals: [instance, returned],
+            body: [
+                { kind: "varDecl", localId: returned.id, init: varRef(slot.id, slot.type, loc), loc },
+                { kind: "assign", localId: slot.id, value: lowerer.wrappedUndefined(slot.type, loc), loc },
+                {
+                    kind: "return",
+                    value: {
+                        kind: "orDefault",
+                        left: varRef(returned.id, slot.type, loc),
+                        right: varRef(instance.id, type, loc),
+                        type,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: name, args: [constructed], type, loc };
+}
+/** A construction through a class value whose static class is `info`: the
+ * value holds `info` itself or a descendant. Descendants of a class with a
+ * result slot refuse at their `super()`, so only `info`'s own slot can
+ * apply; a descendant with its own slot has no static home here. */
+export function constructedFromValue(lowerer, info, constructed, blame) {
+    const pending = [...info.subclasses];
+    while (pending.length > 0) {
+        const sub = pending.pop();
+        pending.push(...sub.subclasses);
+        const plan = constructorReturnPlan(lowerer, sub);
+        if (plan === null || plan.slot === null)
+            continue;
+        const display = sub.def.name.replace(/^%|^%m\d+\./, "");
+        lowerer.unsupported("SC1090", blame, `constructing through a class value that may hold '${display}', whose constructor can return an existing instance`);
+    }
+    return constructedValue(lowerer, info, constructed);
+}
+/** `super()` into a class with a result slot, from the constructor of
+ * class `sub`: `call` runs the base constructor over `self` (the
+ * subclass's `this`, upcast to the base). Node rebinds the subclass's
+ * `this` to an instance the base constructor returns, which has no
+ * representation. A TypeScript subclass refuses. In JavaScript the base
+ * stores the instance it returns in its slot, and a per-subclass helper
+ * reads and clears the slot after the call: an instance other than `self`
+ * refuses at run time. Unchanged for bases without a result slot. */
+export function superIntoResultSlot(lowerer, base, sub, call, self, blame) {
+    const plan = constructorReturnPlan(lowerer, base);
+    if (plan === null || plan.slot === null)
+        return call;
+    const slot = plan.slot;
+    const display = base.def.name.replace(/^%|^%m\d+\./, "");
+    const feature = `extending a class whose constructor can return an existing instance ('super()' would rebind 'this' to the instance '${display}' returns)`;
+    if (!isJsSourceFile(ts.getSourceFileOfNode(blame))) {
+        lowerer.unsupported("SC1090", blame, feature);
+        return call;
+    }
+    const loc = locOf(blame);
+    const type = instanceType(base);
+    const name = `%${sub.def.name}.%superResult`;
+    if (!lowerer.liftedFns.some((fn) => fn.name === name)) {
+        const diag = unsupportedDiag("SC1090", loc, feature);
+        lowerer.runtimeFences.push(diag);
+        const line = ts.getLineAndCharacterOfPosition(ts.getSourceFileOfNode(blame), loc.start).line + 1;
+        const instance = { id: "instance.0", name: "instance", type, mutable: false };
+        const returned = { id: "returned.0", name: "returned", type: slot.type, mutable: false };
+        lowerer.liftedFns.push({
+            name,
+            params: [{ localId: instance.id, name: instance.name, type }],
+            returnType: VOID,
+            locals: [instance, returned],
+            body: [
+                { kind: "varDecl", localId: returned.id, init: varRef(slot.id, slot.type, loc), loc },
+                { kind: "assign", localId: slot.id, value: lowerer.wrappedUndefined(slot.type, loc), loc },
+                {
+                    kind: "if",
+                    cond: {
+                        kind: "bin",
+                        op: "!==",
+                        left: {
+                            kind: "orDefault",
+                            left: varRef(returned.id, slot.type, loc),
+                            right: varRef(instance.id, type, loc),
+                            type,
+                            loc,
+                        },
+                        right: varRef(instance.id, type, loc),
+                        type: BOOL,
+                        loc,
+                    },
+                    then: [
+                        {
+                            kind: "runtimeFence",
+                            code: diag.code,
+                            message: `${diag.message} [${diag.code} at ${loc.file}:${line}]`,
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                },
+                { kind: "return", value: null, loc },
+            ],
+            loc,
+        });
+    }
+    const check = {
+        kind: "exprStmt",
+        expr: { kind: "call", callee: name, args: [self], type: VOID, loc },
+        loc,
+    };
+    return { kind: "block", body: [call, check], loc };
+}
+//# sourceMappingURL=constructor-returns.js.map

package/dist/frontend/lowering/constructor-returns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructor-returns.js","sourceRoot":"","sources":["../../../src/frontend/lowering/constructor-returns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;iDAsBiD;AACjD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EACL,IAAI,EACJ,GAAG,EAKH,MAAM,EACN,OAAO,EACP,IAAI,GACL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAetD,MAAM,eAAe,GACnB,EAAE,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;AAE1F;6EAC6E;AAC7E,MAAM,UAAU,GACd,EAAE,CAAC,SAAS,CAAC,YAAY,GAAG,EAAE,CAAC,SAAS,CAAC,wBAAwB,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC;AAEhG,SAAS,eAAe,CAAC,IAAmB;IAC1C,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;oEACoE;AACpE,SAAS,UAAU,CAAC,IAAa;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtE,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC;;YACtD,MAAM,GAAG,IAAI,CAAC;IACrB,CAAC;IACD,IAAI,CAAC,MAAM;QAAE,OAAO,OAAO,CAAC;IAC5B,OAAO,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;AACxC,CAAC;AAED;gDACgD;AAChD,SAAS,eAAe,CAAC,IAA+B;IACtD,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAAE,OAAO;QACvE,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/D,OAAO,GAAG,CAAC;AACb,CAAC;AAED;uDACuD;AACvD,SAAS,gBAAgB,CAAC,IAAa,EAAE,IAA+B;IACtE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtE,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC;YAC3F,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,IAAa,EAAE,QAAiB;IAClD,OAAO,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC;AAC9D,CAAC;AAED,SAAS,YAAY,CAAC,IAAe;IACnC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,YAAY,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAmB;IAC1E,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAChC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;IAC1D,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAC5E,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED;;;;;;6DAM6D;AAC7D,SAAS,WAAW,CAClB,OAAgB,EAChB,IAAe,EACf,IAAmB,EACnB,QAAQ,GAAiB,IAAI,GAAG,EAAE;IAElC,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACzF,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACnB,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC7C,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACtC,MAAM,CAAC,gBAAgB,KAAK,SAAS;QACrC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;QAE7B,OAAO,KAAK,CAAC;IACf,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;IACzD,IAAI,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QACnF,OAAO,KAAK,CAAC;IACf,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,MAAM,OAAO,GAAc,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;IACpD,IAAI,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QACrC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;YAChC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;gBACnD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;oBACzF,SAAS;gBACX,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAClD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC/E,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS;QACnC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrB,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS;gBAAE,SAAS;YAC3C,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,KAAK,OAAO;gBAAE,SAAS;YACrE,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;8BAC8B;AAC9B,SAAS,UAAU,CAAC,IAAa;IAC/B,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAAE,OAAO;QACvE,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAe;IAEf,MAAM,OAAO,GAAG,OAAO,CAAC,sBAAsB,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,GAAiC,IAAI,CAAC;IAC9C,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACnD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkC,CAAC;QAC1D,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,UAAW,CAAC,CAAC;YAChD,IAAI,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC;gBAAE,SAAS;YAChD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,KAAK,KAAK,OAAO;gBAAE,SAAS;YAChC,mEAAmE;YACnE,kBAAkB;YAClB,MAAM,QAAQ,GACZ,IAAI,CAAC,UAAU,KAAK,SAAS;gBAC7B,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC;gBAC7B,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YACvD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACrF,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACrB,IAAI,IAAI,GAAoB,IAAI,CAAC;YACjC,oEAAoE;YACpE,wDAAwD;YACxD,MAAM,eAAe,GACnB,IAAI,CAAC,UAAU,KAAK,SAAS;gBAC7B,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;gBAC5C,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YACzF,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,eAAe,EAAE,CAAC;gBAClE,IAAI,GAAG;oBACL,EAAE,EAAE,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,qBAAqB;oBAC5C,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,qBAAqB;oBAC3C,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;oBAClD,OAAO,EAAE,IAAI;iBACd,CAAC;gBACF,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,CAAC;YACD,IAAI,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAe;IAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IACzD,OAAO,2FAA2F,OAAO,sEAAsE,OAAO,aAAa,CAAC;AACtM,CAAC;AAED;kEACkE;AAClE,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAwB;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC;IAClC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtF,IAAI,EAAE,GAAwB,IAAI,CAAC,MAAM,CAAC;IAC1C,OAAO,EAAE,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,EAAE,CAAC;QACjF,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;IACjB,IAAI,EAAE,KAAK,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAC9B,IAAI,CAAC,UAAU,EACf,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAClC,IAAI,CAAC,IAAK,CAAC,IAAI,CAChB,CAAC;QACF,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,IAAK,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE;gBACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aACrC;YACD,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACpE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,mEAAmE;IACnE,6DAA6D;IAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC;IAChF,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACvC,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC9F,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QACzD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACrD,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IACtE,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YACvD;gBACE,IAAI,EAAE,IAAI;gBACV,8DAA8D;gBAC9D,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,IAAI;oBACR,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC;oBACxB,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,IAAI;wBACR,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC;wBACtB,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC;wBAChD,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;wBAC1D,CAAC,CAAC;4BACE;gCACE,IAAI,EAAE,IAAa;gCACnB,IAAI,EAAE;oCACJ,IAAI,EAAE,SAAkB;oCACxB,EAAE,EAAE,gBAAyB;oCAC7B,IAAI,EAAE;wCACJ,IAAI;wCACJ;4CACE,IAAI,EAAE,QAAiB;4CACvB,KAAK,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;4CAClC,IAAI,EAAE,MAAM;4CACZ,GAAG;yCACJ;qCACF;oCACD,IAAI,EAAE,IAAI;oCACV,GAAG;iCACJ;gCACD,IAAI,EAAE;oCACJ;wCACE,IAAI,EAAE,QAAiB;wCACvB,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE;wCACrB,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAC7B,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,EAClD,IAAI,CAAC,IAAI,CAAC,IAAI,CACf;wCACD,GAAG;qCACJ;oCACD,EAAE,IAAI,EAAE,QAAiB,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;iCAC9C;gCACD,KAAK,EAAE,IAAI;gCACX,GAAG;6BACJ;yBACF;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,OAAO,EAAE,GAAG,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,IAAI,IAAI,GAAG;wBAChE,GAAG;qBACJ;iBACF;gBACD,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACrC;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;mEAImE;AACnE,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAe,EAAE,WAAmB;IACrF,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC;IACxD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC5D,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC;IAC5B,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC9E,MAAM,QAAQ,GAAG,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACzF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;YAC7D,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC5B,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBACrF,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAE,EAAE,GAAG,EAAE;gBAC3F;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,WAAW;wBACjB,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;wBACzC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC;wBACrC,IAAI;wBACJ,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACxE,CAAC;AAED;;;oEAGoE;AACpE,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAe,EACf,WAAmB,EACnB,KAAc;IAEd,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IACrC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACjD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QAClD,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QACxD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,KAAK,EACL,qDAAqD,OAAO,sDAAsD,CACnH,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;AACtD,CAAC;AAED;;;;;;;qEAOqE;AACrE,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAe,EACf,GAAc,EACd,IAAY,EACZ,IAAY,EACZ,KAAc;IAEd,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAClD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,uHAAuH,OAAO,YAAY,CAAC;IAC3J,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IACzB,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACrD,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,IAAI,GACR,EAAE,CAAC,6BAA6B,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QACtF,MAAM,QAAQ,GAAG,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC9E,MAAM,QAAQ,GAAG,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACzF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;YAC7D,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC5B,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBACrF,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAE,EAAE,GAAG,EAAE;gBAC3F;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,KAAK;wBACX,EAAE,EAAE,KAAK;wBACT,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;4BACzC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC;4BACrC,IAAI;4BACJ,GAAG;yBACJ;wBACD,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC;wBACrC,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,cAAc;4BACpB,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,OAAO,EAAE,GAAG,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,IAAI,IAAI,GAAG;4BAChE,GAAG;yBACJ;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aACrC;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACnE,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC;AACrD,CAAC"}

package/dist/frontend/lowering/containers/array-callback-call.js

@@ -9,7 +9,7 @@ import { lowerSafeIndexRead } from "../array-values.js";
  * the receiver, and the selected callback is captured before arguments
  * can replace it. Missing slots throw only after argument evaluation. */
 export function lowerArrayCallbackCall(lowerer, call, access, array) {
-    if (array.type.kind !== "array" || call.arguments.some(ts.isSpreadElement))
+    if (array.type.kind !== "array" || call.arguments.nodes.some(ts.isSpreadElement))
         return null;
     const elem = array.type.elem;
     const arms = elem.kind === "union" ? (lowerer.unions.get(elem.unionId)?.arms ?? []) : [elem];

package/dist/frontend/lowering/containers/array-callback-call.js.map

@@ -1 +1 @@
-{"version":3,"file":"array-callback-call.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/array-callback-call.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAA4B,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD;;yEAEyE;AACzE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,MAAkC,EAClC,KAAa;IAEb,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7F,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC5D,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IACxB,IACE,SAAS,CAAC,MAAM,KAAK,CAAC;QACtB,EAAE,EAAE,IAAI,KAAK,MAAM;QACnB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;QAC5D,EAAE,CAAC,IAAI;QAEP,OAAO,IAAI,CAAC;IACd,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE;QACtD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7D,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1E,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,mBAAmB,CAC/B,OAAO,EACP,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAC5C,KAAK,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAChC,MAAM,CAAC,kBAAkB,CAC1B,CAAC;IACF,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrE,KAAK,CAAC,GAAG,EAAE,cAAc,CAAC,CAC3B,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACrE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QACvE,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;QACjD,IAAI;QACJ,IAAI,EAAE,EAAE,CAAC,GAAG;QACZ,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC"}
+{"version":3,"file":"array-callback-call.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/array-callback-call.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAA4B,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD;;yEAEyE;AACzE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,MAAkC,EAClC,KAAa;IAEb,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9F,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7F,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC5D,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IACxB,IACE,SAAS,CAAC,MAAM,KAAK,CAAC;QACtB,EAAE,EAAE,IAAI,KAAK,MAAM;QACnB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;QAC5D,EAAE,CAAC,IAAI;QAEP,OAAO,IAAI,CAAC;IACd,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE;QACtD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7D,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1E,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,mBAAmB,CAC/B,OAAO,EACP,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAC5C,KAAK,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAChC,MAAM,CAAC,kBAAkB,CAC1B,CAAC;IACF,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrE,KAAK,CAAC,GAAG,EAAE,cAAc,CAAC,CAC3B,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACrE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QACvE,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;QACjD,IAAI;QACJ,IAAI,EAAE,EAAE,CAAC,GAAG;QACZ,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC"}

package/dist/frontend/lowering/containers/array-callbacks.d.ts

@@ -33,6 +33,14 @@ export declare function lowerArrayUnionHofCall(lowerer: Lowerer, call: ts.CallEx
  * backwards (`i = n - 1; i >= 0; i--`), exactly the es2023 spec's
  * descending index walk. Predicate results use JavaScript ToBoolean. */
 export declare function lowerArrayFindLikeCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression, method: "find" | "findIndex" | "findLast" | "findLastIndex" | "some" | "every", elem: IrType, bindUntyped?: boolean): IrExpr;
+/** The find-like predicate results whose ToBoolean has a static answer:
+ * bool passes through; f64/string by value; checked values and
+ * truthy-answerable unions by their runtime kind or arm. */
+export declare function findPredicateOk(lowerer: Lowerer, fnRet: IrType): boolean;
+/** ToBoolean of a predicate result inside a synthesized HOF helper — the
+ * ensureBool subset the find-like path admits (bool through; checked
+ * values via dynTest; f64/string/truthy-answerable unions via toBool). */
+export declare function predicateToBoolean(e: IrExpr): IrExpr;
 /** `a.flatMap(f)` — map plus a one-level flatten. A callback returning
  * `U[]` appends the returned array's elements per receiver element; a
  * callback returning a non-array U doesn't flatten (JS pushes it as-is),
@@ -86,3 +94,12 @@ export declare function lowerDynArrayFilterCall(lowerer: Lowerer, call: ts.CallE
  * NON-array values (JS would keep them as single elements) or dynamic
  * results keep the fence — nothing drives them yet. */
 export declare function lowerDynArrayFlatMapCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression, recv: IrExpr): IrExpr | null;
+/** Tuple `filter` / `find` / `findIndex` / `some` / `every`. `reads` holds
+ * one element read per position, in index order, each over the helper's
+ * `a.0` receiver parameter. The helper visits positions in order and reads
+ * each one only when it is visited, so a callback's write to a later
+ * position is visible; filter and find keep the value read before the
+ * callback ran. find, findIndex, some and every return at the first
+ * deciding position. Predicate results and narrowing follow the array
+ * methods' rules. */
+export declare function lowerTuplePredicateCall(lowerer: Lowerer, call: ts.CallExpression, method: "filter" | "find" | "findIndex" | "some" | "every", receiver: IrExpr, elem: IrType, reads: IrExpr[]): IrExpr;