@scriptc/compiler 0.4.0 → 0.4.2

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

@@ -1,9 +1,11 @@
 import { varRef } from "../../ir/build.js";
-import { BOOL, DYN, F64, STRING } from "../../ir/ir.js";
+import { BOOL, DATE_T, 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";
+import { DATE_TIME_FIELD, dateRootOf } from "./builtins/date-classes.js";
+import { dateValueMethod } from "./builtins/dates.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
@@ -93,6 +95,18 @@ function classConversion(lowerer, value, hint, node, resultType, finish) {
     }
     const convert = (cls, object) => {
         const plan = plans.get(cls);
+        if (plan.method === null && plan.date) {
+            const root = dateRootOf(cls);
+            const time = {
+                kind: "fieldGet",
+                obj: lowerer.upcastTo(object, root.def.name),
+                className: root.def.name,
+                field: DATE_TIME_FIELD,
+                type: DATE_T,
+                loc,
+            };
+            return finish(dateValueMethod(plan.date, time, loc));
+        }
         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 }] : [];
@@ -150,7 +164,8 @@ function depth(info) {
     return n;
 }
 function samePlan(a, b) {
-    return a.method === b.method;
+    return (a.method === b.method &&
+        (a.method !== null || b.method !== null || a.date === b.date));
 }
 /** A conversion method the class declares or inherits (a field of that
  * name is an instance property the program sets, refused separately). */
@@ -170,12 +185,17 @@ function planOf(lowerer, info, hint, node) {
     // 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"];
+    // object itself. Date.prototype[Symbol.toPrimitive] takes "default" as
+    // "string", and Date.prototype answers both methods with primitives.
+    const date = dateRootOf(info) !== null;
+    const order = hint === "string" || (date && hint === "default") ? ["toString"] : ["valueOf", "toString"];
     for (const method of order) {
         const found = declared(lowerer, info, method);
-        if (!found)
+        if (!found) {
+            if (date && method !== "sym:toPrimitive")
+                return { method: null, date: method };
             continue;
+        }
         if (!primitive(lowerer, found.ret))
             refuse(lowerer, node, info, `a '${method}' method that can return an object`);
         return { method, ret: found.ret };
@@ -204,18 +224,21 @@ 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. */
+ * class instances, URLs and primitives (`Box | undefined`, `string | URL`):
+ * 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"))
+    if (!arms || !arms.some((arm) => arm.kind === "object" || arm.kind === "url"))
         return null;
     const convertible = (arm) => {
         if (PRIMITIVE_KINDS.has(arm.kind))
             return true;
+        // A URL arm converts through its href, like String(url).
+        if (arm.kind === "url")
+            return true;
         if (arm.kind !== "object")
             return false;
         const info = lowerer.classes.get(arm.className);

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

@@ -1 +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"}
+{"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,EACL,IAAI,EACJ,MAAM,EACN,GAAG,EACH,GAAG,EACH,MAAM,GAIP,MAAM,gBAAgB,CAAC;AACxB,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;AACpE,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAgBtD,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,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAE,CAAC;YAC9B,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAC5C,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;gBACxB,KAAK,EAAE,eAAe;gBACtB,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;YACF,OAAO,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAE,CAAC,CAAC;QACxD,CAAC;QACD,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,CACL,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QACrB,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAM,CAAuB,CAAC,IAAI,CAAC,CACrF,CAAC;AACJ,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,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IACvC,MAAM,KAAK,GACT,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,SAAS,CAAC,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,EAAE,CAAC;YACX,IAAI,IAAI,IAAI,MAAM,KAAK,iBAAiB;gBAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAChF,SAAS;QACX,CAAC;QACD,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;;iEAEiE;AACjE,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,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3F,MAAM,WAAW,GAAG,CAAC,GAAW,EAAW,EAAE;QAC3C,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,yDAAyD;QACzD,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACpC,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.js

@@ -1,3 +1,4 @@
+import { keyedHelperName } from "./stable-names.js";
 import * as ts from "../ts7/adapter.js";
 import { BOOL, typeKey } from "../../ir/ir.js";
 import { nodeThrowExpr, varRef } from "../../ir/build.js";
@@ -117,7 +118,7 @@ export function narrowClassUnion(lowerer, value, target) {
     const key = `classUnion:${source.className}:${target.unionId}`;
     let helper = lowerer.valueHelpers.get(key);
     if (!helper) {
-        helper = `%class.union.${lowerer.valueHelpers.size}`;
+        helper = keyedHelperName(lowerer, "%class.union", key);
         lowerer.valueHelpers.set(key, helper);
         const input = varRef("value.0", source, loc);
         // Rank by ancestry before sorting: returning zero for unrelated pairs

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,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"}
+{"version":3,"file":"class-unions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-unions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,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,eAAe,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC;QACvD,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/coercions/fresh-spread.d.ts

@@ -0,0 +1,13 @@
+import * as ts from "../../ts7/adapter.js";
+import type { IrExpr, IrType, SrcLoc } from "../../../ir/ir.js";
+import type { Lowerer } from "../lowerer.js";
+/** Whether the elements a spread inserts are reachable only through it: an
+ * array literal (`...(cond ? [{ ... }] : [])`), or an unexported const
+ * initialized by one that this spread is the only reference to, and that
+ * the spread reads at most once per evaluation of the initializer. Converting such elements
+ * into the destination's element layout copies them, which nothing can
+ * observe. */
+export declare function freshSpreadSource(lowerer: Lowerer, node: ts.Expression): boolean;
+/** A fresh array spread converted into the destination's array layout by
+ * the structural width lift, or null when the layouts do not lift. */
+export declare function liftedFreshSpread(lowerer: Lowerer, node: ts.Expression, source: IrExpr, arrType: IrType, loc: SrcLoc): IrExpr | null;

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

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

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

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

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

@@ -1,8 +1,10 @@
+import { keyedHelperName } from "../stable-names.js";
 import { dynUndefinedExpr } from "../../../ir/build.js";
 import { buildFunctionAdapter } from "./builders.js";
 import { InternalCompilerError } from "../../../errors.js";
 import { canAdaptDynFuncTo, canDynCheckTo, DYN, F64, isUnitType, STRING, typeEquals, UNDEFINED_T, } from "../../../ir/ir.js";
 import { typeKey } from "../../type-mapper.js";
+import { newFnCtx } from "../function-context.js";
 import { maybePromiseUnionOf } from "../maybe-promise.js";
 /** Wrap a zero-argument function whose array result needs an element
  * conversion. Each invocation creates a fresh converted array; the factory
@@ -19,7 +21,7 @@ export function funcReturnWidthAdapter(lowerer, fromT, toT, loc) {
     const existing = lowerer.valueHelpers.get(key);
     if (existing)
         return existing;
-    const name = `%fn.width.${lowerer.valueHelpers.size}`;
+    const name = keyedHelperName(lowerer, "%fn.width", key);
     lowerer.valueHelpers.set(key, name);
     lowerer.freshClosureAdapters.add(name);
     // The returned closure's body: call the captured original, width-map.
@@ -129,7 +131,7 @@ function restPackingAdapter(lowerer, fromT, toT, loc) {
     const existing = lowerer.coercions.retags.get(key);
     if (existing)
         return existing;
-    const name = `%fn.adapt.${lowerer.coercions.retags.size}`;
+    const name = keyedHelperName(lowerer, "%fn.adapt", key);
     lowerer.coercions.retags.set(key, name);
     lowerer.freshClosureAdapters.add(name);
     const fixed = fromT.params.length - 1;
@@ -180,7 +182,7 @@ function funcIntoDynRestAdapter(lowerer, fromT, toT, loc) {
     const existing = lowerer.coercions.retags.get(key);
     if (existing)
         return existing;
-    const name = `%fn.adapt.${lowerer.coercions.retags.size}`;
+    const name = keyedHelperName(lowerer, "%fn.adapt", key);
     lowerer.coercions.retags.set(key, name);
     lowerer.freshClosureAdapters.add(name);
     const params = [{ localId: "rest.0", name: "args", type: DYN }];
@@ -250,6 +252,11 @@ export function funcCoerceAdapter(lowerer, fromT, toT, loc) {
         const expected = fromT.params[i];
         if (lowerer.coercibleValue(actual, expected))
             continue;
+        // A record argument the parameter's shape is a structural width of
+        // (members missing from the argument are optional there): the
+        // record width conversion.
+        if (lowerer.widthLiftPlan(actual, expected))
+            continue;
         if (actual.kind === "union" && expected.kind === "dyn") {
             const arms = lowerer.unions.get(actual.unionId)?.arms.filter((arm) => lowerer.dynConvertible(arm)) ?? [];
             if (arms.length > 0) {
@@ -297,11 +304,23 @@ export function funcCoerceAdapter(lowerer, fromT, toT, loc) {
         canDynCheckTo(toT.ret, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id));
     if (checkedRet)
         strandRet = false;
+    // A Promise result whose payload widens into the slot's (a record with
+    // extra, optional or nested members, `Promise<Narrow>` into
+    // `Promise<Wide>`): the result keeps its identity and converts its
+    // payload when it settles (coerceToExpected's boxed-settlement rule).
+    if (strandRet &&
+        fromT.ret.kind === "promise" &&
+        toT.ret.kind === "promise" &&
+        lowerer.promisePayloadWidens(fromT.ret, toT.ret))
+        strandRet = false;
+    // A record result the slot's result is a structural width of.
+    if (strandRet && lowerer.widthLiftPlan(fromT.ret, toT.ret))
+        strandRet = false;
     const key = `fnadapt:${typeKey(fromT)}:${typeKey(toT)}`;
     const existing = lowerer.coercions.retags.get(key);
     if (existing)
         return existing;
-    const name = `%fn.adapt.${lowerer.coercions.retags.size}`;
+    const name = keyedHelperName(lowerer, "%fn.adapt", key);
     lowerer.coercions.retags.set(key, name);
     lowerer.freshClosureAdapters.add(name);
     const params = toT.params.map((t, i) => ({
@@ -320,83 +339,94 @@ export function funcCoerceAdapter(lowerer, fromT, toT, loc) {
         },
         loc,
     });
+    // The body lowers in the adapter's own function context: conversions
+    // that need scratch locals (a union of record results lifted into one
+    // record slot) declare them in the adapter, not in the function that
+    // asked for it.
+    const context = newFnCtx(false, null, null, toT.ret);
     let body;
-    if (strandParams) {
-        body = [
-            strandThrow(`a '${lowerer.fmt(fromT)}' function invoked through a '${lowerer.fmt(toT)}' slot (the parameter types cannot convert — the checker's loose function compatibility admitted the assignment, but the call has no exact lowering)`),
-        ];
-    }
-    else {
-        const args = fromT.params.map((pt, i) => {
-            const aRef = { kind: "varRef", localId: `a.${i}`, type: toT.params[i], loc };
-            const partial = partialDynParams.get(i);
-            if (partial && aRef.type.kind === "union") {
-                const source = lowerer.unions.get(aRef.type.unionId);
-                const supported = partial.kind === "union" ? lowerer.unions.get(partial.unionId).arms : [partial];
-                const rejected = new Set(source.arms.flatMap((arm, tag) => supported.some((accepted) => typeEquals(accepted, arm)) ? [] : [tag]));
-                const narrow = partial.kind === "union"
-                    ? lowerer.unionRetagHelper(aRef.type.unionId, partial.unionId, loc, rejected)
-                    : lowerer.narrowedArmHelper(aRef.type.unionId, partial, loc);
-                if (!narrow)
-                    throw new InternalCompilerError("lowerer bug: partial callable parameter stopped narrowing");
-                return lowerer.coerceToExpected({ kind: "call", callee: narrow, args: [aRef], type: partial, loc }, pt);
-            }
-            const narrowed = narrowedParams.get(i);
-            const helper = narrowed && aRef.type.kind === "union" && pt.kind === "union"
-                ? lowerer.unionRetagHelper(aRef.type.unionId, pt.unionId, loc, narrowed)
-                : null;
-            const converted = helper
-                ? { kind: "call", callee: helper, args: [aRef], type: pt, loc }
-                : lowerer.coerceToExpected(aRef, pt);
-            if (!typeEquals(converted.type, pt))
-                throw new InternalCompilerError("lowerer bug: probed fn-adapter param stopped coercing");
-            return converted;
-        });
-        const call = {
-            kind: "callValue",
-            callee: { kind: "varRef", localId: "f.0", type: fromT, loc },
-            receiver: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
-            args,
-            type: fromT.ret,
-            loc,
-        };
-        if (toT.ret.kind === "void") {
-            body = [
-                { kind: "exprStmt", expr: call, loc },
-                { kind: "return", value: null, loc },
-            ];
-        }
-        else if (voidRet === "dyn") {
-            body = [
-                { kind: "exprStmt", expr: call, loc },
-                { kind: "return", value: dynUndefinedExpr(loc), loc },
-            ];
-        }
-        else if (voidRet === "strand") {
-            body = [
-                { kind: "exprStmt", expr: call, loc },
-                strandThrow(`a void result where the '${lowerer.fmt(toT)}' slot promises '${lowerer.fmt(toT.ret)}' (a thrower typed 'never' never reaches this; a genuinely void function has no result to hand over)`),
-            ];
-        }
-        else if (strandRet) {
+    lowerer.fnStack.push(context);
+    try {
+        if (strandParams) {
             body = [
-                { kind: "exprStmt", expr: call, loc },
-                strandThrow(`a '${lowerer.fmt(fromT)}' function invoked through a '${lowerer.fmt(toT)}' slot (the result cannot convert to '${lowerer.fmt(toT.ret)}' — the checker's loose function compatibility admitted the assignment, but the call has no exact lowering)`),
-            ];
-        }
-        else if (checkedRet) {
-            body = [
-                { kind: "return", value: { kind: "dynCheck", value: call, type: toT.ret, loc }, loc },
+                strandThrow(`a '${lowerer.fmt(fromT)}' function invoked through a '${lowerer.fmt(toT)}' slot (the parameter types cannot convert — the checker's loose function compatibility admitted the assignment, but the call has no exact lowering)`),
             ];
         }
         else {
-            const result = lowerer.coerceToExpected(call, toT.ret);
-            if (!typeEquals(result.type, toT.ret))
-                throw new InternalCompilerError("lowerer bug: probed fn-adapter return stopped coercing");
-            body = [{ kind: "return", value: result, loc }];
+            const args = fromT.params.map((pt, i) => {
+                const aRef = { kind: "varRef", localId: `a.${i}`, type: toT.params[i], loc };
+                const partial = partialDynParams.get(i);
+                if (partial && aRef.type.kind === "union") {
+                    const source = lowerer.unions.get(aRef.type.unionId);
+                    const supported = partial.kind === "union" ? lowerer.unions.get(partial.unionId).arms : [partial];
+                    const rejected = new Set(source.arms.flatMap((arm, tag) => supported.some((accepted) => typeEquals(accepted, arm)) ? [] : [tag]));
+                    const narrow = partial.kind === "union"
+                        ? lowerer.unionRetagHelper(aRef.type.unionId, partial.unionId, loc, rejected)
+                        : lowerer.narrowedArmHelper(aRef.type.unionId, partial, loc);
+                    if (!narrow)
+                        throw new InternalCompilerError("lowerer bug: partial callable parameter stopped narrowing");
+                    return lowerer.coerceToExpected({ kind: "call", callee: narrow, args: [aRef], type: partial, loc }, pt);
+                }
+                const narrowed = narrowedParams.get(i);
+                const helper = narrowed && aRef.type.kind === "union" && pt.kind === "union"
+                    ? lowerer.unionRetagHelper(aRef.type.unionId, pt.unionId, loc, narrowed)
+                    : null;
+                const converted = helper
+                    ? { kind: "call", callee: helper, args: [aRef], type: pt, loc }
+                    : lowerer.coerceToExpected(aRef, pt);
+                if (!typeEquals(converted.type, pt))
+                    throw new InternalCompilerError("lowerer bug: probed fn-adapter param stopped coercing");
+                return converted;
+            });
+            const call = {
+                kind: "callValue",
+                callee: { kind: "varRef", localId: "f.0", type: fromT, loc },
+                receiver: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
+                args,
+                type: fromT.ret,
+                loc,
+            };
+            if (toT.ret.kind === "void") {
+                body = [
+                    { kind: "exprStmt", expr: call, loc },
+                    { kind: "return", value: null, loc },
+                ];
+            }
+            else if (voidRet === "dyn") {
+                body = [
+                    { kind: "exprStmt", expr: call, loc },
+                    { kind: "return", value: dynUndefinedExpr(loc), loc },
+                ];
+            }
+            else if (voidRet === "strand") {
+                body = [
+                    { kind: "exprStmt", expr: call, loc },
+                    strandThrow(`a void result where the '${lowerer.fmt(toT)}' slot promises '${lowerer.fmt(toT.ret)}' (a thrower typed 'never' never reaches this; a genuinely void function has no result to hand over)`),
+                ];
+            }
+            else if (strandRet) {
+                body = [
+                    { kind: "exprStmt", expr: call, loc },
+                    strandThrow(`a '${lowerer.fmt(fromT)}' function invoked through a '${lowerer.fmt(toT)}' slot (the result cannot convert to '${lowerer.fmt(toT.ret)}' — the checker's loose function compatibility admitted the assignment, but the call has no exact lowering)`),
+                ];
+            }
+            else if (checkedRet) {
+                body = [
+                    { kind: "return", value: { kind: "dynCheck", value: call, type: toT.ret, loc }, loc },
+                ];
+            }
+            else {
+                const result = lowerer.coerceToExpected(call, toT.ret);
+                if (!typeEquals(result.type, toT.ret))
+                    throw new InternalCompilerError("lowerer bug: probed fn-adapter return stopped coercing");
+                body = [{ kind: "return", value: result, loc }];
+            }
         }
     }
-    lowerer.liftedFns.push(...buildFunctionAdapter(name, fromT, toT, params, [], body, loc));
+    finally {
+        lowerer.fnStack.pop();
+    }
+    lowerer.liftedFns.push(...buildFunctionAdapter(name, fromT, toT, params, context.locals, body, loc));
     return name;
 }
 /** The spawnSync-runner VALUE adapter's plan — a function returning the
@@ -500,7 +530,7 @@ export function spawnResFnAdapter(lowerer, fromT, toT, loc) {
     const existing = lowerer.valueHelpers.get(key);
     if (existing)
         return existing;
-    const name = `%fnval.spawnres.${lowerer.valueHelpers.size}`;
+    const name = keyedHelperName(lowerer, "%fnval.spawnres", key);
     lowerer.valueHelpers.set(key, name);
     lowerer.freshClosureAdapters.add(name);
     const params = toT.params.map((p, i) => ({