@scriptc/compiler 0.4.8 → 0.4.9

package/dist/frontend/lowering/expressions/erased-delete.js

@@ -0,0 +1,247 @@
+/* A member `delete` through a chain of type assertions:
+ * `delete (o as View).k`, `delete (o as unknown as View)["k"]`.
+ *
+ * Node erases a type assertion, so the delete names the very object the
+ * operand names: the assertion only decides what the checker accepts. The
+ * asserted view's conversion may instead build a fresh width record
+ * (`%rec.width`), and a delete that addresses that temporary would land on
+ * the copy and vanish without a diagnostic.
+ *
+ * A delete therefore addresses the assertion's operand and lands in place
+ * when the operand's OWN stored layout holds the member as a deletable slot
+ * — an optional field's absent state, or a pure `Record<string, T>` key.
+ * Any other layout has nothing to delete, so the caller refuses by name
+ * instead of dropping the delete. Only a RECORD operand converts into a
+ * copying width record; a dyn/unknown cast is an identity-preserving view,
+ * and the ordinary lowering already deletes through it, so those keep it
+ * (also exactly Node). The static type decides before lowering, so an
+ * operand with side effects is lowered exactly once. */
+import * as ts from "../../ts7/adapter.js";
+import { BOOL, STRING } from "../../../ir/ir.js";
+import { locOf } from "../../program.js";
+import { markSloppyRecordWrites } from "../frozen-records.js";
+import { isPureReference } from "../effect-free.js";
+import { isSafeToRepeat } from "./evaluation-safety.js";
+import { literalFieldKeys } from "./keyed-field-targets.js";
+/** The operand a member `delete` addresses through a chain of type
+ * assertions: `(o as View).k` names `o`, and `(o as unknown as View)["k"]`
+ * the same. Null when no `as`/`<T>` wraps the receiver (a delete there
+ * keeps the ordinary lowering). */
+export function assertionOperandOf(node) {
+    let operand = node;
+    let asserted = false;
+    for (;;) {
+        if (ts.isParenthesizedExpression(operand)) {
+            operand = operand.expression;
+            continue;
+        }
+        if (ts.isAsExpression(operand) || ts.isTypeAssertion(operand)) {
+            operand = operand.expression;
+            asserted = true;
+            continue;
+        }
+        break;
+    }
+    return asserted ? operand : null;
+}
+/** The constant property key of a `delete` target: the name of a dot
+ * access, or the one key of a bracket access spelled as a literal or
+ * proved by a literal-typed binding (`const key = "a"`). A key of several
+ * literals folds to nothing — deleting it would need per-key dispatch, so
+ * the record branch refuses and names the keys. Consistent with keyed
+ * record reads/writes (literalFieldKeys), the key expression is not
+ * evaluated: only a literal or an identifier folds, and an identifier
+ * read is pure. */
+export function constantDeleteKey(lowerer, target) {
+    if (ts.isPropertyAccessExpression(target))
+        return target.name.text;
+    if (!ts.isElementAccessExpression(target))
+        return null;
+    const keyNode = target.argumentExpression;
+    if (ts.isStringLiteralLike(keyNode))
+        return keyNode.text;
+    if (!ts.isIdentifier(keyNode))
+        return null;
+    const keys = literalFieldKeys(lowerer, keyNode);
+    return keys?.length === 1 ? keys[0] : null;
+}
+/** The property key a `delete` evaluates for an index-signature record: a
+ * dot access's name, or the bracket key converted to a string the way a
+ * keyed record read does. */
+export function lowerDeleteKey(lowerer, target) {
+    if (ts.isPropertyAccessExpression(target))
+        return { kind: "strLit", value: target.name.text, type: STRING, loc: locOf(target.name) };
+    return lowerDeleteComputedKey(lowerer, target.argumentExpression);
+}
+/** A bracket `delete` key lowered to the STRING a record key is stored
+ * under: a dyn value goes through ToString, an optional wider than string
+ * is narrowed, and anything else is refused by name. */
+export function lowerDeleteComputedKey(lowerer, keyNode) {
+    let key = lowerer.lowerExpr(keyNode);
+    if (key.type.kind === "dyn") {
+        key = { kind: "libCall", fn: "dyn.toStringCoerce", args: [key], type: STRING, loc: key.loc };
+    }
+    if (lowerer.runtimeOptionalWidening(key.type, STRING) !== null) {
+        key = lowerer.ensureString(key, keyNode);
+    }
+    if (key.type.kind !== "string") {
+        lowerer.unsupported("SC1090", keyNode, `'delete' with '${lowerer.fmt(key.type)}' keys (index-signature and env keys are strings)`);
+    }
+    return key;
+}
+/** The constant member a delete through an assertion names. */
+const MISSING_ASSERTED_MEMBER = (member) => `'delete' of '${member}' through a type assertion to a member the value's own layout does not hold (Node erases the assertion and deletes from the operand; the asserted view's conversion would build a copy, so the delete would land on the temporary and disappear — declare the member on the value's type instead)`;
+const UNKNOWN_ASSERTED_LAYOUT = "'delete' through a type assertion whose value has no statically known record layout (the asserted view's conversion would build a copy, so the delete would land on the temporary and disappear)";
+export function erasedDeletePlan(lowerer, target) {
+    const operand = assertionOperandOf(target.expression);
+    if (operand === null)
+        return null;
+    const staticType = lowerer.mapTypeOf(lowerer.typeOf(operand));
+    if (staticType?.kind !== "record")
+        return null;
+    const shape = lowerer.shapes.get(staticType.shapeId);
+    if (!shape)
+        return { refuse: UNKNOWN_ASSERTED_LAYOUT };
+    const member = constantDeleteKey(lowerer, target);
+    // A key only a literal proves, a pure index signature's key, and a
+    // declared field all name a slot the operand's own layout has. A declared
+    // field that is REQUIRED (and the hybrid/optional-checked-dynamic cases)
+    // is not deletable, but lowerRecordMemberDelete names that reason better
+    // than this plan can, so it decides there.
+    const held = (shape.indexValue !== undefined && shape.fields.length === 0 && !shape.tuple) ||
+        member === null ||
+        (!shape.tuple && shape.fields.some((field) => field.name === member));
+    return held ? { operand } : { refuse: MISSING_ASSERTED_MEMBER(member) };
+}
+/** The statement that deletes `member` from `obj` — a pure index-signature
+ * key (`recordKeyDelete`, the overflow Map delete) or a declared OPTIONAL
+ * field's ABSENT state — or a named refusal when the shape cannot delete
+ * it. `key` lowers the bracket key lazily: the constant-field path never
+ * evaluates it (its key expression is a literal or a pure identifier
+ * read). */
+export function lowerRecordMemberDelete(lowerer, expr, target, obj, key) {
+    return recordDeletePlan(lowerer, expr, target, obj, key, false).stmt;
+}
+/** `delete` in VALUE position over a record: the same in-place delete a
+ * statement performs, then Node's boolean answer. The receiver and a
+ * computed key are bound once (the presence test reads them again), and a
+ * receiver a key that runs program code could replace is held before the
+ * key evaluates it, as JavaScript reads the receiver first. The answer is
+ * read from the member itself after the delete rather than from the frozen
+ * bit: a frozen record keeps the member (sloppy code) and answers `false`,
+ * while a member that was never there is gone and answers `true`. Strict
+ * code never reaches the answer for a refused delete — the frozen guard
+ * throws first. */
+export function lowerRecordDeleteExpr(lowerer, expr, target, obj) {
+    const loc = locOf(expr);
+    const stmts = [];
+    const receiver = bindOnce(lowerer, stmts, obj, "%deleteReceiver", loc, keyEvaluatesCode(lowerer, target));
+    let loweredKey = null;
+    const key = () => {
+        if (loweredKey === null)
+            loweredKey = bindOnce(lowerer, stmts, lowerDeleteKey(lowerer, target), "%deleteKey", loc);
+        return loweredKey;
+    };
+    const plan = recordDeletePlan(lowerer, expr, target, receiver, key, true);
+    stmts.push(plan.stmt);
+    const present = plan.present ?? { kind: "boolLit", value: true, type: BOOL, loc };
+    return {
+        kind: "seqExpr",
+        stmts,
+        result: { kind: "unary", op: "!", operand: present, type: BOOL, loc },
+        type: BOOL,
+        loc,
+    };
+}
+/** Whether evaluating this delete's key runs program code. JavaScript
+ * evaluates the receiver first and deletes from that value, so a key that
+ * runs program code may reassign the receiver's binding or the field the
+ * receiver reads before the delete addresses it. A dot access and a
+ * constant bracket key spell the key with no program code; a bracket key
+ * that is a literal, a pure read or a literal-typed binding's read cannot
+ * run any either — except an untyped key, whose own ToString conversion
+ * can. */
+function keyEvaluatesCode(lowerer, target) {
+    if (!ts.isElementAccessExpression(target))
+        return false;
+    let keyNode = target.argumentExpression;
+    while (ts.isParenthesizedExpression(keyNode))
+        keyNode = keyNode.expression;
+    if (ts.isLiteralExpression(keyNode) || constantDeleteKey(lowerer, target) !== null)
+        return false;
+    if (!isPureReference(lowerer, keyNode))
+        return true;
+    return lowerer.mapTypeOf(lowerer.typeOf(keyNode))?.kind === "dyn";
+}
+/** `value`, or a hidden local initialized with it when reading it twice
+ * would repeat an effect (a varRef or a literal reads for free) — or when
+ * `hold` asks for the value as it is at this point, because something
+ * evaluated later can replace it. */
+function bindOnce(lowerer, stmts, value, name, loc, hold = false) {
+    if (!hold && (isSafeToRepeat(value) || value.kind === "strLit" || value.kind === "numLit"))
+        return value;
+    const slot = lowerer.declareHiddenLocal(name, value.type);
+    stmts.push({ kind: "varDecl", localId: slot.id, init: value, loc });
+    return { kind: "varRef", localId: slot.id, type: value.type, loc };
+}
+function recordDeletePlan(lowerer, expr, target, obj, key, withPresent) {
+    if (obj.type.kind !== "record")
+        return lowerer.unsupported("SC1090", expr, UNKNOWN_ASSERTED_LAYOUT);
+    const loc = locOf(expr);
+    const shape = lowerer.shapes.get(obj.type.shapeId);
+    if (shape?.indexValue && shape.fields.length === 0 && !shape.tuple) {
+        const shapeId = obj.type.shapeId;
+        const loweredKey = key();
+        const stmt = markSloppyRecordWrites(lowerer, { kind: "recordKeyDelete", obj, shapeId, key: loweredKey, loc }, expr);
+        // A pure index-signature record keeps its keys in the overflow map, so
+        // its own presence test after the delete is the map's.
+        const present = withPresent
+            ? { kind: "recordOvfHas", obj, shapeId, key: loweredKey, type: BOOL, loc }
+            : null;
+        return { stmt, present };
+    }
+    // `delete r.f` of a declared OPTIONAL field (undefined-armed slot)
+    // writes the field's ABSENT state: a monomorphic shape cannot remove
+    // its slot, but the slot remembers that no property exists, so `in`
+    // answers false, Object.keys skips it, and JSON.stringify drops it,
+    // while a later write makes it present again. Constant keys only
+    // (dot access or a literal bracket); required fields keep the honest
+    // fence below.
+    const constantKey = constantDeleteKey(lowerer, target);
+    const field = constantKey !== null && !shape?.tuple
+        ? shape?.fields.find((f) => f.name === constantKey)
+        : undefined;
+    if (field) {
+        const absent = lowerer.absentFieldValue(field, loc);
+        if (absent) {
+            const stmt = markSloppyRecordWrites(lowerer, {
+                kind: "recordSet",
+                obj,
+                shapeId: obj.type.shapeId,
+                field: field.name,
+                value: absent,
+                loc,
+            }, expr, true);
+            // The field's own presence after the delete: an undefined-armed slot
+            // is absent exactly when it reads as the ABSENT state, and a frozen
+            // record kept its value, so the delete answered false.
+            const present = withPresent
+                ? lowerer.recordFieldPresent(obj, obj.type.shapeId, field.name, loc)
+                : null;
+            return { stmt, present };
+        }
+    }
+    if (shape?.indexValue) {
+        lowerer.unsupported("SC1090", expr, "'delete' of hybrid index-signature keys (declared struct slots and overflow entries answer differently — model deletable dynamic keys with a pure Record<string, T>)");
+    }
+    // A key of SEVERAL literals names no single slot: say that instead of
+    // blaming a field the caller never named.
+    const keyNames = constantKey === null && ts.isElementAccessExpression(target)
+        ? literalFieldKeys(lowerer, target.argumentExpression)
+        : null;
+    if (keyNames !== null && keyNames.length > 1) {
+        lowerer.unsupported("SC1090", expr, `'delete' through keys of ${keyNames.length} literals (${keyNames.map((k) => `'${k}'`).join(", ")}; delete one constant key at a time, or switch over the key)`);
+    }
+    lowerer.unsupported("SC1090", expr, "'delete' of required record fields (the shape's slot cannot be removed — only an optional field (`f?: T`) has an absent state, which Object.keys, 'in', and JSON.stringify follow; make the field optional if the program must remove it)");
+}
+//# sourceMappingURL=erased-delete.js.map

package/dist/frontend/lowering/expressions/erased-delete.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"erased-delete.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/erased-delete.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;wDAiBwD;AACxD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAyC,MAAM,mBAAmB,CAAC;AACxF,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAE5D;;;mCAGmC;AACnC,MAAM,UAAU,kBAAkB,CAAC,IAAmB;IACpD,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,SAAS,CAAC;QACR,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9D,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;YAC7B,QAAQ,GAAG,IAAI,CAAC;YAChB,SAAS;QACX,CAAC;QACD,MAAM;IACR,CAAC;IACD,OAAO,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACnC,CAAC;AAED;;;;;;;mBAOmB;AACnB,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,MAAqB;IACvE,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACnE,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,OAAO,GAAG,MAAM,CAAC,kBAAkB,CAAC;IAC1C,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC;IACzD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChD,OAAO,IAAI,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9C,CAAC;AAED;;6BAE6B;AAC7B,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,MAAgE;IAEhE,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAC5F,OAAO,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC;AACpE,CAAC;AAED;;wDAEwD;AACxD,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,OAAsB;IAC7E,IAAI,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5B,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IAC/F,CAAC;IACD,IAAI,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/D,GAAG,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,OAAO,EACP,kBAAkB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,mDAAmD,CAC3F,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+DAA+D;AAC/D,MAAM,uBAAuB,GAAG,CAAC,MAAc,EAAU,EAAE,CACzD,gBAAgB,MAAM,mSAAmS,CAAC;AAE5T,MAAM,uBAAuB,GAC3B,kMAAkM,CAAC;AAcrM,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,MAAgE;IAEhE,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9D,IAAI,UAAU,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;IACvD,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAClD,mEAAmE;IACnE,0EAA0E;IAC1E,yEAAyE;IACzE,yEAAyE;IACzE,2CAA2C;IAC3C,MAAM,IAAI,GACR,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QAC7E,MAAM,KAAK,IAAI;QACf,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;AAC1E,CAAC;AAWD;;;;;YAKY;AACZ,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAyB,EACzB,MAAgE,EAChE,GAAW,EACX,GAAiB;IAEjB,OAAO,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC;AACvE,CAAC;AAED;;;;;;;;;mBASmB;AACnB,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAyB,EACzB,MAAgE,EAChE,GAAW;IAEX,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,QAAQ,CACvB,OAAO,EACP,KAAK,EACL,GAAG,EACH,iBAAiB,EACjB,GAAG,EACH,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,CAClC,CAAC;IACF,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,MAAM,GAAG,GAAG,GAAW,EAAE;QACvB,IAAI,UAAU,KAAK,IAAI;YACrB,UAAU,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QAC5F,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC1E,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK;QACL,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACrE,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;;;UAOU;AACV,SAAS,gBAAgB,CACvB,OAAgB,EAChB,MAAgE;IAEhE,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,IAAI,OAAO,GAAkB,MAAM,CAAC,kBAAkB,CAAC;IACvD,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QAAE,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC3E,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjG,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK,CAAC;AACpE,CAAC;AAED;;;qCAGqC;AACrC,SAAS,QAAQ,CACf,OAAgB,EAChB,KAAe,EACf,KAAa,EACb,IAAY,EACZ,GAAW,EACX,IAAI,GAAG,KAAK;IAEZ,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;QACxF,OAAO,KAAK,CAAC;IACf,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IACpE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AACrE,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAgB,EAChB,IAAyB,EACzB,MAAgE,EAChE,GAAW,EACX,GAAiB,EACjB,WAAoB;IAEpB,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC5B,OAAO,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,uBAAuB,CAAC,CAAC;IACtE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,KAAK,EAAE,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnE,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;QACjC,MAAM,UAAU,GAAG,GAAG,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,sBAAsB,CACjC,OAAO,EACP,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,EAC/D,IAAI,CACL,CAAC;QACF,uEAAuE;QACvE,uDAAuD;QACvD,MAAM,OAAO,GAAkB,WAAW;YACxC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC1E,CAAC,CAAC,IAAI,CAAC;QACT,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC3B,CAAC;IACD,mEAAmE;IACnE,qEAAqE;IACrE,oEAAoE;IACpE,oEAAoE;IACpE,iEAAiE;IACjE,qEAAqE;IACrE,eAAe;IACf,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,KAAK,GACT,WAAW,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,KAAK;QACnC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;QACnD,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACpD,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,IAAI,GAAG,sBAAsB,CACjC,OAAO,EACP;gBACE,IAAI,EAAE,WAAW;gBACjB,GAAG;gBACH,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO;gBACzB,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM;gBACb,GAAG;aACJ,EACD,IAAI,EACJ,IAAI,CACL,CAAC;YACF,qEAAqE;YACrE,oEAAoE;YACpE,uDAAuD;YACvD,MAAM,OAAO,GAAkB,WAAW;gBACxC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;gBACpE,CAAC,CAAC,IAAI,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,IAAI,KAAK,EAAE,UAAU,EAAE,CAAC;QACtB,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,sKAAsK,CACvK,CAAC;IACJ,CAAC;IACD,sEAAsE;IACtE,0CAA0C;IAC1C,MAAM,QAAQ,GACZ,WAAW,KAAK,IAAI,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAC1D,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,kBAAkB,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,4BAA4B,QAAQ,CAAC,MAAM,cAAc,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,8DAA8D,CAChK,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,2OAA2O,CAC5O,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/expressions/hosted-narrowing.d.ts

@@ -30,6 +30,16 @@ export declare function hostedArmTags(lowerer: Lowerer, fromId: string, narrowed
  * to it. A binding initialized by such an assertion keeps the stored type,
  * so its member writes reach the asserted object. */
 export declare function hostsAll(lowerer: Lowerer, storage: IrType, narrowed: IrType): boolean;
+/** Whether a type assertion to `target` only ADDS optional members to the
+ * record layout `storage` (`item as Base & { icons?: unknown }`): every
+ * member `storage` declares keeps its exact type, and every member only
+ * `target` declares can hold undefined. Node erases such an assertion, so
+ * the value keeps the storage layout — a read of an added member has no
+ * slot to read and answers from the layout's kept source instead
+ * (assertedOnlyFieldRead). A target that adds a REQUIRED member, narrows a
+ * stored one, or brings an index signature keeps its conversion: a closed
+ * record has no slot to hold what it adds. */
+export declare function assertedOptionalExtension(lowerer: Lowerer, storage: IrType, target: IrType): boolean;
 /** The stored arms that can PRESENT an asserted record view: the view names
  * members the arm itself stores, at the same slot type, so the assertion is
  * pure typing in Node and the arm's own storage answers every read and

package/dist/frontend/lowering/expressions/hosted-narrowing.js

@@ -1,4 +1,4 @@
-import { shapeHasAccessorSlots, typeEquals, } from "../../../ir/ir.js";
+import { UNDEFINED_T, shapeHasAccessorSlots, typeEquals, } from "../../../ir/ir.js";
 /** A checker narrowing can refine the arms of a union of records with an
  * intersection: a predicate `r is Route & { path: string }`, or the
  * `"path" in r` narrowing, which intersects arms that do not declare the
@@ -93,6 +93,53 @@ export function hostsAll(lowerer, storage, narrowed) {
     }
     return refined;
 }
+/** Whether a type assertion to `target` only ADDS optional members to the
+ * record layout `storage` (`item as Base & { icons?: unknown }`): every
+ * member `storage` declares keeps its exact type, and every member only
+ * `target` declares can hold undefined. Node erases such an assertion, so
+ * the value keeps the storage layout — a read of an added member has no
+ * slot to read and answers from the layout's kept source instead
+ * (assertedOnlyFieldRead). A target that adds a REQUIRED member, narrows a
+ * stored one, or brings an index signature keeps its conversion: a closed
+ * record has no slot to hold what it adds. */
+export function assertedOptionalExtension(lowerer, storage, target) {
+    if (storage.kind !== "record" || target.kind !== "record")
+        return false;
+    if (storage.shapeId === target.shapeId)
+        return false;
+    const stored = lowerer.shapes.get(storage.shapeId);
+    const added = lowerer.shapes.get(target.shapeId);
+    if (!stored || !added || stored.tuple || added.tuple)
+        return false;
+    // A hybrid storage answers undeclared keys from its overflow store, so
+    // the assertion has nothing to add there; its own keyed read stands.
+    if (stored.indexValue !== undefined)
+        return false;
+    if (added.indexValue !== undefined || added.fields.length === 0)
+        return false;
+    // Accessor slots are not properties an assertion adds (they dispatch a
+    // getter), and a stored accessor keeps its own read.
+    if (stored.fields.some((f) => f.name.startsWith("%")))
+        return false;
+    if (added.fields.some((f) => f.name.startsWith("%")))
+        return false;
+    for (const field of stored.fields) {
+        const same = added.fields.find((f) => f.name === field.name);
+        if (!same || !typeEquals(same.type, field.type))
+            return false;
+    }
+    let extra = false;
+    for (const field of added.fields) {
+        if (stored.fields.some((f) => f.name === field.name))
+            continue;
+        const holdsUndefined = field.type.kind === "dyn" ||
+            (field.type.kind === "union" && lowerer.armTag(field.type.unionId, UNDEFINED_T) >= 0);
+        if (!holdsUndefined)
+            return false;
+        extra = true;
+    }
+    return extra;
+}
 function recordHosts(lowerer, storedId, narrowedId) {
     const stored = lowerer.shapes.get(storedId);
     const narrowed = lowerer.shapes.get(narrowedId);

package/dist/frontend/lowering/expressions/hosted-narrowing.js.map

@@ -1 +1 @@
-{"version":3,"file":"hosted-narrowing.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/hosted-narrowing.ts"],"names":[],"mappings":"AAEA,OAAO,EAIL,qBAAqB,EACrB,UAAU,GACX,MAAM,mBAAmB,CAAC;AAE3B;;;;;;;;;;;;;;;;;;;;yBAoByB;AACzB,MAAM,UAAU,aAAa,CAC3B,OAAgB,EAChB,MAAc,EACd,QAAgB;IAEhB,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,YAAY,GAChB,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACtF,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC3C,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACvC,OAAO,GAAG,IAAI,CAAC;QACf,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;YAChC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAClF,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACnB,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,0EAA0E;AAC1E,SAAS,WAAW,CAAC,OAAgB,EAAE,OAAe;IACpD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAC3C,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;AACrE,CAAC;AAED;;;;;;qDAMqD;AACrD,MAAM,UAAU,QAAQ,CAAC,OAAgB,EAAE,OAAe,EAAE,QAAgB;IAC1E,IAAI,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,IAAI,UAA6B,CAAC;IAClC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QACzD,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC;IACzD,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC;QAC7F,UAAU,GAAG,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,YAAY,GAChB,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACtF,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAAE,SAAS;QACnE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACxC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAC5B,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAC1F,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAAC,OAAgB,EAAE,QAAgB,EAAE,UAAkB;IACzE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,MAAM,CAAC,UAAU,IAAI,QAAQ,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC;YACnF,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IACnE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;gCAGgC;AAChC,SAAS,WAAW,CAAC,OAAgB,EAAE,QAAgB,EAAE,MAAc;IACrE,IAAI,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACzE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACpF,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxD,OAAO,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AACjF,CAAC;AAED;;;;;;;;sDAQsD;AACtD,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,MAAc,EACd,IAAY;IAEZ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC5B,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QAChE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACvC,OAAO,EAAE,CAAC;QACV,IAAI,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;0EAG0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,QAAgB,EAAE,MAAc;IACjF,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACjE,IAAI,MAAM,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,qBAAqB,CAAC,MAAM,CAAC,IAAI,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/E,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE;QAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;QACzD,OAAO,EAAE,KAAK,SAAS,IAAI,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;0DAI0D;AAC1D,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,KAAa,EACb,QAAgB,EAChB,GAAW;IAEX,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;IAClC,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;IACzC,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAE,CAAE,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3D,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACvE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACvD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACpE,CAAC"}
+{"version":3,"file":"hosted-narrowing.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/hosted-narrowing.ts"],"names":[],"mappings":"AAEA,OAAO,EAIL,WAAW,EACX,qBAAqB,EACrB,UAAU,GACX,MAAM,mBAAmB,CAAC;AAE3B;;;;;;;;;;;;;;;;;;;;yBAoByB;AACzB,MAAM,UAAU,aAAa,CAC3B,OAAgB,EAChB,MAAc,EACd,QAAgB;IAEhB,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,YAAY,GAChB,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACtF,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC3C,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACvC,OAAO,GAAG,IAAI,CAAC;QACf,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;YAChC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAClF,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACnB,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,0EAA0E;AAC1E,SAAS,WAAW,CAAC,OAAgB,EAAE,OAAe;IACpD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAC3C,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;AACrE,CAAC;AAED;;;;;;qDAMqD;AACrD,MAAM,UAAU,QAAQ,CAAC,OAAgB,EAAE,OAAe,EAAE,QAAgB;IAC1E,IAAI,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,IAAI,UAA6B,CAAC;IAClC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QACzD,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC;IACzD,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC;QAC7F,UAAU,GAAG,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,YAAY,GAChB,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACtF,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAAE,SAAS;QACnE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACxC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAC5B,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAC1F,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;8CAQ8C;AAC9C,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,OAAe,EACf,MAAc;IAEd,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACxE,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IACrD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACnE,uEAAuE;IACvE,qEAAqE;IACrE,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9E,uEAAuE;IACvE,qDAAqD;IACrD,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACpE,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACnE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IAChE,CAAC;IACD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/D,MAAM,cAAc,GAClB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACzB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QACxF,IAAI,CAAC,cAAc;YAAE,OAAO,KAAK,CAAC;QAClC,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,OAAgB,EAAE,QAAgB,EAAE,UAAkB;IACzE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,MAAM,CAAC,UAAU,IAAI,QAAQ,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC;YACnF,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IACnE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;gCAGgC;AAChC,SAAS,WAAW,CAAC,OAAgB,EAAE,QAAgB,EAAE,MAAc;IACrE,IAAI,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACzE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACpF,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxD,OAAO,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AACjF,CAAC;AAED;;;;;;;;sDAQsD;AACtD,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,MAAc,EACd,IAAY;IAEZ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC5B,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QAChE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACvC,OAAO,EAAE,CAAC;QACV,IAAI,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;0EAG0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,QAAgB,EAAE,MAAc;IACjF,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACjE,IAAI,MAAM,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,qBAAqB,CAAC,MAAM,CAAC,IAAI,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/E,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE;QAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;QACzD,OAAO,EAAE,KAAK,SAAS,IAAI,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;0DAI0D;AAC1D,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,KAAa,EACb,QAAgB,EAChB,GAAW;IAEX,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;IAClC,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;IACzC,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAE,CAAE,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3D,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACvE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACvD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACpE,CAAC"}

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

@@ -6,6 +6,7 @@ import { hostGlobalValue } from "../host-global-values.js";
 import { predeclareForwardClass } from "../lower-stmts.js";
 import { cjsMemberAliasValueOf } from "../cjs-exports-object.js";
 import { builtinClassValue, builtinMemberClassKind } from "../builtins/builtin-class-dyn.js";
+import { legacyUrlClassValue } from "../builtins/url.js";
 import { lowerWebStreamClassRead } from "../builtins/web-streams-dyn.js";
 import * as ts from "../../ts7/adapter.js";
 import { globalFunctionValue } from "../global-function-values.js";
@@ -14,6 +15,7 @@ import * as posix from "node:path/posix";
 import { PoisonError } from "../lowerer.js";
 import { BIGINT_BYTES_NAMES, BOOL, BYTES_ELEMENT_NAME, DATE_T, DYN, F64, STRING, UNDEFINED_T, arrayOf, funcOf, isUnitType, recordTextCodecClass, typeEquals, } from "../../../ir/ir.js";
 import { lowerNodeModuleIdentifier } from "../lower-node-module.js";
+import { createRequireLoaderValue } from "../builtins/module-resolution.js";
 import { lowerCjsExportsObjectValue } from "../cjs-exports-object.js";
 import { splitRequireBindingOfIdent, wholeExportSymbolOfModule, wholeExportValue, } from "../cjs-inline-require.js";
 import { captureContextArguments } from "../function-context.js";
@@ -81,6 +83,14 @@ export function lowerIdentifierExpr(lowerer, expr, loc) {
     if (lowerer.isStdlibGlobal(expr, "console")) {
         return { kind: "libCall", fn: "console.native", args: [], type: DYN, loc };
     }
+    // A createRequire loader as a VALUE (not the callee of a lowered call or
+    // a resolve read, which their own lowerings own): a run-time require
+    // function over the runtime resolver. Checked before the node:module
+    // identifier fold, which would otherwise read the destructured factory
+    // binding as its identity token.
+    const createRequireValue = createRequireLoaderValue(lowerer, expr, loc);
+    if (createRequireValue !== null)
+        return createRequireValue;
     const moduleValue = lowerNodeModuleIdentifier(lowerer, expr);
     if (moduleValue)
         return moduleValue;
@@ -135,6 +145,11 @@ export function lowerIdentifierExpr(lowerer, expr, loc) {
             projection?.kind === "promisified-dns") {
             lowerer.unsupported("SC1090", expr, `a promisified builtin as a value (call '${expr.text}' directly)`);
         }
+        if (projection?.kind === "client-function") {
+            // The client-function lowering works per call site (the module's
+            // protocol and secure defaults); there is no function object to read.
+            lowerer.unsupported("SC1090", expr, `an http client function alias as an escaping value (call '${expr.text}' directly)`);
+        }
         if (projection?.kind === "builtin-function") {
             if (!isJsSourceFile(ts.getSourceFileOfNode(expr))) {
                 const callable = lowerer.lowerBuiltinCallableValue({ module: projection.module, member: projection.member }, loc);
@@ -578,6 +593,11 @@ export function lowerIdentifierExpr(lowerer, expr, loc) {
             // node:crypto's webcrypto is the WebCrypto global's object.
             if (bi.module === "crypto" && bi.member === "webcrypto")
                 return { kind: "libCall", fn: "webcrypto.object", args: [], type: DYN, loc };
+            // url.Url is Node's legacy Url constructor (JavaScript sources;
+            // @types/node declares Url as a type only), the class of url.parse()
+            // results.
+            if (bi.module === "url" && bi.member === "Url")
+                return legacyUrlClassValue(loc);
             // JavaScript sources: an otherwise unsupported builtin VALUE is
             // the same identity-token story as stdlib globals above (the
             // harness adds worker_threads.Worker to its identity Set).