@scriptc/compiler 0.3.5 → 0.4.0

package/dist/frontend/lowering/class-attributes.js

@@ -0,0 +1,378 @@
+import * as ts from "../ts7/adapter.js";
+import { BOOL, CLASS_ATTRIBUTES, CLASS_FROZEN, CLASS_NOT_EXTENSIBLE, CLASS_SEALED, DYN, F64, FIELD_NOT_WRITABLE, STRING, VOID, canConvertToDyn, canDynCheckTo, classFieldAttributesName, isClassOwnEnumerableFieldName, isDynTypedRefType, } from "../../ir/ir.js";
+import { numLit, strLit, varRef } from "../../ir/build.js";
+import { transformStmtList } from "../../ir/traverse.js";
+import { locOf } from "../program.js";
+import { PoisonError } from "./lowerer.js";
+import { classPropertiesHelper } from "./class-dynamic-dispatch.js";
+import { runtimeRooted } from "./class-descriptors.js";
+function attributeClass(lowerer, target) {
+    if (!isDynTypedRefType(target.type))
+        return null;
+    const info = lowerer.classes.get(target.type.className);
+    if (!info || runtimeRooted(info) || info.decl == null)
+        return null;
+    return info;
+}
+/** Adds a zero-initialized f64 to every class of the hierarchy, at the same
+ * offset, like the property bag. */
+function addHiddenField(info, name) {
+    let root = info;
+    while (root.base && !root.base.def.runtime)
+        root = root.base;
+    if (root.fields.has(name))
+        return;
+    const index = root.def.fields.length;
+    const add = (current) => {
+        if (!current.fields.has(name)) {
+            current.fields.set(name, F64);
+            current.def.fields.splice(index, 0, { name, type: F64 });
+        }
+        current.subclasses.forEach(add);
+    };
+    add(root);
+}
+function hiddenFieldGet(receiver, className, field, loc) {
+    return { kind: "fieldGet", obj: receiver, className, field, type: F64, loc };
+}
+/** Object.freeze, Object.seal and Object.preventExtensions of a class
+ * instance: sets the instance's integrity bits, then applies the operation to
+ * the properties added to the instance. Answers the instance. */
+export function lowerClassIntegrity(lowerer, call, member, target) {
+    const info = attributeClass(lowerer, target);
+    if (!info)
+        return null;
+    addHiddenField(info, CLASS_ATTRIBUTES);
+    const loc = locOf(call);
+    const type = target.type;
+    const bits = member === "freeze"
+        ? CLASS_NOT_EXTENSIBLE | CLASS_SEALED | CLASS_FROZEN
+        : member === "seal"
+            ? CLASS_NOT_EXTENSIBLE | CLASS_SEALED
+            : CLASS_NOT_EXTENSIBLE;
+    const slot = lowerer.declareHiddenLocal("%integrityReceiver", type);
+    const receiver = () => varRef(slot.id, type, loc);
+    const bag = {
+        kind: "call",
+        callee: classPropertiesHelper(lowerer, loc).name,
+        args: [lowerer.coerceToExpected(receiver(), DYN)],
+        type: DYN,
+        loc,
+    };
+    const operation = {
+        freeze: "dyn.freeze",
+        seal: "dyn.seal",
+        preventExtensions: "dyn.preventExtensions",
+    };
+    return {
+        kind: "seqExpr",
+        stmts: [
+            { kind: "varDecl", localId: slot.id, init: target, loc },
+            {
+                kind: "fieldSet",
+                obj: receiver(),
+                className: type.className,
+                field: CLASS_ATTRIBUTES,
+                value: {
+                    kind: "bin",
+                    op: "|",
+                    left: hiddenFieldGet(receiver(), type.className, CLASS_ATTRIBUTES, loc),
+                    right: numLit(bits, loc),
+                    type: F64,
+                    loc,
+                },
+                attributesChecked: true,
+                loc,
+            },
+            {
+                kind: "exprStmt",
+                expr: { kind: "libCall", fn: operation[member], args: [bag], type: DYN, loc },
+                loc,
+            },
+        ],
+        result: receiver(),
+        type,
+        loc,
+    };
+}
+/** An object literal with a get or set property. */
+function literalAccessorDescriptor(node) {
+    while (ts.isParenthesizedExpression(node))
+        node = node.expression;
+    return (ts.isObjectLiteralExpression(node) &&
+        node.properties.nodes.some((property) => property.name !== undefined &&
+            (ts.isIdentifier(property.name) || ts.isStringLiteral(property.name)) &&
+            (property.name.text === "get" || property.name.text === "set")));
+}
+/** Object.defineProperty with a string-literal key naming a declared field
+ * of a class instance: a data descriptor changes the field's value and
+ * attributes, validated as Node validates ordinary objects. Answers the
+ * instance, or null when the call is not of that form. An object-literal
+ * accessor descriptor is refused at compile time; other accessor
+ * descriptors throw SC2020 when the call runs. */
+export function lowerClassFieldDefine(lowerer, call, target) {
+    const info = attributeClass(lowerer, target);
+    const key = call.arguments.nodes[1];
+    if (!info || !ts.isStringLiteral(key))
+        return null;
+    const field = key.text;
+    const fieldType = info.fields.get(field);
+    if (fieldType === undefined ||
+        !isClassOwnEnumerableFieldName(field) ||
+        [...(info.symbolFields?.values() ?? [])].includes(field))
+        return null;
+    if (literalAccessorDescriptor(call.arguments.nodes[2])) {
+        lowerer.pushDiag({
+            code: "SC2020",
+            message: `Object.defineProperty with an accessor descriptor for the declared field '${field}' is not supported yet`,
+            loc: locOf(call),
+        });
+        throw new PoisonError();
+    }
+    const getRecord = (id) => lowerer.shapes.get(id);
+    const getUnion = (id) => lowerer.unions.get(id);
+    if (!canConvertToDyn(fieldType, getRecord, getUnion) ||
+        !canDynCheckTo(fieldType, getRecord, getUnion))
+        return null;
+    const attributesField = classFieldAttributesName(field);
+    addHiddenField(info, CLASS_ATTRIBUTES);
+    addHiddenField(info, attributesField);
+    const loc = locOf(call);
+    const type = target.type;
+    const receiverSlot = lowerer.declareHiddenLocal("%defineReceiver", type);
+    const descriptorSlot = lowerer.declareHiddenLocal("%defineDescriptor", DYN);
+    const holderSlot = lowerer.declareHiddenLocal("%defineHolder", DYN);
+    const receiver = () => varRef(receiverSlot.id, type, loc);
+    const descriptor = () => varRef(descriptorSlot.id, DYN, loc);
+    const holder = () => varRef(holderSlot.id, DYN, loc);
+    const name = () => strLit(field, loc);
+    const current = {
+        kind: "fieldGet",
+        obj: receiver(),
+        className: type.className,
+        field,
+        type: fieldType,
+        loc,
+    };
+    const defined = {
+        kind: "libCall",
+        fn: "class.definedValue",
+        args: [holder(), name()],
+        type: DYN,
+        loc,
+    };
+    return {
+        kind: "seqExpr",
+        stmts: [
+            { kind: "varDecl", localId: receiverSlot.id, init: target, loc },
+            {
+                kind: "varDecl",
+                localId: descriptorSlot.id,
+                init: lowerer.lowerExprExpecting(call.arguments.nodes[2], DYN),
+                loc,
+            },
+            {
+                kind: "varDecl",
+                localId: holderSlot.id,
+                init: {
+                    kind: "libCall",
+                    fn: "class.defineField",
+                    args: [
+                        lowerer.coerceToExpected(current, DYN),
+                        hiddenFieldGet(receiver(), type.className, attributesField, loc),
+                        hiddenFieldGet(receiver(), type.className, CLASS_ATTRIBUTES, loc),
+                        name(),
+                        descriptor(),
+                    ],
+                    type: DYN,
+                    loc,
+                },
+                loc,
+            },
+            {
+                kind: "if",
+                cond: {
+                    kind: "libCall",
+                    fn: "class.descriptorHasValue",
+                    args: [descriptor()],
+                    type: BOOL,
+                    loc,
+                },
+                then: [
+                    {
+                        kind: "fieldSet",
+                        obj: receiver(),
+                        className: type.className,
+                        field,
+                        value: lowerer.coerceToExpected(defined, fieldType),
+                        attributesChecked: true,
+                        loc,
+                    },
+                ],
+                else_: null,
+                loc,
+            },
+            {
+                kind: "fieldSet",
+                obj: receiver(),
+                className: type.className,
+                field: attributesField,
+                value: {
+                    kind: "libCall",
+                    fn: "class.definedBits",
+                    args: [holder(), name()],
+                    type: F64,
+                    loc,
+                },
+                attributesChecked: true,
+                loc,
+            },
+        ],
+        result: receiver(),
+        type,
+        loc,
+    };
+}
+function classDisplayName(info) {
+    return info.def.jsName ?? info.decl?.name?.text ?? info.def.name.replace(/^%/, "");
+}
+/** The instance's own class name for an error message: a helper testing the
+ * most derived classes of the hierarchy first. */
+function instanceClassName(lowerer, info, receiver, helpers, loc) {
+    if (info.subclasses.length === 0)
+        return strLit(classDisplayName(info), loc);
+    let helper = helpers.get(info.def.name);
+    if (!helper) {
+        const type = { kind: "object", className: info.def.name };
+        const value = varRef("value", type, loc);
+        const descendants = (current) => current.subclasses.flatMap((child) => [...descendants(child), child]);
+        const body = descendants(info).map((child) => ({
+            kind: "if",
+            cond: { kind: "instanceOf", value, className: child.def.name, type: BOOL, loc },
+            then: [{ kind: "return", value: strLit(classDisplayName(child), loc), loc }],
+            else_: null,
+            loc,
+        }));
+        body.push({ kind: "return", value: strLit(classDisplayName(info), loc), loc });
+        helper = {
+            name: `%class.instanceName.${helpers.size}`,
+            params: [{ localId: "value", name: "value", type }],
+            returnType: STRING,
+            locals: [{ id: "value", name: "value", type, mutable: false }],
+            body,
+            loc,
+        };
+        helpers.set(info.def.name, helper);
+    }
+    return { kind: "call", callee: helper.name, args: [receiver], type: STRING, loc };
+}
+/** Checks the integrity word, and the field's attribute word when it has one,
+ * before every write to a declared field of a hierarchy that has them. A
+ * read-only field throws Node's TypeError in strict mode code; a sloppy-mode
+ * write leaves it unchanged. Other classes keep their plain stores. */
+export function guardClassAttributeWrites(lowerer, functions) {
+    const guarded = new Set([...lowerer.classes.values()]
+        .filter((info) => info.def.fields.some((field) => field.name === CLASS_ATTRIBUTES))
+        .map((info) => info.def.name));
+    if (guarded.size === 0)
+        return;
+    const helpers = new Map();
+    for (const fn of functions) {
+        const local = (type, loc) => {
+            const id = `%attributeWrite.${fn.locals.length}`;
+            fn.locals.push({ id, name: id, type, mutable: false });
+            return { kind: "varRef", localId: id, type, loc };
+        };
+        fn.body = transformStmtList(fn.body, {
+            stmt: (statement) => {
+                if (statement.kind !== "fieldSet" ||
+                    statement.attributesChecked ||
+                    !guarded.has(statement.className) ||
+                    !isClassOwnEnumerableFieldName(statement.field))
+                    return statement;
+                const info = lowerer.classes.get(statement.className);
+                const loc = statement.loc;
+                const receiver = local(statement.obj.type, loc);
+                const value = local(statement.value.type, loc);
+                const masked = (field, bit) => ({
+                    kind: "bin",
+                    op: "&",
+                    left: hiddenFieldGet(receiver, statement.className, field, loc),
+                    right: numLit(bit, loc),
+                    type: F64,
+                    loc,
+                });
+                const attributesField = classFieldAttributesName(statement.field);
+                let readOnly = masked(CLASS_ATTRIBUTES, statement.define ? CLASS_NOT_EXTENSIBLE : CLASS_FROZEN);
+                if (!statement.define && info.fields.has(attributesField)) {
+                    readOnly = {
+                        kind: "bin",
+                        op: "|",
+                        left: readOnly,
+                        right: masked(attributesField, FIELD_NOT_WRITABLE),
+                        type: F64,
+                        loc,
+                    };
+                }
+                const reject = statement.define
+                    ? [
+                        {
+                            kind: "exprStmt",
+                            expr: {
+                                kind: "libCall",
+                                fn: "class.throwNotExtensible",
+                                args: [strLit(statement.field, loc)],
+                                type: VOID,
+                                loc,
+                            },
+                            loc,
+                        },
+                    ]
+                    : statement.sloppy
+                        ? []
+                        : [
+                            {
+                                kind: "exprStmt",
+                                expr: {
+                                    kind: "libCall",
+                                    fn: "class.throwReadOnly",
+                                    args: [
+                                        strLit(statement.field, loc),
+                                        instanceClassName(lowerer, info, receiver, helpers, loc),
+                                    ],
+                                    type: VOID,
+                                    loc,
+                                },
+                                loc,
+                            },
+                        ];
+                return {
+                    kind: "block",
+                    body: [
+                        { kind: "varDecl", localId: receiver.localId, init: statement.obj, loc },
+                        { kind: "varDecl", localId: value.localId, init: statement.value, loc },
+                        {
+                            kind: "if",
+                            cond: {
+                                kind: "bin",
+                                op: "!==",
+                                left: readOnly,
+                                right: numLit(0, loc),
+                                type: BOOL,
+                                loc,
+                            },
+                            then: reject,
+                            else_: [{ ...statement, obj: receiver, value, attributesChecked: true }],
+                            loc,
+                        },
+                    ],
+                    loc,
+                };
+            },
+            expr: (expression) => expression,
+        });
+    }
+    for (const helper of helpers.values())
+        functions.push(helper);
+}
+//# sourceMappingURL=class-attributes.js.map

package/dist/frontend/lowering/class-attributes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-attributes.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-attributes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EACL,IAAI,EACJ,gBAAgB,EAChB,YAAY,EACZ,oBAAoB,EACpB,YAAY,EACZ,GAAG,EACH,GAAG,EACH,kBAAkB,EAClB,MAAM,EACN,IAAI,EACJ,eAAe,EACf,aAAa,EACb,wBAAwB,EACxB,6BAA6B,EAC7B,iBAAiB,GAMlB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAgB,WAAW,EAAE,MAAM,cAAc,CAAC;AAEzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAWvD,SAAS,cAAc,CAAC,OAAgB,EAAE,MAAc;IACtD,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,CAAC,IAAI,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IACnE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;oCACoC;AACpC,SAAS,cAAc,CAAC,IAAe,EAAE,IAAY;IACnD,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO;QAAE,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,OAAkB,EAAQ,EAAE;QACvC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC9B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC,CAAC;IACF,GAAG,CAAC,IAAI,CAAC,CAAC;AACZ,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,SAAiB,EAAE,KAAa,EAAE,GAAW;IACrF,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC/E,CAAC;AAED;;iEAEiE;AACjE,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAuB,EACvB,MAA+C,EAC/C,MAAc;IAEd,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,cAAc,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAuB,CAAC;IAC5C,MAAM,IAAI,GACR,MAAM,KAAK,QAAQ;QACjB,CAAC,CAAC,oBAAoB,GAAG,YAAY,GAAG,YAAY;QACpD,CAAC,CAAC,MAAM,KAAK,MAAM;YACjB,CAAC,CAAC,oBAAoB,GAAG,YAAY;YACrC,CAAC,CAAC,oBAAoB,CAAC;IAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,IAAI,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC1D,MAAM,GAAG,GAAW;QAClB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI;QAChD,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,CAAC;QACjD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,SAAS,GAAG;QAChB,MAAM,EAAE,YAAY;QACpB,IAAI,EAAE,UAAU;QAChB,iBAAiB,EAAE,uBAAuB;KAClC,CAAC;IACX,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACxD;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,QAAQ,EAAE;gBACf,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,KAAK,EAAE,gBAAgB;gBACvB,KAAK,EAAE;oBACL,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE,cAAc,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,gBAAgB,EAAE,GAAG,CAAC;oBACvE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;oBACxB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,iBAAiB,EAAE,IAAI;gBACvB,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBAC7E,GAAG;aACJ;SACF;QACD,MAAM,EAAE,QAAQ,EAAE;QAClB,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,oDAAoD;AACpD,SAAS,yBAAyB,CAAC,IAAmB;IACpD,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,OAAO,CACL,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAClC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CACxB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,IAAI,KAAK,SAAS;YAC3B,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACrE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CACjE,CACF,CAAC;AACJ,CAAC;AAED;;;;;kDAKkD;AAClD,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAuB,EACvB,MAAc;IAEd,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;IACrC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC;IACvB,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzC,IACE,SAAS,KAAK,SAAS;QACvB,CAAC,6BAA6B,CAAC,KAAK,CAAC;QACrC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAExD,OAAO,IAAI,CAAC;IACd,IAAI,yBAAyB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QACxD,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,6EAA6E,KAAK,wBAAwB;YACnH,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;SACjB,CAAC,CAAC;QACH,MAAM,IAAI,WAAW,EAAE,CAAC;IAC1B,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxD,IACE,CAAC,eAAe,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC;QAChD,CAAC,aAAa,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC;QAE9C,OAAO,IAAI,CAAC;IACd,MAAM,eAAe,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IACxD,cAAc,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACvC,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAuB,CAAC;IAC5C,MAAM,YAAY,GAAG,OAAO,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,cAAc,GAAG,OAAO,CAAC,kBAAkB,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,QAAQ,EAAE;QACf,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,KAAK;QACL,IAAI,EAAE,SAAS;QACf,GAAG;KACJ,CAAC;IACF,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC;QACxB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAChE;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,cAAc,CAAC,EAAE;gBAC1B,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;gBAC/D,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,UAAU,CAAC,EAAE;gBACtB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,mBAAmB;oBACvB,IAAI,EAAE;wBACJ,OAAO,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC;wBACtC,cAAc,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,eAAe,EAAE,GAAG,CAAC;wBAChE,cAAc,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,gBAAgB,EAAE,GAAG,CAAC;wBACjE,IAAI,EAAE;wBACN,UAAU,EAAE;qBACb;oBACD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,0BAA0B;oBAC9B,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;oBACpB,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,UAAU;wBAChB,GAAG,EAAE,QAAQ,EAAE;wBACf,SAAS,EAAE,IAAI,CAAC,SAAS;wBACzB,KAAK;wBACL,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC;wBACnD,iBAAiB,EAAE,IAAI;wBACvB,GAAG;qBACJ;iBACF;gBACD,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,QAAQ,EAAE;gBACf,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,KAAK,EAAE,eAAe;gBACtB,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,mBAAmB;oBACvB,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC;oBACxB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,iBAAiB,EAAE,IAAI;gBACvB,GAAG;aACJ;SACF;QACD,MAAM,EAAE,QAAQ,EAAE;QAClB,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAe;IACvC,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AACrF,CAAC;AAED;kDACkD;AAClD,SAAS,iBAAiB,CACxB,OAAgB,EAChB,IAAe,EACf,QAAgB,EAChB,OAAgC,EAChC,GAAW;IAEX,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7E,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,WAAW,GAAG,CAAC,OAAkB,EAAe,EAAE,CACtD,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QACxE,MAAM,IAAI,GAAa,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAU,EAAE,CAAC,CAAC;YAC/D,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC/E,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;YAC5E,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC,CAAC,CAAC;QACJ,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC/E,MAAM,GAAG;YACP,IAAI,EAAE,uBAAuB,OAAO,CAAC,IAAI,EAAE;YAC3C,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;YACnD,UAAU,EAAE,MAAM;YAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAC9D,IAAI;YACJ,GAAG;SACJ,CAAC;QACF,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACpF,CAAC;AAED;;;uEAGuE;AACvE,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,SAAuB;IACjF,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;SAClF,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAChC,CAAC;IACF,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,GAAW,EAAuC,EAAE;YAC/E,MAAM,EAAE,GAAG,mBAAmB,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACjD,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YACvD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACpD,CAAC,CAAC;QACF,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;YACnC,IAAI,EAAE,CAAC,SAAS,EAAE,EAAE;gBAClB,IACE,SAAS,CAAC,IAAI,KAAK,UAAU;oBAC7B,SAAS,CAAC,iBAAiB;oBAC3B,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC;oBACjC,CAAC,6BAA6B,CAAC,SAAS,CAAC,KAAK,CAAC;oBAE/C,OAAO,SAAS,CAAC;gBACnB,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAE,CAAC;gBACvD,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC;gBAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAChD,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC/C,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;oBACtD,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC;oBAC/D,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;oBACvB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ,CAAC,CAAC;gBACH,MAAM,eAAe,GAAG,wBAAwB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAClE,IAAI,QAAQ,GAAG,MAAM,CACnB,gBAAgB,EAChB,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,YAAY,CACvD,CAAC;gBACF,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;oBAC1D,QAAQ,GAAG;wBACT,IAAI,EAAE,KAAK;wBACX,EAAE,EAAE,GAAG;wBACP,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE,MAAM,CAAC,eAAe,EAAE,kBAAkB,CAAC;wBAClD,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ,CAAC;gBACJ,CAAC;gBACD,MAAM,MAAM,GAAa,SAAS,CAAC,MAAM;oBACvC,CAAC,CAAC;wBACE;4BACE,IAAI,EAAE,UAAU;4BAChB,IAAI,EAAE;gCACJ,IAAI,EAAE,SAAS;gCACf,EAAE,EAAE,0BAA0B;gCAC9B,IAAI,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gCACpC,IAAI,EAAE,IAAI;gCACV,GAAG;6BACJ;4BACD,GAAG;yBACJ;qBACF;oBACH,CAAC,CAAC,SAAS,CAAC,MAAM;wBAChB,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC;4BACE;gCACE,IAAI,EAAE,UAAU;gCAChB,IAAI,EAAE;oCACJ,IAAI,EAAE,SAAS;oCACf,EAAE,EAAE,qBAAqB;oCACzB,IAAI,EAAE;wCACJ,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC;wCAC5B,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC;qCACzD;oCACD,IAAI,EAAE,IAAI;oCACV,GAAG;iCACJ;gCACD,GAAG;6BACJ;yBACF,CAAC;gBACR,OAAO;oBACL,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE;wBACxE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE;wBACvE;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE;gCACJ,IAAI,EAAE,KAAK;gCACX,EAAE,EAAE,KAAK;gCACT,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;gCACrB,IAAI,EAAE,IAAI;gCACV,GAAG;6BACJ;4BACD,IAAI,EAAE,MAAM;4BACZ,KAAK,EAAE,CAAC,EAAE,GAAG,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;4BACxE,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ,CAAC;YACJ,CAAC;YACD,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU;SACjC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE;QAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAChE,CAAC"}

package/dist/frontend/lowering/class-callbacks.d.ts

@@ -3,7 +3,9 @@ import { type IrExpr, type IrStmt, type SrcLoc } from "../../ir/ir.js";
 import type { Lowerer } from "./lowerer.js";
 import { type ClassInfo } from "./lower-classes.js";
 /** Unmodified typed methods retain direct or virtual native dispatch.
- * JavaScript notification methods keep their checked property fallback. */
+ * JavaScript notification methods keep their checked property fallback,
+ * except in files TypeScript checks, whose methods join the method census
+ * like TypeScript methods. */
 export declare function isClassCallback(lowerer: Lowerer, info: ClassInfo, name: string): boolean;
 export declare function lowerClassCallbackAssign(lowerer: Lowerer, expr: ts.BinaryExpression): IrStmt | null;
 /** Read the property before arguments run, retaining callback identity

package/dist/frontend/lowering/class-callbacks.js

@@ -4,11 +4,13 @@ import { BOOL, DYN, STRING, VOID, isClassOwnEnumerableFieldName, } from "../../i
 import { isJsSourceFile, locOf } from "../program.js";
 import { findMethodOn } from "./lower-classes.js";
 import { classPropertiesHelper } from "./class-dynamic-dispatch.js";
-import { classPrototypeData } from "./class-prototypes.js";
+import { observedPrototypeMethod } from "./class-prototypes.js";
 import { checkedIterableSpread } from "./checked-iterable-spread.js";
 import { tryLowerExpression } from "./expressions/try-lower-expression.js";
 /** Unmodified typed methods retain direct or virtual native dispatch.
- * JavaScript notification methods keep their checked property fallback. */
+ * JavaScript notification methods keep their checked property fallback,
+ * except in files TypeScript checks, whose methods join the method census
+ * like TypeScript methods. */
 export function isClassCallback(lowerer, info, name) {
     if (!isClassOwnEnumerableFieldName(name) || name.startsWith("get:") || name.startsWith("set:"))
         return false;
@@ -23,14 +25,22 @@ export function isClassCallback(lowerer, info, name) {
         !found.sig.abstract &&
         (lowerer.prototypeMethodAccesses.has(name) ||
             (info.decl !== null &&
-                isJsSourceFile(info.decl.getSourceFile()) &&
+                isJsSourceFile(ts.getSourceFileOfNode(info.decl)) &&
+                !lowerer.checkedJsFile(ts.getSourceFileOfNode(info.decl)) &&
                 found.sig.params.length === 0 &&
                 found.sig.ret.kind === "void")));
 }
+/** The census marked `name` and the receiver's class keeps the method in
+ * its prototype data, so the property bag answers every read. */
+function observedSlot(lowerer, receiver, name, loc) {
+    const info = receiver.type.kind === "object" ? lowerer.classes.get(receiver.type.className) : undefined;
+    return info
+        ? observedPrototypeMethod(lowerer, info, name, loc, receiver)
+        : lowerer.prototypeMethodAccesses.has(name);
+}
 function callbackBag(lowerer, receiver, loc, name, readOnly = false) {
-    const info = receiver.type.kind === "object" ? lowerer.classes.get(receiver.type.className) : null;
-    if (info && lowerer.prototypeMethodAccesses.has(name))
-        classPrototypeData(lowerer, info, loc);
+    // Builds the prototype data that an observed read falls back to.
+    observedSlot(lowerer, receiver, name, loc);
     return {
         kind: "call",
         callee: classPropertiesHelper(lowerer, loc, readOnly).name,
@@ -84,7 +94,7 @@ export function classCallbackValue(lowerer, receiver, name, fallback, loc) {
     const bag = lowerer.declareHiddenLocal("%callbackBag", DYN);
     const value = varRef(bag.id, DYN, loc);
     const key = { kind: "strLit", value: name, type: STRING, loc };
-    const result = lowerer.prototypeMethodAccesses.has(name)
+    const result = observedSlot(lowerer, receiver, name, loc)
         ? { kind: "dynKeyGet", value, key, type: DYN, loc }
         : {
             kind: "ternary",
@@ -119,7 +129,7 @@ export function classCallbackCall(lowerer, receiver, name, argumentNodes, fallba
     const args = argumentNodes.map((argument, index) => {
         if (!ts.isSpreadElement(argument))
             return lowerer.lowerExprExpecting(argument, DYN);
-        const spelling = argument.expression.getText();
+        const spelling = ts.getTextOfNode(argument.expression);
         spreads.push({ arg: index, what: spelling });
         return checkedIterableSpread(lowerer, lowerer.lowerExpr(argument.expression), spelling, loc);
     });
@@ -133,7 +143,8 @@ export function classCallbackCall(lowerer, receiver, name, argumentNodes, fallba
         type: DYN,
         loc,
     };
-    const result = lowerer.prototypeMethodAccesses.has(name)
+    const observed = observedSlot(lowerer, receiver, name, loc);
+    const result = observed
         ? call
         : {
             kind: "ternary",
@@ -164,7 +175,7 @@ export function classCallbackCall(lowerer, receiver, name, argumentNodes, fallba
             {
                 kind: "varDecl",
                 localId: present.id,
-                init: lowerer.prototypeMethodAccesses.has(name)
+                init: observed
                     ? { kind: "boolLit", value: true, type: BOOL, loc }
                     : callbackPresent(value, key, loc),
                 loc,

package/dist/frontend/lowering/class-callbacks.js.map

@@ -1 +1 @@
-{"version":3,"file":"class-callbacks.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-callbacks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,MAAM,EACN,IAAI,EACJ,6BAA6B,GAI9B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAkB,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAE3E;2EAC2E;AAC3E,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAY;IAC7E,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,IACE,IAAI,CAAC,GAAG,CAAC,OAAO;QAChB,IAAI,CAAC,YAAY;QACjB,IAAI,CAAC,cAAc;QACnB,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QAErB,OAAO,KAAK,CAAC;IACf,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAChD,OAAO,CACL,CAAC,CAAC,KAAK;QACP,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ;QACnB,CAAC,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC;YACxC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;gBACjB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;gBACzC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBAC7B,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CACpC,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,OAAgB,EAChB,QAAgB,EAChB,GAAW,EACX,IAAY,EACZ,QAAQ,GAAG,KAAK;IAEhB,MAAM,IAAI,GACR,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxF,IAAI,IAAI,IAAI,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9F,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,qBAAqB,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,IAAI;QAC1D,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;0EAC0E;AAC1E,SAAS,eAAe,CAAC,KAAa,EAAE,GAAW,EAAE,GAAW;IAC9D,OAAO;QACL,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACpE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACxD,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACjF,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAyB;IAEzB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;IACzB,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACnF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAChE,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,IAAI,GACR,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7F,IAAI,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE;gBACJ,WAAW,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;gBACrD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;gBAC9D,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC5C;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,QAAgB,EAChB,IAAY,EACZ,QAAgB,EAChB,GAAW;IAEX,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACvC,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,MAAM,GAAW,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC;QAC9D,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACnD,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;YACtC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACvD,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;YAC9C,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,GAAG,CAAC,EAAE;gBACf,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC;gBACrD,GAAG;aACJ;SACF;QACD,MAAM;QACN,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,QAAgB,EAChB,IAAY,EACZ,aAAuC,EACvC,QAAgB,EAChB,GAAW,EACX,UAAU,GAAG,IAAI;IAEjB,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACvC,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QACjD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;YAAE,OAAO,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpF,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;QAC/C,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC7C,OAAO,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC;QACrC,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;QACjD,UAAU;QACV,IAAI;QACJ,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,MAAM,GAAW,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC;QAC9D,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC;YACnC,IAAI,EAAE,IAAI;YACV,KAAK,EACH,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBAC3B,CAAC,CAAC;oBACE,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;oBAClD,MAAM,EAAE,gBAAgB,CAAC,GAAG,CAAC;oBAC7B,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACH,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;YAC7C,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,MAAM,MAAM,GACV,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3F,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,GAAG,CAAC,EAAE;gBACf,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC;gBACrD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,OAAO,CAAC,EAAE;gBACnB,IAAI,EAAE,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC;oBAC7C,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACnD,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;gBACpC,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,QAAQ,CAAC,EAAE;gBACpB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACpE,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC;oBAC3B,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACxD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"class-callbacks.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-callbacks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,MAAM,EACN,IAAI,EACJ,6BAA6B,GAI9B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAkB,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAE3E;;;8BAG8B;AAC9B,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAY;IAC7E,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,IACE,IAAI,CAAC,GAAG,CAAC,OAAO;QAChB,IAAI,CAAC,YAAY;QACjB,IAAI,CAAC,cAAc;QACnB,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QAErB,OAAO,KAAK,CAAC;IACf,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAChD,OAAO,CACL,CAAC,CAAC,KAAK;QACP,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ;QACnB,CAAC,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC;YACxC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;gBACjB,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjD,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBAC7B,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CACpC,CAAC;AACJ,CAAC;AAED;iEACiE;AACjE,SAAS,YAAY,CAAC,OAAgB,EAAE,QAAgB,EAAE,IAAY,EAAE,GAAW;IACjF,MAAM,IAAI,GACR,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7F,OAAO,IAAI;QACT,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC;QAC7D,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,WAAW,CAClB,OAAgB,EAChB,QAAgB,EAChB,GAAW,EACX,IAAY,EACZ,QAAQ,GAAG,KAAK;IAEhB,iEAAiE;IACjE,YAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,qBAAqB,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,IAAI;QAC1D,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;0EAC0E;AAC1E,SAAS,eAAe,CAAC,KAAa,EAAE,GAAW,EAAE,GAAW;IAC9D,OAAO;QACL,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACpE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACxD,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACjF,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAyB;IAEzB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;IACzB,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACnF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAChE,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,IAAI,GACR,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7F,IAAI,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE;gBACJ,WAAW,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;gBACrD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;gBAC9D,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC5C;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,QAAgB,EAChB,IAAY,EACZ,QAAgB,EAChB,GAAW;IAEX,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACvC,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,MAAM,GAAW,YAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC;QAC/D,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACnD,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;YACtC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACvD,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;YAC9C,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,GAAG,CAAC,EAAE;gBACf,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC;gBACrD,GAAG;aACJ;SACF;QACD,MAAM;QACN,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,QAAgB,EAChB,IAAY,EACZ,aAAuC,EACvC,QAAgB,EAChB,GAAW,EACX,UAAU,GAAG,IAAI;IAEjB,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACvC,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QACjD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;YAAE,OAAO,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpF,MAAM,QAAQ,GAAG,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC7C,OAAO,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC;QACrC,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;QACjD,UAAU;QACV,IAAI;QACJ,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAW,QAAQ;QAC7B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC;YACnC,IAAI,EAAE,IAAI;YACV,KAAK,EACH,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBAC3B,CAAC,CAAC;oBACE,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;oBAClD,MAAM,EAAE,gBAAgB,CAAC,GAAG,CAAC;oBAC7B,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACH,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;YAC7C,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,MAAM,MAAM,GACV,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3F,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,GAAG,CAAC,EAAE;gBACf,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC;gBACrD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,OAAO,CAAC,EAAE;gBACnB,IAAI,EAAE,QAAQ;oBACZ,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACnD,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;gBACpC,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,QAAQ,CAAC,EAAE;gBACpB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACpE,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC;oBAC3B,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACxD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG;KACJ,CAAC;AACJ,CAAC"}

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

@@ -1,8 +1,10 @@
 import { dynUndefinedExpr, varRef } from "../../ir/build.js";
+import { constructedValue } from "./constructor-returns.js";
 import { BOOL, DYN, F64, STRING, typeEquals, typeKey, } from "../../ir/ir.js";
 import { everyStmtList, transformExpr, transformStmtList } from "../../ir/traverse.js";
 import { classPrototypeData } from "./class-prototypes.js";
 import { classInstanceOf } from "./class-dynamic-dispatch.js";
+import { inheritedBuiltinCtorFence } from "./lower-classes.js";
 const PREFIX = "%class.construct:";
 const PACKED = `${PREFIX}packed`;
 const INSTANCEOF = "%class.instanceof:dynamic";
@@ -344,21 +346,64 @@ export class ClassConstructionDispatch {
                     changed = true;
                     continue;
                 }
+                const type = { kind: "classval", className: name };
+                const callee = varRef("p.0", DYN, loc);
+                // A constructor inherited from a runtime stream or EventEmitter
+                // takes no arguments here: arguments report at run time, as they do
+                // at compile time for typed construction.
+                const fence = inheritedBuiltinCtorFence(lowerer, info, loc);
+                if (fence !== null && fn.name !== PACKED && fn.params.length > 1) {
+                    fn.body.unshift({
+                        kind: "if",
+                        cond: {
+                            kind: "libCall",
+                            fn: "dyn.classIs",
+                            args: [callee, { kind: "strLit", value: typeKey(type), type: STRING, loc }],
+                            type: BOOL,
+                            loc,
+                        },
+                        then: [fence],
+                        else_: null,
+                        loc,
+                    });
+                    changed = true;
+                    continue;
+                }
                 const args = constructorArguments(lowerer, info.ctorParams, fn.params.slice(1).map((param) => varRef(param.localId, DYN, loc)), loc, fn.name === PACKED ? varRef("p.1", DYN, loc) : undefined);
                 if (!args)
                     continue;
-                const type = { kind: "classval", className: name };
-                const callee = varRef("p.0", DYN, loc);
-                const value = {
+                const value = constructedValue(lowerer, info, {
                     kind: "newValue",
                     callee: { kind: "dynCheck", value: callee, type, loc },
                     args,
                     type: { kind: "object", className: name },
                     loc,
-                };
+                });
                 const body = [
                     { kind: "return", value: lowerer.coerceToExpected(value, DYN), loc },
                 ];
+                // A spread call's argument count is known only at run time.
+                if (fence !== null && fn.name === PACKED)
+                    body.unshift({
+                        kind: "if",
+                        cond: {
+                            kind: "bin",
+                            op: ">",
+                            left: {
+                                kind: "libCall",
+                                fn: "dyn.arrLen",
+                                args: [varRef("p.1", DYN, loc)],
+                                type: F64,
+                                loc,
+                            },
+                            right: { kind: "numLit", value: 0, type: F64, loc },
+                            type: BOOL,
+                            loc,
+                        },
+                        then: [fence],
+                        else_: null,
+                        loc,
+                    });
                 fn.body.unshift({
                     kind: "if",
                     cond: {