@scriptc/compiler 0.4.6 → 0.4.8

package/dist/frontend/lowering/expressions/union-fields.js

@@ -17,16 +17,8 @@ function unionFieldArm(lowerer, arm, name) {
     }
     return null;
 }
-/** The arm's slot read from `union`, assuming the runtime tag is `tag`. */
-function unionFieldRead(unionId, tag, union, field, name, loc) {
-    const obj = {
-        kind: "unionNarrow",
-        unionId,
-        tag,
-        value: union,
-        type: field.receiver,
-        loc,
-    };
+/** The arm's slot read on a value ALREADY narrowed to `field.receiver`. */
+function armMemberRead(obj, field, name, loc) {
     return field.receiver.kind === "record"
         ? {
             kind: "recordGet",
@@ -45,6 +37,55 @@ function unionFieldRead(unionId, tag, union, field, name, loc) {
             loc,
         };
 }
+/** The arm's slot read from `union`, assuming the runtime tag is `tag`. */
+function unionFieldRead(unionId, tag, union, field, name, loc) {
+    return armMemberRead({ kind: "unionNarrow", unionId, tag, value: union, type: field.receiver, loc }, field, name, loc);
+}
+/** `receiver` restricted to the arms the checker still allows at `site`.
+ * Lowering erases flow narrowing, so a value the checker narrowed — by an
+ * early return, a discriminant test, an optional-chain guard — still
+ * carries the wider union it was stored as, and a member only the ruled-out
+ * arms refuse stays unreadable and unwritable. The site's checker type names
+ * exactly the arms still possible: retag into that sub-union (the stranded
+ * arms become traps, as at every `narrowedRetagHelper` use) or, when the
+ * site names a single arm, narrow through that arm's checked helper. Null
+ * when the site is not a genuine narrowing of the stored union. */
+export function narrowedUnionView(lowerer, site, receiver, loc) {
+    if (receiver.type.kind !== "union")
+        return null;
+    const fromId = receiver.type.unionId;
+    const siteT = lowerer.mapTypeOf(lowerer.typeOf(site));
+    if (!siteT || siteT.kind === "void")
+        return null;
+    if (siteT.kind !== "union") {
+        if (lowerer.armTag(fromId, siteT) < 0)
+            return null;
+        const helper = lowerer.narrowedArmHelper(fromId, siteT, loc);
+        if (!helper)
+            return null;
+        const value = lowerer.checkedNarrowCall(helper, receiver, siteT, loc);
+        return {
+            value,
+            arm: siteT.kind === "record" || siteT.kind === "object" ? siteT : null,
+        };
+    }
+    if (siteT.unionId === fromId)
+        return null;
+    const helper = lowerer.narrowedRetagHelper(site, fromId, siteT.unionId, loc);
+    if (!helper)
+        return null;
+    return {
+        value: { kind: "call", callee: helper, args: [receiver], type: siteT, loc },
+        arm: null,
+    };
+}
+/** The member `field` of the single arm a narrowed receiver proved. */
+export function narrowedArmRead(lowerer, access, value, arm) {
+    const field = unionFieldArm(lowerer, arm, access.name.text);
+    if (!field)
+        return null;
+    return armMemberRead(value, field, access.name.text, locOf(access));
+}
 /** Whether `converted` is `value` itself or `value` wrapped into a union,
  * upcast to a base class, or boxed into the checked-dynamic representation:
  * conversions that cannot fail. Checked narrowings (a union into one of its
@@ -118,6 +159,24 @@ export function lowerUnionFieldRead(lowerer, access, receiver) {
     const init = { kind: "varDecl", localId: object.id, init: receiver, loc };
     return { kind: "seqExpr", stmts: [init], result: dispatch, type, loc };
 }
+/** The expression a receiver write actually targets, through parentheses
+ * and erased type assertions (`(value as R)`, `<R>value`, and chains of
+ * them). Node erases an assertion, so `(u as R).f = v` mutates the value in
+ * `u`; only the checker's view of it changes. */
+function unassertedReceiver(expr) {
+    let node = expr;
+    for (;;) {
+        if (ts.isParenthesizedExpression(node)) {
+            node = node.expression;
+            continue;
+        }
+        if (ts.isAsExpression(node) || ts.isTypeAssertion(node)) {
+            node = node.expression;
+            continue;
+        }
+        return node;
+    }
+}
 /** Assign a common data field without projecting the union's objects into
  * a new structural shape. Each tag writes the original payload, so
  * aliases and identity-keyed collections observe the mutation. Arms may
@@ -131,14 +190,45 @@ export function lowerUnionFieldRead(lowerer, access, receiver) {
  * same shape. Accessors, missing fields, and unrelated storage types retain
  * their own fences. */
 export function lowerUnionFieldWrite(lowerer, access, rhs) {
-    const mapped = lowerer.mapTypeOf(lowerer.typeOf(access.expression));
-    if (access.questionDotToken || mapped?.kind !== "union")
+    const receiver = unionWriteReceiver(lowerer, access);
+    if (!receiver)
         return null;
-    let receiver = lowerer.maybeNarrow(lowerer.lowerExpr(access.expression), access.expression);
+    const direct = unionFieldWriteInto(lowerer, access, rhs, receiver);
+    if (direct)
+        return direct;
+    // An arm the checker ruled out at this site vetoed the dispatch (a
+    // `string | null` field written on a discriminated entry whose header arm
+    // returned early): dispatch over the arms the site still allows. Only a
+    // refusal gains this lowering — the stored-union dispatch above runs
+    // first, unchanged.
+    const narrowed = narrowedUnionView(lowerer, unassertedReceiver(access.expression), receiver, locOf(access));
+    if (!narrowed?.value || narrowed.arm)
+        return null;
+    return unionFieldWriteInto(lowerer, access, rhs, narrowed.value);
+}
+/** The value a union write mutates: the receiver with erased type
+ * assertions stripped, lowered once. A write through an assertion
+ * (`(entry.message as { role: string }).role = "custom"`) decides checking,
+ * not the object it mutates, so the dispatch runs over the UNDERLYING
+ * expression's arms and each tag writes its own payload slot; a lying
+ * assertion narrows nothing here. */
+function unionWriteReceiver(lowerer, access) {
+    if (access.questionDotToken)
+        return null;
+    const target = unassertedReceiver(access.expression);
+    const mapped = lowerer.mapTypeOf(lowerer.typeOf(target));
+    if (mapped?.kind !== "union")
+        return null;
+    let receiver = lowerer.maybeNarrow(lowerer.lowerExpr(target), target);
     // Optional base-class storage narrowed to several subclasses (see
     // lowerUnionProperty): extract the instance and test its class.
     if (receiver.type.kind === "union" && !typeEquals(receiver.type, mapped))
         receiver = narrowStoredClassValue(lowerer, receiver, mapped) ?? receiver;
+    return receiver.type.kind === "union" ? receiver : null;
+}
+function unionFieldWriteInto(lowerer, access, rhs, receiver) {
+    if (access.questionDotToken)
+        return null;
     if (receiver.type.kind !== "union")
         return null;
     const unionId = receiver.type.unionId;

package/dist/frontend/lowering/expressions/union-fields.js.map

@@ -1 +1 @@
-{"version":3,"file":"union-fields.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/union-fields.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE3C,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EACL,IAAI,EAIJ,UAAU,EACV,UAAU,GACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAQzD;0EAC0E;AAC1E,SAAS,aAAa,CAAC,OAAgB,EAAE,GAAW,EAAE,IAAY;IAChE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,IAAI,CAAC;QACxF,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,2EAA2E;AAC3E,SAAS,cAAc,CACrB,OAAe,EACf,GAAW,EACX,KAAa,EACb,KAAoB,EACpB,IAAY,EACZ,GAAkB;IAElB,MAAM,GAAG,GAAW;QAClB,IAAI,EAAE,aAAa;QACnB,OAAO;QACP,GAAG;QACH,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,KAAK,CAAC,QAAQ;QACpB,GAAG;KACJ,CAAC;IACF,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACrC,CAAC,CAAC;YACE,IAAI,EAAE,WAAW;YACjB,GAAG;YACH,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;YAC/B,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG;SACJ;QACH,CAAC,CAAC;YACE,IAAI,EAAE,UAAU;YAChB,GAAG;YACH,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS;YACnC,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG;SACJ,CAAC;AACR,CAAC;AAED;;;wBAGwB;AACxB,SAAS,UAAU,CAAC,SAAiB,EAAE,KAAa;IAClD,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,CACL,CAAC,SAAS,CAAC,IAAI,KAAK,WAAW;QAC7B,SAAS,CAAC,IAAI,KAAK,QAAQ;QAC3B,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC;QAC/B,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CACnC,CAAC;AACJ,CAAC;AAED;;sEAEsE;AACtE,SAAS,eAAe,CACtB,OAAgB,EAChB,OAAe,EACf,KAAa,EACb,MAAuB,EACvB,IAAY,EACZ,GAAkB,EAClB,MAAe;IAEf,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC;QAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAE,CAAC,IAAI,CAAC;QACvC,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAE,CAAC;YACxD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC;YAC/C,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACxF,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtD,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,QAAQ;YAAE,OAAO,MAAM,CAAC;IAC9B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;aAMa;AACb,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,MAAmC,EACnC,QAAgB;IAEhB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAClG,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAClF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,IAAI,QAAQ,GAAW,OAAO,CAAC,gBAAgB,CAC7C,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,IAAI,EAAE,GAAG,CAAC,EAC5F,IAAI,CACL,CAAC;IACF,KAAK,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QAClD,QAAQ,GAAG;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC7F,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAC5B,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAE,EAAE,IAAI,EAAE,GAAG,CAAC,EAChE,IAAI,CACL;YACD,KAAK,EAAE,QAAQ;YACf,IAAI;YACJ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IAClF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACzE,CAAC;AAED;;;;;;;;;;;uBAWuB;AACvB,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,MAAmC,EACnC,GAAkB;IAElB,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACrE,IAAI,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5F,kEAAkE;IAClE,gEAAgE;IAChE,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtE,QAAQ,GAAG,sBAAsB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC;IAC3E,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,IAAI,EAAE,MAAM;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,MAAM,GAA6B,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,IAAI,SAAS,GAAkB,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IAChD,IAAI,KAAK,EAAE,CAAC;QACV,yEAAyE;QACzE,8CAA8C;QAC9C,SAAS;YACP,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;gBAC9B,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC;gBACxE,CAAC,CAAC,IAAI,CAAC;IACb,CAAC;IACD,IACE,SAAS,KAAK,IAAI;QAClB,CAAC,CAAC,KAAK;YACL,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;YACnD,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAEhE,OAAO,IAAI,CAAC;IACd,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,mBAAmB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,oEAAoE;IACpE,0EAA0E;IAC1E,yEAAyE;IACzE,0EAA0E;IAC1E,qEAAqE;IACrE,qEAAqE;IACrE,qEAAqE;IACrE,iCAAiC;IACjC,MAAM,KAAK,GACT,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1E,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;QAC5D,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;KAC1D,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ,GAAW,MAAM,CAAC;IAC9B,KAAK,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,MAAc,CAAC;QACnB,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,GAAG,GAAW;gBAClB,IAAI,EAAE,aAAa;gBACnB,OAAO;gBACP,GAAG;gBACH,KAAK,EAAE,SAAS;gBAChB,IAAI,EAAE,KAAK,CAAC,QAAQ;gBACpB,GAAG;aACJ,CAAC;YACF,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/D,MAAM,KAAK,GACT,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC9B,CAAC,CAAC;oBACE,IAAI,EAAE,WAAW;oBACjB,GAAG;oBACH,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;oBAC/B,KAAK,EAAE,IAAI;oBACX,KAAK,EAAE,SAAS;oBAChB,GAAG;iBACJ;gBACH,CAAC,CAAC;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG;oBACH,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS;oBACnC,KAAK,EAAE,IAAI;oBACX,KAAK,EAAE,SAAS;oBAChB,GAAG;iBACJ,CAAC;YACR,8DAA8D;YAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;gBAAE,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC/E,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/E,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,aAAa,CACpB,CAAC,EACD,EAAE,EACF,4BAA4B,IAAI,CAAC,GAAG,CAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,cAAc,IAAI,IAAI,EACpG,MAAM,CAAC,IAAI,EACX,GAAG,CACJ,CAAC;QACJ,CAAC;QACD,QAAQ;YACN,GAAG,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;gBACvB,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC;oBACE,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE;wBACJ,IAAI,EAAE,YAAY;wBAClB,OAAO;wBACP,GAAG;wBACH,KAAK,EAAE,SAAS;wBAChB,OAAO,EAAE,KAAK;wBACd,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,QAAQ;oBACf,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,GAAG;iBACJ,CAAC;IACV,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AACpF,CAAC;AAED;;;;;;;0EAO0E;AAC1E,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,MAAmC;IAEnC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACrE,IAAI,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5F,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtE,QAAQ,GAAG,sBAAsB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC;IAC3E,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAyD,EAAE,CAAC;IACxE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK;YAAE,OAAO,IAAI,CAAC;QACjF,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9E,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,CAAC,GAAW,EAAY,EAAE;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzD,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,WAAW;YACjB,GAAG,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE;YAClF,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,OAAO;YAC1B,KAAK,EAAE,IAAI;YACX,KAAK,EAAE,MAAM;YACb,GAAG;SACJ,CAAC;QACF,+DAA+D;QAC/D,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/C,OAAO,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC,CAAC;IACF,wEAAwE;IACxE,gCAAgC;IAChC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAY,EAAE,CACzC,GAAG,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QACb,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,YAAY;oBAClB,OAAO;oBACP,GAAG;oBACH,KAAK,EAAE,SAAS;oBAChB,OAAO,EAAE,KAAK;oBACd,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC;gBACjB,KAAK,EAAE,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC;gBACxB,GAAG;aACJ;SACF,CAAC;IACR,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpF,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;oEAIoE;AACpE,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,QAAgB,EAChB,KAAa,EACb,GAAkB;IAElB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC1F,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,GAAG,GACP,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5F,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,KAAK,MAAM,IAAI,IAAI,GAAG;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,IAAI,GACR,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5F,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,CAAC,GAAW,EAAiB,EAAE;QAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/E,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxD,OAAO,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7F,CAAC,CAAC;IACF,IAAI,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,KAAK,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,QAAQ,GAAG;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC7F,IAAI;YACJ,KAAK,EAAE,QAAQ;YACf,IAAI;YACJ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IAClF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACzE,CAAC"}
+{"version":3,"file":"union-fields.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/union-fields.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE3C,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EACL,IAAI,EAKJ,UAAU,EACV,UAAU,GACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAQzD;0EAC0E;AAC1E,SAAS,aAAa,CAAC,OAAgB,EAAE,GAAW,EAAE,IAAY;IAChE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,IAAI,CAAC;QACxF,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,2EAA2E;AAC3E,SAAS,aAAa,CACpB,GAAW,EACX,KAAoB,EACpB,IAAY,EACZ,GAAkB;IAElB,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACrC,CAAC,CAAC;YACE,IAAI,EAAE,WAAW;YACjB,GAAG;YACH,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;YAC/B,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG;SACJ;QACH,CAAC,CAAC;YACE,IAAI,EAAE,UAAU;YAChB,GAAG;YACH,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS;YACnC,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG;SACJ,CAAC;AACR,CAAC;AAED,2EAA2E;AAC3E,SAAS,cAAc,CACrB,OAAe,EACf,GAAW,EACX,KAAa,EACb,KAAoB,EACpB,IAAY,EACZ,GAAkB;IAElB,OAAO,aAAa,CAClB,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,EAC9E,KAAK,EACL,IAAI,EACJ,GAAG,CACJ,CAAC;AACJ,CAAC;AAED;;;;;;;;mEAQmE;AACnE,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,IAAa,EACb,QAAgB,EAChB,GAAW;IAEX,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACtE,OAAO;YACL,KAAK;YACL,GAAG,EAAE,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;SACvE,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC7E,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,OAAO;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;QAC3E,GAAG,EAAE,IAAI;KACV,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,eAAe,CAC7B,OAAgB,EAChB,MAAmC,EACnC,KAAa,EACb,GAA2C;IAE3C,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AACtE,CAAC;AAED;;;wBAGwB;AACxB,SAAS,UAAU,CAAC,SAAiB,EAAE,KAAa;IAClD,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,CACL,CAAC,SAAS,CAAC,IAAI,KAAK,WAAW;QAC7B,SAAS,CAAC,IAAI,KAAK,QAAQ;QAC3B,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC;QAC/B,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CACnC,CAAC;AACJ,CAAC;AAED;;sEAEsE;AACtE,SAAS,eAAe,CACtB,OAAgB,EAChB,OAAe,EACf,KAAa,EACb,MAAuB,EACvB,IAAY,EACZ,GAAkB,EAClB,MAAe;IAEf,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC;QAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAE,CAAC,IAAI,CAAC;QACvC,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAE,CAAC;YACxD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC;YAC/C,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACxF,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtD,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,QAAQ;YAAE,OAAO,MAAM,CAAC;IAC9B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;aAMa;AACb,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,MAAmC,EACnC,QAAgB;IAEhB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAClG,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAClF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,IAAI,QAAQ,GAAW,OAAO,CAAC,gBAAgB,CAC7C,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,IAAI,EAAE,GAAG,CAAC,EAC5F,IAAI,CACL,CAAC;IACF,KAAK,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QAClD,QAAQ,GAAG;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC7F,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAC5B,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAE,EAAE,IAAI,EAAE,GAAG,CAAC,EAChE,IAAI,CACL;YACD,KAAK,EAAE,QAAQ;YACf,IAAI;YACJ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IAClF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACzE,CAAC;AAED;;;iDAGiD;AACjD,SAAS,kBAAkB,CAAC,IAAmB;IAC7C,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,SAAS,CAAC;QACR,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YACvB,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YACvB,SAAS;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;uBAWuB;AACvB,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,MAAmC,EACnC,GAAkB;IAElB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IACnE,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,mEAAmE;IACnE,0EAA0E;IAC1E,wEAAwE;IACxE,qEAAqE;IACrE,oBAAoB;IACpB,MAAM,QAAQ,GAAG,iBAAiB,CAChC,OAAO,EACP,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC,EACrC,QAAQ,EACR,KAAK,CAAC,MAAM,CAAC,CACd,CAAC;IACF,IAAI,CAAC,QAAQ,EAAE,KAAK,IAAI,QAAQ,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC;AAED;;;;;qCAKqC;AACrC,SAAS,kBAAkB,CAAC,OAAgB,EAAE,MAAmC;IAC/E,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACzD,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IACtE,kEAAkE;IAClE,gEAAgE;IAChE,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtE,QAAQ,GAAG,sBAAsB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC;IAC3E,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1D,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAgB,EAChB,MAAmC,EACnC,GAAkB,EAClB,QAAgB;IAEhB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,IAAI,EAAE,MAAM;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,MAAM,GAA6B,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,IAAI,SAAS,GAAkB,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IAChD,IAAI,KAAK,EAAE,CAAC;QACV,yEAAyE;QACzE,8CAA8C;QAC9C,SAAS;YACP,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;gBAC9B,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC;gBACxE,CAAC,CAAC,IAAI,CAAC;IACb,CAAC;IACD,IACE,SAAS,KAAK,IAAI;QAClB,CAAC,CAAC,KAAK;YACL,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;YACnD,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAEhE,OAAO,IAAI,CAAC;IACd,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,mBAAmB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,oEAAoE;IACpE,0EAA0E;IAC1E,yEAAyE;IACzE,0EAA0E;IAC1E,qEAAqE;IACrE,qEAAqE;IACrE,qEAAqE;IACrE,iCAAiC;IACjC,MAAM,KAAK,GACT,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1E,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;QAC5D,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;KAC1D,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ,GAAW,MAAM,CAAC;IAC9B,KAAK,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,MAAc,CAAC;QACnB,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,GAAG,GAAW;gBAClB,IAAI,EAAE,aAAa;gBACnB,OAAO;gBACP,GAAG;gBACH,KAAK,EAAE,SAAS;gBAChB,IAAI,EAAE,KAAK,CAAC,QAAQ;gBACpB,GAAG;aACJ,CAAC;YACF,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/D,MAAM,KAAK,GACT,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC9B,CAAC,CAAC;oBACE,IAAI,EAAE,WAAW;oBACjB,GAAG;oBACH,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;oBAC/B,KAAK,EAAE,IAAI;oBACX,KAAK,EAAE,SAAS;oBAChB,GAAG;iBACJ;gBACH,CAAC,CAAC;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG;oBACH,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS;oBACnC,KAAK,EAAE,IAAI;oBACX,KAAK,EAAE,SAAS;oBAChB,GAAG;iBACJ,CAAC;YACR,8DAA8D;YAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;gBAAE,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC/E,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/E,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,aAAa,CACpB,CAAC,EACD,EAAE,EACF,4BAA4B,IAAI,CAAC,GAAG,CAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,cAAc,IAAI,IAAI,EACpG,MAAM,CAAC,IAAI,EACX,GAAG,CACJ,CAAC;QACJ,CAAC;QACD,QAAQ;YACN,GAAG,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;gBACvB,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC;oBACE,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE;wBACJ,IAAI,EAAE,YAAY;wBAClB,OAAO;wBACP,GAAG;wBACH,KAAK,EAAE,SAAS;wBAChB,OAAO,EAAE,KAAK;wBACd,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,QAAQ;oBACf,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,GAAG;iBACJ,CAAC;IACV,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AACpF,CAAC;AAED;;;;;;;0EAO0E;AAC1E,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,MAAmC;IAEnC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACrE,IAAI,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5F,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtE,QAAQ,GAAG,sBAAsB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC;IAC3E,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAyD,EAAE,CAAC;IACxE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK;YAAE,OAAO,IAAI,CAAC;QACjF,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9E,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,CAAC,GAAW,EAAY,EAAE;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzD,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,WAAW;YACjB,GAAG,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE;YAClF,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,OAAO;YAC1B,KAAK,EAAE,IAAI;YACX,KAAK,EAAE,MAAM;YACb,GAAG;SACJ,CAAC;QACF,+DAA+D;QAC/D,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/C,OAAO,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC,CAAC;IACF,wEAAwE;IACxE,gCAAgC;IAChC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAY,EAAE,CACzC,GAAG,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QACb,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,YAAY;oBAClB,OAAO;oBACP,GAAG;oBACH,KAAK,EAAE,SAAS;oBAChB,OAAO,EAAE,KAAK;oBACd,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC;gBACjB,KAAK,EAAE,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC;gBACxB,GAAG;aACJ;SACF,CAAC;IACR,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpF,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;oEAIoE;AACpE,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,QAAgB,EAChB,KAAa,EACb,GAAkB;IAElB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC1F,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,GAAG,GACP,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5F,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,KAAK,MAAM,IAAI,IAAI,GAAG;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,IAAI,GACR,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5F,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,CAAC,GAAW,EAAiB,EAAE;QAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/E,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxD,OAAO,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7F,CAAC,CAAC;IACF,IAAI,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,KAAK,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,QAAQ,GAAG;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC7F,IAAI;YACJ,KAAK,EAAE,QAAQ;YACf,IAAI;YACJ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IAClF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACzE,CAAC"}

package/dist/frontend/lowering/expressions/updates.js

@@ -1,24 +1,26 @@
 /* Increment, decrement and prefix unary operators, and compound field updates. */
+import { staticPrivateUpdateTarget } from "../private-statics.js";
+import { lowerCompoundValueToTarget } from "./binary.js";
 import { indexedUnionArms, lowerIndexedUnionNumberRead, lowerIndexedUnionWrite, } from "../indexed-unions.js";
 import * as ts from "../../ts7/adapter.js";
 import { lowerOptionalIndex, splitUndefinedIndex, undefinedTypedArrayKeyFence, } from "../undefined-index.js";
 import { isStrictCode } from "../strict-mode.js";
 import { isPrivateWriteReceiver } from "../private-brands.js";
-import { bigintCompoundValue, compoundUnsupported, concatOperand, deferredSlotOr, dynCompoundValue, lowerOptionalNumber, operatorUnsupported, runtimeOptionalStorageOperand, symbolFieldTarget, } from "../lower-exprs.js";
+import { bigintCompoundValue, compoundUnsupported, concatOperand, deferredSlotOr, dynCompoundValue, lowerOptionalNumber, lowerOperatorNumber, operatorUnsupported, runtimeOptionalStorageOperand, symbolFieldTarget, } from "../lower-exprs.js";
 import { BIGINT_T, BOOL, DYN, F64, isUnitType, STRING, UNDEFINED_T, VOID, } from "../../../ir/ir.js";
 import { isJsSourceFile, locOf } from "../../program.js";
 import { classToNumberConversion } from "../class-to-primitive.js";
 import { lowerPrimitiveUnionNumber } from "../lower-calls.js";
 import { dynUndefinedExpr, nodeThrowExpr, numLit, varRef } from "../../../ir/build.js";
 import { fenceNodeModuleMutation } from "../lower-node-module.js";
-import { staticFieldWriteTarget } from "../lower-classes.js";
+import { findStaticOn, staticFieldWriteTarget } from "../lower-classes.js";
 import { expandoWritableTarget } from "../lower-expando.js";
 import { nsWritableTarget } from "../lower-namespaces.js";
 import { arrayNumberRead, arrayValueRead, arrayValueStore } from "../array-values.js";
 import { isSafeToRepeat } from "./evaluation-safety.js";
 import { errorPropertyWrite } from "../error-methods.js";
 import { tryLowerExpression } from "./try-lower-expression.js";
-import { hasRuntimeStatics } from "../class-runtime-statics.js";
+import { hasRuntimeStatics, runtimeStaticDefines } from "../class-runtime-statics.js";
 import { declareContextLocal } from "../function-context.js";
 import { keyedFieldTarget, keyedFieldWrite, saveKeyedFieldKey } from "./keyed-field-targets.js";
 /** Read-modify-write updates read the member first: an unassigned
@@ -116,7 +118,7 @@ export function lowerPrefixUnary(lowerer, expr) {
                                 type: F64,
                                 loc,
                             }
-                            : lowerOptionalNumber(lowerer, raw, loc, expr.operand);
+                            : lowerOperatorNumber(lowerer, raw, loc, expr.operand);
             if (operand.type.kind !== "f64")
                 operatorUnsupported(lowerer, expr, "-", [raw.type]);
             if (operand.kind === "numLit")
@@ -148,7 +150,7 @@ export function lowerPrefixUnary(lowerer, expr) {
             const classNumber = classToNumberConversion(lowerer, raw, expr.operand, "unary plus");
             if (classNumber)
                 return classNumber;
-            const operand = lowerOptionalNumber(lowerer, raw, loc, expr.operand);
+            const operand = lowerOperatorNumber(lowerer, raw, loc, expr.operand);
             if (operand.type.kind === "f64")
                 return operand;
             // `+process.argv[2]`: a `string | undefined` (or other primitive
@@ -186,7 +188,7 @@ export function lowerPrefixUnary(lowerer, expr) {
             // protocol. This is the static `any`/JS-lane answer for idioms
             // such as `while (~index)`, where inference may have widened an
             // otherwise numeric slot to the checked-dynamic tree.
-            const operand = lowerOptionalNumber(lowerer, raw, loc, expr.operand);
+            const operand = lowerOperatorNumber(lowerer, raw, loc, expr.operand);
             if (operand.type.kind !== "f64")
                 operatorUnsupported(lowerer, expr, "~", [raw.type]);
             return { kind: "unary", op: "~", operand, type: F64, loc };
@@ -211,6 +213,19 @@ export function lowerIncDec(lowerer, expr, prefix) {
         }
         fenceNodeModuleMutation(lowerer, access, "assignment");
         if (ts.isPropertyAccessExpression(access)) {
+            // `this.#x++` on a static private field (private-statics.ts): the
+            // brand check, then the field's native global.
+            const staticPrivate = staticPrivateUpdateTarget(lowerer, access);
+            if (staticPrivate) {
+                const update = lowerIncDecTarget(lowerer, expr, staticPrivate.target, prefix);
+                return {
+                    kind: "seqExpr",
+                    stmts: [staticPrivate.brand],
+                    result: update,
+                    type: update.type,
+                    loc,
+                };
+            }
             const target = staticFieldWriteTarget(lowerer, access) ??
                 expandoWritableTarget(lowerer, access) ??
                 nsWritableTarget(lowerer, access);
@@ -697,8 +712,8 @@ export function fieldSetStmt(lowerer, target, value, loc, blame) {
             loc,
         };
     }
-    return target.container === "class"
-        ? {
+    if (target.container === "class")
+        return {
             kind: "fieldSet",
             obj: target.obj,
             className: target.className,
@@ -706,20 +721,39 @@ export function fieldSetStmt(lowerer, target, value, loc, blame) {
             value,
             ...(isStrictCode(blame) ? {} : { sloppy: true }),
             loc,
-        }
-        : {
-            kind: "recordSet",
-            obj: target.obj,
-            shapeId: target.shapeId,
-            field: target.field,
-            value,
-            loc,
         };
+    return {
+        kind: "recordSet",
+        obj: target.obj,
+        shapeId: target.shapeId,
+        field: target.field,
+        value,
+        loc,
+    };
 }
 export function lowerFieldCompoundValue(lowerer, access, op, rhsNode, loc) {
     if (access.expression.kind === ts.SyntaxKind.SuperKeyword) {
         lowerer.unsupported("SC1090", access, "compound assignment through 'super' (read and write separately)");
     }
+    // `this.#x op= v` on a static private field (private-statics.ts): the
+    // brand check, then the field's native global read before the right side.
+    if (ts.isPropertyAccessExpression(access) &&
+        rhsNode !== null &&
+        ts.isBinaryExpression(access.parent) &&
+        access.parent.left === access) {
+        const staticPrivate = staticPrivateUpdateTarget(lowerer, access);
+        if (staticPrivate) {
+            const { target } = staticPrivate;
+            const value = lowerCompoundValueToTarget(lowerer, access.parent, op, target);
+            return {
+                kind: "seqExpr",
+                stmts: [staticPrivate.brand],
+                result: { kind: "assignExpr", localId: target.id, value, type: target.type, loc },
+                type: target.type,
+                loc,
+            };
+        }
+    }
     const body = [];
     const save = (value, name) => {
         const local = lowerer.declareHiddenLocal(name, value.type);
@@ -736,7 +770,17 @@ export function lowerFieldCompoundValue(lowerer, access, op, rhsNode, loc) {
     if (ts.isPropertyAccessExpression(access)) {
         let probed = tryLowerExpression(lowerer, access.expression);
         const staticClass = probed?.type.kind === "classval" ? lowerer.classes.get(probed.type.className) : undefined;
-        if (probed && staticClass && hasRuntimeStatics(staticClass))
+        // A statically known member that the class value's table does not carry
+        // (a class whose only runtime static is its `Symbol.hasInstance` hook)
+        // updates its own storage, as it would without the hook; a member the
+        // class does not declare at all is a property of the class object.
+        const staticMember = staticClass && !ts.isPrivateIdentifier(access.name)
+            ? findStaticOn(lowerer, staticClass, access.name.text)
+            : undefined;
+        if (probed &&
+            staticClass &&
+            hasRuntimeStatics(staticClass) &&
+            (!staticMember || runtimeStaticDefines(lowerer, staticClass, access.name.text)))
             probed = lowerer.coerceToExpected(probed, DYN);
         // A private name is the field of its class (fieldTarget).
         if (probed?.type.kind === "dyn" && !ts.isPrivateIdentifier(access.name)) {
@@ -749,7 +793,19 @@ export function lowerFieldCompoundValue(lowerer, access, op, rhsNode, loc) {
             };
             const read = save({ kind: "dynKeyGet", key, value: receiver, type: DYN, loc }, "%compoundOld");
             const cur = { kind: "dynCheck", value: read, type: F64, loc };
-            const rhs = save(rhsNode ? lowerer.lowerExpr(rhsNode) : { kind: "numLit", value: 1, type: F64, loc }, "%compoundRhs");
+            const rawRhs = rhsNode
+                ? lowerer.lowerExpr(rhsNode)
+                : { kind: "numLit", value: 1, type: F64, loc };
+            // A `null`/`undefined` literal right side has no value of its own to
+            // hold in the temporary. In a JavaScript source `+` is the abstract
+            // operation (ToNumber for arithmetic, ToString for a string left
+            // operand — `s += null` appends "null"), so the unit crosses as the
+            // dynamic null rather than as the number it would convert to.
+            const rhs = save(rawRhs.kind === "unitLit"
+                ? isJsSourceFile(ts.getSourceFileOfNode(access))
+                    ? lowerer.coerceToExpected(rawRhs, DYN)
+                    : lowerOperatorNumber(lowerer, rawRhs, loc)
+                : rawRhs, "%compoundRhs");
             if (isJsSourceFile(ts.getSourceFileOfNode(access)) && lowerer.dynConvertible(rhs.type)) {
                 const numeric = ["-", "*", "/", "%", "**"].includes(op);
                 const right = lowerer.coerceToExpected(rhs, DYN);
@@ -777,7 +833,7 @@ export function lowerFieldCompoundValue(lowerer, access, op, rhsNode, loc) {
             }
             const numericRhs = rhs.type.kind === "dyn"
                 ? { kind: "dynCheck", value: rhs, type: F64, loc: rhs.loc }
-                : lowerOptionalNumber(lowerer, rhs, loc);
+                : lowerOperatorNumber(lowerer, rhs, loc);
             if (numericRhs.type.kind !== "f64")
                 compoundUnsupported(lowerer, access, op, F64, numericRhs.type);
             const value = save({ kind: "bin", op, left: cur, right: numericRhs, type: F64, loc }, "%compoundResult");
@@ -807,7 +863,7 @@ export function lowerFieldCompoundValue(lowerer, access, op, rhsNode, loc) {
     saveKeyedFieldKey(target, save);
     // Accessors observe getter, RHS side effects, then setter, all through
     // the saved receiver.
-    const fieldRead = lowerer.fieldGetExpr(target, locOf(access), access);
+    const fieldRead = lowerOptionalStringRead(lowerer, lowerer.fieldGetExpr(target, locOf(access), access), access, rhsNode, op, save, loc);
     // `+=` on a stored string field reads it into a mutable local, so the
     // concat below can append to that local in place.
     const storedString = op === "+" &&
@@ -823,10 +879,28 @@ export function lowerFieldCompoundValue(lowerer, access, op, rhsNode, loc) {
     else {
         read = save(fieldRead, "%compoundOld");
     }
-    const rhs = save(rhsNode ? lowerer.lowerExpr(rhsNode) : { kind: "numLit", value: 1, type: F64, loc }, "%compoundRhs");
+    // A `null`/`undefined` literal right side converts before it reaches the
+    // temporary: a local cannot hold a bare unit value. Every other right side
+    // keeps its own type in the temporary, as before.
+    const rawRhs = rhsNode
+        ? lowerer.lowerExpr(rhsNode)
+        : { kind: "numLit", value: 1, type: F64, loc };
+    // `s += null` on a STRING field appends "null": the abstract `+` converts
+    // the unit to its primitive and, with a string left operand, to a string.
+    // The unit has no value of its own to hold in the temporary, so it crosses
+    // as the dynamic null; every other compound operation converts it to a
+    // number (`n += null` adds 0).
+    const unitConcat = rawRhs.kind === "unitLit" &&
+        read.type.kind === "string" &&
+        isJsSourceFile(ts.getSourceFileOfNode(access));
+    const rhs = save(rawRhs.kind === "unitLit"
+        ? unitConcat
+            ? lowerer.coerceToExpected(rawRhs, DYN)
+            : lowerOperatorNumber(lowerer, rawRhs, loc)
+        : rawRhs, "%compoundRhs");
     const numericRhs = rhs.type.kind === "dyn" && isJsSourceFile(ts.getSourceFileOfNode(access))
         ? { kind: "dynCheck", value: rhs, type: F64, loc: rhs.loc }
-        : lowerOptionalNumber(lowerer, rhs, loc);
+        : lowerOperatorNumber(lowerer, rhs, loc);
     let value;
     let appended = null;
     const numericRead = lowerOptionalNumber(lowerer, read, loc, access);
@@ -876,4 +950,64 @@ export function lowerFieldCompoundValue(lowerer, access, op, rhsNode, loc) {
     body.push(lowerer.fieldSetStmt(target, lowerer.coerceInto(access, result, target.fieldType), loc, access));
     return { kind: "seqExpr", stmts: body, result, type: result.type, loc };
 }
+/** `+=` on an OPTIONAL string field (`label?: string`, `errorMessage:
+ * string | undefined`). JavaScript reads the absent value as a value and
+ * the abstract `+` converts it with ToString, so `label += "x"` on a label
+ * nobody set appends the text "undefined"; the compiler's string concat
+ * needs a string operand, which the declared `string | undefined` slot is
+ * not. The checker may also have narrowed the slot to `string` at this site
+ * (an earlier assignment — `block.label = block.label || ""` — or a typeof
+ * guard); then the absent arm cannot run, and the read narrows through the
+ * string arm, trapping like every checked narrowing. Null conversions leave
+ * the read alone: the compound's own fences answer those. */
+function lowerOptionalStringRead(lowerer, read, access, rhsNode, op, save, loc) {
+    if (op !== "+" || read.type.kind !== "union")
+        return read;
+    const unionId = read.type.unionId;
+    const absentTag = lowerer.armTag(unionId, UNDEFINED_T);
+    const presentTag = lowerer.armTag(unionId, STRING);
+    if (absentTag < 0 || presentTag < 0)
+        return read;
+    const present = lowerer.stripUndefinedArm(read.type);
+    if (present.kind !== "string")
+        return read;
+    const stable = save(read, "%compoundOldUnion");
+    const stringArm = () => ({
+        kind: "unionNarrow",
+        unionId,
+        tag: presentTag,
+        value: stable,
+        type: STRING,
+        loc,
+    });
+    // The checker proved the slot holds a string here: extract it, and a
+    // lying binding throws the catchable TypeError instead of appending to a
+    // value Node would have converted.
+    if (lowerer.mapTypeOf(lowerer.typeOf(access))?.kind === "string") {
+        const helper = lowerer.narrowedArmHelper(unionId, STRING, loc);
+        return helper ? lowerer.checkedNarrowCall(helper, stable, STRING, loc) : stringArm();
+    }
+    // An absent value appends its ToString, which is a string only when the
+    // right operand is one too (`undefined + 1` is NaN in JavaScript). Any
+    // other right side keeps the union read for the compound below, which
+    // takes the value already evaluated here: a getter runs once.
+    if (rhsNode === null || lowerer.mapTypeOf(lowerer.typeOf(rhsNode))?.kind !== "string")
+        return stable;
+    return {
+        kind: "ternary",
+        cond: {
+            kind: "unionIsTag",
+            unionId,
+            tag: absentTag,
+            negated: false,
+            value: stable,
+            type: BOOL,
+            loc,
+        },
+        then: { kind: "strLit", value: "undefined", type: STRING, loc },
+        else_: stringArm(),
+        type: STRING,
+        loc,
+    };
+}
 //# sourceMappingURL=updates.js.map