@scriptc/compiler 0.2.7 → 0.2.8

package/dist/frontend/lowering/coercions/state.d.ts

@@ -1,3 +1,4 @@
+import type { IrType } from "../../../ir/ir.js";
 /** Per-compilation conversion state. Recursive plans are scoped to the
  * active planning stack; only fully validated copy routes are memoized. */
 export declare class CoercionState {
@@ -8,6 +9,11 @@ export declare class CoercionState {
         unions: number;
     }>;
     readonly checkedNarrows: Set<string>;
+    readonly checkedNarrowArms: Map<string, {
+        unionId: string;
+        tag: number;
+        target: IrType;
+    }>;
     readonly retags: Map<string, string>;
     readonly narrows: Map<string, string>;
     readonly islandInputs: Map<string, string>;

package/dist/frontend/lowering/coercions/state.js

@@ -9,6 +9,8 @@ export class CoercionState {
     copyRetags = new Map();
     // Provenance for checked extraction; consumers must not infer it from names.
     checkedNarrows = new Set();
+    // The extracted arm of each checked (non-defaulting) extraction helper.
+    checkedNarrowArms = new Map();
     retags = new Map();
     narrows = new Map();
     islandInputs = new Map();

package/dist/frontend/lowering/coercions/state.js.map

@@ -1 +1 @@
-{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/state.ts"],"names":[],"mappings":"AAAA;2EAC2E;AAC3E,MAAM,OAAO,aAAa;IACxB,uEAAuE;IACvE,mEAAmE;IACnE,0EAA0E;IACjE,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,uEAAuE;IAC9D,UAAU,GAAG,IAAI,GAAG,EAA4D,CAAC;IAC1F,6EAA6E;IACpE,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnC,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;CACnD"}
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/state.ts"],"names":[],"mappings":"AAEA;2EAC2E;AAC3E,MAAM,OAAO,aAAa;IACxB,uEAAuE;IACvE,mEAAmE;IACnE,0EAA0E;IACjE,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,uEAAuE;IAC9D,UAAU,GAAG,IAAI,GAAG,EAA4D,CAAC;IAC1F,6EAA6E;IACpE,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,wEAAwE;IAC/D,iBAAiB,GAAG,IAAI,GAAG,EAA4D,CAAC;IACxF,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnC,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;CACnD"}

package/dist/frontend/lowering/coercions/unions.d.ts

@@ -52,6 +52,14 @@ export declare function unionRetagHelper(lowerer: Lowerer, fromId: string, toId:
  * impossible value flow on). Null when the target isn't a non-unit arm
  * of the union — those uses keep their erasure/fences. */
 export declare function narrowedArmHelper(lowerer: Lowerer, fromId: string, target: IrType, loc: SrcLoc): string | null;
+/** A checked extraction at its use. A plain read tests the stored tag in
+ * place and projects the payload directly, so member reads can borrow it;
+ * every other arm throws the helper's TypeError with the same message.
+ * Other operands call the interned helper to evaluate them exactly once. */
+export declare function checkedNarrowCall(lowerer: Lowerer, helper: string, value: IrExpr, type: IrType, loc: SrcLoc): IrExpr;
+/** The operand of a checked extraction in either form checkedNarrowCall
+ * produces, or null for every other expression. */
+export declare function checkedNarrowOperand(lowerer: Lowerer, value: IrExpr): IrExpr | null;
 /** The DEFERRED-INIT field read (`stream!: T` assigned past the
  * constructor's top level — the slot is `T | undefined`): interned
  * `%deferred.read.<n>(u)` extracting the declared type. SCALAR arms

package/dist/frontend/lowering/coercions/unions.js

@@ -1,8 +1,10 @@
-import { buildUnionNarrow } from "../union-narrow.js";
+import { buildUnionNarrow, unionNarrowFailureMessage } from "../union-narrow.js";
+import { isSafeToRepeat } from "../expressions/evaluation-safety.js";
+import { nodeThrowExpr } from "../../../ir/build.js";
 import { planUnionRetag, buildUnionRetag, planRecordUnionWrap, buildRecordUnionWrap, } from "../union-retag.js";
 import { InternalCompilerError } from "../../../errors.js";
 import * as ts from "../../ts7/adapter.js";
-import { BOOL, F64, isUnitType, STRING } from "../../../ir/ir.js";
+import { BOOL, F64, isUnitType, STRING, typeEquals } from "../../../ir/ir.js";
 import { typeKey } from "../../type-mapper.js";
 /** Validate the complete union conversion before interning helpers.
  * Recursive width plans close through the same in-progress pair guard;
@@ -278,9 +280,72 @@ export function narrowedArmHelper(lowerer, fromId, target, loc) {
     const fn = buildUnionNarrow(name, from, target, loc, (type) => lowerer.fmt(type));
     if (!fn)
         throw new InternalCompilerError("lowerer bug: invalid checked union extraction");
+    lowerer.coercions.checkedNarrowArms.set(name, { unionId: fromId, tag, target: from.arms[tag] });
     lowerer.liftedFns.push(fn);
     return name;
 }
+/** A checked extraction at its use. A plain read tests the stored tag in
+ * place and projects the payload directly, so member reads can borrow it;
+ * every other arm throws the helper's TypeError with the same message.
+ * Other operands call the interned helper to evaluate them exactly once. */
+export function checkedNarrowCall(lowerer, helper, value, type, loc) {
+    const call = { kind: "call", callee: helper, args: [value], type, loc };
+    const arm = lowerer.coercions.checkedNarrowArms.get(helper);
+    const from = arm ? lowerer.unions.get(arm.unionId) : undefined;
+    if (!arm ||
+        !from ||
+        from.arms.length < 2 ||
+        value.type.kind !== "union" ||
+        value.type.unionId !== arm.unionId ||
+        !typeEquals(type, arm.target) ||
+        !isSafeToRepeat(value))
+        return call;
+    const unionId = arm.unionId;
+    const isTag = (tag) => ({
+        kind: "unionIsTag",
+        unionId,
+        tag,
+        negated: false,
+        value,
+        type: BOOL,
+        loc,
+    });
+    let failure = null;
+    for (let tag = from.arms.length - 1; tag >= 0; tag--) {
+        if (tag === arm.tag)
+            continue;
+        const message = unionNarrowFailureMessage(from.arms[tag], (t) => lowerer.fmt(t));
+        const thrown = nodeThrowExpr(1, "", message, type, loc);
+        failure =
+            failure === null
+                ? thrown
+                : { kind: "ternary", cond: isTag(tag), then: thrown, else_: failure, type, loc };
+    }
+    return {
+        kind: "ternary",
+        cond: isTag(arm.tag),
+        then: { kind: "unionNarrow", unionId, tag: arm.tag, value, type, loc },
+        else_: failure,
+        type,
+        loc,
+    };
+}
+/** The operand of a checked extraction in either form checkedNarrowCall
+ * produces, or null for every other expression. */
+export function checkedNarrowOperand(lowerer, value) {
+    if (value.kind === "call")
+        return lowerer.coercions.checkedNarrows.has(value.callee) && value.args.length === 1
+            ? value.args[0]
+            : null;
+    if (value.kind === "ternary" &&
+        value.cond.kind === "unionIsTag" &&
+        value.then.kind === "unionNarrow" &&
+        value.then.value === value.cond.value &&
+        value.then.tag === value.cond.tag &&
+        !value.cond.negated)
+        return value.cond.value;
+    return null;
+}
 /** The DEFERRED-INIT field read (`stream!: T` assigned past the
  * constructor's top level — the slot is `T | undefined`): interned
  * `%deferred.read.<n>(u)` extracting the declared type. SCALAR arms

package/dist/frontend/lowering/coercions/unions.js.map

@@ -1 +1 @@
-{"version":3,"file":"unions.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/unions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EACL,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE3C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAG/C;;yEAEyE;AACzE,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,MAAc,EAAE,IAAY;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAC/B,MAAM,GAAG,GAAG,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC;IAClC,IAAI,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,CACL,cAAc,CACZ,IAAI,EACJ,EAAE,EACF,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAC9C,KAAK,IAAI,CACX,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;aAWa;AACb,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAa,EACb,MAAc,EACd,IAAY,EACZ,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5F,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,sCAAsC;QAC/D,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,sDAAsD;IAC7F,OAAO,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;AAChE,CAAC;AAED;;;;;;;oEAOoE;AACpE,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAY,EACZ,QAAgB,EAChB,GAAW;IAEX,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IACE,QAAQ,CAAC,IAAI,KAAK,OAAO;QACzB,QAAQ,CAAC,IAAI,KAAK,MAAM;QACxB,QAAQ,CAAC,IAAI,KAAK,KAAK;QACvB,QAAQ,CAAC,IAAI,KAAK,OAAO;QACzB,UAAU,CAAC,QAAQ,CAAC,EACpB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;IACpE,MAAM,GAAG,GAAG,cAAc,OAAO,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAChE,IAAI,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,gBAAgB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACvD,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,QAAQ;YACpB,MAAM,EAAE,EAAE;YACV,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,GAAG,IAAI,+BAA+B,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,mEAAmE;gCACrI,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AACvE,CAAC;AAED;;;;;;;;;cASc;AACd,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAY,EACZ,QAAoC,EACpC,GAAW;IAEX,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;IACtB,IAAI,IAAY,CAAC;IACjB,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;IAC1D,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9E,gEAAgE;QAChE,gEAAgE;QAChE,gEAAgE;QAChE,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;IACzC,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzD,kEAAkE;QAClE,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAChC,CAAC,GAAG,EAAE,EAAE,CACN,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC/C,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;YACjD,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,IAAI,CAC3C,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;IACzC,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC;IACd,CAAC;IACD,oEAAoE;IACpE,sEAAsE;IACtE,2DAA2D;IAC3D,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,UAAU,QAAQ,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACzD,IAAI,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,iBAAiB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACxD,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;QACjE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YACtE,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YACjF,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,GAAG,IAAI,gGAAgG;gCAC9G,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,MAAmC,EACnC,IAAY,EACZ,GAAW;IAEX,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,GAAG,GAAG,cAAc,MAAM,CAAC,OAAO,IAAI,IAAI,EAAE,CAAC;IACnD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,gBAAgB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7D,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CACrE,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAC9C,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,MAAc,EACd,IAAY,EACZ,GAAW,EACX,SAA+B;IAE/B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,OAAO,GAAG,GAAG,MAAM,IAAI,IAAI,IAAI,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACrH,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzD,IACE,MAAM;QACN,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,QAAQ;QACzC,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,QAAQ;QAEzC,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,MAAM,IAAI,GAAG,cAAc,CACzB,IAAI,EACJ,EAAE,EACF,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,EAC7C,SAAS,CACV,CAAC;IACF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,gEAAgE;IAChE,sEAAsE;IACtE,6DAA6D;IAC7D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QACxB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,QAAQ,IAAI,gBAAgB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACzE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,eAAe,CACb,IAAI,EACJ,IAAI,EACJ,EAAE,EACF,IAAI,EACJ,GAAG,EACH,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EACnE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAC5B,CACF,CAAC;IACJ,CAAC;IACD,uEAAuE;IACvE,qEAAqE;IACrE,IACE,IAAI,CAAC,KAAK,CACR,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;YACpB,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM;YAC/B,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAC9D,EACD,CAAC;QACD,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE;YACxC,IAAI;YACJ,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ;YAC/B,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ;SAChC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;0DAM0D;AAC1D,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,MAAc,EACd,MAAc,EACd,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,GAAG,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC/C,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAC/D,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzC,OAAO,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAClF,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,qBAAqB,CAAC,+CAA+C,CAAC,CAAC;IAC1F,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;qDASqD;AACrD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,MAAc,EACd,MAAc,EACd,GAAW;IAEX,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACpD,OAAO,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,IAAI,CAAC,IAAI,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,GAAG,GAAG,YAAY,MAAM,IAAI,GAAG,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,kBAAkB,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAChE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GACR,MAAM,CAAC,IAAI,KAAK,MAAM;QACpB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACpD,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACrD,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACxF,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,qBAAqB,CAAC,gDAAgD,CAAC,CAAC;IAC3F,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"unions.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/unions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE3C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC9E,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAG/C;;yEAEyE;AACzE,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,MAAc,EAAE,IAAY;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAC/B,MAAM,GAAG,GAAG,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC;IAClC,IAAI,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,CACL,cAAc,CACZ,IAAI,EACJ,EAAE,EACF,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAC9C,KAAK,IAAI,CACX,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;aAWa;AACb,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAa,EACb,MAAc,EACd,IAAY,EACZ,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5F,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,sCAAsC;QAC/D,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,sDAAsD;IAC7F,OAAO,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;AAChE,CAAC;AAED;;;;;;;oEAOoE;AACpE,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAY,EACZ,QAAgB,EAChB,GAAW;IAEX,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IACE,QAAQ,CAAC,IAAI,KAAK,OAAO;QACzB,QAAQ,CAAC,IAAI,KAAK,MAAM;QACxB,QAAQ,CAAC,IAAI,KAAK,KAAK;QACvB,QAAQ,CAAC,IAAI,KAAK,OAAO;QACzB,UAAU,CAAC,QAAQ,CAAC,EACpB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;IACpE,MAAM,GAAG,GAAG,cAAc,OAAO,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAChE,IAAI,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,gBAAgB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACvD,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,QAAQ;YACpB,MAAM,EAAE,EAAE;YACV,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,GAAG,IAAI,+BAA+B,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,mEAAmE;gCACrI,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AACvE,CAAC;AAED;;;;;;;;;cASc;AACd,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAY,EACZ,QAAoC,EACpC,GAAW;IAEX,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;IACtB,IAAI,IAAY,CAAC;IACjB,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;IAC1D,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9E,gEAAgE;QAChE,gEAAgE;QAChE,gEAAgE;QAChE,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;IACzC,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzD,kEAAkE;QAClE,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAChC,CAAC,GAAG,EAAE,EAAE,CACN,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC/C,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;YACjD,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,IAAI,CAC3C,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;IACzC,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC;IACd,CAAC;IACD,oEAAoE;IACpE,sEAAsE;IACtE,2DAA2D;IAC3D,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,UAAU,QAAQ,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACzD,IAAI,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,iBAAiB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACxD,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;QACjE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YACtE,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YACjF,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,GAAG,IAAI,gGAAgG;gCAC9G,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,MAAmC,EACnC,IAAY,EACZ,GAAW;IAEX,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,GAAG,GAAG,cAAc,MAAM,CAAC,OAAO,IAAI,IAAI,EAAE,CAAC;IACnD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,gBAAgB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7D,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CACrE,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAC9C,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,MAAc,EACd,IAAY,EACZ,GAAW,EACX,SAA+B;IAE/B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,OAAO,GAAG,GAAG,MAAM,IAAI,IAAI,IAAI,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACrH,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzD,IACE,MAAM;QACN,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,QAAQ;QACzC,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,QAAQ;QAEzC,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,MAAM,IAAI,GAAG,cAAc,CACzB,IAAI,EACJ,EAAE,EACF,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,EAC7C,SAAS,CACV,CAAC;IACF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,gEAAgE;IAChE,sEAAsE;IACtE,6DAA6D;IAC7D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QACxB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,QAAQ,IAAI,gBAAgB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACzE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,eAAe,CACb,IAAI,EACJ,IAAI,EACJ,EAAE,EACF,IAAI,EACJ,GAAG,EACH,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EACnE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAC5B,CACF,CAAC;IACJ,CAAC;IACD,uEAAuE;IACvE,qEAAqE;IACrE,IACE,IAAI,CAAC,KAAK,CACR,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;YACpB,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM;YAC/B,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAC9D,EACD,CAAC;QACD,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE;YACxC,IAAI;YACJ,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ;YAC/B,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ;SAChC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;0DAM0D;AAC1D,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,MAAc,EACd,MAAc,EACd,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,GAAG,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC/C,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAC/D,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzC,OAAO,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAClF,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,qBAAqB,CAAC,+CAA+C,CAAC,CAAC;IAC1F,OAAO,CAAC,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC;IACjG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;4EAG4E;AAC5E,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,MAAc,EACd,KAAa,EACb,IAAY,EACZ,GAAW;IAEX,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChF,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,IACE,CAAC,GAAG;QACJ,CAAC,IAAI;QACL,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO;QAClC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC;QAC7B,CAAC,cAAc,CAAC,KAAK,CAAC;QAEtB,OAAO,IAAI,CAAC;IACd,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;QACtC,IAAI,EAAE,YAAY;QAClB,OAAO;QACP,GAAG;QACH,OAAO,EAAE,KAAK;QACd,KAAK;QACL,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QACrD,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG;YAAE,SAAS;QAC9B,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACxD,OAAO;YACL,OAAO,KAAK,IAAI;gBACd,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvF,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;QACpB,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;QACtE,KAAK,EAAE,OAAQ;QACf,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;mDACmD;AACnD,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,KAAa;IAClE,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QACvB,OAAO,OAAO,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAClF,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE;YAChB,CAAC,CAAC,IAAI,CAAC;IACX,IACE,KAAK,CAAC,IAAI,KAAK,SAAS;QACxB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;QAChC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QACjC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK;QACrC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG;QACjC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO;QAEnB,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;IAC1B,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;qDASqD;AACrD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,MAAc,EACd,MAAc,EACd,GAAW;IAEX,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACpD,OAAO,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,IAAI,CAAC,IAAI,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,GAAG,GAAG,YAAY,MAAM,IAAI,GAAG,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,kBAAkB,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAChE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GACR,MAAM,CAAC,IAAI,KAAK,MAAM;QACpB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACpD,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACrD,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACxF,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,qBAAqB,CAAC,gDAAgD,CAAC,CAAC;IAC3F,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/collation-repertoire.d.ts

@@ -0,0 +1 @@
+export declare function isCollationCovered(text: string): boolean;

package/dist/frontend/lowering/collation-repertoire.js

@@ -0,0 +1,19 @@
+/* The code points the runtime's root-locale collation table covers
+ * (packages/runtime/src/scr_collation_data.h, generated by
+ * scripts/gen-collation-table.mjs): ASCII controls TAB–CR and printable
+ * ASCII, Latin-1 Supplement and Latin Extended-A except the vulgar
+ * fractions, and the combining diacritical marks U+0300–U+0362. Text
+ * outside this set compares by code point natively. */
+export function isCollationCovered(text) {
+    for (const ch of text) {
+        const c = ch.codePointAt(0);
+        const covered = (c >= 0x09 && c <= 0x0d) ||
+            (c >= 0x20 && c <= 0x7e) ||
+            (c >= 0xa0 && c <= 0x17f && c !== 0xbc && c !== 0xbd && c !== 0xbe) ||
+            (c >= 0x300 && c <= 0x362);
+        if (!covered)
+            return false;
+    }
+    return true;
+}
+//# sourceMappingURL=collation-repertoire.js.map

package/dist/frontend/lowering/collation-repertoire.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collation-repertoire.js","sourceRoot":"","sources":["../../../src/frontend/lowering/collation-repertoire.ts"],"names":[],"mappings":"AAAA;;;;;uDAKuD;AACvD,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QAC7B,MAAM,OAAO,GACX,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC;YACxB,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC;YACxB,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC;YACnE,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;IAC7B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/construction-escapes.d.ts

@@ -0,0 +1,38 @@
+import * as ts from "../ts7/adapter.js";
+/** Whether `node` mentions the constructor's receiver: a `this` or `super`
+ * keyword outside nested declarations that bind their own receiver. Arrow
+ * functions inherit the receiver, so they stay transparent. */
+export declare function mentionsReceiver(node: ts.Node): boolean;
+/** The construction order inputs of one class: its own instance field
+ * initializers in declaration order, its parameter property names, the
+ * constructor body, and the inherited part of construction. */
+export interface ConstructionInputs {
+    ctor: ts.ConstructorDeclaration | null;
+    /** Own declared fields in declaration order, with their initializers. */
+    fields: readonly {
+        name: string;
+        initializer: ts.Expression | undefined;
+    }[];
+    paramProps: readonly string[];
+    derived: boolean;
+    /** True when the base class's construction may expose the instance. */
+    baseEscapes: boolean;
+    /** True for names that are plain instance fields (not accessors). */
+    isField: (name: string) => boolean;
+    /** The body of the class's own method a `this.m(...)` call runs, when no
+     * subclass can override it (TypeScript `private` and `#private`
+     * methods); null otherwise. */
+    privateMethodBody: (call: ts.CallExpression) => ts.Block | null;
+}
+export interface ConstructionEscape {
+    /** True when construction may expose the instance to other code (a
+     * method call, a callback, an argument, a base constructor that does). */
+    escapes: boolean;
+    /** Own fields assigned before the first exposure; every own field when
+     * construction never exposes the instance. */
+    assigned: Set<string>;
+}
+/** Which own fields construction definitely assigns before the instance can
+ * be observed by any other code. A field outside `assigned` may be read
+ * while its slot still holds the pre-assignment undefined. */
+export declare function constructionEscape(inputs: ConstructionInputs): ConstructionEscape;

package/dist/frontend/lowering/construction-escapes.js

@@ -0,0 +1,146 @@
+import * as ts from "../ts7/adapter.js";
+/** Whether `node` mentions the constructor's receiver: a `this` or `super`
+ * keyword outside nested declarations that bind their own receiver. Arrow
+ * functions inherit the receiver, so they stay transparent. */
+export function mentionsReceiver(node) {
+    let found = false;
+    const visit = (child) => {
+        if (found)
+            return;
+        if (ts.isFunctionExpression(child) ||
+            ts.isFunctionDeclaration(child) ||
+            ts.isMethodDeclaration(child) ||
+            ts.isConstructorDeclaration(child) ||
+            ts.isGetAccessor(child) ||
+            ts.isSetAccessor(child) ||
+            ts.isClassDeclaration(child) ||
+            ts.isClassExpression(child)) {
+            return;
+        }
+        if (child.kind === ts.SyntaxKind.ThisKeyword || child.kind === ts.SyntaxKind.SuperKeyword) {
+            found = true;
+            return;
+        }
+        child.forEachChild(visit);
+    };
+    visit(node);
+    return found;
+}
+/** Private helper bodies are followed this deep. */
+const HELPER_DEPTH = 3;
+function containsReturn(node) {
+    let found = false;
+    const visit = (child) => {
+        if (found || ts.isFunctionLike(child) || ts.isClassLikeDeclaration(child))
+            return;
+        if (ts.isReturnStatement(child)) {
+            found = true;
+            return;
+        }
+        child.forEachChild(visit);
+    };
+    node.forEachChild(visit);
+    return found;
+}
+/** Which own fields construction definitely assigns before the instance can
+ * be observed by any other code. A field outside `assigned` may be read
+ * while its slot still holds the pre-assignment undefined. */
+export function constructionEscape(inputs) {
+    const assigned = new Set();
+    const stop = () => ({ escapes: true, assigned });
+    const thisMember = (node) => ts.isPropertyAccessExpression(node) && node.expression.kind === ts.SyntaxKind.ThisKeyword;
+    // A plain read of an already-assigned field does not expose the instance,
+    // nor does a private helper that itself only assigns fields and reads
+    // assigned ones; anything else mentioning the receiver might.
+    const exposes = (node, depth) => {
+        if (node.kind === ts.SyntaxKind.ThisKeyword || node.kind === ts.SyntaxKind.SuperKeyword)
+            return true;
+        if (ts.isCallExpression(node) && thisMember(node.expression)) {
+            if (node.arguments.some((arg) => mentionsReceiver(arg) && exposes(arg, depth)))
+                return true;
+            const body = depth < HELPER_DEPTH ? inputs.privateMethodBody(node) : null;
+            if (!body)
+                return true;
+            return !followStatements(body.statements, depth + 1);
+        }
+        if (thisMember(node)) {
+            const name = node.name.text;
+            return !(ts.isIdentifier(node.name) && assigned.has(name) && inputs.isField(name));
+        }
+        let found = false;
+        node.forEachChild((child) => {
+            if (!found && mentionsReceiver(child))
+                found = exposes(child, depth);
+        });
+        return found;
+    };
+    /** Walk straight-line statements; false at the first exposure. */
+    const followStatements = (statements, depth) => {
+        for (const stmt of statements) {
+            // An early return leaves later assignments unproven on its path.
+            if (ts.isReturnStatement(stmt) || containsReturn(stmt))
+                return false;
+            if (!mentionsReceiver(stmt))
+                continue;
+            if (ts.isExpressionStatement(stmt) &&
+                ts.isBinaryExpression(stmt.expression) &&
+                stmt.expression.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+                thisMember(stmt.expression.left) &&
+                ts.isIdentifier(stmt.expression.left.name) &&
+                inputs.isField(stmt.expression.left.name.text)) {
+                const right = stmt.expression.right;
+                if (mentionsReceiver(right) && exposes(right, depth))
+                    return false;
+                assigned.add(stmt.expression.left.name.text);
+                continue;
+            }
+            if (ts.isExpressionStatement(stmt) && !exposes(stmt.expression, depth))
+                continue;
+            return false;
+        }
+        return true;
+    };
+    const ownInitializers = () => {
+        for (const name of inputs.paramProps)
+            assigned.add(name);
+        for (const field of inputs.fields) {
+            if (!field.initializer)
+                continue;
+            if (mentionsReceiver(field.initializer) && exposes(field.initializer, 0))
+                return false;
+            assigned.add(field.name);
+        }
+        return true;
+    };
+    const statements = inputs.ctor?.body?.statements ?? [];
+    let index = 0;
+    if (inputs.derived) {
+        // Own initializers run when super() returns. A base construction that
+        // exposes the instance exposes it before any own field is assigned.
+        for (; index < statements.length; index++) {
+            const stmt = statements[index];
+            const isSuper = ts.isExpressionStatement(stmt) &&
+                ts.isCallExpression(stmt.expression) &&
+                stmt.expression.expression.kind === ts.SyntaxKind.SuperKeyword;
+            if (isSuper) {
+                if (stmt.expression.arguments.some((arg) => mentionsReceiver(arg)))
+                    return stop();
+                break;
+            }
+            // super() nested inside other statements: keep the analysis simple.
+            if (mentionsReceiver(stmt))
+                return stop();
+        }
+        if (inputs.ctor?.body && index >= statements.length)
+            return stop();
+        if (inputs.baseEscapes)
+            return stop();
+        index++;
+    }
+    if (!ownInitializers())
+        return stop();
+    if (!followStatements(statements.slice(index), 0))
+        return stop();
+    return { escapes: false, assigned };
+}
+//# sourceMappingURL=construction-escapes.js.map

package/dist/frontend/lowering/construction-escapes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"construction-escapes.js","sourceRoot":"","sources":["../../../src/frontend/lowering/construction-escapes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC;;+DAE+D;AAC/D,MAAM,UAAU,gBAAgB,CAAC,IAAa;IAC5C,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,KAAc,EAAQ,EAAE;QACrC,IAAI,KAAK;YAAE,OAAO;QAClB,IACE,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC;YAC9B,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;YAC/B,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC;YAC7B,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC;YAClC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC;YACvB,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC;YACvB,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAC5B,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAC3B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YAC1F,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC;AA8BD,oDAAoD;AACpD,MAAM,YAAY,GAAG,CAAC,CAAC;AAEvB,SAAS,cAAc,CAAC,IAAa;IACnC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,KAAc,EAAQ,EAAE;QACrC,IAAI,KAAK,IAAI,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC;YAAE,OAAO;QAClF,IAAI,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;8DAE8D;AAC9D,MAAM,UAAU,kBAAkB,CAAC,MAA0B;IAC3D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,IAAI,GAAG,GAAuB,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,CAAC,IAAa,EAAuC,EAAE,CACxE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;IAC5F,0EAA0E;IAC1E,sEAAsE;IACtE,8DAA8D;IAC9D,MAAM,OAAO,GAAG,CAAC,IAAa,EAAE,KAAa,EAAW,EAAE;QACxD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YACrF,OAAO,IAAI,CAAC;QACd,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7D,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5F,MAAM,IAAI,GAAG,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC1E,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvB,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC5B,OAAO,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,CAAC;QACD,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE;YAC1B,IAAI,CAAC,KAAK,IAAI,gBAAgB,CAAC,KAAK,CAAC;gBAAE,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,kEAAkE;IAClE,MAAM,gBAAgB,GAAG,CAAC,UAAmC,EAAE,KAAa,EAAW,EAAE;QACvF,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,iEAAiE;YACjE,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBAAE,SAAS;YACtC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBAChE,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAChC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAC9C,CAAC;gBACD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;gBACpC,IAAI,gBAAgB,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACnE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7C,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC;gBAAE,SAAS;YACjF,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,eAAe,GAAG,GAAY,EAAE;QACpC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,IAAI,CAAC,KAAK,CAAC,WAAW;gBAAE,SAAS;YACjC,IAAI,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACvF,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC;IACvD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,sEAAsE;QACtE,oEAAoE;QACpE,OAAO,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAE,CAAC;YAChC,MAAM,OAAO,GACX,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACpC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;YACjE,IAAI,OAAO,EAAE,CAAC;gBACZ,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;oBAAE,OAAO,IAAI,EAAE,CAAC;gBAClF,MAAM;YACR,CAAC;YACD,oEAAoE;YACpE,IAAI,gBAAgB,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,EAAE,CAAC;QAC5C,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,IAAI,KAAK,IAAI,UAAU,CAAC,MAAM;YAAE,OAAO,IAAI,EAAE,CAAC;QACnE,IAAI,MAAM,CAAC,WAAW;YAAE,OAAO,IAAI,EAAE,CAAC;QACtC,KAAK,EAAE,CAAC;IACV,CAAC;IACD,IAAI,CAAC,eAAe,EAAE;QAAE,OAAO,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,IAAI,EAAE,CAAC;IACjE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AACtC,CAAC"}

package/dist/frontend/lowering/construction-escapes.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/lowering/construction-escapes.test.js

@@ -0,0 +1,150 @@
+import { afterAll, expect, test } from "vitest";
+import * as ts from "../ts7/adapter.js";
+import { closeSourceParser, parseSourceFile } from "../ts7/source-parser-node.js";
+import { constructionEscape, mentionsReceiver } from "./construction-escapes.js";
+afterAll(closeSourceParser);
+function analyze(source, options = {}) {
+    const file = parseSourceFile("classes.ts", source, "ts");
+    let decl;
+    ts.walkPreorder(file, (node) => {
+        if (!decl && ts.isClassDeclaration(node))
+            decl = node;
+    });
+    if (!decl)
+        throw new Error("fixture has no class");
+    const cls = decl;
+    const ctor = cls.members.find(ts.isConstructorDeclaration) ?? null;
+    const fields = cls.members
+        .filter(ts.isPropertyDeclaration)
+        .map((member) => ({ name: member.name.getText(), initializer: member.initializer }));
+    const fieldNames = new Set(fields.map((field) => field.name));
+    return constructionEscape({
+        ctor,
+        fields,
+        paramProps: [],
+        derived: options.derived ?? false,
+        baseEscapes: options.baseEscapes ?? false,
+        isField: (name) => fieldNames.has(name),
+        privateMethodBody: (call) => {
+            if (!ts.isPropertyAccessExpression(call.expression))
+                return null;
+            const name = call.expression.name.text;
+            const method = cls.members.find((member) => ts.isMethodDeclaration(member) && member.name.getText() === name);
+            const isPrivate = method !== undefined &&
+                (ts.isPrivateIdentifier(method.name) ||
+                    (ts.getModifiers(method)?.some((m) => m.kind === ts.SyntaxKind.PrivateKeyword) ?? false));
+            return isPrivate ? (method.body ?? null) : null;
+        },
+    });
+}
+const sorted = (set) => [...set].sort();
+test("assignments before any exposure are proven", () => {
+    const result = analyze(`
+    class A {
+      a: B; b: B; c: B;
+      constructor() {
+        this.a = new B();
+        this.b = make(this.a);
+        log("no receiver here");
+        this.c = new B();
+        this.report();
+      }
+    }`);
+    expect(result.escapes).toBe(true);
+    expect(sorted(result.assigned)).toEqual(["a", "b", "c"]);
+});
+test("a call that receives the instance stops the proof", () => {
+    const result = analyze(`
+    class A {
+      seen: boolean; box: B;
+      constructor() {
+        this.seen = check(this);
+        this.box = new B();
+      }
+    }`);
+    expect(result.escapes).toBe(true);
+    expect(sorted(result.assigned)).toEqual([]);
+});
+test("method calls, callbacks and reads of unassigned fields expose the instance", () => {
+    for (const body of [
+        "this.describe(); this.box = new B();",
+        "const f = () => this.box; this.box = new B();",
+        "this.other = this.box; this.box = new B();",
+        "if (flag) this.box = new B(); this.box = new B();",
+    ]) {
+        const result = analyze(`class A { box: B; other: B; constructor() { ${body} } }`);
+        expect(result.escapes, body).toBe(true);
+        expect(result.assigned.has("box"), body).toBe(false);
+    }
+});
+test("initializers run in order before the constructor body", () => {
+    const result = analyze(`
+    class A {
+      first = new B();
+      second = this.first;
+      third = this.compute();
+      fourth = new B();
+      constructor() { this.fifth = new B(); }
+    }`);
+    expect(result.escapes).toBe(true);
+    expect(sorted(result.assigned)).toEqual(["first", "second"]);
+});
+test("private helpers that only assign fields are followed", () => {
+    const result = analyze(`
+    class A {
+      a!: B; b!: B; c: B;
+      constructor() {
+        this.setup();
+        this.c = new B();
+      }
+      private setup(): void {
+        this.a = new B();
+        this.#more();
+      }
+      #more(): void {
+        this.b = this.a;
+      }
+    }`);
+    expect(result.escapes).toBe(false);
+    expect(sorted(result.assigned)).toEqual(["a", "b", "c"]);
+});
+test("public helpers, helpers that return early, and early returns stop the proof", () => {
+    for (const source of [
+        "class A { a!: B; constructor() { this.setup(); } setup(): void { this.a = new B(); } }",
+        "class A { a!: B; constructor() { this.setup(); } private setup(): void { if (x) return; this.a = new B(); } }",
+        "class A { a!: B; constructor() { if (x) return; this.a = new B(); } }",
+    ]) {
+        const result = analyze(source);
+        expect(result.escapes, source).toBe(true);
+        expect(result.assigned.has("a"), source).toBe(false);
+    }
+});
+test("derived classes inherit the base constructor's exposure", () => {
+    const source = `
+    class D {
+      box: B;
+      constructor() {
+        super();
+        this.box = new B();
+      }
+    }`;
+    expect(analyze(source, { derived: true }).escapes).toBe(false);
+    const exposed = analyze(source, { derived: true, baseEscapes: true });
+    expect(exposed.escapes).toBe(true);
+    expect(sorted(exposed.assigned)).toEqual([]);
+    // Without a constructor, construction is the implicit super call.
+    expect(analyze("class D { box = new B(); }", { derived: true, baseEscapes: true }).escapes).toBe(true);
+    expect(sorted(analyze("class D { box = new B(); }", { derived: true }).assigned)).toEqual([
+        "box",
+    ]);
+});
+test("nested functions with their own receiver are opaque", () => {
+    const file = parseSourceFile("nested.ts", "const f = function () { return this; }; const g = () => this;", "ts");
+    const found = [];
+    ts.walkPreorder(file, (node) => {
+        if (ts.isVariableDeclaration(node) && node.initializer)
+            found.push(mentionsReceiver(node.initializer));
+    });
+    expect(found).toEqual([false, true]);
+});
+//# sourceMappingURL=construction-escapes.test.js.map

package/dist/frontend/lowering/construction-escapes.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"construction-escapes.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/construction-escapes.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAEjF,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAE5B,SAAS,OAAO,CAAC,MAAc,EAAE,OAAO,GAAiD,EAAE;IACzF,MAAM,IAAI,GAAG,eAAe,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACzD,IAAI,IAAqC,CAAC;IAC1C,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7B,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC;IACxD,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,IAAI,CAAC;IACjB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,IAAI,CAAC;IACnE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO;SACvB,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC;SAChC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACvF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,OAAO,kBAAkB,CAAC;QACxB,IAAI;QACJ,MAAM;QACN,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,KAAK;QACjC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,KAAK;QACzC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;QACvC,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE;YAC1B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YACvC,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAC7B,CAAC,MAAM,EAAkC,EAAE,CACzC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI,CACnE,CAAC;YACF,MAAM,SAAS,GACb,MAAM,KAAK,SAAS;gBACpB,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC;oBAClC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YAC9F,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAClD,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,GAAgB,EAAY,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAE/D,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;IACtD,MAAM,MAAM,GAAG,OAAO,CAAC;;;;;;;;;;MAUnB,CAAC,CAAC;IACN,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC;;;;;;;MAOnB,CAAC,CAAC;IACN,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,KAAK,MAAM,IAAI,IAAI;QACjB,sCAAsC;QACtC,+CAA+C;QAC/C,4CAA4C;QAC5C,mDAAmD;KACpD,EAAE,CAAC;QACF,MAAM,MAAM,GAAG,OAAO,CAAC,+CAA+C,IAAI,MAAM,CAAC,CAAC;QAClF,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,MAAM,MAAM,GAAG,OAAO,CAAC;;;;;;;MAOnB,CAAC,CAAC;IACN,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,MAAM,GAAG,OAAO,CAAC;;;;;;;;;;;;;;MAcnB,CAAC,CAAC;IACN,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,KAAK,MAAM,MAAM,IAAI;QACnB,wFAAwF;QACxF,+GAA+G;QAC/G,uEAAuE;KACxE,EAAE,CAAC;QACF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACnE,MAAM,MAAM,GAAG;;;;;;;MAOX,CAAC;IACL,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IACtE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,kEAAkE;IAClE,MAAM,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAC9F,IAAI,CACL,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;QACxF,KAAK;KACN,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;IAC/D,MAAM,IAAI,GAAG,eAAe,CAC1B,WAAW,EACX,+DAA+D,EAC/D,IAAI,CACL,CAAC;IACF,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7B,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW;YACpD,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AACvC,CAAC,CAAC,CAAC"}