@scriptc/compiler 0.3.6 → 0.4.0

package/dist/frontend/lowering/class-to-primitive.js

@@ -0,0 +1,261 @@
+import { varRef } from "../../ir/build.js";
+import { BOOL, DYN, F64, STRING } from "../../ir/ir.js";
+import * as ts from "../ts7/adapter.js";
+import { accessorCall, findMethodOn } from "./lower-classes.js";
+import { isClassCallback } from "./class-callbacks.js";
+import { isSafeToRepeat } from "./expressions/evaluation-safety.js";
+const PRIMITIVE_KINDS = new Set(["f64", "string", "bool", "bigint", "undefinedT", "nullT"]);
+/** ToString(ToPrimitive(value, hint)) of a program class instance, as Node
+ * computes it: `[Symbol.toPrimitive](hint)` when the class defines it, then
+ * `toString` (hint "string") or `valueOf` and then `toString` (hint
+ * "default"), and "[object Object]" when the class defines neither. The
+ * methods dispatch like calls of them; subclasses that convert through a
+ * different method are tested first. Null for values whose class is not a
+ * plain program class (builtin classes and their subclasses keep their own
+ * conversions). */
+export function classToStringConversion(lowerer, value, hint, node) {
+    return classConversion(lowerer, value, hint, node, STRING, (primitive) => lowerer.ensureString(primitive, node));
+}
+/** ToNumber(ToPrimitive(value, "number")) of a program class instance
+ * (`Number(x)`): `[Symbol.toPrimitive]("number")`, then `valueOf` and then
+ * `toString`, and NaN for "[object Object]". Null as for
+ * classToStringConversion. */
+export function classToNumberConversion(lowerer, value, node, operator = "Number") {
+    return classConversion(lowerer, value, "number", node, F64, (primitive) => numberOfPrimitive(lowerer, primitive, node, operator));
+}
+/** ToNumber of a primitive value: `Number(primitive)`, or unary plus,
+ * which throws for a BigInt instead of converting it. */
+function numberOfPrimitive(lowerer, value, node, operator) {
+    const loc = value.loc;
+    if (operator === "unary plus" && mayBeBigint(lowerer, value.type))
+        lowerer.unsupported("SC1090", node, "unary plus of class instances whose conversion can return a bigint");
+    switch (value.type.kind) {
+        case "f64":
+            return value;
+        case "string":
+            return { kind: "libCall", fn: "num.fromString", args: [value], type: F64, loc };
+        case "bool":
+            return {
+                kind: "ternary",
+                cond: value,
+                then: { kind: "numLit", value: 1, type: F64, loc },
+                else_: { kind: "numLit", value: 0, type: F64, loc },
+                type: F64,
+                loc,
+            };
+        case "bigint":
+            return { kind: "libCall", fn: "bigint.toF64", args: [value], type: F64, loc };
+        default:
+            if (!lowerer.dynConvertible(value.type))
+                lowerer.unsupported("SC1090", node, "number conversions of this class's primitive value");
+            return {
+                kind: "libCall",
+                fn: "dyn.numberConstructor",
+                args: [lowerer.coerceToExpected(value, DYN)],
+                type: F64,
+                loc,
+            };
+    }
+}
+function mayBeBigint(lowerer, type) {
+    if (type.kind === "bigint")
+        return true;
+    return (type.kind === "union" &&
+        lowerer.unions.get(type.unionId)?.arms.some((arm) => arm.kind === "bigint") === true);
+}
+function classConversion(lowerer, value, hint, node, resultType, finish) {
+    if (value.type.kind !== "object")
+        return null;
+    const info = lowerer.classes.get(value.type.className);
+    if (!info || !plainProgramClass(info))
+        return null;
+    const classes = subtree(lowerer, info);
+    for (const cls of classes)
+        refuseReplacedConversions(lowerer, cls, node);
+    const plans = new Map(classes.map((cls) => [cls, planOf(lowerer, cls, hint, node)]));
+    // A class whose plan differs from its base's starts a group; the deepest
+    // groups are tested first, so each instance takes its own class's plan.
+    const tops = classes
+        .filter((cls) => {
+        if (cls === info)
+            return false;
+        const base = cls.base;
+        return base !== null && plans.has(base) && !samePlan(plans.get(base), plans.get(cls));
+    })
+        .sort((a, b) => depth(b) - depth(a));
+    const loc = value.loc;
+    const prefix = [];
+    let receiver = value;
+    if (tops.length > 0 && !isSafeToRepeat(value)) {
+        const local = lowerer.declareHiddenLocal("%converted", value.type);
+        prefix.push({ kind: "varDecl", localId: local.id, init: value, loc });
+        receiver = varRef(local.id, value.type, loc);
+    }
+    const convert = (cls, object) => {
+        const plan = plans.get(cls);
+        if (plan.method === null)
+            return finish({ kind: "strLit", value: "[object Object]", type: STRING, loc });
+        const args = plan.method === "sym:toPrimitive" ? [{ kind: "strLit", value: hint, type: STRING, loc }] : [];
+        return finish(accessorCall(lowerer, cls.def.name, plan.method, object, args, plan.ret, loc));
+    };
+    let result = convert(info, receiver);
+    for (let i = tops.length - 1; i >= 0; i--) {
+        const top = tops[i];
+        const narrowed = {
+            kind: "downcast",
+            value: receiver,
+            type: { kind: "object", className: top.def.name },
+            loc,
+        };
+        result = {
+            kind: "ternary",
+            cond: { kind: "instanceOf", value: receiver, className: top.def.name, type: BOOL, loc },
+            then: convert(top, narrowed),
+            else_: result,
+            type: resultType,
+            loc,
+        };
+    }
+    return prefix.length > 0
+        ? { kind: "seqExpr", stmts: prefix, result, type: resultType, loc }
+        : result;
+}
+/** A class of the program whose chain reaches no builtin base: its
+ * instances inherit Object.prototype's conversions. */
+function plainProgramClass(info) {
+    for (let cls = info; cls; cls = cls.base) {
+        if (cls.def.runtime ||
+            cls.builtinError ||
+            cls.builtinEmitter ||
+            cls.builtinStream ||
+            cls.callableBase !== undefined)
+            return false;
+    }
+    return true;
+}
+function subtree(lowerer, info) {
+    const out = [];
+    const visit = (cls) => {
+        out.push(cls);
+        for (const child of cls.subclasses)
+            visit(child);
+    };
+    visit(info);
+    return out.filter((cls) => cls === info || lowerer.classCanBeConstructed(cls) || cls.subclasses.length > 0);
+}
+function depth(info) {
+    let n = 0;
+    for (let cls = info.base; cls; cls = cls.base)
+        n++;
+    return n;
+}
+function samePlan(a, b) {
+    return a.method === b.method;
+}
+/** A conversion method the class declares or inherits (a field of that
+ * name is an instance property the program sets, refused separately). */
+function declared(lowerer, info, method) {
+    if (info.fields.has(method))
+        return null;
+    const found = findMethodOn(lowerer, info, method);
+    return found ? { ret: found.sig.ret } : null;
+}
+function planOf(lowerer, info, hint, node) {
+    const exotic = declared(lowerer, info, "sym:toPrimitive");
+    if (exotic) {
+        if (!primitive(lowerer, exotic.ret))
+            refuse(lowerer, node, info, "a [Symbol.toPrimitive] method that can return an object");
+        return { method: "sym:toPrimitive", ret: exotic.ret };
+    }
+    // OrdinaryToPrimitive: "string" tries toString first, which every object
+    // has (Object.prototype.toString answers a string); "default" and
+    // "number" try valueOf first, whose Object.prototype version answers the
+    // object itself.
+    const order = hint === "string" ? ["toString"] : ["valueOf", "toString"];
+    for (const method of order) {
+        const found = declared(lowerer, info, method);
+        if (!found)
+            continue;
+        if (!primitive(lowerer, found.ret))
+            refuse(lowerer, node, info, `a '${method}' method that can return an object`);
+        return { method, ret: found.ret };
+    }
+    return { method: null };
+}
+function primitive(lowerer, type) {
+    if (type.kind === "union")
+        return (lowerer.unions.get(type.unionId)?.arms.every((arm) => PRIMITIVE_KINDS.has(arm.kind)) === true);
+    return PRIMITIVE_KINDS.has(type.kind);
+}
+/** Conversions the program can change at run time (an instance property
+ * of a method's name, a prototype write, a Symbol.toStringTag) would not be
+ * the class's declared methods. */
+function refuseReplacedConversions(lowerer, info, node) {
+    for (const method of ["toString", "valueOf"]) {
+        if (info.fields.has(method) || isClassCallback(lowerer, info, method))
+            refuse(lowerer, node, info, `a '${method}' instance property`);
+        if (lowerer.prototypeMethodAccesses.has(method))
+            refuse(lowerer, node, info, `a '${method}' the program reaches through a prototype`);
+    }
+    if (findMethodOn(lowerer, info, "get:sym:toStringTag") || info.fields.has("sym:toStringTag"))
+        refuse(lowerer, node, info, "a Symbol.toStringTag");
+}
+function refuse(lowerer, node, info, what) {
+    lowerer.unsupported("SC1090", node, `conversions of '${info.def.jsName ?? info.def.name}' instances to primitives (the class has ${what})`);
+}
+/** ToString(ToPrimitive(value, hint)) of a union whose arms are program
+ * class instances and primitives (`Box | undefined`): each arm converts as
+ * it would alone. Null for other unions. */
+export function classUnionToString(lowerer, value, hint, node) {
+    if (value.type.kind !== "union")
+        return null;
+    const unionId = value.type.unionId;
+    const arms = lowerer.unions.get(unionId)?.arms;
+    if (!arms || !arms.some((arm) => arm.kind === "object"))
+        return null;
+    const convertible = (arm) => {
+        if (PRIMITIVE_KINDS.has(arm.kind))
+            return true;
+        if (arm.kind !== "object")
+            return false;
+        const info = lowerer.classes.get(arm.className);
+        return info !== undefined && plainProgramClass(info);
+    };
+    if (!arms.every(convertible))
+        return null;
+    const loc = value.loc;
+    const prefix = [];
+    let stable = value;
+    if (!isSafeToRepeat(value)) {
+        const local = lowerer.declareHiddenLocal("%converted", value.type);
+        prefix.push({ kind: "varDecl", localId: local.id, init: value, loc });
+        stable = varRef(local.id, value.type, loc);
+    }
+    const convertArm = (tag) => {
+        const arm = arms[tag];
+        if (arm.kind === "undefinedT" || arm.kind === "nullT")
+            return {
+                kind: "strLit",
+                value: arm.kind === "nullT" ? "null" : "undefined",
+                type: STRING,
+                loc,
+            };
+        const narrowed = { kind: "unionNarrow", unionId, tag, value: stable, type: arm, loc };
+        if (arm.kind === "object")
+            return classToStringConversion(lowerer, narrowed, hint, node);
+        return lowerer.ensureString(narrowed, node);
+    };
+    let result = convertArm(arms.length - 1);
+    for (let tag = arms.length - 2; tag >= 0; tag--) {
+        result = {
+            kind: "ternary",
+            cond: { kind: "unionIsTag", unionId, tag, negated: false, value: stable, type: BOOL, loc },
+            then: convertArm(tag),
+            else_: result,
+            type: STRING,
+            loc,
+        };
+    }
+    return prefix.length > 0 ? { kind: "seqExpr", stmts: prefix, result, type: STRING, loc } : result;
+}
+//# sourceMappingURL=class-to-primitive.js.map

package/dist/frontend/lowering/class-to-primitive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-to-primitive.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-to-primitive.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAyC,MAAM,gBAAgB,CAAC;AAC/F,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAkB,MAAM,oBAAoB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AAapE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;AAE5F;;;;;;;mBAOmB;AACnB,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,KAAa,EACb,IAA0B,EAC1B,IAAa;IAEb,OAAO,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,SAAS,EAAE,EAAE,CACvE,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,CACtC,CAAC;AACJ,CAAC;AAED;;;8BAG8B;AAC9B,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,KAAa,EACb,IAAa,EACb,QAAQ,GAA4B,QAAQ;IAE5C,OAAO,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,CACxE,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CACtD,CAAC;AACJ,CAAC;AAED;yDACyD;AACzD,SAAS,iBAAiB,CACxB,OAAgB,EAChB,KAAa,EACb,IAAa,EACb,QAAiC;IAEjC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,IAAI,QAAQ,KAAK,YAAY,IAAI,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC;QAC/D,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,oEAAoE,CACrE,CAAC;IACJ,QAAQ,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAClF,KAAK,MAAM;YACT,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBAClD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACnD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAChF;YACE,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC;gBACrC,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,oDAAoD,CAAC,CAAC;YAC5F,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,uBAAuB;gBAC3B,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC5C,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAY;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,OAAO;QACrB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,IAAI,CACrF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,OAAgB,EAChB,KAAa,EACb,IAAoB,EACpB,IAAa,EACb,UAAkB,EAClB,MAAqC;IAErC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvC,KAAK,MAAM,GAAG,IAAI,OAAO;QAAE,yBAAyB,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,IAAI,GAAG,OAAO;SACjB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;QACd,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;QACtB,OAAO,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,CAAC;IAC1F,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACnE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACtE,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAc,EAAE,MAAc,EAAU,EAAE;QACzD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;YACtB,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACjF,MAAM,IAAI,GACR,IAAI,CAAC,MAAM,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChG,OAAO,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/F,CAAC,CAAC;IACF,IAAI,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACrB,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;YACjD,GAAG;SACJ,CAAC;QACF,MAAM,GAAG;YACP,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACvF,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC;YAC5B,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,UAAU;YAChB,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE;QACnE,CAAC,CAAC,MAAM,CAAC;AACb,CAAC;AAED;uDACuD;AACvD,SAAS,iBAAiB,CAAC,IAAe;IACxC,KAAK,IAAI,GAAG,GAAqB,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC3D,IACE,GAAG,CAAC,GAAG,CAAC,OAAO;YACf,GAAG,CAAC,YAAY;YAChB,GAAG,CAAC,cAAc;YAClB,GAAG,CAAC,aAAa;YACjB,GAAG,CAAC,YAAY,KAAK,SAAS;YAE9B,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CAAC,OAAgB,EAAE,IAAe;IAChD,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,GAAc,EAAQ,EAAE;QACrC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,UAAU;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,GAAG,CAAC,MAAM,CACf,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,IAAI,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CACzF,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,IAAe;IAC5B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC,IAAI;QAAE,CAAC,EAAE,CAAC;IACnD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,QAAQ,CAAC,CAAO,EAAE,CAAO;IAChC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC;AAC/B,CAAC;AAED;yEACyE;AACzE,SAAS,QAAQ,CACf,OAAgB,EAChB,IAAe,EACf,MAAwB;IAExB,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAClD,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED,SAAS,MAAM,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAoB,EAAE,IAAa;IACpF,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;IAC1D,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC;YACjC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,yDAAyD,CAAC,CAAC;QACzF,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;IACxD,CAAC;IACD,yEAAyE;IACzE,kEAAkE;IAClE,yEAAyE;IACzE,iBAAiB;IACjB,MAAM,KAAK,GAAuB,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC7F,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC;YAChC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,MAAM,oCAAoC,CAAC,CAAC;QAChF,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IACpC,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,SAAS,CAAC,OAAgB,EAAE,IAAY;IAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QACvB,OAAO,CACL,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAC9F,CAAC;IACJ,OAAO,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxC,CAAC;AAED;;mCAEmC;AACnC,SAAS,yBAAyB,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAa;IACjF,KAAK,MAAM,MAAM,IAAI,CAAC,UAAU,EAAE,SAAS,CAAU,EAAE,CAAC;QACtD,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC;YACnE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,MAAM,qBAAqB,CAAC,CAAC;QACjE,IAAI,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,MAAM,CAAC;YAC7C,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,MAAM,2CAA2C,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,qBAAqB,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC;QAC1F,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,sBAAsB,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,MAAM,CAAC,OAAgB,EAAE,IAAa,EAAE,IAAe,EAAE,IAAY;IAC5E,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,mBAAmB,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,4CAA4C,IAAI,GAAG,CACvG,CAAC;AACJ,CAAC;AAED;;4CAE4C;AAC5C,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,KAAa,EACb,IAA0B,EAC1B,IAAa;IAEb,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;IACnC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,WAAW,GAAG,CAAC,GAAW,EAAW,EAAE;QAC3C,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChD,OAAO,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACnE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACtE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,GAAW,EAAU,EAAE;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YACnD,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW;gBAClD,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACJ,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC9F,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,uBAAuB,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAE,CAAC;QAC1F,OAAO,OAAO,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC;IACF,IAAI,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG;YACP,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC1F,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC;YACrB,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACpG,CAAC"}

package/dist/frontend/lowering/class-unions.d.ts

@@ -1,5 +1,30 @@
+import * as ts from "../ts7/adapter.js";
 import { type IrExpr, type IrType } from "../../ir/ir.js";
 import type { Lowerer } from "./lowerer.js";
+/** The classes a narrowed read of a `staticClass` value can hold when the
+ * checker typed it as the subclass `narrowed`, as a class union, or null
+ * when `narrowed` is the only one.
+ *
+ * TypeScript reduces a union of type-parameter intersections by structural
+ * subtyping. With `<T extends Node>`, `node instanceof Identifier || node
+ * instanceof PrivateIdentifier` narrows `node` to `T & PrivateIdentifier`
+ * when Identifier has every member PrivateIdentifier has, so the narrowed
+ * read can hold an Identifier. Class identity is nominal in compiled code:
+ * such a read holds the narrowed class or any class under `staticClass`
+ * that is assignable to it without extending it. A narrowing outside a
+ * type-parameter intersection keeps every class it names. */
+export declare function structuralNarrowing(lowerer: Lowerer, node: ts.Node, staticClass: string, narrowed: IrType & {
+    kind: "object";
+}): (IrType & {
+    kind: "union";
+}) | null;
+/** The type a member access dispatches on when its receiver `node` is a
+ * narrowed read of a type-parameter intersection, or null to use the
+ * checker's type: the class union structuralNarrowing reads, or the
+ * receiver's own class when this instantiation's class is unrelated to the
+ * narrowed one but assignable to it (with `T = Identifier`, the reduced
+ * `T & PrivateIdentifier` still holds an Identifier). */
+export declare function structuralReadType(lowerer: Lowerer, node: ts.Expression): IrType | null;
 /** A base-class slot stays one pointer after a guard selects several
  * subclasses. Recover the tagged view from runtime membership without
  * copying the object or guessing which of the remaining layouts it has. */

package/dist/frontend/lowering/class-unions.js

@@ -1,6 +1,107 @@
-import { BOOL } from "../../ir/ir.js";
+import * as ts from "../ts7/adapter.js";
+import { BOOL, typeKey } from "../../ir/ir.js";
 import { nodeThrowExpr, varRef } from "../../ir/build.js";
 import { checkedClassAssertion } from "./class-assertions.js";
+/** The classes a narrowed read of a `staticClass` value can hold when the
+ * checker typed it as the subclass `narrowed`, as a class union, or null
+ * when `narrowed` is the only one.
+ *
+ * TypeScript reduces a union of type-parameter intersections by structural
+ * subtyping. With `<T extends Node>`, `node instanceof Identifier || node
+ * instanceof PrivateIdentifier` narrows `node` to `T & PrivateIdentifier`
+ * when Identifier has every member PrivateIdentifier has, so the narrowed
+ * read can hold an Identifier. Class identity is nominal in compiled code:
+ * such a read holds the narrowed class or any class under `staticClass`
+ * that is assignable to it without extending it. A narrowing outside a
+ * type-parameter intersection keeps every class it names. */
+export function structuralNarrowing(lowerer, node, staticClass, narrowed) {
+    if (!intersectsTypeParameter(lowerer.checker.getTypeAtLocation(node)))
+        return null;
+    const key = `${staticClass}:${narrowed.className}`;
+    let peers = lowerer.structuralClassPeers.get(key);
+    if (peers === undefined) {
+        peers = assignableClassPeers(lowerer, staticClass, narrowed.className);
+        lowerer.structuralClassPeers.set(key, peers);
+    }
+    if (peers.length === 0)
+        return null;
+    const arms = [
+        narrowed,
+        ...peers.map((className) => ({ kind: "object", className })),
+    ];
+    arms.sort((a, b) => (typeKey(a) < typeKey(b) ? -1 : 1));
+    return { kind: "union", unionId: lowerer.unions.intern(arms) };
+}
+/** The type a member access dispatches on when its receiver `node` is a
+ * narrowed read of a type-parameter intersection, or null to use the
+ * checker's type: the class union structuralNarrowing reads, or the
+ * receiver's own class when this instantiation's class is unrelated to the
+ * narrowed one but assignable to it (with `T = Identifier`, the reduced
+ * `T & PrivateIdentifier` still holds an Identifier). */
+export function structuralReadType(lowerer, node) {
+    if (!ts.isIdentifier(node) && !ts.isPropertyAccessExpression(node))
+        return null;
+    if (!intersectsTypeParameter(lowerer.checker.getTypeAtLocation(node)))
+        return null;
+    const narrowed = lowerer.mapTypeOf(lowerer.typeOf(node));
+    if (narrowed?.kind !== "object")
+        return null;
+    const stored = ts.isIdentifier(node) ? lowerer.peekLocal(node)?.type : undefined;
+    const symbol = lowerer.checker.getSymbolAtLocation(ts.isIdentifier(node) ? node : node.name);
+    const declared = stored ?? (symbol ? lowerer.mapTypeOf(lowerer.checker.getTypeOfSymbol(symbol)) : null);
+    if (declared?.kind !== "object" || declared.className === narrowed.className)
+        return null;
+    if (lowerer.isSubclassOf(narrowed.className, declared.className))
+        return structuralNarrowing(lowerer, node, declared.className, narrowed);
+    if (lowerer.isSubclassOf(declared.className, narrowed.className))
+        return null;
+    const declaredType = classInstanceType(lowerer, declared.className);
+    const narrowedType = classInstanceType(lowerer, narrowed.className);
+    return declaredType !== null &&
+        narrowedType !== null &&
+        lowerer.checker.isTypeAssignableTo(declaredType, narrowedType)
+        ? declared
+        : null;
+}
+function classInstanceType(lowerer, className) {
+    const decl = lowerer.classes.get(className)?.decl;
+    if (!decl?.name || decl.typeParameters?.nodes.length)
+        return null;
+    const symbol = lowerer.checker.getSymbolAtLocation(decl.name);
+    return symbol ? lowerer.checker.getDeclaredTypeOfSymbol(symbol) : null;
+}
+function intersectsTypeParameter(type) {
+    try {
+        if (type.isUnionType())
+            return ts.constituentTypes(type).some(intersectsTypeParameter);
+        return ((type.flags & ts.TypeFlags.Intersection) !== 0 &&
+            ts.constituentTypes(type).some((part) => (part.flags & ts.TypeFlags.TypeParameter) !== 0));
+    }
+    catch (e) {
+        if (ts.isUnreadableConstituentsPanic(e))
+            return false;
+        throw e;
+    }
+}
+/** The outermost classes under `staticClass`, other than `target` and its
+ * subclasses, whose instance type is assignable to `target`'s. */
+function assignableClassPeers(lowerer, staticClass, target) {
+    const targetType = classInstanceType(lowerer, target);
+    if (targetType === null)
+        return [];
+    const assignable = [];
+    for (const className of lowerer.classes.keys()) {
+        if (className === target ||
+            !lowerer.isSubclassOf(className, staticClass) ||
+            lowerer.isSubclassOf(className, target))
+            continue;
+        const type = classInstanceType(lowerer, className);
+        if (type !== null && lowerer.checker.isTypeAssignableTo(type, targetType))
+            assignable.push(className);
+    }
+    // A subclass of an assignable class is one of its instances already.
+    return assignable.filter((className) => !assignable.some((other) => other !== className && lowerer.isSubclassOf(className, other)));
+}
 /** A base-class slot stays one pointer after a guard selects several
  * subclasses. Recover the tagged view from runtime membership without
  * copying the object or guessing which of the remaining layouts it has. */

package/dist/frontend/lowering/class-unions.js.map

@@ -1 +1 @@
-{"version":3,"file":"class-unions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-unions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAyC,MAAM,gBAAgB,CAAC;AAC7E,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAG9D;;2EAE2E;AAC3E,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,KAAa,EACb,MAAkC;IAElC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACtD,IACE,CAAC,IAAI,EAAE,MAAM;QACb,CAAC,IAAI,CAAC,KAAK,CACT,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CACxF;QAED,OAAO,IAAI,CAAC;IACd,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,GAAG,GAAG,cAAc,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;IAC/D,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,gBAAgB,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACrD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC7C,sEAAsE;QACtE,2EAA2E;QAC3E,MAAM,OAAO,GAAG,IAAI;aACjB,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YAClB,GAAG;YACH,GAAG;YACH,SAAS,EAAE,IAAI,CAAC,MAAM,CACpB,CAAC,KAAK,EAAE,EAAE,CACR,GAAG,CAAC,IAAI,KAAK,QAAQ;gBACrB,KAAK,CAAC,IAAI,KAAK,QAAQ;gBACvB,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CACvD,CAAC,MAAM;SACT,CAAC,CAAC;aACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,OAAO,EAAE,CAAC;YACnC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACpC,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrF,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE;4BACL,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,MAAM,CAAC,OAAO;4BACvB,GAAG;4BACH,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;4BACzD,IAAI,EAAE,MAAM;4BACZ,GAAG;yBACJ;wBACD,GAAG;qBACJ;iBACF;gBACD,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,+CAA+C,EAAE,MAAM,EAAE,GAAG,CAAC;YACzF,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC7D,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACxE,UAAU,EAAE,MAAM;YAClB,IAAI;YACJ,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC5E,CAAC;AAED;;4EAE4E;AAC5E,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,KAAa,EACb,MAAc;IAEd,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC1D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IACE,CAAC,IAAI,CAAC,IAAI,CACR,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,QAAQ;YACrB,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;YAClC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CACxD;YAED,OAAO,IAAI,CAAC;QACd,OAAO,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC5D,IACE,CAAC,UAAU,EAAE,MAAM;QACnB,CAAC,UAAU,CAAC,KAAK,CACf,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,CACzF;QAED,OAAO,IAAI,CAAC;IACd,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAClF,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,OAAO,gBAAgB,CACrB,OAAO,EACP;QACE,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,OAAO;QACf,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,OAAO;QACb,GAAG,EAAE,KAAK,CAAC,GAAG;KACf,EACD,MAAM,CACP,CAAC;AACJ,CAAC;AAED;;6EAE6E;AAC7E,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,KAAa,EACb,QAAgB;IAEhB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACzD,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,IAAI,EAAE,MAAM,CAC7B,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,QAAQ;QACrB,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,eAAe,EAAE,MAAM,KAAK,MAAM,CACzE,CAAC;IACF,MAAM,MAAM,GAAG,UAAU,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,OAAO,MAAM,EAAE,IAAI,KAAK,QAAQ;QAC9B,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}
+{"version":3,"file":"class-unions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-unions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAyC,MAAM,gBAAgB,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAG9D;;;;;;;;;;;6DAW6D;AAC7D,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAa,EACb,WAAmB,EACnB,QAAqC;IAErC,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,MAAM,GAAG,GAAG,GAAG,WAAW,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;IACnD,IAAI,KAAK,GAAG,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,KAAK,GAAG,oBAAoB,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;QACvE,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,IAAI,GAAa;QACrB,QAAQ;QACR,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,SAAS,EAAE,CAAC,CAAC;KACtE,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;AACjE,CAAC;AAED;;;;;yDAKyD;AACzD,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IACtE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAChF,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,IAAI,QAAQ,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7F,MAAM,QAAQ,GACZ,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACzF,IAAI,QAAQ,EAAE,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC1F,IAAI,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC;QAC9D,OAAO,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9E,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACpE,OAAO,YAAY,KAAK,IAAI;QAC1B,YAAY,KAAK,IAAI;QACrB,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,YAAY,CAAC;QAC9D,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAgB,EAAE,SAAiB;IAC5D,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;IAClD,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACzE,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAa;IAC5C,IAAI,CAAC;QACH,IAAI,IAAI,CAAC,WAAW,EAAE;YAAE,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACvF,OAAO,CACL,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC;YAC9C,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAC1F,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACtD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED;kEACkE;AAClE,SAAS,oBAAoB,CAAC,OAAgB,EAAE,WAAmB,EAAE,MAAc;IACjF,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACtD,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/C,IACE,SAAS,KAAK,MAAM;YACpB,CAAC,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,WAAW,CAAC;YAC7C,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC;YAEvC,SAAS;QACX,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACnD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC;YACvE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC;IACD,qEAAqE;IACrE,OAAO,UAAU,CAAC,MAAM,CACtB,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAC7F,CAAC;AACJ,CAAC;AAED;;2EAE2E;AAC3E,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,KAAa,EACb,MAAkC;IAElC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACtD,IACE,CAAC,IAAI,EAAE,MAAM;QACb,CAAC,IAAI,CAAC,KAAK,CACT,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CACxF;QAED,OAAO,IAAI,CAAC;IACd,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,GAAG,GAAG,cAAc,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;IAC/D,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,gBAAgB,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACrD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC7C,sEAAsE;QACtE,2EAA2E;QAC3E,MAAM,OAAO,GAAG,IAAI;aACjB,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YAClB,GAAG;YACH,GAAG;YACH,SAAS,EAAE,IAAI,CAAC,MAAM,CACpB,CAAC,KAAK,EAAE,EAAE,CACR,GAAG,CAAC,IAAI,KAAK,QAAQ;gBACrB,KAAK,CAAC,IAAI,KAAK,QAAQ;gBACvB,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CACvD,CAAC,MAAM;SACT,CAAC,CAAC;aACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,OAAO,EAAE,CAAC;YACnC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACpC,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrF,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE;4BACL,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,MAAM,CAAC,OAAO;4BACvB,GAAG;4BACH,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;4BACzD,IAAI,EAAE,MAAM;4BACZ,GAAG;yBACJ;wBACD,GAAG;qBACJ;iBACF;gBACD,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,+CAA+C,EAAE,MAAM,EAAE,GAAG,CAAC;YACzF,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC7D,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACxE,UAAU,EAAE,MAAM;YAClB,IAAI;YACJ,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC5E,CAAC;AAED;;4EAE4E;AAC5E,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,KAAa,EACb,MAAc;IAEd,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC1D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IACE,CAAC,IAAI,CAAC,IAAI,CACR,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,QAAQ;YACrB,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;YAClC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CACxD;YAED,OAAO,IAAI,CAAC;QACd,OAAO,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC5D,IACE,CAAC,UAAU,EAAE,MAAM;QACnB,CAAC,UAAU,CAAC,KAAK,CACf,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,CACzF;QAED,OAAO,IAAI,CAAC;IACd,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAClF,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,OAAO,gBAAgB,CACrB,OAAO,EACP;QACE,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,OAAO;QACf,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,OAAO;QACb,GAAG,EAAE,KAAK,CAAC,GAAG;KACf,EACD,MAAM,CACP,CAAC;AACJ,CAAC;AAED;;6EAE6E;AAC7E,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,KAAa,EACb,QAAgB;IAEhB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACzD,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,IAAI,EAAE,MAAM,CAC7B,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,QAAQ;QACrB,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,eAAe,EAAE,MAAM,KAAK,MAAM,CACzE,CAAC;IACF,MAAM,MAAM,GAAG,UAAU,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,OAAO,MAAM,EAAE,IAAI,KAAK,QAAQ;QAC9B,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/dist/frontend/lowering/code-generation.d.ts

@@ -0,0 +1,14 @@
+import * as ts from "../ts7/adapter.js";
+import type { Lowerer } from "./lowerer.js";
+import { type IrExpr } from "../../ir/ir.js";
+export declare const CODE_GENERATION_DISALLOWED = "Code generation from strings disallowed for this context";
+/** The code-generation entry point a callee names: the stdlib `eval` or
+ * `Function` global (directly, through `globalThis.`, or through a stable
+ * alias), or the indirect-eval spelling `(0, eval)`. Null otherwise. */
+export declare function codeGenerationCalleeOf(lowerer: Lowerer, callee: ts.Expression): "eval" | "Function" | null;
+/** Lowers a code-generation call or construction to Node's refusal under
+ * --disallow-code-generation-from-strings: the callee's own operands, then
+ * the arguments in order (converted to strings for the Function
+ * constructor), then the EvalError. The result carries the use site's type
+ * (the throw always fires, so the value is never observed). */
+export declare function lowerCodeGenerationCall(lowerer: Lowerer, expr: ts.CallExpression | ts.NewExpression, kind: "eval" | "Function"): IrExpr;

package/dist/frontend/lowering/code-generation.js

@@ -0,0 +1,127 @@
+/* Code generation from strings: `eval(...)`, `new Function(...)` and
+ * `Function(...)`. A compiled binary embeds no JavaScript engine, so scriptc
+ * answers exactly as `node --disallow-code-generation-from-strings` does:
+ * every call throws the catchable EvalError "Code generation from strings
+ * disallowed for this context". Packages that probe for code generation
+ * (zod 4's `allowsEval`, template engines, CSP-aware JITs) then take their
+ * interpreted paths. The arguments still evaluate first, in order, and the
+ * Function constructor converts each to a string before it refuses, as
+ * V8's CreateDynamicFunction does; eval refuses without converting. */
+import * as ts from "../ts7/adapter.js";
+import { isJsSourceFile, locOf } from "../program.js";
+import { DYN, F64, STRING } from "../../ir/ir.js";
+import { nodeThrowExpr } from "../../ir/build.js";
+import { ambientUndefReadType, contextualUndefReadType } from "./lower-namespaces.js";
+import { stdlibGlobalNameOf } from "./surfaces.js";
+export const CODE_GENERATION_DISALLOWED = "Code generation from strings disallowed for this context";
+/** The code-generation entry point a callee names: the stdlib `eval` or
+ * `Function` global (directly, through `globalThis.`, or through a stable
+ * alias), or the indirect-eval spelling `(0, eval)`. Null otherwise. */
+export function codeGenerationCalleeOf(lowerer, callee) {
+    let e = callee;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if (ts.isBinaryExpression(e) && e.operatorToken.kind === ts.SyntaxKind.CommaToken) {
+        return codeGenerationCalleeOf(lowerer, e.right) === "eval" ? "eval" : null;
+    }
+    // Syntactic pre-check first: every call and construction asks, and only
+    // these spellings can name the globals (aliases are stdlib-resolved
+    // symbols, checked below only when the spelling could match).
+    const text = ts.isIdentifier(e) ? e.text : ts.isPropertyAccessExpression(e) ? e.name.text : null;
+    if (text === null)
+        return null;
+    if (text !== "eval" && text !== "Function" && !hasCodeGenerationAlias(lowerer))
+        return null;
+    const name = stdlibGlobalNameOf(lowerer, e);
+    return name === "eval" || name === "Function" ? name : null;
+}
+/** Some stable binding aliases `eval` or `Function` (`const F = Function`,
+ * zod 4's spelling). */
+function hasCodeGenerationAlias(lowerer) {
+    for (const name of lowerer.stdlibGlobalAliases.values()) {
+        if (name === "eval" || name === "Function")
+            return true;
+    }
+    return false;
+}
+/** The comma operands an indirect eval evaluates before the call: `a` in
+ * `(a, eval)(...)`, outermost first. */
+function indirectEvalPrefix(callee) {
+    let e = callee;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if (!ts.isBinaryExpression(e) || e.operatorToken.kind !== ts.SyntaxKind.CommaToken)
+        return [];
+    return [...indirectEvalPrefix(e.left), e.left, ...indirectEvalPrefix(e.right)].filter((operand) => {
+        let o = operand;
+        while (ts.isParenthesizedExpression(o))
+            o = o.expression;
+        return !(ts.isBinaryExpression(o) && o.operatorToken.kind === ts.SyntaxKind.CommaToken);
+    });
+}
+/** Lowers a code-generation call or construction to Node's refusal under
+ * --disallow-code-generation-from-strings: the callee's own operands, then
+ * the arguments in order (converted to strings for the Function
+ * constructor), then the EvalError. The result carries the use site's type
+ * (the throw always fires, so the value is never observed). */
+export function lowerCodeGenerationCall(lowerer, expr, kind) {
+    const loc = locOf(expr);
+    const stmts = [];
+    for (const operand of indirectEvalPrefix(expr.expression)) {
+        stmts.push({ kind: "exprStmt", expr: lowerer.lowerExpr(operand), loc: locOf(operand) });
+    }
+    for (const arg of expr.arguments?.nodes ?? []) {
+        if (ts.isSpreadElement(arg)) {
+            lowerer.noLowering(`${kind === "eval" ? "eval" : "the Function constructor"} with spread arguments`, arg, "code generation from strings throws EvalError in compiled programs, as under node --disallow-code-generation-from-strings; pass the arguments directly");
+        }
+        const value = lowerer.lowerExpr(arg);
+        const argLoc = locOf(arg);
+        if (kind === "Function" && !isPrimitiveIrType(value.type)) {
+            stmts.push({
+                kind: "exprStmt",
+                expr: {
+                    kind: "libCall",
+                    fn: "dyn.toStringCoerce",
+                    args: [lowerer.coerceToExpected(value, DYN)],
+                    type: STRING,
+                    loc: argLoc,
+                },
+                loc: argLoc,
+            });
+        }
+        else {
+            stmts.push({ kind: "exprStmt", expr: value, loc: argLoc });
+        }
+    }
+    const type = useSiteType(lowerer, expr);
+    const refusal = nodeThrowExpr(6, "", CODE_GENERATION_DISALLOWED, type, loc);
+    return stmts.length === 0 ? refusal : { kind: "seqExpr", stmts, result: refusal, type, loc };
+}
+function isPrimitiveIrType(t) {
+    return (t.kind === "string" ||
+        t.kind === "f64" ||
+        t.kind === "bool" ||
+        t.kind === "void" ||
+        t.kind === "bigint");
+}
+function useSiteType(lowerer, expr) {
+    // The Function interface has no mapping (mapping it would fence): the
+    // constructed value is checked-dynamic in JavaScript, and a typed dummy
+    // elsewhere — the throw always fires first.
+    const type = lowerer.typeOf(expr);
+    const symbol = type.getSymbol();
+    if (symbol !== undefined &&
+        ts.symbolName(symbol) === "Function" &&
+        lowerer.isStdlibSymbol(symbol)) {
+        return isJsSourceFile(ts.getSourceFileOfNode(expr)) ? DYN : F64;
+    }
+    const mapped = lowerer.mapTypeOf(type);
+    if (mapped &&
+        mapped.kind !== "void" &&
+        mapped.kind !== "func" &&
+        !lowerer.typeNamesUnregisteredClass(mapped)) {
+        return mapped;
+    }
+    return ambientUndefReadType(lowerer, expr) ?? contextualUndefReadType(lowerer, expr) ?? F64;
+}
+//# sourceMappingURL=code-generation.js.map

package/dist/frontend/lowering/code-generation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-generation.js","sourceRoot":"","sources":["../../../src/frontend/lowering/code-generation.ts"],"names":[],"mappings":"AAAA;;;;;;;;uEAQuE;AACvE,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAyC,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACzF,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AACtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnD,MAAM,CAAC,MAAM,0BAA0B,GACrC,0DAA0D,CAAC;AAE7D;;wEAEwE;AACxE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,MAAqB;IAErB,IAAI,CAAC,GAAG,MAAM,CAAC;IACf,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAClF,OAAO,sBAAsB,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7E,CAAC;IACD,wEAAwE;IACxE,oEAAoE;IACpE,8DAA8D;IAC9D,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,sBAAsB,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5F,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC5C,OAAO,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC;AAED;wBACwB;AACxB,SAAS,sBAAsB,CAAC,OAAgB;IAC9C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,mBAAmB,CAAC,MAAM,EAAE,EAAE,CAAC;QACxD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;IAC1D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;wCACwC;AACxC,SAAS,kBAAkB,CAAC,MAAqB;IAC/C,IAAI,CAAC,GAAG,MAAM,CAAC;IACf,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC9F,OAAO,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CACnF,CAAC,OAAO,EAAE,EAAE;QACV,IAAI,CAAC,GAAG,OAAO,CAAC;QAChB,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,OAAO,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAC1F,CAAC,CACF,CAAC;AACJ,CAAC;AAED;;;;+DAI+D;AAC/D,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAA0C,EAC1C,IAAyB;IAEzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QAC9C,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,0BAA0B,wBAAwB,EAChF,GAAG,EACH,wJAAwJ,CACzJ,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,oBAAoB;oBACxB,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBAC5C,IAAI,EAAE,MAAM;oBACZ,GAAG,EAAE,MAAM;iBACZ;gBACD,GAAG,EAAE,MAAM;aACZ,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,0BAA0B,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5E,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC/F,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAS;IAClC,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,QAAQ,CACpB,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAmB;IACxD,sEAAsE;IACtE,wEAAwE;IACxE,4CAA4C;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAChC,IACE,MAAM,KAAK,SAAS;QACpB,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,UAAU;QACpC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,EAC9B,CAAC;QACD,OAAO,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAClE,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACvC,IACE,MAAM;QACN,MAAM,CAAC,IAAI,KAAK,MAAM;QACtB,MAAM,CAAC,IAAI,KAAK,MAAM;QACtB,CAAC,OAAO,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAC3C,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC;AAC9F,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 & {