@scriptc/compiler 0.2.8 → 0.2.10

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

@@ -0,0 +1,236 @@
+import { nodeThrowExpr, varRef } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import { narrowStoredClassValue } from "../class-unions.js";
+import { BOOL, isUnitType, typeEquals, } from "../../../ir/ir.js";
+import { locOf, isJsSourceFile } from "../../program.js";
+/** The declared data field `name` of a class or record arm, or null when the
+ * arm has none (accessors, index signatures and other kinds included). */
+function unionFieldArm(lowerer, arm, name) {
+    if (arm.kind === "record") {
+        const type = lowerer.shapes.get(arm.shapeId)?.fields.find((f) => f.name === name)?.type;
+        return type ? { receiver: arm, type } : null;
+    }
+    if (arm.kind === "object") {
+        const type = lowerer.classes.get(arm.className)?.fields.get(name);
+        return type ? { receiver: arm, type } : null;
+    }
+    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,
+    };
+    return field.receiver.kind === "record"
+        ? {
+            kind: "recordGet",
+            obj,
+            shapeId: field.receiver.shapeId,
+            field: name,
+            type: field.type,
+            loc,
+        }
+        : {
+            kind: "fieldGet",
+            obj,
+            className: field.receiver.className,
+            field: name,
+            type: field.type,
+            loc,
+        };
+}
+/** Whether `converted` is `value` itself or `value` wrapped into a union
+ * or upcast to a base class: conversions that cannot fail. Checked
+ * narrowings (a union into one of its arms) don't count. */
+function isWidening(converted, value) {
+    if (converted === value)
+        return true;
+    return ((converted.kind === "unionWrap" || converted.kind === "upcast") &&
+        isWidening(converted.value, value));
+}
+/** The field type every arm's field converts into without a check (an
+ * identical type, a union wrap, or a class upcast), or null. Candidates
+ * are the arms' own field types, probed with the arms' slot reads. */
+function sharedFieldType(lowerer, unionId, union, fields, name, loc, widest) {
+    for (let candidate = 0; candidate < fields.length; candidate++) {
+        const target = fields[candidate].type;
+        let accepted = true;
+        for (let tag = 0; tag < fields.length && accepted; tag++) {
+            const from = widest ? fields[tag] : fields[candidate];
+            const to = widest ? target : fields[tag].type;
+            const probe = unionFieldRead(unionId, widest ? tag : candidate, union, from, name, loc);
+            const converted = lowerer.coerceToExpected(probe, to);
+            accepted = typeEquals(converted.type, to) && isWidening(converted, probe);
+        }
+        if (accepted)
+            return target;
+    }
+    return null;
+}
+/** Read a data field from a union of classes and records whose arms declare
+ * it with DIFFERENT but compatible types (`T | undefined` beside `T`, a base
+ * class beside a subclass). Each tag reads its own slot and converts it to
+ * the widest arm type, so the result has one representation; the caller
+ * narrows it to the checker's flow type. Unit arms, accessors, and fields
+ * without a common type keep their existing fences. */
+export function lowerUnionFieldRead(lowerer, access, receiver) {
+    if (receiver.type.kind !== "union" || isJsSourceFile(access.getSourceFile()))
+        return null;
+    const unionId = receiver.type.unionId;
+    const arms = lowerer.unions.get(unionId)?.arms;
+    if (!arms || arms.length < 2)
+        return null;
+    const name = access.name.text;
+    const fields = [];
+    for (const arm of arms) {
+        const field = unionFieldArm(lowerer, arm, name);
+        if (!field || field.type.kind === "void" || isUnitType(field.type))
+            return null;
+        fields.push(field);
+    }
+    const loc = locOf(access);
+    const type = sharedFieldType(lowerer, unionId, receiver, fields, name, loc, true);
+    if (type === null)
+        return null;
+    const object = lowerer.declareHiddenLocal("%unionReadObject", receiver.type);
+    const objectRef = varRef(object.id, object.type, loc);
+    let dispatch = lowerer.coerceToExpected(unionFieldRead(unionId, fields.length - 1, objectRef, fields[fields.length - 1], name, loc), type);
+    for (let tag = fields.length - 2; tag >= 0; tag--) {
+        dispatch = {
+            kind: "ternary",
+            cond: { kind: "unionIsTag", unionId, tag, value: objectRef, negated: false, type: BOOL, loc },
+            then: lowerer.coerceToExpected(unionFieldRead(unionId, tag, objectRef, fields[tag], name, loc), type),
+            else_: dispatch,
+            type,
+            loc,
+        };
+    }
+    const init = { kind: "varDecl", localId: object.id, init: receiver, loc };
+    return { kind: "seqExpr", stmts: [init], result: dispatch, type, loc };
+}
+/** 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
+ * declare the field with different types when one of them converts into
+ * every other without a check (`T` beside `T | undefined`, a subclass
+ * beside its base): the value is evaluated as that type and widened per
+ * arm. 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")
+        return null;
+    let receiver = lowerer.maybeNarrow(lowerer.lowerExpr(access.expression), access.expression);
+    // 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;
+    if (receiver.type.kind !== "union")
+        return null;
+    const unionId = receiver.type.unionId;
+    const arms = lowerer.unions.get(unionId)?.arms;
+    if (!arms?.length)
+        return null;
+    const name = access.name.text;
+    const loc = locOf(access);
+    const fields = [];
+    const present = [];
+    for (const arm of arms) {
+        if (arm.kind === "undefinedT" || arm.kind === "nullT") {
+            fields.push(null);
+            continue;
+        }
+        const field = unionFieldArm(lowerer, arm, name);
+        if (!field)
+            return null;
+        fields.push(field);
+        present.push(field);
+    }
+    if (present.length === 0)
+        return null;
+    let fieldType = present[0].type;
+    if (present.some((field) => !typeEquals(field.type, present[0].type))) {
+        // Mixed storage types are probed only on unions without unit arms, where
+        // the present arms' tags are the union's own.
+        fieldType =
+            present.length === fields.length
+                ? sharedFieldType(lowerer, unionId, receiver, present, name, loc, false)
+                : null;
+    }
+    if (fieldType === null)
+        return null;
+    const object = lowerer.declareHiddenLocal("%unionWriteObject", receiver.type);
+    const objectRef = varRef(object.id, object.type, loc);
+    const value = lowerer.lowerExprExpecting(rhs, fieldType);
+    const stored = lowerer.declareHiddenLocal("%unionWriteValue", value.type);
+    // Snapshot the reference before evaluating the RHS, which can change the
+    // original binding. Evaluate and retain the value once before dispatch.
+    const body = [
+        { kind: "varDecl", localId: object.id, init: receiver, loc },
+        { kind: "varDecl", localId: stored.id, init: value, loc },
+    ];
+    const result = varRef(stored.id, stored.type, loc);
+    let dispatch = result;
+    for (let tag = fields.length - 1; tag >= 0; tag--) {
+        const field = fields[tag];
+        let branch;
+        if (field) {
+            const obj = {
+                kind: "unionNarrow",
+                unionId,
+                tag,
+                value: objectRef,
+                type: field.receiver,
+                loc,
+            };
+            const slotValue = lowerer.coerceToExpected(result, field.type);
+            const write = field.receiver.kind === "record"
+                ? {
+                    kind: "recordSet",
+                    obj,
+                    shapeId: field.receiver.shapeId,
+                    field: name,
+                    value: slotValue,
+                    loc,
+                }
+                : {
+                    kind: "fieldSet",
+                    obj,
+                    className: field.receiver.className,
+                    field: name,
+                    value: slotValue,
+                    loc,
+                };
+            branch = { kind: "seqExpr", stmts: [write], result, type: result.type, loc };
+        }
+        else {
+            branch = nodeThrowExpr(1, "", `Cannot set properties of ${arms[tag].kind === "nullT" ? "null" : "undefined"} (setting '${name}')`, result.type, loc);
+        }
+        dispatch =
+            tag === fields.length - 1
+                ? branch
+                : {
+                    kind: "ternary",
+                    cond: {
+                        kind: "unionIsTag",
+                        unionId,
+                        tag,
+                        value: objectRef,
+                        negated: false,
+                        type: BOOL,
+                        loc,
+                    },
+                    then: branch,
+                    else_: dispatch,
+                    type: result.type,
+                    loc,
+                };
+    }
+    return { kind: "seqExpr", stmts: body, result: dispatch, type: result.type, loc };
+}
+//# sourceMappingURL=union-fields.js.map

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

@@ -0,0 +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,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;;4DAE4D;AAC5D,SAAS,UAAU,CAAC,SAAiB,EAAE,KAAa;IAClD,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,CACL,CAAC,SAAS,CAAC,IAAI,KAAK,WAAW,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC;QAC/D,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;;;;;uDAKuD;AACvD,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,MAAmC,EACnC,QAAgB;IAEhB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,cAAc,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,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;;;;;;;iBAOiB;AACjB,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,IAAI,SAAS,GAAkB,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IAChD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACvE,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,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,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,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACzD,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,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"}

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

@@ -38,7 +38,7 @@ import { lowerDirentMethodCall, lowerFileHandleMethodCall, lowerWatcherMethodCal
 import { lowerPerfHooksCall } from "./builtins/performance.js";
 import { lowerProcStreamMethodCall } from "./builtins/process.js";
 import { lowerReflectCall } from "./builtins/reflection.js";
-import { lowerAbsenceProbe, lowerPromiseAllTupleCall, lowerPromiseRejectCall, stringWrapperToString, symbolFieldInfo, templateRawTextOf, } from "./lower-exprs.js";
+import { lowerAbsenceProbe, lowerOptionalNumber, lowerPromiseAllTupleCall, lowerPromiseRejectCall, lowerToNumberArgument, stringWrapperToString, symbolFieldInfo, templateRawTextOf, } from "./lower-exprs.js";
 import { isSafeToDiscard } from "./expressions/evaluation-safety.js";
 import { tryLowerExpression } from "./expressions/try-lower-expression.js";
 import { hasRuntimeStatics } from "./class-runtime-statics.js";
@@ -59,6 +59,7 @@ import { lowerUrlFactory } from "./lower-url.js";
 import { nullishValueUnitOf } from "./binding-analysis.js";
 import { spreadNeedsRuntimeArity, completeFuncValueArgs, lowerSpreadArgsCall, omittedArgFor, completeArgs, } from "./call-arguments.js";
 import { isThisParameter } from "./call-signatures.js";
+import { checkedArmExtraction } from "./coercions/unions.js";
 import { requireObjLitGenericReceiver, objLitGenericFnNodeOf, objLitGenericFnInfoOf, genericCallInstance, } from "./generic-functions.js";
 /** An island call result the .d.ts DECLARES as a primitive exits eagerly
  * to that static type — the member-read rule's call sibling (see the
@@ -7938,8 +7939,14 @@ export function lowerObjectMethodCall(lowerer, call, access) {
             });
             let callee = target ? lowerer.fieldGetExpr(target, locOf(access), access) : null;
             if (callee?.type.kind === "union" && callableType !== null) {
-                const helper = lowerer.narrowedArmHelper(callee.type.unionId, callableType, locOf(access));
-                if (helper !== null) {
+                // Calling a cleared callback field throws Node's call TypeError.
+                const inPlace = checkedArmExtraction(lowerer, callee, lowerer.armTag(callee.type.unionId, callableType), callableType, () => `${access.getText()} is not a function`);
+                const helper = inPlace
+                    ? null
+                    : lowerer.narrowedArmHelper(callee.type.unionId, callableType, locOf(access));
+                if (inPlace)
+                    callee = inPlace;
+                else if (helper !== null) {
                     callee = lowerer.checkedNarrowCall(helper, callee, callableType, locOf(access));
                 }
             }
@@ -8398,7 +8405,8 @@ export function lowerStaticNumberGlobal(lowerer, name, call, args, loc) {
             lowerer.noLowering(`${name} with ${args.length} argument${args.length === 1 ? "" : "s"}`, call);
         }
         if (name === "isNaN") {
-            const x = lowerer.lowerExprExpecting(args[0], F64);
+            // The global's ToNumber turns a missing value into NaN.
+            const x = lowerToNumberArgument(lowerer, args[0]);
             return { kind: "libCall", fn: "num.isNaN", args: [x], type: BOOL, loc };
         }
         const radix = args[1]
@@ -8519,6 +8527,15 @@ export function lowerStaticNumberGlobal(lowerer, name, call, args, loc) {
         if (name === "isFinite" && probed?.type.kind === "f64") {
             return { kind: "libCall", fn: "number.isFinite", args: [probed], type: BOOL, loc };
         }
+        // A number the checker trusts but storage may hold missing (an
+        // out-of-range read): the global's ToNumber makes undefined NaN.
+        if (name === "isFinite" &&
+            probed?.type.kind === "union" &&
+            lowerer.armTag(probed.type.unionId, UNDEFINED_T) >= 0 &&
+            lowerer.stripUndefinedArm(probed.type).kind === "f64") {
+            const x = lowerOptionalNumber(lowerer, probed, loc, args[0]);
+            return { kind: "libCall", fn: "number.isFinite", args: [x], type: BOOL, loc };
+        }
     }
     return null;
 }