@scriptc/compiler 0.4.8 → 0.4.9

package/dist/frontend/lowering/lower-expando.js

@@ -4,44 +4,60 @@
  * (`const c: Combo = () => 1; c.p = {}` — an interface member written
  * through the const's name).
  *
- * The lowering: each written member is a MODULE GLOBAL keyed by
- * (function symbol × member key), registered during collection by
- * scanning the file for member-assignment statements whose receiver is a
- * direct reference to a module-level function declaration or a
- * function-valued const. Reads and writes through the function's NAME
- * route to that global — the checker's declared member type is the
- * slot's type, and JS object identity holds because only references that
- * RESOLVE to the declaring symbol route this way (a structurally-typed
- * alias keeps its fences: a different function value could satisfy the
- * same type, so symbol identity, not type identity, is the routing key).
+ * The members ARE own properties of the function object, so they lower
+ * through the closure's own-property table like every other callable
+ * member (lowering/callable-properties.ts): a write is the keyed table
+ * store the `any` view of the same function emits, a read the same keyed
+ * get checked back into the declared member type. Nothing here stores a
+ * value. This module contributes only the source-order fence that the
+ * table cannot express, plus the read-only function members JS refuses to
+ * assign.
  *
- * Honesty guards, mirroring the namespace-member stance:
- * - reads in INIT-EXECUTING position textually above the member's FIRST
- *   assignment fence (JS would answer undefined; the global would answer
- *   a later write's value);
- * - writes to the READ-ONLY function members (`length`, `name`,
- *   `caller`, `arguments`) fence: strict-mode JS (every module) throws
- *   TypeError there, and a global slot write would succeed. WRITABLE
- *   Function.prototype members (`apply`, `call`, `bind`, `toString`)
- *   shadow through an own property in JS and lower like any other member
- *   — reads route to the registry, so the shadowed value is what reads
- *   and calls observe;
- * - member keys are spelled names, folded computed keys
- *   (foldedStringKeyOf's contract), or statically-resolvable
- *   unique-symbol consts (uniqueSymbolKeyOf — the class symbol-field
- *   precedent); runtime-valued keys keep their fences. */
+ * Why a fence exists at all: Node evaluates a module top to bottom, so a
+ * read textually above the member's first assignment observes `undefined`
+ * (the property does not exist yet), which the member's declared type
+ * cannot hold — while the table answers a later write's value. An
+ * INIT-EXECUTING read above the first write fences by name instead. Reads
+ * inside function bodies take the module-globals stance the rest of the
+ * compiler already takes (a body that runs before the assignment is not
+ * modeled — same as a top-level const read through an early call).
+ *
+ * Strict-mode JS (every module) throws TypeError on writes to the
+ * non-writable function members `length`, `name`, `prototype` and the
+ * poisoned `caller`/`arguments` pair; a table store would succeed, so
+ * those writes fence by name too.
+ *
+ * Keys are spelled names, folded computed keys (foldedStringKeyOf's
+ * contract), or statically-resolvable unique-symbol consts
+ * (uniqueSymbolKeyOf — the class symbol-field precedent). Members the
+ * NAMESPACE machinery owns (a real function+namespace merge) have their
+ * own storage and their own fences and take no part here. */
 import * as ts from "../ts7/adapter.js";
-import {} from "../../ir/ir.js";
-import { isJsSourceFile, locOf } from "../program.js";
-import { isUnitOnlyTsType, unitOnlyUnion } from "../type-mapper.js";
+import { isJsSourceFile } from "../program.js";
 function memberOf(members, key) {
     return typeof key === "string" ? members?.names.get(key) : members?.symbols.get(key);
 }
 /** Function members JS refuses to assign in strict mode (every module is
  * strict): non-writable own properties of functions plus the poisoned
- * caller/arguments pair. A global slot write would succeed where Node
- * throws TypeError, so writes fence by name. */
+ * caller/arguments pair. They are not table data; their writes keep their
+ * own refusal. */
 const READONLY_FN_MEMBERS = new Set(["length", "name", "caller", "arguments", "prototype"]);
+/** The members the runtime's function-table property fence refuses
+ * (`scr_dyn_fn_property_fence`, scr_json.c): the native call/apply/bind and
+ * Object.prototype operations own those names, so no table store for them
+ * exists. A callable interface that declares one (`fn.apply = ...`) is an
+ * explicit refusal rather than a store that would throw at run time. */
+const FENCED_FN_MEMBERS = new Set([
+    "apply",
+    "bind",
+    "call",
+    "valueOf",
+    "toLocaleString",
+    "hasOwnProperty",
+    "propertyIsEnumerable",
+    "isPrototypeOf",
+    "constructor",
+]);
 /** The member key of an assignment target / read site: a spelled or
  * folded string name, a unique-symbol const's ts.Symbol, or null (not a
  * routable key). */
@@ -121,13 +137,10 @@ function expandoWriteOf(lowerer, node) {
     return { fnSym, key, access: left };
 }
 /** Collection: walk one file for expando member assignments and register
- * a module global per (function symbol × member key). Runs with
- * collectGlobals — before any statement lowers — so reads inside earlier
- * function bodies resolve. Registration failures (unmappable member
- * types) register nothing: the write statement's own lowering fences. */
+ * the first write of each (function symbol × member key). Runs with
+ * collectGlobals — before any statement lowers — so the read fence is
+ * known for reads inside earlier function bodies. */
 export function collectExpandoMembers(lowerer, sf) {
-    const rawTag = lowerer.fileTag.get(sf) ?? "";
-    const tag = rawTag === "" ? "e." : rawTag.replace(/^%/, "");
     // Worklist walk, not recursion: pathologically deep expressions (the
     // 7000-level nesting fixtures) must reach their own named fences, not
     // blow the collection pass's stack.
@@ -144,47 +157,17 @@ export function collectExpandoMembers(lowerer, sf) {
             if (existing) {
                 existing.firstWriteStart = Math.min(existing.firstWriteStart, ts.tokenStartOfNode(node));
             }
-            else if (!(typeof w.key === "string" && READONLY_FN_MEMBERS.has(w.key)) &&
+            else if (!(typeof w.key === "string" &&
+                (READONLY_FN_MEMBERS.has(w.key) || FENCED_FN_MEMBERS.has(w.key))) &&
                 !nsOwnedMember(lowerer, w.access)) {
-                // The member slot's type is the checker's DECLARED member type at
-                // the access (expando members widen across all assignments;
-                // interface members carry their declared type). Mapping failures
-                // register nothing and drop their collection-time diagnostics —
-                // the write statement's own lowering re-diagnoses in context.
-                const diagsBefore = lowerer.diags.length;
-                const tsType = lowerer.typeOf(w.access);
-                let type;
-                try {
-                    type = lowerer.mapTypeOf(tsType);
-                }
-                catch {
-                    lowerer.diags.splice(diagsBefore); // PoisonError — the statement re-diagnoses
-                    type = null;
-                }
-                if (type?.kind === "void" && isUnitOnlyTsType(tsType))
-                    type = unitOnlyUnion(lowerer.unions);
-                if (type && type.kind !== "void") {
-                    const fnName = ts.symbolName(w.fnSym);
-                    const memberName = typeof w.key === "string"
-                        ? w.key
-                        : `sym%${ts.symbolName(w.key)}%${(w.key.declarations.length === 0 ? undefined : ts.tokenStartOfNode(w.key.declarations[0])) ?? 0}`;
-                    const g = {
-                        id: `%g.${tag}${fnName}%.${memberName}`,
-                        name: `${fnName}.${memberName}`,
-                        type,
-                        mutable: true,
-                    };
-                    const entry = {
-                        global: g,
-                        firstWriteStart: ts.tokenStartOfNode(node),
-                        file: sf,
-                    };
-                    if (typeof w.key === "string")
-                        members.names.set(w.key, entry);
-                    else
-                        members.symbols.set(w.key, entry);
-                    lowerer.globalsList.push(g);
-                }
+                const entry = {
+                    firstWriteStart: ts.tokenStartOfNode(node),
+                    file: sf,
+                };
+                if (typeof w.key === "string")
+                    members.names.set(w.key, entry);
+                else
+                    members.symbols.set(w.key, entry);
             }
         }
         ts.forEachChild(node, (c) => {
@@ -202,7 +185,7 @@ export function collectExpandoMembers(lowerer, sf) {
  * function+namespace merge — those members have namespace globals and
  * nsWritableTarget routes them). Ambient (`declare namespace`) members
  * have no storage anywhere and are exactly the declared-expando idiom
- * this module lowers. */
+ * this module serves. */
 function nsOwnedMember(lowerer, access) {
     const nameNode = ts.isPropertyAccessExpression(access) ? access.name : access.argumentExpression;
     const sym = lowerer.checker.getSymbolAtLocation(nameNode);
@@ -230,69 +213,50 @@ function initExecutingPosition(node) {
     }
     return true;
 }
-/** Assignment-target resolution for expando member writes: the member's
- * module global. Fences read-only function members by name. Null when
- * the access is not an expando member at all. */
-export function expandoWritableTarget(lowerer, access) {
-    if (ts.isPropertyAccessExpression(access) && access.questionDotToken)
-        return null;
-    const fnSym = expandoFnSymbolOf(lowerer, access.expression);
-    if (!fnSym)
-        return null;
-    const key = memberKeyOf(lowerer, access);
-    if (key === null)
-        return null;
-    if (typeof key === "string" && READONLY_FN_MEMBERS.has(key)) {
-        lowerer.unsupported("SC1090", access, `assigning the read-only function member '${key}' (strict-mode JS — every module — throws TypeError here)`);
-    }
-    const member = memberOf(lowerer.expandoMembers.get(fnSym), key);
-    if (!member)
-        return null;
-    return { id: member.global.id, type: member.global.type };
-}
-/** Read resolution for expando member accesses: a varRef of the member's
- * global, guarded against init-position reads above the first write
- * (Node answers undefined there — the global would answer a later
- * write's value). Null when not an expando member read. */
-export function expandoMemberRead(lowerer, access) {
+/** The source-order fence on a member READ: a same-file init-position read
+ * above the member's first assignment observes `undefined` in Node, which
+ * the declared member type cannot hold, while the table would answer a
+ * later write's value. Refuses by name; every other read proceeds to the
+ * ordinary callable-member lowering (lowering/callable-properties.ts). */
+export function fenceExpandoRead(lowerer, access) {
     if (ts.isPropertyAccessExpression(access) && access.questionDotToken)
-        return null;
+        return;
     if (ts.isElementAccessExpression(access) && access.questionDotToken)
-        return null;
+        return;
     const fnSym = expandoFnSymbolOf(lowerer, access.expression);
     if (!fnSym)
-        return null;
+        return;
     const key = memberKeyOf(lowerer, access);
     if (key === null)
-        return null;
+        return;
     const member = memberOf(lowerer.expandoMembers.get(fnSym), key);
     if (!member)
-        return null;
+        return;
     if (ts.getSourceFileOfNode(access) === member.file &&
         initExecutingPosition(access) &&
         ts.tokenStartOfNode(access) < member.firstWriteStart) {
         const name = typeof key === "string" ? key : ts.symbolName(key);
         lowerer.unsupported("SC1090", access, `reading the function member '${name}' above its first assignment (JS answers undefined there, which the member's type cannot hold — move the read below the assignment)`);
     }
-    return {
-        kind: "varRef",
-        localId: member.global.id,
-        type: member.global.type,
-        loc: locOf(access),
-    };
 }
-/** The statement lowering for `<fn>.<key> = <value>`: an ordinary global
- * assign with the usual RHS coercion. Null when not an expando write. */
-export function lowerExpandoAssignStmt(lowerer, expr) {
-    if (expr.operatorToken.kind !== ts.SyntaxKind.EqualsToken)
-        return null;
-    const left = expr.left;
-    if (!ts.isPropertyAccessExpression(left) && !ts.isElementAccessExpression(left))
-        return null;
-    const target = expandoWritableTarget(lowerer, left);
-    if (!target)
-        return null;
-    const value = lowerer.lowerExprExpecting(expr.right, target.type);
-    return { kind: "assign", localId: target.id, value, loc: locOf(expr) };
+/** The read-only function members' write fence (see READONLY_FN_MEMBERS).
+ * Applies to the same receiver shape: strict-mode JS throws TypeError
+ * where a table store would succeed. */
+export function fenceReadonlyExpandoWrite(lowerer, access) {
+    if (ts.isPropertyAccessExpression(access) && access.questionDotToken)
+        return;
+    if (ts.isElementAccessExpression(access) && access.questionDotToken)
+        return;
+    const fnSym = expandoFnSymbolOf(lowerer, access.expression);
+    if (!fnSym)
+        return;
+    const key = memberKeyOf(lowerer, access);
+    if (typeof key === "string" && READONLY_FN_MEMBERS.has(key)) {
+        lowerer.unsupported("SC1090", access, `assigning the read-only function member '${key}' (strict-mode JS — every module — throws TypeError here)`);
+        return;
+    }
+    if (typeof key === "string" && FENCED_FN_MEMBERS.has(key)) {
+        lowerer.unsupported("SC1090", access, `assigning the function prototype member '${key}' (reserved by the native call/apply/bind and Object.prototype lowerings)`);
+    }
 }
 //# sourceMappingURL=lower-expando.js.map

package/dist/frontend/lowering/lower-expando.js.map

@@ -1 +1 @@
-{"version":3,"file":"lower-expando.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-expando.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0DA+B0D;AAC1D,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAwD,MAAM,gBAAgB,CAAC;AACtF,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAqBpE,SAAS,QAAQ,CACf,OAAmC,EACnC,GAAuB;IAEvB,OAAO,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACvF,CAAC;AAED;;;gDAGgD;AAChD,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;AAE5F;;oBAEoB;AACpB,SAAS,WAAW,CAClB,OAAgB,EAChB,IAA8D;IAE9D,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5D,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/D,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC,GAAG,CAAC;IACxB,OAAO,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;AAC5D,CAAC;AAED;;;;yDAIyD;AACzD,SAAS,iBAAiB,CAAC,OAAgB,EAAE,IAAmB;IAC9D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAExC,mEAAmE;IACnE,oEAAoE;IACpE,oEAAoE;IACpE,kCAAkC;IAClC,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC;IAClC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,iBAAiB;QAAE,OAAO,IAAI,CAAC;IACzE,IAAI,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IACnD,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC;YAC5C,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;YAE7C,OAAO,IAAI,CAAC;QACd,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5E,qEAAqE;QACrE,0DAA0D;QAC1D,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;QAC5B,OACE,IAAI,KAAK,SAAS;YAClB,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YAE3F,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QACzB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACrF,OAAO,IAAI,CAAC;QACd,IAAI,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;YACtF,OAAO,IAAI,CAAC;QACd,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;oEACoE;AACpE,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAa;IAMb,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;IACnC,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAChC,CAAC,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,uBAAuB,IAAI,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC,EACzF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7F,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC9E,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACtC,CAAC;AAED;;;;yEAIyE;AACzE,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,EAAiB;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;IAC7C,MAAM,GAAG,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5D,qEAAqE;IACrE,sEAAsE;IACtE,oCAAoC;IACpC,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,MAAM,CAAC,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,EAAE,CAAC;YACN,IAAI,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAClD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,GAAG,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;gBACnD,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YAC1C,IAAI,QAAQ,EAAE,CAAC;gBACb,QAAQ,CAAC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3F,CAAC;iBAAM,IACL,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC9D,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,EACjC,CAAC;gBACD,kEAAkE;gBAClE,4DAA4D;gBAC5D,iEAAiE;gBACjE,gEAAgE;gBAChE,8DAA8D;gBAC9D,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;gBACzC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACxC,IAAI,IAAmB,CAAC;gBACxB,IAAI,CAAC;oBACH,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBACnC,CAAC;gBAAC,MAAM,CAAC;oBACP,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,2CAA2C;oBAC9E,IAAI,GAAG,IAAI,CAAC;gBACd,CAAC;gBACD,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,gBAAgB,CAAC,MAAM,CAAC;oBAAE,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC5F,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACjC,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACtC,MAAM,UAAU,GACd,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;wBACvB,CAAC,CAAC,CAAC,CAAC,GAAG;wBACP,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBACxI,MAAM,CAAC,GAAa;wBAClB,EAAE,EAAE,MAAM,GAAG,GAAG,MAAM,KAAK,UAAU,EAAE;wBACvC,IAAI,EAAE,GAAG,MAAM,IAAI,UAAU,EAAE;wBAC/B,IAAI;wBACJ,OAAO,EAAE,IAAI;qBACd,CAAC;oBACF,MAAM,KAAK,GAAkB;wBAC3B,MAAM,EAAE,CAAC;wBACT,eAAe,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;wBAC1C,IAAI,EAAE,EAAE;qBACT,CAAC;oBACF,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;wBAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;;wBAC1D,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;oBACvC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC9B,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YAC1B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;QACxB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,GAAG,EAAG,CAAC,CAAC;AACjD,CAAC;AAED;;;;;yBAKyB;AACzB,SAAS,aAAa,CACpB,OAAgB,EAChB,MAAgE;IAEhE,MAAM,QAAQ,GAAG,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC;IACjG,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC1D,IAAI,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;QACjC,KACE,IAAI,CAAC,GAAwB,CAAC,CAAC,MAAM,EACrC,CAAC,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EACtC,CAAC,GAAG,CAAC,CAAC,MAAM,EACZ,CAAC;YACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9B,OAAO,CAAC,CACN,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;oBACvE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAC5C,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;qCAEqC;AACrC,SAAS,qBAAqB,CAAC,IAAa;IAC1C,KAAK,IAAI,CAAC,GAAwB,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QAC7E,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACvC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,MAAM;IAChC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;iDAEiD;AACjD,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,MAAgE;IAEhE,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClF,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,4CAA4C,GAAG,2DAA2D,CAC3G,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IAChE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAC5D,CAAC;AAED;;;2DAG2D;AAC3D,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,MAAgE;IAEhE,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClF,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACjF,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IAChE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,IACE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,IAAI;QAC9C,qBAAqB,CAAC,MAAM,CAAC;QAC7B,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,eAAe,EACpD,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAChE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,gCAAgC,IAAI,qIAAqI,CAC1K,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE;QACzB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI;QACxB,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC;KACnB,CAAC;AACJ,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAyB;IAChF,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7F,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AACzE,CAAC"}
+{"version":3,"file":"lower-expando.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-expando.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6DAiC6D;AAC7D,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAoB/C,SAAS,QAAQ,CACf,OAAmC,EACnC,GAAuB;IAEvB,OAAO,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACvF,CAAC;AAED;;;kBAGkB;AAClB,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;AAE5F;;;;wEAIwE;AACxE,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;IAChC,OAAO;IACP,MAAM;IACN,MAAM;IACN,SAAS;IACT,gBAAgB;IAChB,gBAAgB;IAChB,sBAAsB;IACtB,eAAe;IACf,aAAa;CACd,CAAC,CAAC;AAEH;;oBAEoB;AACpB,SAAS,WAAW,CAClB,OAAgB,EAChB,IAA8D;IAE9D,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5D,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/D,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC,GAAG,CAAC;IACxB,OAAO,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;AAC5D,CAAC;AAED;;;;yDAIyD;AACzD,SAAS,iBAAiB,CAAC,OAAgB,EAAE,IAAmB;IAC9D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAExC,mEAAmE;IACnE,oEAAoE;IACpE,oEAAoE;IACpE,kCAAkC;IAClC,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC;IAClC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,iBAAiB;QAAE,OAAO,IAAI,CAAC;IACzE,IAAI,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IACnD,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC;YAC5C,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;YAE7C,OAAO,IAAI,CAAC;QACd,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5E,qEAAqE;QACrE,0DAA0D;QAC1D,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;QAC5B,OACE,IAAI,KAAK,SAAS;YAClB,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YAE3F,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QACzB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACrF,OAAO,IAAI,CAAC;QACd,IAAI,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;YACtF,OAAO,IAAI,CAAC;QACd,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;oEACoE;AACpE,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAa;IAMb,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;IACnC,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAChC,CAAC,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,uBAAuB,IAAI,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC,EACzF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7F,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC9E,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACtC,CAAC;AAED;;;qDAGqD;AACrD,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,EAAiB;IACvE,qEAAqE;IACrE,sEAAsE;IACtE,oCAAoC;IACpC,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,MAAM,CAAC,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,EAAE,CAAC;YACN,IAAI,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAClD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,GAAG,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;gBACnD,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YAC1C,IAAI,QAAQ,EAAE,CAAC;gBACb,QAAQ,CAAC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3F,CAAC;iBAAM,IACL,CAAC,CACC,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;gBACzB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CACjE;gBACD,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,EACjC,CAAC;gBACD,MAAM,KAAK,GAAkB;oBAC3B,eAAe,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;oBAC1C,IAAI,EAAE,EAAE;iBACT,CAAC;gBACF,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;oBAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;;oBAC1D,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YAC1B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;QACxB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,GAAG,EAAG,CAAC,CAAC;AACjD,CAAC;AAED;;;;;yBAKyB;AACzB,SAAS,aAAa,CACpB,OAAgB,EAChB,MAAgE;IAEhE,MAAM,QAAQ,GAAG,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC;IACjG,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC1D,IAAI,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;QACjC,KACE,IAAI,CAAC,GAAwB,CAAC,CAAC,MAAM,EACrC,CAAC,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EACtC,CAAC,GAAG,CAAC,CAAC,MAAM,EACZ,CAAC;YACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9B,OAAO,CAAC,CACN,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;oBACvE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAC5C,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;qCAEqC;AACrC,SAAS,qBAAqB,CAAC,IAAa;IAC1C,KAAK,IAAI,CAAC,GAAwB,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QAC7E,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACvC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,MAAM;IAChC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;0EAI0E;AAC1E,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,MAAgE;IAEhE,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO;IAC7E,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO;IAC5E,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,KAAK;QAAE,OAAO;IACnB,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO;IACzB,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IAChE,IAAI,CAAC,MAAM;QAAE,OAAO;IACpB,IACE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,IAAI;QAC9C,qBAAqB,CAAC,MAAM,CAAC;QAC7B,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,eAAe,EACpD,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAChE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,gCAAgC,IAAI,qIAAqI,CAC1K,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;wCAEwC;AACxC,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,MAAgE;IAEhE,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO;IAC7E,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO;IAC5E,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,KAAK;QAAE,OAAO;IACnB,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,4CAA4C,GAAG,2DAA2D,CAC3G,CAAC;QACF,OAAO;IACT,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,4CAA4C,GAAG,2EAA2E,CAC3H,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/lower-exprs.js

@@ -21,7 +21,7 @@ import { recordStringCall } from "./record-links.js";
 import { nullProtoRecordShape } from "./null-prototype.js";
 import { lowerMaybePromiseAwait, maybePromiseUnionOf, promiseArmedUnionOf, } from "./maybe-promise.js";
 import { checkedClassUnionAssertion } from "./class-assertions.js";
-import { BIGINT_T, BOOL, CAUGHT, DYN, F64, NULL_T, REF_TRUTHY_KINDS, REGEX, STRING, UNDEFINED_T, VOID, arrayOf, funcOf, isUnitType, typeEquals, typeKey, } from "../../ir/ir.js";
+import { BIGINT_T, BOOL, CAUGHT, DYN, F64, NULL_T, REF_TRUTHY_KINDS, REGEX, STRING, UNDEFINED_T, VOID, arrayOf, funcOf, isUnitType, typeEquals, sortArms, } from "../../ir/ir.js";
 import { cjsExportAssignmentOf, cjsExportDiscardReason, cjsExportTargetLiteral, isJsSourceFile, locOf, } from "../program.js";
 import { npmStaticLexerVisibleNames } from "../npm-static.js";
 import { NARROW_FIRST, UNSUPPORTED_EXPR, sideEffectFreeOptionValue, stdlibGlobalNameOf, } from "./surfaces.js";
@@ -556,7 +556,7 @@ function lowerExprInner(lowerer, expr) {
                 }
                 else {
                     const arms = [inner, ...units];
-                    arms.sort((a, b) => (typeKey(a) < typeKey(b) ? -1 : 1));
+                    sortArms(arms);
                     type = { kind: "union", unionId: lowerer.unions.intern(arms) };
                 }
                 return { kind: "awaitUnionExpr", value, promiseTag, type, loc };