@scriptc/compiler 0.2.3 → 0.2.5

package/dist/frontend/lowering/class-dynamic-dispatch.js

@@ -1,14 +1,15 @@
-import { BOOL, DYN, F64, DYN_CLASS_PROPERTIES as PROPERTY_BAG, STRING, VOID, canConvertToDyn, canDynCheckTo, isClassOwnEnumerableFieldName, isDynTypedRefType, isUnitType, typeEquals, typeKey } from "../../ir/ir.js";
+import { dynUndefinedExpr, varRef } from "../../ir/build.js";
+import { BOOL, DYN, F64, DYN_CLASS_PROPERTIES as PROPERTY_BAG, STRING, VOID, canConvertToDyn, canDynCheckTo, isClassOwnEnumerableFieldName, isDynTypedRefType, isUnitType, typeEquals, typeKey, } from "../../ir/ir.js";
 import { streamTypedRefEligible } from "../../ir/analysis.js";
-import { varRef } from "../../ir/build.js";
 import { everyStmtList, transformExpr, transformStmtList } from "../../ir/traverse.js";
-import { dynUndefinedExpr, PoisonError } from "./lowerer.js";
-import { implicitDefaultInstance } from "./lower-calls.js";
-import { accessorCall, classValueRef, findGenericMethodOn, findGenericStaticOn, findMethodOn, findStaticOn, genericOverrideBelow, upcastTo } from "./lower-classes.js";
-import { classPrototypeData, hasClassPrototypeData, reflectClassPrototype } from "./class-prototypes.js";
-import { errorPropertyRead, errorPropertyWrite, errorToStringCall, errorToStringMethod, refreshErrorPropertyDispatch, refreshErrorMethodDispatch } from "./error-methods.js";
+import { PoisonError } from "./lowerer.js";
+import { implicitDefaultInstance } from "./generic-functions.js";
+import {} from "./call-signatures.js";
+import { accessorCall, classValueRef, findGenericMethodOn, findGenericStaticOn, findMethodOn, findStaticOn, genericOverrideBelow, upcastTo, } from "./lower-classes.js";
+import { classPrototypeData, hasClassPrototypeData, reflectClassPrototype, } from "./class-prototypes.js";
+import { errorPropertyRead, errorPropertyWrite, errorToStringCall, errorToStringMethod, refreshErrorPropertyDispatch, refreshErrorMethodDispatch, } from "./error-methods.js";
 import { GeneratorDynamicDispatch } from "./generator-dynamic-dispatch.js";
-import { classMethodValue, reflectedClassStaticMethodValue, refreshClassMethodValueSelections } from "./class-method-values.js";
+import { classMethodValue, reflectedClassStaticMethodValue, refreshClassMethodValueSelections, } from "./class-method-values.js";
 import { classStaticData } from "./class-static-data.js";
 import { isJsSourceFile } from "../program.js";
 import * as ts from "../ts7/adapter.js";
@@ -17,15 +18,60 @@ import { isClassCallback } from "./class-callbacks.js";
 import { refreshDescriptorGuards } from "./class-descriptors.js";
 import { ClassConstructionDispatch } from "./class-construction.js";
 import { emitterRooted } from "./lower-event-emitter.js";
-const STREAM_METHODS = new Set(["on", "addListener", "once", "prependListener", "prependOnceListener", "off", "removeListener", "read", "pause", "resume", "isPaused", "destroy"]);
-const EMITTER_METHODS = new Set(["emit", "on", "addListener", "once", "prependListener", "prependOnceListener", "off", "removeListener"]);
-const STREAM_BOOL_PROPERTIES = new Set(["readable", "readableEnded", "writable", "writableEnded", "writableFinished", "writableNeedDrain", "destroyed", "closed", "readableObjectMode", "writableObjectMode", "allowHalfOpen"]);
-const STREAM_NUM_PROPERTIES = new Set(["readableLength", "readableHighWaterMark", "writableLength", "writableHighWaterMark", "writableCorked"]);
+const STREAM_METHODS = new Set([
+    "on",
+    "addListener",
+    "once",
+    "prependListener",
+    "prependOnceListener",
+    "off",
+    "removeListener",
+    "read",
+    "pause",
+    "resume",
+    "isPaused",
+    "destroy",
+]);
+const EMITTER_METHODS = new Set([
+    "emit",
+    "on",
+    "addListener",
+    "once",
+    "prependListener",
+    "prependOnceListener",
+    "off",
+    "removeListener",
+]);
+const STREAM_BOOL_PROPERTIES = new Set([
+    "readable",
+    "readableEnded",
+    "writable",
+    "writableEnded",
+    "writableFinished",
+    "writableNeedDrain",
+    "destroyed",
+    "closed",
+    "readableObjectMode",
+    "writableObjectMode",
+    "allowHalfOpen",
+]);
+const STREAM_NUM_PROPERTIES = new Set([
+    "readableLength",
+    "readableHighWaterMark",
+    "writableLength",
+    "writableHighWaterMark",
+    "writableCorked",
+]);
 const streamProperty = (name) => STREAM_BOOL_PROPERTIES.has(name) || STREAM_NUM_PROPERTIES.has(name);
 function symbolMemberKey(lowerer, info, name, loc) {
     if (name.startsWith("sym:"))
-        return lowerer.coerceToExpected({ kind: "libCall", fn: "sym.wellKnown",
-            args: [{ kind: "strLit", value: name.slice(4), type: STRING, loc }], type: SYMBOL_T, loc }, DYN);
+        return lowerer.coerceToExpected({
+            kind: "libCall",
+            fn: "sym.wellKnown",
+            args: [{ kind: "strLit", value: name.slice(4), type: STRING, loc }],
+            type: SYMBOL_T,
+            loc,
+        }, DYN);
     if (info.symbolFields !== undefined) {
         for (const [symbol, member] of info.symbolFields) {
             if (member !== name)
@@ -48,39 +94,101 @@ function symbolMemberKey(lowerer, info, name, loc) {
 }
 export function classInstanceOf(lowerer, value, info, loc, classValue) {
     const name = `%dyn.class.${classValue ? "valueInstanceof" : "instanceof"}:${info.def.name}`;
-    const params = [{ localId: "value", name: "value", type: DYN },
-        ...(classValue ? [{ localId: "class", name: "class", type: classValue.type }] : [])];
+    const params = [
+        { localId: "value", name: "value", type: DYN },
+        ...(classValue ? [{ localId: "class", name: "class", type: classValue.type }] : []),
+    ];
     if (!lowerer.liftedFns.some((fn) => fn.name === name)) {
         const candidate = varRef("candidate", DYN, loc);
         const prototype = classPrototypeData(lowerer, info, loc, classValue ? varRef("class", classValue.type, loc) : undefined);
-        const body = prototype ? [
-            { kind: "varDecl", localId: "candidate", init: varRef("value", DYN, loc), loc },
-            { kind: "while", cond: { kind: "ternary", cond: { kind: "dynTest", test: "nullish", value: candidate, type: BOOL, loc },
-                    then: { kind: "boolLit", value: false, type: BOOL, loc }, else_: { kind: "dynTest", test: "object", value: candidate, type: BOOL, loc }, type: BOOL, loc }, body: [
-                    { kind: "assign", localId: "candidate", value: { kind: "libCall", fn: "dyn.getPrototype", args: [candidate], type: DYN, loc, prototypeIdentityOnly: true }, loc },
-                    { kind: "if", cond: { kind: "dynScalarEq", left: candidate, right: prototype, type: BOOL, loc }, then: [
-                            { kind: "return", value: { kind: "boolLit", value: true, type: BOOL, loc }, loc },
-                        ], else_: null, loc },
-                ], loc },
-        ] : [];
+        const body = prototype
+            ? [
+                { kind: "varDecl", localId: "candidate", init: varRef("value", DYN, loc), loc },
+                {
+                    kind: "while",
+                    cond: {
+                        kind: "ternary",
+                        cond: { kind: "dynTest", test: "nullish", value: candidate, type: BOOL, loc },
+                        then: { kind: "boolLit", value: false, type: BOOL, loc },
+                        else_: { kind: "dynTest", test: "object", value: candidate, type: BOOL, loc },
+                        type: BOOL,
+                        loc,
+                    },
+                    body: [
+                        {
+                            kind: "assign",
+                            localId: "candidate",
+                            value: {
+                                kind: "libCall",
+                                fn: "dyn.getPrototype",
+                                args: [candidate],
+                                type: DYN,
+                                loc,
+                                prototypeIdentityOnly: true,
+                            },
+                            loc,
+                        },
+                        {
+                            kind: "if",
+                            cond: { kind: "dynScalarEq", left: candidate, right: prototype, type: BOOL, loc },
+                            then: [
+                                { kind: "return", value: { kind: "boolLit", value: true, type: BOOL, loc }, loc },
+                            ],
+                            else_: null,
+                            loc,
+                        },
+                    ],
+                    loc,
+                },
+            ]
+            : [];
         body.push({ kind: "return", value: { kind: "boolLit", value: false, type: BOOL, loc }, loc });
         lowerer.liftedFns.push({
-            name, params, returnType: BOOL,
-            locals: [...params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: false })),
-                ...(prototype ? [{ id: "candidate", name: "candidate", type: DYN, mutable: true }] : [])], body, loc,
+            name,
+            params,
+            returnType: BOOL,
+            locals: [
+                ...params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: false })),
+                ...(prototype ? [{ id: "candidate", name: "candidate", type: DYN, mutable: true }] : []),
+            ],
+            body,
+            loc,
         });
     }
-    return { kind: "call", callee: name, args: [value, ...(classValue ? [classValue] : [])], type: BOOL, loc };
+    return {
+        kind: "call",
+        callee: name,
+        args: [value, ...(classValue ? [classValue] : [])],
+        type: BOOL,
+        loc,
+    };
 }
-export function classPropertiesHelper(lowerer, loc) {
-    const name = "%dyn.class.properties";
+export function classPropertiesHelper(lowerer, loc, readOnly = false) {
+    const name = readOnly ? "%dyn.class.readProperties" : "%dyn.class.properties";
     const existing = lowerer.liftedFns.find((fn) => fn.name === name);
     if (existing)
         return existing;
     const helper = {
-        name, params: [{ localId: "p.0", name: "value", type: DYN }], returnType: DYN,
+        name,
+        params: [{ localId: "p.0", name: "value", type: DYN }],
+        returnType: DYN,
         locals: [{ id: "p.0", name: "value", type: DYN, mutable: false }],
-        body: [{ kind: "return", value: varRef("p.0", DYN, loc), loc }], loc,
+        body: [
+            {
+                kind: "return",
+                value: readOnly
+                    ? {
+                        kind: "call",
+                        callee: classPropertiesHelper(lowerer, loc).name,
+                        args: [varRef("p.0", DYN, loc)],
+                        type: DYN,
+                        loc,
+                    }
+                    : varRef("p.0", DYN, loc),
+                loc,
+            },
+        ],
+        loc,
     };
     lowerer.liftedFns.push(helper);
     return helper;
@@ -90,12 +198,40 @@ export function classPropertiesHelper(lowerer, loc) {
 export function classForInHasKey(lowerer, value, key, loc) {
     const name = "%dyn.class.forInHasKey";
     if (!lowerer.liftedFns.some((fn) => fn.name === name)) {
-        lowerer.liftedFns.push({ name, params: [{ localId: "value", name: "value", type: DYN }, { localId: "key", name: "key", type: STRING }], returnType: BOOL,
-            locals: [{ id: "value", name: "value", type: DYN, mutable: false }, { id: "key", name: "key", type: STRING, mutable: false }],
-            body: [{ kind: "return", value: { kind: "libCall", fn: "dyn.hasKey", args: [
-                            { kind: "call", callee: classPropertiesHelper(lowerer, loc).name, args: [varRef("value", DYN, loc)], type: DYN, loc },
+        lowerer.liftedFns.push({
+            name,
+            params: [
+                { localId: "value", name: "value", type: DYN },
+                { localId: "key", name: "key", type: STRING },
+            ],
+            returnType: BOOL,
+            locals: [
+                { id: "value", name: "value", type: DYN, mutable: false },
+                { id: "key", name: "key", type: STRING, mutable: false },
+            ],
+            body: [
+                {
+                    kind: "return",
+                    value: {
+                        kind: "libCall",
+                        fn: "dyn.hasKey",
+                        args: [
+                            {
+                                kind: "call",
+                                callee: classPropertiesHelper(lowerer, loc).name,
+                                args: [varRef("value", DYN, loc)],
+                                type: DYN,
+                                loc,
+                            },
                             varRef("key", STRING, loc),
-                        ], type: BOOL, loc }, loc }], loc,
+                        ],
+                        type: BOOL,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
         });
     }
     return { kind: "call", callee: name, args: [value, key], type: BOOL, loc };
@@ -110,12 +246,24 @@ export function trackClassFieldCreation(lowerer, functions) {
     const name = "%dyn.class.fieldCreated";
     const value = varRef("value", DYN, loc), key = varRef("key", DYN, loc);
     const bag = varRef("bag", DYN, loc);
-    const created = (receiver, className, field, loc) => ({ kind: "exprStmt", expr: {
-            kind: "call", callee: name, args: [lowerer.coerceToExpected(receiver, DYN), symbolMemberKey(lowerer, lowerer.classes.get(className), field, loc) ??
-                    lowerer.coerceToExpected({ kind: "strLit", value: field, type: STRING, loc }, DYN)], type: VOID, loc,
-        }, loc });
-    const tracked = (className, field) => !!lowerer.classes.get(className)?.def.tracksOwnFields && (isClassOwnEnumerableFieldName(field) ||
-        symbolMemberKey(lowerer, lowerer.classes.get(className), field, loc) !== null);
+    const created = (receiver, className, field, loc) => ({
+        kind: "exprStmt",
+        expr: {
+            kind: "call",
+            callee: name,
+            args: [
+                lowerer.coerceToExpected(receiver, DYN),
+                symbolMemberKey(lowerer, lowerer.classes.get(className), field, loc) ??
+                    lowerer.coerceToExpected({ kind: "strLit", value: field, type: STRING, loc }, DYN),
+            ],
+            type: VOID,
+            loc,
+        },
+        loc,
+    });
+    const tracked = (className, field) => !!lowerer.classes.get(className)?.def.tracksOwnFields &&
+        (isClassOwnEnumerableFieldName(field) ||
+            symbolMemberKey(lowerer, lowerer.classes.get(className), field, loc) !== null);
     for (const fn of functions) {
         const instrumented = new WeakSet();
         const local = (type, loc) => {
@@ -125,41 +273,121 @@ export function trackClassFieldCreation(lowerer, functions) {
         };
         fn.body = transformStmtList(fn.body, {
             stmt: (statement) => {
-                if (statement.kind !== "fieldSet" || instrumented.has(statement) || !tracked(statement.className, statement.field))
+                if (statement.kind !== "fieldSet" ||
+                    instrumented.has(statement) ||
+                    !tracked(statement.className, statement.field))
                     return statement;
                 const receiver = local(statement.obj.type, statement.loc);
                 const store = { ...statement, obj: receiver };
                 instrumented.add(store);
-                return { kind: "block", body: [
+                return {
+                    kind: "block",
+                    body: [
                         { kind: "varDecl", localId: receiver.localId, init: statement.obj, loc: statement.loc },
-                        store, created(receiver, statement.className, statement.field, statement.loc),
-                    ], loc: statement.loc };
+                        store,
+                        created(receiver, statement.className, statement.field, statement.loc),
+                    ],
+                    loc: statement.loc,
+                };
             },
             expr: (expression) => {
-                if (expression.kind !== "fieldIncDec" || instrumented.has(expression) || !tracked(expression.className, expression.field))
+                if (expression.kind !== "fieldIncDec" ||
+                    instrumented.has(expression) ||
+                    !tracked(expression.className, expression.field))
                     return expression;
                 const receiver = local(expression.obj.type, expression.loc), result = local(expression.type, expression.loc);
                 const update = { ...expression, obj: receiver };
                 instrumented.add(update);
-                return { kind: "seqExpr", stmts: [
-                        { kind: "varDecl", localId: receiver.localId, init: expression.obj, loc: expression.loc },
+                return {
+                    kind: "seqExpr",
+                    stmts: [
+                        {
+                            kind: "varDecl",
+                            localId: receiver.localId,
+                            init: expression.obj,
+                            loc: expression.loc,
+                        },
                         { kind: "varDecl", localId: result.localId, init: update, loc: expression.loc },
                         created(receiver, expression.className, expression.field, expression.loc),
-                    ], result, type: expression.type, loc: expression.loc };
+                    ],
+                    result,
+                    type: expression.type,
+                    loc: expression.loc,
+                };
             },
         });
     }
-    functions.push({ name, params: [{ localId: "value", name: "value", type: DYN }, { localId: "key", name: "key", type: DYN }], returnType: VOID,
-        locals: [{ id: "value", name: "value", type: DYN, mutable: false }, { id: "key", name: "key", type: DYN, mutable: false }, { id: "bag", name: "bag", type: DYN, mutable: false }],
+    functions.push({
+        name,
+        params: [
+            { localId: "value", name: "value", type: DYN },
+            { localId: "key", name: "key", type: DYN },
+        ],
+        returnType: VOID,
+        locals: [
+            { id: "value", name: "value", type: DYN, mutable: false },
+            { id: "key", name: "key", type: DYN, mutable: false },
+            { id: "bag", name: "bag", type: DYN, mutable: false },
+        ],
         body: [
-            { kind: "varDecl", localId: "bag", init: { kind: "call", callee: classPropertiesHelper(lowerer, loc).name, args: [value], type: DYN, loc }, loc },
-            { kind: "if", cond: { kind: "unary", op: "!", operand: { kind: "libCall", fn: "dyn.hasOwnComputed", args: [bag, key], type: BOOL, loc }, type: BOOL, loc }, then: [
-                    { kind: "exprStmt", expr: { kind: "libCall", fn: "dyn.defineProperty", args: [bag, lowerer.coerceToExpected(key, DYN), { kind: "dynObjLit", fields: [
-                                        { key: { kind: "strLit", value: "value", type: STRING, loc }, value: dynUndefinedExpr(loc) },
-                                        ...["writable", "enumerable", "configurable"].map((key) => ({ key: { kind: "strLit", value: key, type: STRING, loc }, value: lowerer.coerceToExpected({ kind: "boolLit", value: true, type: BOOL, loc }, DYN) })),
-                                    ], type: DYN, loc }], type: DYN, loc }, loc },
-                ], else_: null, loc },
-        ], loc, });
+            {
+                kind: "varDecl",
+                localId: "bag",
+                init: {
+                    kind: "call",
+                    callee: classPropertiesHelper(lowerer, loc).name,
+                    args: [value],
+                    type: DYN,
+                    loc,
+                },
+                loc,
+            },
+            {
+                kind: "if",
+                cond: {
+                    kind: "unary",
+                    op: "!",
+                    operand: { kind: "libCall", fn: "dyn.hasOwnComputed", args: [bag, key], type: BOOL, loc },
+                    type: BOOL,
+                    loc,
+                },
+                then: [
+                    {
+                        kind: "exprStmt",
+                        expr: {
+                            kind: "libCall",
+                            fn: "dyn.defineProperty",
+                            args: [
+                                bag,
+                                lowerer.coerceToExpected(key, DYN),
+                                {
+                                    kind: "dynObjLit",
+                                    fields: [
+                                        {
+                                            key: { kind: "strLit", value: "value", type: STRING, loc },
+                                            value: dynUndefinedExpr(loc),
+                                        },
+                                        ...["writable", "enumerable", "configurable"].map((key) => ({
+                                            key: { kind: "strLit", value: key, type: STRING, loc },
+                                            value: lowerer.coerceToExpected({ kind: "boolLit", value: true, type: BOOL, loc }, DYN),
+                                        })),
+                                    ],
+                                    type: DYN,
+                                    loc,
+                                },
+                            ],
+                            type: DYN,
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+                else_: null,
+                loc,
+            },
+        ],
+        loc,
+    });
 }
 /** Calls on native class capsules keep the instance's compiled methods. The
  * reachable-body fixed point discovers both the boxed classes and method
@@ -187,6 +415,7 @@ export class ClassDynamicDispatch {
     bagClasses = new Set();
     bagInitializers = new Map();
     typedPropertyBags = new Map();
+    readPropertyBags = [];
     generated = new Set();
     constructDispatch = null;
     constructors = new Map();
@@ -208,7 +437,9 @@ export class ClassDynamicDispatch {
         // entry ahead of every newly inserted branch after rebuilding the tables.
         for (const fn of this.normalizedDispatches()) {
             const first = fn.body[0];
-            if (first?.kind === "assign" && first.value.kind === "call" && first.value.callee === this.normalization?.name)
+            if (first?.kind === "assign" &&
+                first.value.kind === "call" &&
+                first.value.callee === this.normalization?.name)
                 fn.body.shift();
         }
         let changed = refreshErrorMethodDispatch(lowerer, functions);
@@ -249,14 +480,16 @@ export class ClassDynamicDispatch {
                 stmt: (statement) => {
                     // Field-creation instrumentation can box a base-constructor receiver
                     // even when only its derived instances otherwise cross the boundary.
-                    if (statement.kind === "fieldSet" && lowerer.classes.get(statement.className)?.def.tracksOwnFields &&
+                    if (statement.kind === "fieldSet" &&
+                        lowerer.classes.get(statement.className)?.def.tracksOwnFields &&
                         isClassOwnEnumerableFieldName(statement.field))
                         discover(statement.obj.type);
                     return true;
                 },
                 expr: (expr) => {
-                    if (expr.kind === "jsonStringify" || expr.kind === "libCall" &&
-                        (expr.fn === "json.stringifyValue" || expr.fn === "json.stringifyReplacer")) {
+                    if (expr.kind === "jsonStringify" ||
+                        (expr.kind === "libCall" &&
+                            (expr.fn === "json.stringifyValue" || expr.fn === "json.stringifyReplacer"))) {
                         this.serializesClasses = true;
                     }
                     switch (expr.kind) {
@@ -264,11 +497,15 @@ export class ClassDynamicDispatch {
                             discover(expr.value.type);
                             break;
                         case "fieldIncDec":
-                            if (lowerer.classes.get(expr.className)?.def.tracksOwnFields && isClassOwnEnumerableFieldName(expr.field))
+                            if (lowerer.classes.get(expr.className)?.def.tracksOwnFields &&
+                                isClassOwnEnumerableFieldName(expr.field))
                                 discover(expr.obj.type);
                             break;
                         case "call":
-                            if (expr.callee === "%dyn.class.properties" && expr.args[0]?.kind === "dynFrom" && isDynTypedRefType(expr.args[0].value.type))
+                            if ((expr.callee === "%dyn.class.properties" ||
+                                expr.callee === "%dyn.class.readProperties") &&
+                                expr.args[0]?.kind === "dynFrom" &&
+                                isDynTypedRefType(expr.args[0].value.type))
                                 rewrite.add(fn);
                             break;
                         case "dynKeyGet":
@@ -280,8 +517,21 @@ export class ClassDynamicDispatch {
                                 rewrite.add(fn);
                             break;
                         case "libCall":
-                            if (expr.fn === "bytes.construct" || expr.fn === "dyn.keySet" || expr.fn === "dyn.keySetComputed" || (expr.fn === "dyn.iterator" || expr.fn === "dyn.arrayFromIterator") || expr.fn === "dyn.toString" || expr.fn === "dyn.stringConstructor" ||
-                                expr.fn === "dyn.forInKeys" || expr.fn === "dyn.hasKeyComputed" || expr.fn === "dyn.hasOwnComputed" || expr.fn === "dyn.propertyIsEnumerableComputed" || expr.fn === "dyn.defineProperty" || expr.fn === "dyn.getPrototype" || expr.fn === "dyn.reflectGet" || expr.fn === "dyn.reflectSet")
+                            if (expr.fn === "bytes.construct" ||
+                                expr.fn === "dyn.keySet" ||
+                                expr.fn === "dyn.keySetComputed" ||
+                                expr.fn === "dyn.iterator" ||
+                                expr.fn === "dyn.arrayFromIterator" ||
+                                expr.fn === "dyn.toString" ||
+                                expr.fn === "dyn.stringConstructor" ||
+                                expr.fn === "dyn.forInKeys" ||
+                                expr.fn === "dyn.hasKeyComputed" ||
+                                expr.fn === "dyn.hasOwnComputed" ||
+                                expr.fn === "dyn.propertyIsEnumerableComputed" ||
+                                expr.fn === "dyn.defineProperty" ||
+                                expr.fn === "dyn.getPrototype" ||
+                                expr.fn === "dyn.reflectGet" ||
+                                expr.fn === "dyn.reflectSet")
                                 rewrite.add(fn);
                             break;
                     }
@@ -291,7 +541,8 @@ export class ClassDynamicDispatch {
         if (this.boxed.size === 0 && rewrite.size === 0)
             return changed;
         for (const fn of functions) {
-            if (!fn.name.startsWith("%dyn.class.instanceof:") && !fn.name.startsWith("%dyn.class.valueInstanceof:"))
+            if (!fn.name.startsWith("%dyn.class.instanceof:") &&
+                !fn.name.startsWith("%dyn.class.valueInstanceof:"))
                 continue;
             const target = fn.name.slice(fn.name.indexOf(":") + 1);
             let checked = this.instanceTests.get(fn.name);
@@ -310,11 +561,35 @@ export class ClassDynamicDispatch {
                 const value = varRef("value", DYN, loc);
                 const type = { kind: "object", className };
                 const result = subtype && fn.params[1] && lowerer.classes.get(target)?.localClass
-                    ? { kind: "instanceOfValue", value: { kind: "dynCheck", value, type, loc }, classValue: varRef("class", fn.params[1].type, loc), type: BOOL, loc }
-                    : subtype ? { kind: "boolLit", value: true, type: BOOL, loc }
-                        : { kind: "instanceOf", value: { kind: "dynCheck", value, type, loc }, className: target, type: BOOL, loc };
-                fn.body.unshift({ kind: "if", cond: { kind: "libCall", fn: "dyn.typedRefIs", args: [value,
-                            { kind: "strLit", value: typeKey(type), type: STRING, loc }], type: BOOL, loc }, then: [{ kind: "return", value: result, loc }], else_: null, loc });
+                    ? {
+                        kind: "instanceOfValue",
+                        value: { kind: "dynCheck", value, type, loc },
+                        classValue: varRef("class", fn.params[1].type, loc),
+                        type: BOOL,
+                        loc,
+                    }
+                    : subtype
+                        ? { kind: "boolLit", value: true, type: BOOL, loc }
+                        : {
+                            kind: "instanceOf",
+                            value: { kind: "dynCheck", value, type, loc },
+                            className: target,
+                            type: BOOL,
+                            loc,
+                        };
+                fn.body.unshift({
+                    kind: "if",
+                    cond: {
+                        kind: "libCall",
+                        fn: "dyn.typedRefIs",
+                        args: [value, { kind: "strLit", value: typeKey(type), type: STRING, loc }],
+                        type: BOOL,
+                        loc,
+                    },
+                    then: [{ kind: "return", value: result, loc }],
+                    else_: null,
+                    loc,
+                });
                 changed = true;
             }
         }
@@ -338,11 +613,26 @@ export class ClassDynamicDispatch {
                 const loc = this.prototypeHelper.loc;
                 const type = { kind: "object", className };
                 const value = varRef("value", DYN, loc);
-                const prototype = reflectClassPrototype(lowerer, info, loc, { kind: "dynCheck", value, type, loc });
+                const prototype = reflectClassPrototype(lowerer, info, loc, {
+                    kind: "dynCheck",
+                    value,
+                    type,
+                    loc,
+                });
                 if (prototype)
-                    this.prototypeHelper.body.unshift({ kind: "if", cond: { kind: "libCall", fn: "dyn.typedRefIs", args: [value,
-                                { kind: "strLit", value: typeKey(type), type: STRING, loc }], type: BOOL, loc },
-                        then: [{ kind: "return", value: prototype, loc }], else_: null, loc });
+                    this.prototypeHelper.body.unshift({
+                        kind: "if",
+                        cond: {
+                            kind: "libCall",
+                            fn: "dyn.typedRefIs",
+                            args: [value, { kind: "strLit", value: typeKey(type), type: STRING, loc }],
+                            type: BOOL,
+                            loc,
+                        },
+                        then: [{ kind: "return", value: prototype, loc }],
+                        else_: null,
+                        loc,
+                    });
                 changed = true;
             }
             if (this.prototypeIdentityHelper && !this.prototypeIdentityClasses.has(className)) {
@@ -350,30 +640,82 @@ export class ClassDynamicDispatch {
                 const loc = this.prototypeIdentityHelper.loc;
                 const type = { kind: "object", className };
                 const value = varRef("value", DYN, loc);
-                const prototype = classPrototypeData(lowerer, info, loc, { kind: "dynCheck", value, type, loc });
+                const prototype = classPrototypeData(lowerer, info, loc, {
+                    kind: "dynCheck",
+                    value,
+                    type,
+                    loc,
+                });
                 if (prototype)
-                    this.prototypeIdentityHelper.body.unshift({ kind: "if", cond: { kind: "libCall", fn: "dyn.typedRefIs", args: [value,
-                                { kind: "strLit", value: typeKey(type), type: STRING, loc }], type: BOOL, loc },
-                        then: [{ kind: "return", value: prototype, loc }], else_: null, loc });
+                    this.prototypeIdentityHelper.body.unshift({
+                        kind: "if",
+                        cond: {
+                            kind: "libCall",
+                            fn: "dyn.typedRefIs",
+                            args: [value, { kind: "strLit", value: typeKey(type), type: STRING, loc }],
+                            type: BOOL,
+                            loc,
+                        },
+                        then: [{ kind: "return", value: prototype, loc }],
+                        else_: null,
+                        loc,
+                    });
                 changed = true;
             }
-            if (this.serializesClasses && !this.jsonPrototypes.has(className) && info.decl && findMethodOn(lowerer, info, "toJSON")) {
+            if (this.serializesClasses &&
+                !this.jsonPrototypes.has(className) &&
+                info.decl &&
+                findMethodOn(lowerer, info, "toJSON")) {
                 this.jsonPrototypes.add(className);
                 const loc = this.propertyBag.loc;
                 const method = classMethodValue(lowerer, info.decl, info, "toJSON", loc);
                 const prototype = method ? classPrototypeData(lowerer, info, loc) : null;
                 const helper = lowerer.liftedFns.find((fn) => fn.name === info.def.prototypeDataHelper);
                 const init = helper?.body[0];
-                if (!info.prototypeReflectionReady && method && prototype && init?.kind === "if" && canConvertToDyn(method.type, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id))) {
-                    const descriptor = { kind: "exprStmt", expr: {
-                            kind: "libCall", fn: "dyn.defineProperty", args: [prototype,
-                                { kind: "dynFrom", value: { kind: "strLit", value: "toJSON", type: STRING, loc }, type: DYN, loc },
-                                { kind: "dynObjLit", fields: [
-                                        { key: { kind: "strLit", value: "value", type: STRING, loc }, value: { kind: "dynFrom", value: method, type: DYN, loc } },
-                                        ...["writable", "configurable"].map((key) => ({ key: { kind: "strLit", value: key, type: STRING, loc }, value: { kind: "dynFrom", value: { kind: "boolLit", value: true, type: BOOL, loc }, type: DYN, loc } })),
-                                    ], type: DYN, loc },
-                            ], type: DYN, loc
-                        }, loc };
+                if (!info.prototypeReflectionReady &&
+                    method &&
+                    prototype &&
+                    init?.kind === "if" &&
+                    canConvertToDyn(method.type, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id))) {
+                    const descriptor = {
+                        kind: "exprStmt",
+                        expr: {
+                            kind: "libCall",
+                            fn: "dyn.defineProperty",
+                            args: [
+                                prototype,
+                                {
+                                    kind: "dynFrom",
+                                    value: { kind: "strLit", value: "toJSON", type: STRING, loc },
+                                    type: DYN,
+                                    loc,
+                                },
+                                {
+                                    kind: "dynObjLit",
+                                    fields: [
+                                        {
+                                            key: { kind: "strLit", value: "value", type: STRING, loc },
+                                            value: { kind: "dynFrom", value: method, type: DYN, loc },
+                                        },
+                                        ...["writable", "configurable"].map((key) => ({
+                                            key: { kind: "strLit", value: key, type: STRING, loc },
+                                            value: {
+                                                kind: "dynFrom",
+                                                value: { kind: "boolLit", value: true, type: BOOL, loc },
+                                                type: DYN,
+                                                loc,
+                                            },
+                                        })),
+                                    ],
+                                    type: DYN,
+                                    loc,
+                                },
+                            ],
+                            type: DYN,
+                            loc,
+                        },
+                        loc,
+                    };
                     init.then.push(descriptor);
                     changed = true;
                 }
@@ -387,35 +729,74 @@ export class ClassDynamicDispatch {
                 const name = `%class.instancePrototype:${plan.capsule.def.name}`;
                 const type = { kind: "object", className: plan.capsule.def.name };
                 const loc = this.propertyBag.loc;
-                const fn = { name, params: [{ localId: "this", name: "this", type }],
-                    locals: [{ id: "this", name: "this", type, mutable: false }], returnType: DYN,
-                    body: [{ kind: "return", value: { kind: "libCall", fn: "dyn.getPrototype",
-                                args: [{ kind: "dynObjLit", fields: [], type: DYN, loc }], type: DYN, loc }, loc }], loc };
+                const fn = {
+                    name,
+                    params: [{ localId: "this", name: "this", type }],
+                    locals: [{ id: "this", name: "this", type, mutable: false }],
+                    returnType: DYN,
+                    body: [
+                        {
+                            kind: "return",
+                            value: {
+                                kind: "libCall",
+                                fn: "dyn.getPrototype",
+                                args: [{ kind: "dynObjLit", fields: [], type: DYN, loc }],
+                                type: DYN,
+                                loc,
+                            },
+                            loc,
+                        },
+                    ],
+                    loc,
+                };
                 plan.capsule.def.instancePrototypeHelper = name;
                 instancePrototype = { fn, classes: new Set() };
                 this.instancePrototypes.set(plan.capsule.def.name, instancePrototype);
                 this.generated.add(fn);
                 lowerer.liftedFns.push(fn);
             }
-            if (instancePrototype && hasClassPrototypeData(info) && !instancePrototype.classes.has(className)) {
+            if (instancePrototype &&
+                hasClassPrototypeData(info) &&
+                !instancePrototype.classes.has(className)) {
                 instancePrototype.classes.add(className);
                 const loc = instancePrototype.fn.loc;
                 const receiver = varRef("this", instancePrototype.fn.params[0].type, loc);
-                const prototype = classPrototypeData(lowerer, info, loc, info === plan.capsule ? receiver
+                const prototype = classPrototypeData(lowerer, info, loc, info === plan.capsule
+                    ? receiver
                     : { kind: "downcast", value: receiver, type: { kind: "object", className }, loc });
-                const returned = { kind: "return", value: prototype ?? { kind: "libCall", fn: "dyn.getPrototype",
-                        args: [{ kind: "dynObjLit", fields: [], type: DYN, loc }], type: DYN, loc }, loc };
+                const returned = {
+                    kind: "return",
+                    value: prototype ?? {
+                        kind: "libCall",
+                        fn: "dyn.getPrototype",
+                        args: [{ kind: "dynObjLit", fields: [], type: DYN, loc }],
+                        type: DYN,
+                        loc,
+                    },
+                    loc,
+                };
                 if (info === plan.capsule)
                     instancePrototype.fn.body[instancePrototype.fn.body.length - 1] = returned;
                 else
-                    instancePrototype.fn.body.unshift({ kind: "if",
-                        cond: { kind: "instanceOf", value: receiver, className, type: BOOL, loc }, then: [returned], else_: null, loc });
+                    instancePrototype.fn.body.unshift({
+                        kind: "if",
+                        cond: { kind: "instanceOf", value: receiver, className, type: BOOL, loc },
+                        then: [returned],
+                        else_: null,
+                        loc,
+                    });
                 changed = true;
             }
-            const needsPrototype = (current) => hasClassPrototypeData(current) || current.subclasses.some((child) => lowerer.classCanBeConstructed(child) && needsPrototype(child));
+            const needsPrototype = (current) => hasClassPrototypeData(current) ||
+                current.subclasses.some((child) => lowerer.classCanBeConstructed(child) && needsPrototype(child));
             const prototypeFor = (current, receiver, loc) => {
                 const currentReceiver = receiver.type.kind === "object" && receiver.type.className !== current.def.name
-                    ? { kind: "downcast", value: receiver, type: { kind: "object", className: current.def.name }, loc }
+                    ? {
+                        kind: "downcast",
+                        value: receiver,
+                        type: { kind: "object", className: current.def.name },
+                        loc,
+                    }
                     : receiver;
                 let result = classPrototypeData(lowerer, current, loc, currentReceiver);
                 for (const child of current.subclasses) {
@@ -423,8 +804,20 @@ export class ClassDynamicDispatch {
                         continue;
                     const selected = prototypeFor(child, receiver, loc);
                     if (selected && result)
-                        result = { kind: "ternary", cond: { kind: "instanceOf", value: receiver, className: child.def.name, type: BOOL, loc },
-                            then: selected, else_: result, type: DYN, loc };
+                        result = {
+                            kind: "ternary",
+                            cond: {
+                                kind: "instanceOf",
+                                value: receiver,
+                                className: child.def.name,
+                                type: BOOL,
+                                loc,
+                            },
+                            then: selected,
+                            else_: result,
+                            type: DYN,
+                            loc,
+                        };
                 }
                 return result;
             };
@@ -432,7 +825,13 @@ export class ClassDynamicDispatch {
                 if (existingInit.value.kind === "dynObjLit" && needsPrototype(info)) {
                     const prototype = prototypeFor(info, existingInit.obj, existingInit.loc);
                     if (prototype) {
-                        existingInit.value = { kind: "libCall", fn: "dyn.objCreate", args: [prototype], type: DYN, loc: existingInit.loc };
+                        existingInit.value = {
+                            kind: "libCall",
+                            fn: "dyn.objCreate",
+                            args: [prototype],
+                            type: DYN,
+                            loc: existingInit.loc,
+                        };
                         changed = true;
                     }
                 }
@@ -455,24 +854,43 @@ export class ClassDynamicDispatch {
             }
             const loc = this.propertyBag.loc;
             const { receiver, condition } = this.propertyReceiver(plan, loc);
-            const bag = { kind: "fieldGet", obj: receiver, className, field: PROPERTY_BAG, type: DYN, loc };
+            const bag = {
+                kind: "fieldGet",
+                obj: receiver,
+                className,
+                field: PROPERTY_BAG,
+                type: DYN,
+                loc,
+            };
             const prototype = needsPrototype(info) ? prototypeFor(info, receiver, loc) : null;
             const initialize = {
-                kind: "fieldSet", obj: receiver, className, field: PROPERTY_BAG, value: prototype
+                kind: "fieldSet",
+                obj: receiver,
+                className,
+                field: PROPERTY_BAG,
+                value: prototype
                     ? { kind: "libCall", fn: "dyn.objCreate", args: [prototype], type: DYN, loc }
-                    : { kind: "dynObjLit", fields: [], type: DYN, loc }, loc,
+                    : { kind: "dynObjLit", fields: [], type: DYN, loc },
+                loc,
             };
             const initializers = this.bagInitializers.get(className) ?? [];
             initializers.push(initialize);
             this.bagInitializers.set(className, initializers);
             this.propertyBag.body.unshift({
-                kind: "if", cond: condition,
+                kind: "if",
+                cond: condition,
                 then: [
-                    { kind: "if", cond: { kind: "dynTest", test: "undefined", value: bag, type: BOOL, loc }, then: [
-                            initialize,
-                        ], else_: null, loc },
+                    {
+                        kind: "if",
+                        cond: { kind: "dynTest", test: "undefined", value: bag, type: BOOL, loc },
+                        then: [initialize],
+                        else_: null,
+                        loc,
+                    },
                     { kind: "return", value: bag, loc },
-                ], else_: null, loc,
+                ],
+                else_: null,
+                loc,
             });
             changed = true;
         }
@@ -489,7 +907,9 @@ export class ClassDynamicDispatch {
                     return [info];
                 if (info.builtinStream)
                     return STREAM_METHODS.has(method) ? [info] : [];
-                return findMethodOn(lowerer, info, method) || findGenericMethodOn(lowerer, info, method) ? [info] : [];
+                return findMethodOn(lowerer, info, method) || findGenericMethodOn(lowerer, info, method)
+                    ? [info]
+                    : [];
             });
             byMethod.set(method, matching);
             return matching;
@@ -502,17 +922,20 @@ export class ClassDynamicDispatch {
                 continue;
             const keyInitializers = new Map();
             const written = new Set();
-            everyStmtList(fn.body, { expr: (expression) => {
+            everyStmtList(fn.body, {
+                expr: (expression) => {
                     if (expression.kind === "incDec" || expression.kind === "assignExpr")
                         written.add(expression.localId);
                     return true;
-                }, stmt: (statement) => {
+                },
+                stmt: (statement) => {
                     if (statement.kind === "varDecl" && statement.init)
                         keyInitializers.set(statement.localId, statement.init);
                     if (statement.kind === "assign")
                         written.add(statement.localId);
                     return true;
-                } });
+                },
+            });
             const keyValue = (value) => {
                 const visited = new Set();
                 while (true) {
@@ -524,7 +947,10 @@ export class ClassDynamicDispatch {
                         value = value.args[0];
                         continue;
                     }
-                    if (value.kind === "varRef" && !written.has(value.localId) && !visited.has(value.localId) && keyInitializers.has(value.localId)) {
+                    if (value.kind === "varRef" &&
+                        !written.has(value.localId) &&
+                        !visited.has(value.localId) &&
+                        keyInitializers.has(value.localId)) {
                         visited.add(value.localId);
                         value = keyInitializers.get(value.localId);
                         continue;
@@ -540,10 +966,16 @@ export class ClassDynamicDispatch {
                         let cast = this.checkedCasts.get(type.className);
                         if (!cast) {
                             const loc = expr.loc;
-                            const fn = { name: `%dyn.class.cast:${type.className}`,
+                            const fn = {
+                                name: `%dyn.class.cast:${type.className}`,
                                 params: [{ localId: "value", name: "value", type: DYN }],
-                                locals: [{ id: "value", name: "value", type: DYN, mutable: false }], returnType: type,
-                                body: [{ kind: "return", value: { ...expr, value: varRef("value", DYN, loc) }, loc }], loc };
+                                locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
+                                returnType: type,
+                                body: [
+                                    { kind: "return", value: { ...expr, value: varRef("value", DYN, loc) }, loc },
+                                ],
+                                loc,
+                            };
                             cast = { fn, classes: new Set() };
                             this.checkedCasts.set(type.className, cast);
                             this.generated.add(fn);
@@ -552,59 +984,141 @@ export class ClassDynamicDispatch {
                         }
                         return { kind: "call", callee: cast.fn.name, args: [expr.value], type, loc: expr.loc };
                     }
-                    if (expr.kind === "libCall" && expr.fn === "dyn.getPrototype" && expr.args[0]?.kind !== "dynObjLit") {
+                    if (expr.kind === "libCall" &&
+                        expr.fn === "dyn.getPrototype" &&
+                        expr.args[0]?.kind !== "dynObjLit") {
                         if (expr.prototypeIdentityOnly) {
                             if (!this.prototypeIdentityHelper) {
                                 const loc = expr.loc;
-                                this.prototypeIdentityHelper = { name: "%dyn.class.prototypeIdentity", params: [{ localId: "value", name: "value", type: DYN }],
-                                    locals: [{ id: "value", name: "value", type: DYN, mutable: false }], returnType: DYN, loc,
-                                    body: [{ kind: "return", value: { ...expr, args: [varRef("value", DYN, loc)] }, loc }] };
+                                this.prototypeIdentityHelper = {
+                                    name: "%dyn.class.prototypeIdentity",
+                                    params: [{ localId: "value", name: "value", type: DYN }],
+                                    locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
+                                    returnType: DYN,
+                                    loc,
+                                    body: [
+                                        { kind: "return", value: { ...expr, args: [varRef("value", DYN, loc)] }, loc },
+                                    ],
+                                };
                                 lowerer.liftedFns.push(this.prototypeIdentityHelper);
                                 this.generated.add(this.prototypeIdentityHelper);
                                 changed = true;
                             }
-                            return { kind: "call", callee: this.prototypeIdentityHelper.name, args: expr.args, type: DYN, loc: expr.loc };
+                            return {
+                                kind: "call",
+                                callee: this.prototypeIdentityHelper.name,
+                                args: expr.args,
+                                type: DYN,
+                                loc: expr.loc,
+                            };
                         }
                         if (!this.prototypeHelper) {
                             const loc = expr.loc;
-                            this.prototypeHelper = { name: "%dyn.class.getPrototype", params: [{ localId: "value", name: "value", type: DYN }],
-                                locals: [{ id: "value", name: "value", type: DYN, mutable: false }], returnType: DYN, loc,
-                                body: [{ kind: "return", value: { ...expr, args: [varRef("value", DYN, loc)] }, loc }] };
+                            this.prototypeHelper = {
+                                name: "%dyn.class.getPrototype",
+                                params: [{ localId: "value", name: "value", type: DYN }],
+                                locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
+                                returnType: DYN,
+                                loc,
+                                body: [
+                                    { kind: "return", value: { ...expr, args: [varRef("value", DYN, loc)] }, loc },
+                                ],
+                            };
                             lowerer.liftedFns.push(this.prototypeHelper);
                             this.generated.add(this.prototypeHelper);
                             changed = true;
                         }
-                        return { kind: "call", callee: this.prototypeHelper.name, args: expr.args, type: DYN, loc: expr.loc };
+                        return {
+                            kind: "call",
+                            callee: this.prototypeHelper.name,
+                            args: expr.args,
+                            type: DYN,
+                            loc: expr.loc,
+                        };
                     }
-                    if (expr.kind === "libCall" && (expr.fn === "dyn.toString" || expr.fn === "dyn.stringConstructor") && lowerer.classes.has("%Error")) {
+                    if (expr.kind === "libCall" &&
+                        (expr.fn === "dyn.toString" || expr.fn === "dyn.stringConstructor") &&
+                        lowerer.classes.has("%Error")) {
                         const key = JSON.stringify([expr.fn, ...expr.args.map((arg) => typeKey(arg.type))]);
                         let errorString = this.errorStrings.get(key);
                         if (!errorString) {
                             const loc = expr.loc;
-                            const params = expr.args.map((arg, i) => ({ localId: `p.${i}`, name: `p${i}`, type: arg.type }));
+                            const params = expr.args.map((arg, i) => ({
+                                localId: `p.${i}`,
+                                name: `p${i}`,
+                                type: arg.type,
+                            }));
                             const value = varRef("p.0", DYN, loc);
-                            errorString = { name: `%dyn.error.${expr.fn.slice(4)}.${this.errorStrings.size}`, params, returnType: STRING,
-                                locals: params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: false })), loc,
+                            errorString = {
+                                name: `%dyn.error.${expr.fn.slice(4)}.${this.errorStrings.size}`,
+                                params,
+                                returnType: STRING,
+                                locals: params.map((p) => ({
+                                    id: p.localId,
+                                    name: p.name,
+                                    type: p.type,
+                                    mutable: false,
+                                })),
+                                loc,
                                 body: [
-                                    { kind: "if", cond: { kind: "dynTest", test: "error", value, type: BOOL, loc }, then: [
-                                            { kind: "return", value: { kind: "dynCheck", type: STRING, loc, value: {
-                                                        kind: "dynCall", callee: errorToStringMethod(lowerer, { kind: "dynCheck", value, type: { kind: "object", className: "%Error" }, loc }),
-                                                        receiver: value, calleeName: "value.toString", args: params.slice(1).map((p) => lowerer.coerceToExpected(varRef(p.localId, p.type, loc), DYN)), type: DYN, loc,
-                                                    } }, loc },
-                                        ], else_: null, loc },
-                                    { kind: "return", value: { ...expr, args: params.map((p) => varRef(p.localId, p.type, loc)) }, loc },
-                                ] };
+                                    {
+                                        kind: "if",
+                                        cond: { kind: "dynTest", test: "error", value, type: BOOL, loc },
+                                        then: [
+                                            {
+                                                kind: "return",
+                                                value: {
+                                                    kind: "dynCheck",
+                                                    type: STRING,
+                                                    loc,
+                                                    value: {
+                                                        kind: "dynCall",
+                                                        callee: errorToStringMethod(lowerer, {
+                                                            kind: "dynCheck",
+                                                            value,
+                                                            type: { kind: "object", className: "%Error" },
+                                                            loc,
+                                                        }),
+                                                        receiver: value,
+                                                        calleeName: "value.toString",
+                                                        args: params
+                                                            .slice(1)
+                                                            .map((p) => lowerer.coerceToExpected(varRef(p.localId, p.type, loc), DYN)),
+                                                        type: DYN,
+                                                        loc,
+                                                    },
+                                                },
+                                                loc,
+                                            },
+                                        ],
+                                        else_: null,
+                                        loc,
+                                    },
+                                    {
+                                        kind: "return",
+                                        value: { ...expr, args: params.map((p) => varRef(p.localId, p.type, loc)) },
+                                        loc,
+                                    },
+                                ],
+                            };
                             this.errorStrings.set(key, errorString);
                             this.generated.add(errorString);
                             lowerer.liftedFns.push(errorString);
                             changed = true;
                         }
-                        return { kind: "call", callee: errorString.name, args: expr.args, type: STRING, loc: expr.loc };
+                        return {
+                            kind: "call",
+                            callee: errorString.name,
+                            args: expr.args,
+                            type: STRING,
+                            loc: expr.loc,
+                        };
                     }
-                    if (expr.kind === "call" && expr.callee === this.propertyBag.name) {
+                    if (expr.kind === "call" &&
+                        (expr.callee === this.propertyBag.name || expr.callee === "%dyn.class.readProperties")) {
                         const boxed = expr.args[0];
                         if (boxed?.kind === "dynFrom" && isDynTypedRefType(boxed.value.type)) {
-                            const helper = this.typedPropertyBag(lowerer, boxed.value.type, expr.loc);
+                            const helper = this.typedPropertyBag(lowerer, boxed.value.type, expr.loc, expr.callee === "%dyn.class.readProperties");
                             if (helper) {
                                 changed = true;
                                 return { ...expr, callee: helper.name, args: [boxed.value] };
@@ -614,71 +1128,191 @@ export class ClassDynamicDispatch {
                     if (expr.kind === "libCall" && expr.fn === "bytes.construct") {
                         if (!this.constructDispatch) {
                             const loc = expr.loc;
-                            const params = [DYN, DYN, STRING].map((type, i) => ({ localId: `p.${i}`, name: `p${i}`, type }));
-                            this.constructDispatch = { name: "%dyn.class.construct", params, returnType: DYN,
-                                locals: params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: false })),
-                                body: [{ kind: "return", value: { ...expr, args: params.map((p) => varRef(p.localId, p.type, loc)) }, loc }], loc };
+                            const params = [DYN, DYN, STRING].map((type, i) => ({
+                                localId: `p.${i}`,
+                                name: `p${i}`,
+                                type,
+                            }));
+                            this.constructDispatch = {
+                                name: "%dyn.class.construct",
+                                params,
+                                returnType: DYN,
+                                locals: params.map((p) => ({
+                                    id: p.localId,
+                                    name: p.name,
+                                    type: p.type,
+                                    mutable: false,
+                                })),
+                                body: [
+                                    {
+                                        kind: "return",
+                                        value: { ...expr, args: params.map((p) => varRef(p.localId, p.type, loc)) },
+                                        loc,
+                                    },
+                                ],
+                                loc,
+                            };
                             this.generated.add(this.constructDispatch);
                             lowerer.liftedFns.push(this.constructDispatch);
                             changed = true;
                         }
-                        return { kind: "call", callee: this.constructDispatch.name, args: expr.args, type: DYN, loc: expr.loc };
+                        return {
+                            kind: "call",
+                            callee: this.constructDispatch.name,
+                            args: expr.args,
+                            type: DYN,
+                            loc: expr.loc,
+                        };
                     }
                     if (expr.kind === "libCall" && expr.fn === "dyn.forInKeys") {
                         if (!this.enumeration) {
                             const loc = expr.loc;
                             const value = varRef("p.0", DYN, loc);
-                            this.enumeration = { name: "%dyn.class.forInKeys", params: [{ localId: "p.0", name: "value", type: DYN }], returnType: DYN,
+                            this.enumeration = {
+                                name: "%dyn.class.forInKeys",
+                                params: [{ localId: "p.0", name: "value", type: DYN }],
+                                returnType: DYN,
                                 locals: [{ id: "p.0", name: "value", type: DYN, mutable: false }],
-                                body: [{ kind: "return", value: { ...expr, args: [value] }, loc }], loc };
+                                body: [{ kind: "return", value: { ...expr, args: [value] }, loc }],
+                                loc,
+                            };
                             this.generated.add(this.enumeration);
                             lowerer.liftedFns.push(this.enumeration);
                             changed = true;
                         }
-                        return { kind: "call", callee: this.enumeration.name, args: expr.args, type: DYN, loc: expr.loc };
+                        return {
+                            kind: "call",
+                            callee: this.enumeration.name,
+                            args: expr.args,
+                            type: DYN,
+                            loc: expr.loc,
+                        };
                     }
                     if (expr.kind === "libCall" && expr.fn === "dyn.defineProperty") {
                         const loc = expr.loc;
                         if (!this.descriptorHelper) {
-                            const params = ["target", "key", "descriptor"].map((name) => ({ localId: name, name, type: DYN }));
+                            const params = ["target", "key", "descriptor"].map((name) => ({
+                                localId: name,
+                                name,
+                                type: DYN,
+                            }));
                             const target = varRef("target", DYN, loc);
                             const key = varRef("key", DYN, loc);
                             const descriptor = varRef("descriptor", DYN, loc);
                             this.descriptorHelper = {
-                                name: "%dyn.class.defineProperty", params, returnType: DYN,
-                                locals: params.map((param) => ({ id: param.localId, name: param.name, type: DYN, mutable: false })),
+                                name: "%dyn.class.defineProperty",
+                                params,
+                                returnType: DYN,
+                                locals: params.map((param) => ({
+                                    id: param.localId,
+                                    name: param.name,
+                                    type: DYN,
+                                    mutable: false,
+                                })),
                                 body: [
-                                    { kind: "if", cond: { kind: "dynTest", test: "symbol", value: key, type: BOOL, loc }, then: [
-                                            { kind: "exprStmt", expr: { ...expr, args: [{ kind: "call", callee: this.propertyBag.name, args: [target], type: DYN, loc }, key, descriptor] }, loc },
+                                    {
+                                        kind: "if",
+                                        cond: { kind: "dynTest", test: "symbol", value: key, type: BOOL, loc },
+                                        then: [
+                                            {
+                                                kind: "exprStmt",
+                                                expr: {
+                                                    ...expr,
+                                                    args: [
+                                                        {
+                                                            kind: "call",
+                                                            callee: this.propertyBag.name,
+                                                            args: [target],
+                                                            type: DYN,
+                                                            loc,
+                                                        },
+                                                        key,
+                                                        descriptor,
+                                                    ],
+                                                },
+                                                loc,
+                                            },
                                             { kind: "return", value: target, loc },
-                                        ], else_: null, loc },
+                                        ],
+                                        else_: null,
+                                        loc,
+                                    },
                                     { kind: "return", value: { ...expr, args: [target, key, descriptor] }, loc },
-                                ], loc,
+                                ],
+                                loc,
                             };
                             this.generated.add(this.descriptorHelper);
                             lowerer.liftedFns.push(this.descriptorHelper);
                             changed = true;
                         }
-                        return { kind: "call", callee: this.descriptorHelper.name, args: expr.args, type: DYN, loc };
+                        return {
+                            kind: "call",
+                            callee: this.descriptorHelper.name,
+                            args: expr.args,
+                            type: DYN,
+                            loc,
+                        };
                     }
                     if (expr.kind === "dynKeyGet" && expr.value.kind === "dynObjLit")
                         return expr;
                     const reflectRead = expr.kind === "libCall" && expr.fn === "dyn.reflectGet" ? expr : null;
                     const reflectWrite = expr.kind === "libCall" && expr.fn === "dyn.reflectSet" ? expr : null;
                     const reflect = !!reflectRead || !!reflectWrite;
-                    const computedRead = reflectRead ? { kind: "dynKeyGet", value: reflectRead.args[0], key: reflectRead.args[1], type: DYN, loc: expr.loc }
-                        : expr.kind === "dynKeyGet" && expr.key.kind !== "strLit" ? expr : null;
-                    const computedWrite = reflectWrite ? { ...reflectWrite, fn: "dyn.keySetComputed", args: reflectWrite.args.slice(0, 3), type: VOID }
-                        : expr.kind === "libCall" && (expr.fn === "dyn.keySetComputed" || expr.fn === "dyn.keySet" && expr.args[1]?.kind !== "strLit") ? expr : null;
-                    const computedProbe = expr.kind === "libCall" && ["dyn.hasKeyComputed", "dyn.hasOwnComputed", "dyn.propertyIsEnumerableComputed"].includes(expr.fn) ? expr : null;
+                    const computedRead = reflectRead
+                        ? {
+                            kind: "dynKeyGet",
+                            value: reflectRead.args[0],
+                            key: reflectRead.args[1],
+                            type: DYN,
+                            loc: expr.loc,
+                        }
+                        : expr.kind === "dynKeyGet" && expr.key.kind !== "strLit"
+                            ? expr
+                            : null;
+                    const computedWrite = reflectWrite
+                        ? {
+                            ...reflectWrite,
+                            fn: "dyn.keySetComputed",
+                            args: reflectWrite.args.slice(0, 3),
+                            type: VOID,
+                        }
+                        : expr.kind === "libCall" &&
+                            (expr.fn === "dyn.keySetComputed" ||
+                                (expr.fn === "dyn.keySet" && expr.args[1]?.kind !== "strLit"))
+                            ? expr
+                            : null;
+                    const computedProbe = expr.kind === "libCall" &&
+                        [
+                            "dyn.hasKeyComputed",
+                            "dyn.hasOwnComputed",
+                            "dyn.propertyIsEnumerableComputed",
+                        ].includes(expr.fn)
+                        ? expr
+                        : null;
                     if (computedRead || computedWrite || computedProbe) {
-                        const probe = computedProbe ? computedProbe.fn === "dyn.hasKeyComputed" ? "in" : computedProbe.fn === "dyn.hasOwnComputed" ? "own" : "enumerable" : undefined;
-                        const dynamicKey = reflect || !!computedProbe || computedWrite?.fn === "dyn.keySetComputed" || computedRead?.key.type.kind === "dyn";
+                        const probe = computedProbe
+                            ? computedProbe.fn === "dyn.hasKeyComputed"
+                                ? "in"
+                                : computedProbe.fn === "dyn.hasOwnComputed"
+                                    ? "own"
+                                    : "enumerable"
+                            : undefined;
+                        const dynamicKey = reflect ||
+                            !!computedProbe ||
+                            computedWrite?.fn === "dyn.keySetComputed" ||
+                            computedRead?.key.type.kind === "dyn";
                         const sourceKey = keyValue(computedRead?.key ?? (computedWrite ?? computedProbe).args[1]);
                         const numericKey = sourceKey.type.kind === "f64" ||
-                            sourceKey.kind === "dynFrom" && sourceKey.value.type.kind === "f64" ||
-                            sourceKey.kind === "toString" && sourceKey.operand.type.kind === "f64";
-                        const key = JSON.stringify([!!computedWrite, computedRead?.optional ?? false, dynamicKey, probe, numericKey, reflect]);
+                            (sourceKey.kind === "dynFrom" && sourceKey.value.type.kind === "f64") ||
+                            (sourceKey.kind === "toString" && sourceKey.operand.type.kind === "f64");
+                        const key = JSON.stringify([
+                            !!computedWrite,
+                            computedRead?.optional ?? false,
+                            dynamicKey,
+                            probe,
+                            numericKey,
+                            reflect,
+                        ]);
                         let dispatch = this.computed.get(key);
                         if (!dispatch) {
                             const loc = expr.loc;
@@ -689,75 +1323,314 @@ export class ClassDynamicDispatch {
                                 ...(reflect ? [{ localId: "p.reflectReceiver", name: "receiver", type: DYN }] : []),
                             ];
                             const keyLocal = dynamicKey ? "key.string" : "p.key";
-                            const bag = { kind: "call", callee: this.propertyBag.name, args: [varRef("p.0", DYN, loc)], type: DYN, loc };
-                            const reflectionFallback = (target, property) => ({ kind: "libCall", fn: computedWrite ? "dyn.reflectSet" : "dyn.reflectGet",
-                                args: [target, lowerer.coerceToExpected(property, DYN), ...(computedWrite ? [varRef("p.1", DYN, loc)] : []), varRef("p.reflectReceiver", DYN, loc)], type: computedWrite ? BOOL : DYN, loc });
-                            const fallback = reflect ? reflectionFallback(bag, varRef(keyLocal, STRING, loc)) : computedProbe
-                                ? { ...computedProbe, fn: probe === "in" ? "dyn.hasKey" : probe === "own" ? "dyn.hasOwn" : "dyn.propertyIsEnumerable", args: [bag, varRef(keyLocal, STRING, loc)] }
-                                : computedRead
-                                    ? { ...computedRead, value: bag, key: varRef(keyLocal, STRING, loc) }
-                                    : { ...computedWrite, fn: "dyn.keySet", args: [bag, varRef(keyLocal, STRING, loc), varRef("p.1", DYN, loc)] };
+                            const bag = {
+                                kind: "call",
+                                callee: this.propertyBag.name,
+                                args: [varRef("p.0", DYN, loc)],
+                                type: DYN,
+                                loc,
+                            };
+                            const reflectionFallback = (target, property) => ({
+                                kind: "libCall",
+                                fn: computedWrite ? "dyn.reflectSet" : "dyn.reflectGet",
+                                args: [
+                                    target,
+                                    lowerer.coerceToExpected(property, DYN),
+                                    ...(computedWrite ? [varRef("p.1", DYN, loc)] : []),
+                                    varRef("p.reflectReceiver", DYN, loc),
+                                ],
+                                type: computedWrite ? BOOL : DYN,
+                                loc,
+                            });
+                            const fallback = reflect
+                                ? reflectionFallback(bag, varRef(keyLocal, STRING, loc))
+                                : computedProbe
+                                    ? {
+                                        ...computedProbe,
+                                        fn: probe === "in"
+                                            ? "dyn.hasKey"
+                                            : probe === "own"
+                                                ? "dyn.hasOwn"
+                                                : "dyn.propertyIsEnumerable",
+                                        args: [bag, varRef(keyLocal, STRING, loc)],
+                                    }
+                                    : computedRead
+                                        ? { ...computedRead, value: bag, key: varRef(keyLocal, STRING, loc) }
+                                        : {
+                                            ...computedWrite,
+                                            fn: "dyn.keySet",
+                                            args: [bag, varRef(keyLocal, STRING, loc), varRef("p.1", DYN, loc)],
+                                        };
                             const helper = {
-                                name: `%dyn.class.computed.${this.computed.size}`, params, returnType: reflect && computedWrite || computedProbe ? BOOL : computedWrite ? VOID : DYN,
-                                locals: [...params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: false })), ...(dynamicKey ? [{ id: keyLocal, name: "key", type: STRING, mutable: false }] : [])],
-                                body: reflect ? [{ kind: "return", value: fallback, loc }] : computedWrite
-                                    ? [{ kind: "exprStmt", expr: fallback, loc }, { kind: "return", value: null, loc }]
-                                    : [{ kind: "return", value: fallback, loc }], loc,
+                                name: `%dyn.class.computed.${this.computed.size}`,
+                                params,
+                                returnType: (reflect && computedWrite) || computedProbe ? BOOL : computedWrite ? VOID : DYN,
+                                locals: [
+                                    ...params.map((p) => ({
+                                        id: p.localId,
+                                        name: p.name,
+                                        type: p.type,
+                                        mutable: false,
+                                    })),
+                                    ...(dynamicKey
+                                        ? [{ id: keyLocal, name: "key", type: STRING, mutable: false }]
+                                        : []),
+                                ],
+                                body: reflect
+                                    ? [{ kind: "return", value: fallback, loc }]
+                                    : computedWrite
+                                        ? [
+                                            { kind: "exprStmt", expr: fallback, loc },
+                                            { kind: "return", value: null, loc },
+                                        ]
+                                        : [{ kind: "return", value: fallback, loc }],
+                                loc,
                             };
                             if (dynamicKey)
-                                helper.body.unshift({ kind: "if", cond: { kind: "dynTest", test: "symbol", value: varRef("p.key", DYN, loc), type: BOOL, loc }, then: reflect ? [
-                                        { kind: "return", value: reflectionFallback(bag, varRef("p.key", DYN, loc)), loc },
-                                    ] : computedProbe ? [
-                                        { kind: "return", value: { ...computedProbe, args: [bag, varRef("p.key", DYN, loc)] }, loc },
-                                    ] : computedRead ? [
-                                        { kind: "return", value: { ...computedRead, value: bag, key: varRef("p.key", DYN, loc) }, loc },
-                                    ] : [
-                                        { kind: "exprStmt", expr: { ...computedWrite, args: [bag, varRef("p.key", DYN, loc), varRef("p.1", DYN, loc)] }, loc },
-                                        { kind: "return", value: null, loc },
-                                    ], else_: null, loc }, { kind: "if", cond: { kind: "dynTest", test: "nullish", value: varRef("p.0", DYN, loc), type: BOOL, loc }, then: [
-                                        ...(reflect ? [{ kind: "return", value: reflectionFallback(varRef("p.0", DYN, loc), varRef("p.key", DYN, loc)), loc }] : computedProbe ? [{ kind: "return", value: { ...computedProbe, args: [varRef("p.0", DYN, loc), varRef("p.key", DYN, loc)] }, loc }] : computedRead ? [{ kind: "return", value: { ...computedRead, value: varRef("p.0", DYN, loc), key: varRef("p.key", DYN, loc) }, loc }] : [
-                                            { kind: "exprStmt", expr: { ...computedWrite, args: [varRef("p.0", DYN, loc), varRef("p.key", DYN, loc), varRef("p.1", DYN, loc)] }, loc },
-                                            { kind: "return", value: null, loc },
-                                        ]),
-                                    ], else_: null, loc }, { kind: "varDecl", localId: keyLocal, init: { kind: "libCall", fn: "dyn.toStringCoerce", args: [varRef("p.key", DYN, loc)], type: STRING, loc }, loc });
-                            dispatch = { write: !!computedWrite, reflect, fn: helper, classes: new Set(), keyLocal, branchIndex: dynamicKey ? 3 : 0, dynamicKey, numericKey, probe };
+                                helper.body.unshift({
+                                    kind: "if",
+                                    cond: {
+                                        kind: "dynTest",
+                                        test: "symbol",
+                                        value: varRef("p.key", DYN, loc),
+                                        type: BOOL,
+                                        loc,
+                                    },
+                                    then: reflect
+                                        ? [
+                                            {
+                                                kind: "return",
+                                                value: reflectionFallback(bag, varRef("p.key", DYN, loc)),
+                                                loc,
+                                            },
+                                        ]
+                                        : computedProbe
+                                            ? [
+                                                {
+                                                    kind: "return",
+                                                    value: { ...computedProbe, args: [bag, varRef("p.key", DYN, loc)] },
+                                                    loc,
+                                                },
+                                            ]
+                                            : computedRead
+                                                ? [
+                                                    {
+                                                        kind: "return",
+                                                        value: {
+                                                            ...computedRead,
+                                                            value: bag,
+                                                            key: varRef("p.key", DYN, loc),
+                                                        },
+                                                        loc,
+                                                    },
+                                                ]
+                                                : [
+                                                    {
+                                                        kind: "exprStmt",
+                                                        expr: {
+                                                            ...computedWrite,
+                                                            args: [bag, varRef("p.key", DYN, loc), varRef("p.1", DYN, loc)],
+                                                        },
+                                                        loc,
+                                                    },
+                                                    { kind: "return", value: null, loc },
+                                                ],
+                                    else_: null,
+                                    loc,
+                                }, {
+                                    kind: "if",
+                                    cond: {
+                                        kind: "dynTest",
+                                        test: "nullish",
+                                        value: varRef("p.0", DYN, loc),
+                                        type: BOOL,
+                                        loc,
+                                    },
+                                    then: [
+                                        ...(reflect
+                                            ? [
+                                                {
+                                                    kind: "return",
+                                                    value: reflectionFallback(varRef("p.0", DYN, loc), varRef("p.key", DYN, loc)),
+                                                    loc,
+                                                },
+                                            ]
+                                            : computedProbe
+                                                ? [
+                                                    {
+                                                        kind: "return",
+                                                        value: {
+                                                            ...computedProbe,
+                                                            args: [varRef("p.0", DYN, loc), varRef("p.key", DYN, loc)],
+                                                        },
+                                                        loc,
+                                                    },
+                                                ]
+                                                : computedRead
+                                                    ? [
+                                                        {
+                                                            kind: "return",
+                                                            value: {
+                                                                ...computedRead,
+                                                                value: varRef("p.0", DYN, loc),
+                                                                key: varRef("p.key", DYN, loc),
+                                                            },
+                                                            loc,
+                                                        },
+                                                    ]
+                                                    : [
+                                                        {
+                                                            kind: "exprStmt",
+                                                            expr: {
+                                                                ...computedWrite,
+                                                                args: [
+                                                                    varRef("p.0", DYN, loc),
+                                                                    varRef("p.key", DYN, loc),
+                                                                    varRef("p.1", DYN, loc),
+                                                                ],
+                                                            },
+                                                            loc,
+                                                        },
+                                                        { kind: "return", value: null, loc },
+                                                    ]),
+                                    ],
+                                    else_: null,
+                                    loc,
+                                }, {
+                                    kind: "varDecl",
+                                    localId: keyLocal,
+                                    init: {
+                                        kind: "libCall",
+                                        fn: "dyn.toStringCoerce",
+                                        args: [varRef("p.key", DYN, loc)],
+                                        type: STRING,
+                                        loc,
+                                    },
+                                    loc,
+                                });
+                            dispatch = {
+                                write: !!computedWrite,
+                                reflect,
+                                fn: helper,
+                                classes: new Set(),
+                                keyLocal,
+                                branchIndex: dynamicKey ? 3 : 0,
+                                dynamicKey,
+                                numericKey,
+                                probe,
+                            };
                             this.computed.set(key, dispatch);
                             this.generated.add(helper);
                             lowerer.liftedFns.push(helper);
                             changed = true;
                         }
-                        return { kind: "call", callee: dispatch.fn.name, args: reflect ? (reflectRead ?? reflectWrite).args : computedRead ? [computedRead.value, computedRead.key] : (computedWrite ?? computedProbe).args, type: dispatch.fn.returnType, loc: expr.loc };
+                        return {
+                            kind: "call",
+                            callee: dispatch.fn.name,
+                            args: reflect
+                                ? (reflectRead ?? reflectWrite).args
+                                : computedRead
+                                    ? [computedRead.value, computedRead.key]
+                                    : (computedWrite ?? computedProbe).args,
+                            type: dispatch.fn.returnType,
+                            loc: expr.loc,
+                        };
                     }
                     const read = expr.kind === "dynKeyGet" && expr.key.kind === "strLit" ? expr : null;
-                    const write = expr.kind === "libCall" && expr.fn === "dyn.keySet" && expr.args[1]?.kind === "strLit" ? expr : null;
-                    const name = read?.key.kind === "strLit" ? read.key.value : write?.args[1]?.kind === "strLit" ? write.args[1].value : null;
+                    const write = expr.kind === "libCall" && expr.fn === "dyn.keySet" && expr.args[1]?.kind === "strLit"
+                        ? expr
+                        : null;
+                    const name = read?.key.kind === "strLit"
+                        ? read.key.value
+                        : write?.args[1]?.kind === "strLit"
+                            ? write.args[1].value
+                            : null;
                     if (name !== null) {
                         const key = JSON.stringify([name, !!write, read?.optional ?? false]);
                         let dispatch = this.properties.get(key);
                         if (!dispatch) {
                             const loc = expr.loc;
-                            const params = (write ? [0, 1] : [0]).map((i) => ({ localId: `p.${i}`, name: `p${i}`, type: DYN }));
-                            const instanceBag = { kind: "call", callee: this.propertyBag.name, args: [varRef("p.0", DYN, loc)], type: DYN, loc };
+                            const params = (write ? [0, 1] : [0]).map((i) => ({
+                                localId: `p.${i}`,
+                                name: `p${i}`,
+                                type: DYN,
+                            }));
+                            const instanceBag = {
+                                kind: "call",
+                                callee: this.propertyBag.name,
+                                args: [varRef("p.0", DYN, loc)],
+                                type: DYN,
+                                loc,
+                            };
                             const bag = read && !["name", "length", "apply"].includes(name)
-                                ? { kind: "call", callee: this.constructorPropertyBag(lowerer, loc).name, args: [instanceBag], type: DYN, loc }
+                                ? {
+                                    kind: "call",
+                                    callee: this.constructorPropertyBag(lowerer, loc).name,
+                                    args: [instanceBag],
+                                    type: DYN,
+                                    loc,
+                                }
                                 : instanceBag;
                             const fallback = read
-                                ? { kind: "ternary", cond: { kind: "dynScalarEq", left: bag, right: varRef("p.0", DYN, loc), type: BOOL, loc },
-                                    then: { ...read, value: bag }, else_: { kind: "libCall", fn: "dyn.bagGet",
-                                        args: [bag, read.key, varRef("p.0", DYN, loc)], type: DYN, loc }, type: DYN, loc }
+                                ? {
+                                    kind: "ternary",
+                                    cond: {
+                                        kind: "dynScalarEq",
+                                        left: bag,
+                                        right: varRef("p.0", DYN, loc),
+                                        type: BOOL,
+                                        loc,
+                                    },
+                                    then: { ...read, value: bag },
+                                    else_: {
+                                        kind: "libCall",
+                                        fn: "dyn.bagGet",
+                                        args: [bag, read.key, varRef("p.0", DYN, loc)],
+                                        type: DYN,
+                                        loc,
+                                    },
+                                    type: DYN,
+                                    loc,
+                                }
                                 : { ...write, args: [bag, write.args[1], varRef("p.1", DYN, loc)] };
                             const helper = {
-                                name: `%dyn.class.property.${this.properties.size}`, params, returnType: write ? VOID : DYN,
-                                locals: params.map((p) => ({ id: p.localId, name: p.name, type: DYN, mutable: false })),
+                                name: `%dyn.class.property.${this.properties.size}`,
+                                params,
+                                returnType: write ? VOID : DYN,
+                                locals: params.map((p) => ({
+                                    id: p.localId,
+                                    name: p.name,
+                                    type: DYN,
+                                    mutable: false,
+                                })),
                                 body: write
-                                    ? [{ kind: "exprStmt", expr: fallback, loc }, { kind: "return", value: null, loc }]
-                                    : [{ kind: "return", value: fallback, loc }], loc,
+                                    ? [
+                                        { kind: "exprStmt", expr: fallback, loc },
+                                        { kind: "return", value: null, loc },
+                                    ]
+                                    : [{ kind: "return", value: fallback, loc }],
+                                loc,
                             };
                             if (!write && name === "toString" && lowerer.classes.has("%Error")) {
                                 const value = varRef("p.0", DYN, loc);
-                                helper.body.unshift({ kind: "if", cond: { kind: "dynTest", test: "error", value, type: BOOL, loc }, then: [
-                                        { kind: "return", value: errorToStringMethod(lowerer, { kind: "dynCheck", value, type: { kind: "object", className: "%Error" }, loc }), loc },
-                                    ], else_: null, loc });
+                                helper.body.unshift({
+                                    kind: "if",
+                                    cond: { kind: "dynTest", test: "error", value, type: BOOL, loc },
+                                    then: [
+                                        {
+                                            kind: "return",
+                                            value: errorToStringMethod(lowerer, {
+                                                kind: "dynCheck",
+                                                value,
+                                                type: { kind: "object", className: "%Error" },
+                                                loc,
+                                            }),
+                                            loc,
+                                        },
+                                    ],
+                                    else_: null,
+                                    loc,
+                                });
                             }
                             dispatch = { name, write: !!write, fn: helper, classes: new Set() };
                             this.properties.set(key, dispatch);
@@ -765,47 +1638,133 @@ export class ClassDynamicDispatch {
                             lowerer.liftedFns.push(helper);
                             changed = true;
                         }
-                        return { kind: "call", callee: dispatch.fn.name, args: read ? [read.value] : [write.args[0], write.args[2]], type: dispatch.fn.returnType, loc: expr.loc };
+                        return {
+                            kind: "call",
+                            callee: dispatch.fn.name,
+                            args: read ? [read.value] : [write.args[0], write.args[2]],
+                            type: dispatch.fn.returnType,
+                            loc: expr.loc,
+                        };
                     }
-                    const iterator = expr.kind === "libCall" && (expr.fn === "dyn.iterator" || expr.fn === "dyn.arrayFromIterator") ? expr : null;
+                    const iterator = expr.kind === "libCall" &&
+                        (expr.fn === "dyn.iterator" || expr.fn === "dyn.arrayFromIterator")
+                        ? expr
+                        : null;
                     const invoke = iterator
-                        ? { kind: "dynInvoke", recv: iterator.args[0], method: "sym:iterator", calleeName: "value[Symbol.iterator]", args: [], type: DYN, loc: iterator.loc }
-                        : expr.kind === "dynInvoke" ? expr : null;
-                    const staticCandidates = invoke && [...this.boxedConstructors].some((name) => {
-                        const info = lowerer.classes.get(name);
-                        return info && findStaticOn(lowerer, info, invoke.method)?.method;
-                    });
-                    if (!invoke || candidates(invoke.method).length === 0 && !staticCandidates && !(invoke.method === "toString" && lowerer.classes.has("%Error")))
+                        ? {
+                            kind: "dynInvoke",
+                            recv: iterator.args[0],
+                            method: "sym:iterator",
+                            calleeName: "value[Symbol.iterator]",
+                            args: [],
+                            type: DYN,
+                            loc: iterator.loc,
+                        }
+                        : expr.kind === "dynInvoke"
+                            ? expr
+                            : null;
+                    const staticCandidates = invoke &&
+                        [...this.boxedConstructors].some((name) => {
+                            const info = lowerer.classes.get(name);
+                            return info && findStaticOn(lowerer, info, invoke.method)?.method;
+                        });
+                    if (!invoke ||
+                        (candidates(invoke.method).length === 0 &&
+                            !staticCandidates &&
+                            !(invoke.method === "toString" && lowerer.classes.has("%Error"))))
                         return expr;
-                    const key = JSON.stringify([invoke.method, invoke.args.length, iterator?.fn, iterator?.args[1]]);
+                    const key = JSON.stringify([
+                        invoke.method,
+                        invoke.args.length,
+                        iterator?.fn,
+                        iterator?.args[1],
+                    ]);
                     let dispatch = this.dispatches.get(key);
                     if (!dispatch) {
-                        const params = [invoke.recv, ...invoke.args].map((_, i) => ({ localId: `p.${i}`, name: `p${i}`, type: DYN }));
+                        const params = [invoke.recv, ...invoke.args].map((_, i) => ({
+                            localId: `p.${i}`,
+                            name: `p${i}`,
+                            type: DYN,
+                        }));
                         params.splice(1, 0, { localId: "p.callback", name: "callback", type: DYN });
-                        iterator?.args.slice(1).forEach((argument, i) => params.push({ localId: `p.iterator.${i}`, name: `iterator${i}`, type: argument.type }));
+                        iterator?.args.slice(1).forEach((argument, i) => params.push({
+                            localId: `p.iterator.${i}`,
+                            name: `iterator${i}`,
+                            type: argument.type,
+                        }));
                         params.push({ localId: "p.calleeName", name: "calleeName", type: STRING });
                         const callback = {
-                            name: `%dyn.class.callback.${this.dispatches.size}`, params: [params[0]], returnType: DYN,
+                            name: `%dyn.class.callback.${this.dispatches.size}`,
+                            params: [params[0]],
+                            returnType: DYN,
                             locals: [{ id: "p.0", name: "receiver", type: DYN, mutable: false }],
-                            body: [{ kind: "return", value: dynUndefinedExpr(expr.loc), loc: expr.loc }], loc: expr.loc,
+                            body: [{ kind: "return", value: dynUndefinedExpr(expr.loc), loc: expr.loc }],
+                            loc: expr.loc,
                         };
                         const helper = {
-                            name: `%dyn.class.call.${this.dispatches.size}`, params, returnType: DYN,
-                            locals: params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: false })),
-                            body: [{ kind: "return", value: iterator
-                                        ? { ...iterator, args: [varRef("p.0", DYN, expr.loc), ...iterator.args.slice(1).map((argument, i) => varRef(`p.iterator.${i}`, argument.type, expr.loc))] }
-                                        : { ...invoke, calleeNameValue: varRef("p.calleeName", STRING, expr.loc), recv: varRef("p.0", DYN, expr.loc), args: invoke.args.map((_, i) => varRef(`p.${i + 1}`, DYN, expr.loc)) }, loc: expr.loc }],
+                            name: `%dyn.class.call.${this.dispatches.size}`,
+                            params,
+                            returnType: DYN,
+                            locals: params.map((p) => ({
+                                id: p.localId,
+                                name: p.name,
+                                type: p.type,
+                                mutable: false,
+                            })),
+                            body: [
+                                {
+                                    kind: "return",
+                                    value: iterator
+                                        ? {
+                                            ...iterator,
+                                            args: [
+                                                varRef("p.0", DYN, expr.loc),
+                                                ...iterator.args
+                                                    .slice(1)
+                                                    .map((argument, i) => varRef(`p.iterator.${i}`, argument.type, expr.loc)),
+                                            ],
+                                        }
+                                        : {
+                                            ...invoke,
+                                            calleeNameValue: varRef("p.calleeName", STRING, expr.loc),
+                                            recv: varRef("p.0", DYN, expr.loc),
+                                            args: invoke.args.map((_, i) => varRef(`p.${i + 1}`, DYN, expr.loc)),
+                                        },
+                                    loc: expr.loc,
+                                },
+                            ],
                             loc: expr.loc,
                         };
                         if (invoke.method === "toString" && lowerer.classes.has("%Error")) {
                             const loc = expr.loc;
                             const value = varRef("p.0", DYN, loc);
-                            helper.body.unshift({ kind: "if", cond: { kind: "dynTest", test: "error", value, type: BOOL, loc }, then: [
-                                    { kind: "return", value: {
-                                            kind: "dynCall", callee: errorToStringMethod(lowerer, { kind: "dynCheck", value, type: { kind: "object", className: "%Error" }, loc }),
-                                            receiver: value, calleeName: invoke.calleeName, calleeNameValue: varRef("p.calleeName", STRING, loc), args: invoke.args.map((_, i) => varRef(`p.${i + 1}`, DYN, loc)), type: DYN, loc,
-                                        }, loc },
-                                ], else_: null, loc });
+                            helper.body.unshift({
+                                kind: "if",
+                                cond: { kind: "dynTest", test: "error", value, type: BOOL, loc },
+                                then: [
+                                    {
+                                        kind: "return",
+                                        value: {
+                                            kind: "dynCall",
+                                            callee: errorToStringMethod(lowerer, {
+                                                kind: "dynCheck",
+                                                value,
+                                                type: { kind: "object", className: "%Error" },
+                                                loc,
+                                            }),
+                                            receiver: value,
+                                            calleeName: invoke.calleeName,
+                                            calleeNameValue: varRef("p.calleeName", STRING, loc),
+                                            args: invoke.args.map((_, i) => varRef(`p.${i + 1}`, DYN, loc)),
+                                            type: DYN,
+                                            loc,
+                                        },
+                                        loc,
+                                    },
+                                ],
+                                else_: null,
+                                loc,
+                            });
                         }
                         dispatch = { source: invoke, fn: helper, callback, classes: new Set() };
                         this.dispatches.set(key, dispatch);
@@ -815,13 +1774,44 @@ export class ClassDynamicDispatch {
                         changed = true;
                     }
                     // Resolve an own callback before argument effects can replace it.
-                    const local = { id: `%dispatch.receiver.${fn.locals.length}`, name: "receiver", type: DYN, mutable: false };
+                    const local = {
+                        id: `%dispatch.receiver.${fn.locals.length}`,
+                        name: "receiver",
+                        type: DYN,
+                        mutable: false,
+                    };
                     fn.locals.push(local);
                     const receiver = varRef(local.id, DYN, expr.loc);
-                    return { kind: "seqExpr", stmts: [{ kind: "varDecl", localId: local.id, init: invoke.recv, loc: expr.loc }], result: {
-                            kind: "call", callee: dispatch.fn.name, args: [receiver,
-                                { kind: "call", callee: dispatch.callback.name, args: [receiver], type: DYN, loc: expr.loc }, ...invoke.args, ...(iterator?.args.slice(1) ?? []), invoke.calleeNameValue ?? { kind: "strLit", value: invoke.calleeName, type: STRING, loc: expr.loc }], type: DYN, loc: expr.loc,
-                        }, type: DYN, loc: expr.loc };
+                    return {
+                        kind: "seqExpr",
+                        stmts: [{ kind: "varDecl", localId: local.id, init: invoke.recv, loc: expr.loc }],
+                        result: {
+                            kind: "call",
+                            callee: dispatch.fn.name,
+                            args: [
+                                receiver,
+                                {
+                                    kind: "call",
+                                    callee: dispatch.callback.name,
+                                    args: [receiver],
+                                    type: DYN,
+                                    loc: expr.loc,
+                                },
+                                ...invoke.args,
+                                ...(iterator?.args.slice(1) ?? []),
+                                invoke.calleeNameValue ?? {
+                                    kind: "strLit",
+                                    value: invoke.calleeName,
+                                    type: STRING,
+                                    loc: expr.loc,
+                                },
+                            ],
+                            type: DYN,
+                            loc: expr.loc,
+                        },
+                        type: DYN,
+                        loc: expr.loc,
+                    };
                 },
             });
         }
@@ -834,12 +1824,33 @@ export class ClassDynamicDispatch {
                 const value = varRef("value", DYN, loc);
                 const sourceType = { kind: "object", className: source };
                 const object = { kind: "dynCheck", value, type: sourceType, loc };
-                cast.fn.body.unshift({ kind: "if", cond: { kind: "libCall", fn: "dyn.typedRefIs", args: [value,
-                            { kind: "strLit", value: typeKey(sourceType), type: STRING, loc }], type: BOOL, loc }, then: [
-                        { kind: "if", cond: { kind: "instanceOf", value: object, className: target, type: BOOL, loc }, then: [
-                                { kind: "return", value: { kind: "downcast", value: object, type: cast.fn.returnType, loc }, loc },
-                            ], else_: null, loc },
-                    ], else_: null, loc });
+                cast.fn.body.unshift({
+                    kind: "if",
+                    cond: {
+                        kind: "libCall",
+                        fn: "dyn.typedRefIs",
+                        args: [value, { kind: "strLit", value: typeKey(sourceType), type: STRING, loc }],
+                        type: BOOL,
+                        loc,
+                    },
+                    then: [
+                        {
+                            kind: "if",
+                            cond: { kind: "instanceOf", value: object, className: target, type: BOOL, loc },
+                            then: [
+                                {
+                                    kind: "return",
+                                    value: { kind: "downcast", value: object, type: cast.fn.returnType, loc },
+                                    loc,
+                                },
+                            ],
+                            else_: null,
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                });
                 changed = true;
             }
         }
@@ -856,15 +1867,72 @@ export class ClassDynamicDispatch {
                 dispatch.classes.add(key);
                 const loc = dispatch.source.loc;
                 const receiver = varRef("p.0", DYN, loc);
-                const condition = { kind: "libCall", fn: "dyn.classIs", args: [receiver,
-                        { kind: "strLit", value: typeKey({ kind: "classval", className: name }), type: STRING, loc }], type: BOOL, loc };
-                dispatch.callback.body.unshift({ kind: "if", cond: condition, then: [{ kind: "return", value: {
-                                kind: "dynObjLit", fields: [{ key: { kind: "strLit", value: "value", type: STRING, loc }, value: lowerer.coerceToExpected(method, DYN) }], type: DYN, loc,
-                            }, loc }], else_: null, loc });
-                dispatch.fn.body.unshift({ kind: "if", cond: condition, then: [{ kind: "return", value: {
-                                kind: "dynCall", callee: { kind: "dynKeyGet", value: varRef("p.callback", DYN, loc), key: { kind: "strLit", value: "value", type: STRING, loc }, type: DYN, loc },
-                                receiver, calleeName: dispatch.source.calleeName, calleeNameValue: varRef("p.calleeName", STRING, loc), args: dispatch.source.args.map((_, i) => varRef(`p.${i + 1}`, DYN, loc)), type: DYN, loc,
-                            }, loc }], else_: null, loc });
+                const condition = {
+                    kind: "libCall",
+                    fn: "dyn.classIs",
+                    args: [
+                        receiver,
+                        {
+                            kind: "strLit",
+                            value: typeKey({ kind: "classval", className: name }),
+                            type: STRING,
+                            loc,
+                        },
+                    ],
+                    type: BOOL,
+                    loc,
+                };
+                dispatch.callback.body.unshift({
+                    kind: "if",
+                    cond: condition,
+                    then: [
+                        {
+                            kind: "return",
+                            value: {
+                                kind: "dynObjLit",
+                                fields: [
+                                    {
+                                        key: { kind: "strLit", value: "value", type: STRING, loc },
+                                        value: lowerer.coerceToExpected(method, DYN),
+                                    },
+                                ],
+                                type: DYN,
+                                loc,
+                            },
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                });
+                dispatch.fn.body.unshift({
+                    kind: "if",
+                    cond: condition,
+                    then: [
+                        {
+                            kind: "return",
+                            value: {
+                                kind: "dynCall",
+                                callee: {
+                                    kind: "dynKeyGet",
+                                    value: varRef("p.callback", DYN, loc),
+                                    key: { kind: "strLit", value: "value", type: STRING, loc },
+                                    type: DYN,
+                                    loc,
+                                },
+                                receiver,
+                                calleeName: dispatch.source.calleeName,
+                                calleeNameValue: varRef("p.calleeName", STRING, loc),
+                                args: dispatch.source.args.map((_, i) => varRef(`p.${i + 1}`, DYN, loc)),
+                                type: DYN,
+                                loc,
+                            },
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                });
                 changed = true;
             }
             for (const plan of this.propertyReceivers(lowerer, true)) {
@@ -879,11 +1947,60 @@ export class ClassDynamicDispatch {
                     const prototypeMethod = lowerer.prototypeMethodAccesses.has(dispatch.source.method);
                     if (prototypeMethod)
                         classPrototypeData(lowerer, info, loc);
-                    const bag = { kind: "call", callee: this.propertyBag.name, args: [value], type: DYN, loc };
-                    dispatch.callback.body.unshift({ kind: "if", cond: condition, then: [{ kind: "return", value: { kind: "ternary", cond: prototypeMethod ? { kind: "boolLit", value: true, type: BOOL, loc } : { kind: "libCall", fn: "dyn.hasKey", args: [bag,
-                                            { kind: "strLit", value: dispatch.source.method, type: STRING, loc }], type: BOOL, loc }, then: { kind: "dynObjLit", fields: [
-                                            { key: { kind: "strLit", value: "value", type: STRING, loc }, value: { kind: "dynKeyGet", value: bag, key: { kind: "strLit", value: dispatch.source.method, type: STRING, loc }, type: DYN, loc } },
-                                        ], type: DYN, loc }, else_: dynUndefinedExpr(loc), type: DYN, loc }, loc }], else_: null, loc });
+                    const bag = {
+                        kind: "call",
+                        callee: this.propertyBag.name,
+                        args: [value],
+                        type: DYN,
+                        loc,
+                    };
+                    dispatch.callback.body.unshift({
+                        kind: "if",
+                        cond: condition,
+                        then: [
+                            {
+                                kind: "return",
+                                value: {
+                                    kind: "ternary",
+                                    cond: prototypeMethod
+                                        ? { kind: "boolLit", value: true, type: BOOL, loc }
+                                        : {
+                                            kind: "libCall",
+                                            fn: "dyn.hasKey",
+                                            args: [
+                                                bag,
+                                                { kind: "strLit", value: dispatch.source.method, type: STRING, loc },
+                                            ],
+                                            type: BOOL,
+                                            loc,
+                                        },
+                                    then: {
+                                        kind: "dynObjLit",
+                                        fields: [
+                                            {
+                                                key: { kind: "strLit", value: "value", type: STRING, loc },
+                                                value: {
+                                                    kind: "dynKeyGet",
+                                                    value: bag,
+                                                    key: { kind: "strLit", value: dispatch.source.method, type: STRING, loc },
+                                                    type: DYN,
+                                                    loc,
+                                                },
+                                            },
+                                        ],
+                                        type: DYN,
+                                        loc,
+                                    },
+                                    else_: dynUndefinedExpr(loc),
+                                    type: DYN,
+                                    loc,
+                                },
+                                loc,
+                            },
+                        ],
+                        else_: null,
+                        loc,
+                    });
                 }
                 const before = lowerer.diags.length;
                 let branch;
@@ -899,7 +2016,11 @@ export class ClassDynamicDispatch {
                     branch = [fence];
                 }
                 dispatch.fn.body.unshift({
-                    kind: "if", cond: condition, then: branch, else_: null, loc,
+                    kind: "if",
+                    cond: condition,
+                    then: branch,
+                    else_: null,
+                    loc,
                 });
                 changed = true;
             }
@@ -911,30 +2032,52 @@ export class ClassDynamicDispatch {
                     const found = info && findStaticOn(lowerer, info, dispatch.name);
                     const field = found?.field;
                     const key = `constructor:${name}`;
-                    if (!info || dispatch.name.startsWith("#") || dispatch.classes.has(key) || !found && dispatch.name !== "prototype")
+                    if (!info ||
+                        dispatch.name.startsWith("#") ||
+                        dispatch.classes.has(key) ||
+                        (!found && dispatch.name !== "prototype"))
                         continue;
-                    const method = found?.method && reflectedClassStaticMethodValue(lowerer, found.declarer, dispatch.name);
-                    if (found && !field && !method || findGenericStaticOn(lowerer, info, dispatch.name) && !method)
+                    const method = found?.method &&
+                        reflectedClassStaticMethodValue(lowerer, found.declarer, dispatch.name);
+                    if ((found && !field && !method) ||
+                        (findGenericStaticOn(lowerer, info, dispatch.name) && !method))
                         continue;
                     const loc = dispatch.fn.loc;
-                    const result = field ? varRef(field.globalId, field.type, loc) : method ??
-                        (dispatch.name === "prototype" ? classPrototypeData(lowerer, info, loc) : null) ??
-                        dynUndefinedExpr(loc);
+                    const result = field
+                        ? varRef(field.globalId, field.type, loc)
+                        : (method ??
+                            (dispatch.name === "prototype" ? classPrototypeData(lowerer, info, loc) : null) ??
+                            dynUndefinedExpr(loc));
                     if (dispatch.name === "name" || dispatch.name === "length" || dispatch.name === "apply")
                         continue;
                     dispatch.classes.add(key);
                     const value = varRef("p.0", DYN, loc);
                     const type = { kind: "classval", className: name };
-                    dispatch.fn.body.unshift({ kind: "if", cond: { kind: "libCall", fn: "dyn.classIs", args: [value,
-                                { kind: "strLit", value: typeKey(type), type: STRING, loc }], type: BOOL, loc }, then: [
-                            { kind: "return", value: lowerer.coerceToExpected(result, DYN), loc },
-                        ], else_: null, loc });
+                    dispatch.fn.body.unshift({
+                        kind: "if",
+                        cond: {
+                            kind: "libCall",
+                            fn: "dyn.classIs",
+                            args: [value, { kind: "strLit", value: typeKey(type), type: STRING, loc }],
+                            type: BOOL,
+                            loc,
+                        },
+                        then: [{ kind: "return", value: lowerer.coerceToExpected(result, DYN), loc }],
+                        else_: null,
+                        loc,
+                    });
                     changed = true;
                 }
             for (const plan of this.propertyReceivers(lowerer, true)) {
                 const { info } = plan;
                 if (!isClassOwnEnumerableFieldName(dispatch.name) ||
-                    !(info.builtinStream !== undefined && streamProperty(dispatch.name)) && !findMethodOn(lowerer, info, dispatch.name) && !findGenericMethodOn(lowerer, info, dispatch.name) && dispatch.name !== "constructor" && !info.fields.has(dispatch.name) && !findMethodOn(lowerer, info, `get:${dispatch.name}`) && !findMethodOn(lowerer, info, `set:${dispatch.name}`))
+                    (!(info.builtinStream !== undefined && streamProperty(dispatch.name)) &&
+                        !findMethodOn(lowerer, info, dispatch.name) &&
+                        !findGenericMethodOn(lowerer, info, dispatch.name) &&
+                        dispatch.name !== "constructor" &&
+                        !info.fields.has(dispatch.name) &&
+                        !findMethodOn(lowerer, info, `get:${dispatch.name}`) &&
+                        !findMethodOn(lowerer, info, `set:${dispatch.name}`)))
                     continue;
                 if (dispatch.classes.has(plan.key))
                     continue;
@@ -955,7 +2098,11 @@ export class ClassDynamicDispatch {
                     branch = [fence];
                 }
                 dispatch.fn.body.unshift({
-                    kind: "if", cond: condition, then: branch, else_: null, loc,
+                    kind: "if",
+                    cond: condition,
+                    then: branch,
+                    else_: null,
+                    loc,
                 });
                 changed = true;
             }
@@ -973,11 +2120,27 @@ export class ClassDynamicDispatch {
                 const helperKey = JSON.stringify([dispatch.fn.name, info.def.name]);
                 const existingHelper = this.computedClassHelpers.get(helperKey);
                 const callHelper = (helper) => {
-                    const call = { kind: "call", callee: helper.name,
-                        args: helper.params.map((param) => param.localId === "p.receiver" ? selected.receiver : varRef(param.localId, param.type, loc)), type: helper.returnType, loc };
-                    return { kind: "if", cond: selected.condition, then: dispatch.write && !dispatch.reflect
-                            ? [{ kind: "exprStmt", expr: call, loc }, { kind: "return", value: null, loc }]
-                            : [{ kind: "return", value: call, loc }], else_: null, loc };
+                    const call = {
+                        kind: "call",
+                        callee: helper.name,
+                        args: helper.params.map((param) => param.localId === "p.receiver"
+                            ? selected.receiver
+                            : varRef(param.localId, param.type, loc)),
+                        type: helper.returnType,
+                        loc,
+                    };
+                    return {
+                        kind: "if",
+                        cond: selected.condition,
+                        then: dispatch.write && !dispatch.reflect
+                            ? [
+                                { kind: "exprStmt", expr: call, loc },
+                                { kind: "return", value: null, loc },
+                            ]
+                            : [{ kind: "return", value: call, loc }],
+                        else_: null,
+                        loc,
+                    };
                 };
                 if (existingHelper && !dispatch.dynamicKey) {
                     dispatch.fn.body.splice(dispatch.branchIndex, 0, callHelper(existingHelper));
@@ -985,35 +2148,112 @@ export class ClassDynamicDispatch {
                     continue;
                 }
                 const memberBody = (name) => {
-                    if (dispatch.probe && (name === "message" || name === "name") && lowerer.isSubclassOf(info.def.name, "%Error") && dispatch.probe !== "in")
-                        return [{
-                                kind: "return", value: dispatch.probe === "own"
-                                    ? { kind: "fieldGet", obj: lowerer.upcastTo(receiver, "%Error"), className: "%Error", field: `%${name}Present`, type: BOOL, loc }
-                                    : { kind: "fieldGet", obj: lowerer.upcastTo(receiver, "%Error"), className: "%Error", field: `%${name}Enumerable`, type: BOOL, loc }, loc,
-                            }];
+                    if (dispatch.probe &&
+                        (name === "message" || name === "name") &&
+                        lowerer.isSubclassOf(info.def.name, "%Error") &&
+                        dispatch.probe !== "in")
+                        return [
+                            {
+                                kind: "return",
+                                value: dispatch.probe === "own"
+                                    ? {
+                                        kind: "fieldGet",
+                                        obj: lowerer.upcastTo(receiver, "%Error"),
+                                        className: "%Error",
+                                        field: `%${name}Present`,
+                                        type: BOOL,
+                                        loc,
+                                    }
+                                    : {
+                                        kind: "fieldGet",
+                                        obj: lowerer.upcastTo(receiver, "%Error"),
+                                        className: "%Error",
+                                        field: `%${name}Enumerable`,
+                                        type: BOOL,
+                                        loc,
+                                    },
+                                loc,
+                            },
+                        ];
                     if (info.builtinStream !== undefined && streamProperty(name) && dispatch.probe)
-                        return [{ kind: "return", value: { kind: "boolLit", value: dispatch.probe === "in", type: BOOL, loc }, loc }];
+                        return [
+                            {
+                                kind: "return",
+                                value: { kind: "boolLit", value: dispatch.probe === "in", type: BOOL, loc },
+                                loc,
+                            },
+                        ];
                     if (!dispatch.probe)
-                        return dispatch.reflect ? this.reflectPropertyBody(lowerer, { ...dispatch, name }, info, receiver) : this.propertyBody(lowerer, { ...dispatch, name }, info, receiver);
+                        return dispatch.reflect
+                            ? this.reflectPropertyBody(lowerer, { ...dispatch, name }, info, receiver)
+                            : this.propertyBody(lowerer, { ...dispatch, name }, info, receiver);
                     const prototypeMethod = lowerer.prototypeMethodAccesses.has(name);
-                    if (info.fields.has(name) || dispatch.probe === "in" && !prototypeMethod) {
+                    if (info.fields.has(name) || (dispatch.probe === "in" && !prototypeMethod)) {
                         if (info.fields.has(name) && info.def.tracksOwnFields) {
-                            const bag = { kind: "call", callee: this.propertyBag.name, args: [lowerer.coerceToExpected(receiver, DYN)], type: DYN, loc };
+                            const bag = {
+                                kind: "call",
+                                callee: this.propertyBag.name,
+                                args: [lowerer.coerceToExpected(receiver, DYN)],
+                                type: DYN,
+                                loc,
+                            };
                             const symbol = symbolMemberKey(lowerer, info, name, loc);
-                            const fn = dispatch.probe === "in" ? "dyn.hasKey" : dispatch.probe === "own" ? "dyn.hasOwn" : "dyn.propertyIsEnumerable";
-                            return [{ kind: "return", value: { kind: "libCall", fn: symbol ? `${fn}Computed` : fn,
-                                        args: [bag, symbol ?? { kind: "strLit", value: name, type: STRING, loc }], type: BOOL, loc }, loc }];
+                            const fn = dispatch.probe === "in"
+                                ? "dyn.hasKey"
+                                : dispatch.probe === "own"
+                                    ? "dyn.hasOwn"
+                                    : "dyn.propertyIsEnumerable";
+                            return [
+                                {
+                                    kind: "return",
+                                    value: {
+                                        kind: "libCall",
+                                        fn: symbol ? `${fn}Computed` : fn,
+                                        args: [bag, symbol ?? { kind: "strLit", value: name, type: STRING, loc }],
+                                        type: BOOL,
+                                        loc,
+                                    },
+                                    loc,
+                                },
+                            ];
                         }
-                        return [{ kind: "return", value: { kind: "boolLit", value: true, type: BOOL, loc }, loc }];
+                        return [
+                            { kind: "return", value: { kind: "boolLit", value: true, type: BOOL, loc }, loc },
+                        ];
                     }
                     if (prototypeMethod)
                         classPrototypeData(lowerer, info, loc, receiver);
-                    const bag = { kind: "call", callee: this.propertyBag.name,
-                        args: [lowerer.coerceToExpected(receiver, DYN)], type: DYN, loc };
+                    const bag = {
+                        kind: "call",
+                        callee: this.propertyBag.name,
+                        args: [lowerer.coerceToExpected(receiver, DYN)],
+                        type: DYN,
+                        loc,
+                    };
                     const symbol = name.startsWith("sym:") || name.startsWith("%symbol:");
-                    const fn = dispatch.probe === "in" ? "dyn.hasKey" : dispatch.probe === "own" ? "dyn.hasOwn" : "dyn.propertyIsEnumerable";
-                    return [{ kind: "return", value: { kind: "libCall", fn: symbol ? `${fn}Computed` : fn,
-                                args: [bag, symbol ? varRef("p.key", DYN, loc) : { kind: "strLit", value: name, type: STRING, loc }], type: BOOL, loc }, loc }];
+                    const fn = dispatch.probe === "in"
+                        ? "dyn.hasKey"
+                        : dispatch.probe === "own"
+                            ? "dyn.hasOwn"
+                            : "dyn.propertyIsEnumerable";
+                    return [
+                        {
+                            kind: "return",
+                            value: {
+                                kind: "libCall",
+                                fn: symbol ? `${fn}Computed` : fn,
+                                args: [
+                                    bag,
+                                    symbol
+                                        ? varRef("p.key", DYN, loc)
+                                        : { kind: "strLit", value: name, type: STRING, loc },
+                                ],
+                                type: BOOL,
+                                loc,
+                            },
+                            loc,
+                        },
+                    ];
                 };
                 if (dispatch.dynamicKey) {
                     const symbols = new Map();
@@ -1026,7 +2266,9 @@ export class ClassDynamicDispatch {
                             symbolEntries.push([symbol, name]);
                     for (const [symbol, name] of symbolEntries) {
                         const declaration = lowerer.checker.valueDeclarationOf(symbol);
-                        if (declaration && ts.isVariableDeclaration(declaration) && ts.isIdentifier(declaration.name)) {
+                        if (declaration &&
+                            ts.isVariableDeclaration(declaration) &&
+                            ts.isIdentifier(declaration.name)) {
                             const global = lowerer.globalsBySymbol.get(symbol);
                             if (global)
                                 symbols.set(name, lowerer.coerceToExpected(varRef(global.id, global.type, loc), DYN));
@@ -1035,21 +2277,60 @@ export class ClassDynamicDispatch {
                     for (let owner = info; owner; owner = owner.base) {
                         for (const name of [...owner.methods.keys()])
                             if (name.startsWith("sym:")) {
-                                symbols.set(name, { kind: "dynFrom", type: DYN, loc, value: {
-                                        kind: "libCall", fn: "sym.wellKnown", args: [{ kind: "strLit", value: name.slice(4), type: STRING, loc }], type: SYMBOL_T, loc,
-                                    } });
+                                symbols.set(name, {
+                                    kind: "dynFrom",
+                                    type: DYN,
+                                    loc,
+                                    value: {
+                                        kind: "libCall",
+                                        fn: "sym.wellKnown",
+                                        args: [{ kind: "strLit", value: name.slice(4), type: STRING, loc }],
+                                        type: SYMBOL_T,
+                                        loc,
+                                    },
+                                });
                             }
                     }
                     const branches = [];
                     if (!dispatch.write && !dispatch.reflect && !info.def.tracksOwnFields) {
                         const value = varRef("p.0", DYN, loc);
                         const key = varRef("p.key", DYN, loc);
-                        const bag = { kind: "call", callee: this.propertyBag.name, args: [value], type: DYN, loc };
-                        branches.push({ kind: "if", cond: { kind: "libCall", fn: "dyn.hasOwnComputed", args: [bag, key], type: BOOL, loc }, then: [
-                                { kind: "return", value: dispatch.probe ? {
-                                        kind: "libCall", fn: dispatch.probe === "enumerable" ? "dyn.propertyIsEnumerableComputed" : "dyn.hasOwnComputed", args: [bag, key], type: BOOL, loc,
-                                    } : { kind: "dynKeyGet", value: bag, key, type: DYN, loc }, loc },
-                            ], else_: null, loc });
+                        const bag = {
+                            kind: "call",
+                            callee: this.propertyBag.name,
+                            args: [value],
+                            type: DYN,
+                            loc,
+                        };
+                        branches.push({
+                            kind: "if",
+                            cond: {
+                                kind: "libCall",
+                                fn: "dyn.hasOwnComputed",
+                                args: [bag, key],
+                                type: BOOL,
+                                loc,
+                            },
+                            then: [
+                                {
+                                    kind: "return",
+                                    value: dispatch.probe
+                                        ? {
+                                            kind: "libCall",
+                                            fn: dispatch.probe === "enumerable"
+                                                ? "dyn.propertyIsEnumerableComputed"
+                                                : "dyn.hasOwnComputed",
+                                            args: [bag, key],
+                                            type: BOOL,
+                                            loc,
+                                        }
+                                        : { kind: "dynKeyGet", value: bag, key, type: DYN, loc },
+                                    loc,
+                                },
+                            ],
+                            else_: null,
+                            loc,
+                        });
                     }
                     for (const [name, symbol] of symbols) {
                         const before = lowerer.diags.length;
@@ -1065,12 +2346,47 @@ export class ClassDynamicDispatch {
                                 throw error;
                             then = [fence];
                         }
-                        branches.push({ kind: "if", cond: { kind: "dynScalarEq", left: varRef("p.key", DYN, loc), right: symbol, type: BOOL, loc }, then, else_: null, loc });
+                        branches.push({
+                            kind: "if",
+                            cond: {
+                                kind: "dynScalarEq",
+                                left: varRef("p.key", DYN, loc),
+                                right: symbol,
+                                type: BOOL,
+                                loc,
+                            },
+                            then,
+                            else_: null,
+                            loc,
+                        });
                     }
                     if (branches.length) {
-                        dispatch.fn.body.unshift({ kind: "if", cond: selected.condition, then: [
-                                { kind: "if", cond: { kind: "dynTest", test: "symbol", value: varRef("p.key", DYN, loc), type: BOOL, loc }, then: transformStmtList(branches, { stmt: (statement) => statement, expr: (expression) => expression.kind === "varRef" && expression.localId === "p.receiver" ? selected.receiver : expression }), else_: null, loc },
-                            ], else_: null, loc });
+                        dispatch.fn.body.unshift({
+                            kind: "if",
+                            cond: selected.condition,
+                            then: [
+                                {
+                                    kind: "if",
+                                    cond: {
+                                        kind: "dynTest",
+                                        test: "symbol",
+                                        value: varRef("p.key", DYN, loc),
+                                        type: BOOL,
+                                        loc,
+                                    },
+                                    then: transformStmtList(branches, {
+                                        stmt: (statement) => statement,
+                                        expr: (expression) => expression.kind === "varRef" && expression.localId === "p.receiver"
+                                            ? selected.receiver
+                                            : expression,
+                                    }),
+                                    else_: null,
+                                    loc,
+                                },
+                            ],
+                            else_: null,
+                            loc,
+                        });
                         dispatch.branchIndex++;
                     }
                 }
@@ -1110,26 +2426,66 @@ export class ClassDynamicDispatch {
                             throw error;
                         body = [fence];
                     }
-                    branch.push({ kind: "if", cond: {
-                            kind: "strEq", left: varRef(dispatch.keyLocal, STRING, loc), right: { kind: "strLit", value: name, type: STRING, loc }, negated: false, type: BOOL, loc,
-                        }, then: body, else_: null, loc });
+                    branch.push({
+                        kind: "if",
+                        cond: {
+                            kind: "strEq",
+                            left: varRef(dispatch.keyLocal, STRING, loc),
+                            right: { kind: "strLit", value: name, type: STRING, loc },
+                            negated: false,
+                            type: BOOL,
+                            loc,
+                        },
+                        then: body,
+                        else_: null,
+                        loc,
+                    });
                 }
                 // Keep each class's key table in a separate function. A single
                 // function containing every boxed class grows quadratically during
                 // LLVM's control-flow optimization for large library workloads.
-                const params = [...dispatch.fn.params, { localId: "p.receiver", name: "receiver", type: receiverType }];
+                const params = [
+                    ...dispatch.fn.params,
+                    { localId: "p.receiver", name: "receiver", type: receiverType },
+                ];
                 if (dispatch.keyLocal !== "p.key")
                     params.push({ localId: dispatch.keyLocal, name: "key", type: STRING });
                 const helper = {
-                    name: `%dyn.class.keys.${lowerer.liftedFns.length}`, params, returnType: dispatch.fn.returnType,
-                    locals: params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: false })),
-                    body: [...branch, ...transformStmtList(dispatch.fn.body.slice(dispatch.write ? -2 : -1), { stmt: (statement) => statement,
+                    name: `%dyn.class.keys.${lowerer.liftedFns.length}`,
+                    params,
+                    returnType: dispatch.fn.returnType,
+                    locals: params.map((p) => ({
+                        id: p.localId,
+                        name: p.name,
+                        type: p.type,
+                        mutable: false,
+                    })),
+                    body: [
+                        ...branch,
+                        ...transformStmtList(dispatch.fn.body.slice(dispatch.write ? -2 : -1), {
+                            stmt: (statement) => statement,
                             expr: (expression) => expression.kind === "dynKeyGet" && expression.key.type.kind === "string"
-                                ? { kind: "libCall", fn: "dyn.bagGet", args: [expression.value, expression.key, lowerer.coerceToExpected(receiver, DYN)], type: DYN, loc }
+                                ? {
+                                    kind: "libCall",
+                                    fn: "dyn.bagGet",
+                                    args: [
+                                        expression.value,
+                                        expression.key,
+                                        lowerer.coerceToExpected(receiver, DYN),
+                                    ],
+                                    type: DYN,
+                                    loc,
+                                }
                                 : expression.kind === "libCall" && expression.fn === "dyn.keySet"
-                                    ? { ...expression, fn: "dyn.bagSet", args: [...expression.args, lowerer.coerceToExpected(receiver, DYN)] }
+                                    ? {
+                                        ...expression,
+                                        fn: "dyn.bagSet",
+                                        args: [...expression.args, lowerer.coerceToExpected(receiver, DYN)],
+                                    }
                                     : expression,
-                        })], loc,
+                        }),
+                    ],
+                    loc,
                 };
                 this.generated.add(helper);
                 lowerer.liftedFns.push(helper);
@@ -1145,10 +2501,26 @@ export class ClassDynamicDispatch {
                 this.enumerationClasses.add(plan.key);
                 const loc = this.enumeration.loc;
                 const { condition } = this.propertyReceiver(plan, loc);
-                const bag = { kind: "call", callee: this.propertyBag.name, args: [varRef("p.0", DYN, loc)], type: DYN, loc };
-                this.enumeration.body.unshift({ kind: "if", cond: condition, then: [
-                        { kind: "return", value: { kind: "libCall", fn: "dyn.forInKeys", args: [bag], type: DYN, loc }, loc },
-                    ], else_: null, loc });
+                const bag = {
+                    kind: "call",
+                    callee: this.propertyBag.name,
+                    args: [varRef("p.0", DYN, loc)],
+                    type: DYN,
+                    loc,
+                };
+                this.enumeration.body.unshift({
+                    kind: "if",
+                    cond: condition,
+                    then: [
+                        {
+                            kind: "return",
+                            value: { kind: "libCall", fn: "dyn.forInKeys", args: [bag], type: DYN, loc },
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                });
                 changed = true;
             }
         if (this.constructDispatch)
@@ -1166,7 +2538,13 @@ export class ClassDynamicDispatch {
                         supported = false;
                         break;
                     }
-                    const value = { kind: "dynKeyGet", value: input, key: { kind: "strLit", value: String(i), type: STRING, loc }, type: DYN, loc };
+                    const value = {
+                        kind: "dynKeyGet",
+                        value: input,
+                        key: { kind: "strLit", value: String(i), type: STRING, loc },
+                        type: DYN,
+                        loc,
+                    };
                     const arg = lowerer.coerceToExpected(value, param.type);
                     if (!typeEquals(arg.type, param.type)) {
                         supported = false;
@@ -1177,11 +2555,26 @@ export class ClassDynamicDispatch {
                 if (!supported || !info.decl)
                     continue;
                 const cls = classValueRef(lowerer, info, info.decl);
-                const result = { kind: "new", className: name, args, type: { kind: "object", className: name }, loc };
-                this.constructDispatch.body.unshift({ kind: "if", cond: { kind: "dynScalarEq", left: callee,
-                        right: lowerer.coerceToExpected(cls, DYN), type: BOOL, loc }, then: [
-                        { kind: "return", value: lowerer.coerceToExpected(result, DYN), loc },
-                    ], else_: null, loc });
+                const result = {
+                    kind: "new",
+                    className: name,
+                    args,
+                    type: { kind: "object", className: name },
+                    loc,
+                };
+                this.constructDispatch.body.unshift({
+                    kind: "if",
+                    cond: {
+                        kind: "dynScalarEq",
+                        left: callee,
+                        right: lowerer.coerceToExpected(cls, DYN),
+                        type: BOOL,
+                        loc,
+                    },
+                    then: [{ kind: "return", value: lowerer.coerceToExpected(result, DYN), loc }],
+                    else_: null,
+                    loc,
+                });
                 changed = true;
             }
         if (this.staticPropertyBag)
@@ -1197,8 +2590,27 @@ export class ClassDynamicDispatch {
                     continue;
                 this.staticBagClasses.add(name);
                 const value = varRef("value", DYN, loc);
-                this.staticPropertyBag.body.unshift({ kind: "if", cond: { kind: "libCall", fn: "dyn.classIs", args: [value,
-                            { kind: "strLit", value: typeKey({ kind: "classval", className: name }), type: STRING, loc }], type: BOOL, loc }, then: [{ kind: "return", value: bag, loc }], else_: null, loc });
+                this.staticPropertyBag.body.unshift({
+                    kind: "if",
+                    cond: {
+                        kind: "libCall",
+                        fn: "dyn.classIs",
+                        args: [
+                            value,
+                            {
+                                kind: "strLit",
+                                value: typeKey({ kind: "classval", className: name }),
+                                type: STRING,
+                                loc,
+                            },
+                        ],
+                        type: BOOL,
+                        loc,
+                    },
+                    then: [{ kind: "return", value: bag, loc }],
+                    else_: null,
+                    loc,
+                });
                 changed = true;
             }
         changed = this.normalizeDispatches(lowerer) || changed;
@@ -1209,46 +2621,90 @@ export class ClassDynamicDispatch {
     /** A known native class can access its shared bag directly. Keep the
      * receiver as an owned parameter so calls and temporary instances retain
      * their ordinary evaluation and lifetime rules without a boxed capsule. */
-    typedPropertyBag(lowerer, type, loc) {
+    typedPropertyBag(lowerer, type, loc, readOnly) {
         // A superclass constructor can be the first code to access this bag.
         // Its receiver still needs the actual subclass's prototype.
         if (lowerer.classes.get(type.className)?.subclasses.length)
             return null;
-        const existing = this.typedPropertyBags.get(type.className);
+        const key = `${type.className}:${readOnly}`;
+        const existing = this.typedPropertyBags.get(key);
         if (existing)
             return existing;
         const initializers = this.bagInitializers.get(type.className);
         if (!initializers)
             return null;
         const receiver = varRef("p.0", type, loc);
-        const bag = { kind: "fieldGet", obj: receiver, className: type.className, field: PROPERTY_BAG, type: DYN, loc };
-        const initialize = { ...initializers[0], obj: receiver,
-            value: transformExpr(initializers[0].value, { stmt: (stmt) => stmt, expr: (expr) => expr.kind === "dynCheck" && expr.value.kind === "varRef" && expr.value.localId === "p.0" ? receiver : expr }), loc };
+        const bag = {
+            kind: "fieldGet",
+            obj: receiver,
+            className: type.className,
+            field: PROPERTY_BAG,
+            type: DYN,
+            loc,
+        };
+        const initialize = {
+            ...initializers[0],
+            obj: receiver,
+            value: transformExpr(initializers[0].value, {
+                stmt: (stmt) => stmt,
+                expr: (expr) => expr.kind === "dynCheck" && expr.value.kind === "varRef" && expr.value.localId === "p.0"
+                    ? receiver
+                    : expr,
+            }),
+            loc,
+        };
         const helper = {
-            name: `%class.properties:${type.className}`, params: [{ localId: "p.0", name: "value", type }], returnType: DYN,
-            locals: [{ id: "p.0", name: "value", type, mutable: false }], loc,
+            name: `%class.${readOnly ? "readProperties" : "properties"}:${type.className}`,
+            params: [{ localId: "p.0", name: "value", type }],
+            returnType: DYN,
+            locals: [{ id: "p.0", name: "value", type, mutable: false }],
+            loc,
             body: [
-                { kind: "if", cond: { kind: "dynTest", test: "undefined", value: bag, type: BOOL, loc }, then: [initialize], else_: null, loc },
+                {
+                    kind: "if",
+                    cond: { kind: "dynTest", test: "undefined", value: bag, type: BOOL, loc },
+                    then: [initialize],
+                    else_: null,
+                    loc,
+                },
                 { kind: "return", value: bag, loc },
             ],
         };
         initializers.push(initialize);
-        this.typedPropertyBags.set(type.className, helper);
+        this.typedPropertyBags.set(key, helper);
+        if (readOnly)
+            this.readPropertyBags.push({ helper, initialize });
         this.generated.add(helper);
         lowerer.liftedFns.push(helper);
         return helper;
     }
+    /** Prototype state may appear in a later reachable body. Only after the
+     * dispatch worklist closes can an empty bag initializer be omitted; a
+     * prototype-backed bag must still be initialized before inherited reads. */
+    finalize() {
+        for (const { helper, initialize } of this.readPropertyBags) {
+            if (initialize.value.kind === "dynObjLit" && initialize.value.fields?.length === 0)
+                helper.body.shift();
+        }
+    }
     normalizedDispatches() {
-        return [...(this.propertyBag ? [this.propertyBag] : []),
+        return [
+            ...(this.propertyBag ? [this.propertyBag] : []),
             ...[...this.properties.values()].map((dispatch) => dispatch.fn),
             ...[...this.computed.values()].map((dispatch) => dispatch.fn),
-            ...[...this.dispatches.values()].flatMap((dispatch) => [dispatch.fn, dispatch.callback])];
+            ...[...this.dispatches.values()].flatMap((dispatch) => [dispatch.fn, dispatch.callback]),
+        ];
     }
     constructorPropertyBag(lowerer, loc) {
         if (!this.staticPropertyBag) {
-            this.staticPropertyBag = { name: "%dyn.class.staticProperties", params: [{ localId: "value", name: "value", type: DYN }], returnType: DYN,
+            this.staticPropertyBag = {
+                name: "%dyn.class.staticProperties",
+                params: [{ localId: "value", name: "value", type: DYN }],
+                returnType: DYN,
                 locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
-                body: [{ kind: "return", value: varRef("value", DYN, loc), loc }], loc };
+                body: [{ kind: "return", value: varRef("value", DYN, loc), loc }],
+                loc,
+            };
             lowerer.liftedFns.push(this.staticPropertyBag);
             this.generated.add(this.staticPropertyBag);
         }
@@ -1277,12 +2733,21 @@ export class ClassDynamicDispatch {
         }
         if (!entries.length && !this.normalization)
             return false;
-        const key = JSON.stringify(entries.map(({ capsule, children }) => [capsule.def.name, children.map((child) => child.def.name)]));
+        const key = JSON.stringify(entries.map(({ capsule, children }) => [
+            capsule.def.name,
+            children.map((child) => child.def.name),
+        ]));
         let changed = key !== this.normalizationKey;
         if (!this.normalization) {
             const loc = this.propertyBag.loc;
-            this.normalization = { name: "%dyn.class.normalize", params: [{ localId: "value", name: "value", type: DYN }], returnType: DYN,
-                locals: [{ id: "value", name: "value", type: DYN, mutable: false }], body: [], loc };
+            this.normalization = {
+                name: "%dyn.class.normalize",
+                params: [{ localId: "value", name: "value", type: DYN }],
+                returnType: DYN,
+                locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
+                body: [],
+                loc,
+            };
             lowerer.liftedFns.push(this.normalization);
             this.generated.add(this.normalization);
             changed = true;
@@ -1294,20 +2759,64 @@ export class ClassDynamicDispatch {
             this.normalization.body = entries.map(({ capsule, children }) => {
                 const type = { kind: "object", className: capsule.def.name };
                 const receiver = { kind: "dynCheck", value, type, loc };
-                return { kind: "if", cond: { kind: "libCall", fn: "dyn.typedRefIs", args: [value,
-                            { kind: "strLit", value: typeKey(type), type: STRING, loc }], type: BOOL, loc }, then: children.map((child) => ({
-                        kind: "if", cond: { kind: "instanceOf", value: receiver, className: child.def.name, type: BOOL, loc }, then: [{
-                                kind: "return", value: { kind: "dynFrom", value: { kind: "downcast", value: receiver,
-                                        type: { kind: "object", className: child.def.name }, loc }, type: DYN, loc }, loc,
-                            }], else_: null, loc,
-                    })), else_: null, loc };
+                return {
+                    kind: "if",
+                    cond: {
+                        kind: "libCall",
+                        fn: "dyn.typedRefIs",
+                        args: [value, { kind: "strLit", value: typeKey(type), type: STRING, loc }],
+                        type: BOOL,
+                        loc,
+                    },
+                    then: children.map((child) => ({
+                        kind: "if",
+                        cond: {
+                            kind: "instanceOf",
+                            value: receiver,
+                            className: child.def.name,
+                            type: BOOL,
+                            loc,
+                        },
+                        then: [
+                            {
+                                kind: "return",
+                                value: {
+                                    kind: "dynFrom",
+                                    value: {
+                                        kind: "downcast",
+                                        value: receiver,
+                                        type: { kind: "object", className: child.def.name },
+                                        loc,
+                                    },
+                                    type: DYN,
+                                    loc,
+                                },
+                                loc,
+                            },
+                        ],
+                        else_: null,
+                        loc,
+                    })),
+                    else_: null,
+                    loc,
+                };
             });
             this.normalization.body.push({ kind: "return", value, loc });
         }
         for (const fn of this.normalizedDispatches()) {
             fn.locals.find((local) => local.id === "p.0").mutable = true;
-            fn.body.unshift({ kind: "assign", localId: "p.0", value: { kind: "call", callee: this.normalization.name,
-                    args: [varRef("p.0", DYN, fn.loc)], type: DYN, loc: fn.loc }, loc: fn.loc });
+            fn.body.unshift({
+                kind: "assign",
+                localId: "p.0",
+                value: {
+                    kind: "call",
+                    callee: this.normalization.name,
+                    args: [varRef("p.0", DYN, fn.loc)],
+                    type: DYN,
+                    loc: fn.loc,
+                },
+                loc: fn.loc,
+            });
         }
         return changed;
     }
@@ -1338,13 +2847,20 @@ export class ClassDynamicDispatch {
         const seen = new Set();
         for (const name of this.boxed) {
             const capsule = lowerer.classes.get(name);
-            if (!capsule || (capsule.builtinEmitter || capsule.builtinStream) && !streams || capsule.builtinError)
+            if (!capsule ||
+                ((capsule.builtinEmitter || capsule.builtinStream) && !streams) ||
+                capsule.builtinError)
                 continue;
             const canonical = normalize && !capsule.builtinStream && !capsule.builtinEmitter;
             const visit = (info) => {
-                if ((!canonical || !seen.has(info.def.name)) && (info === capsule || lowerer.classCanBeConstructed(info))) {
+                if ((!canonical || !seen.has(info.def.name)) &&
+                    (info === capsule || lowerer.classCanBeConstructed(info))) {
                     seen.add(info.def.name);
-                    plans.push({ info, capsule: canonical ? info : capsule, key: canonical ? info.def.name : JSON.stringify([name, info.def.name]) });
+                    plans.push({
+                        info,
+                        capsule: canonical ? info : capsule,
+                        key: canonical ? info.def.name : JSON.stringify([name, info.def.name]),
+                    });
                 }
                 for (const child of info.subclasses)
                     visit(child);
@@ -1357,14 +2873,36 @@ export class ClassDynamicDispatch {
         const value = varRef("p.0", DYN, loc);
         const type = { kind: "object", className: plan.capsule.def.name };
         const checked = { kind: "dynCheck", value, type, loc };
-        const matches = { kind: "libCall", fn: "dyn.typedRefIs", args: [value,
-                { kind: "strLit", value: typeKey(type), type: STRING, loc }], type: BOOL, loc };
+        const matches = {
+            kind: "libCall",
+            fn: "dyn.typedRefIs",
+            args: [value, { kind: "strLit", value: typeKey(type), type: STRING, loc }],
+            type: BOOL,
+            loc,
+        };
         if (plan.info === plan.capsule)
             return { receiver: checked, condition: matches };
         return {
-            receiver: { kind: "downcast", value: checked, type: { kind: "object", className: plan.info.def.name }, loc },
-            condition: { kind: "ternary", cond: matches, then: { kind: "instanceOf", value: checked,
-                    className: plan.info.def.name, type: BOOL, loc }, else_: { kind: "boolLit", value: false, type: BOOL, loc }, type: BOOL, loc },
+            receiver: {
+                kind: "downcast",
+                value: checked,
+                type: { kind: "object", className: plan.info.def.name },
+                loc,
+            },
+            condition: {
+                kind: "ternary",
+                cond: matches,
+                then: {
+                    kind: "instanceOf",
+                    value: checked,
+                    className: plan.info.def.name,
+                    type: BOOL,
+                    loc,
+                },
+                else_: { kind: "boolLit", value: false, type: BOOL, loc },
+                type: BOOL,
+                loc,
+            },
         };
     }
     reflectPropertyBody(lowerer, dispatch, info, receiver) {
@@ -1376,17 +2914,53 @@ export class ClassDynamicDispatch {
         const field = info.fields.get(name);
         const member = `${write ? "set" : "get"}:${name}`;
         const accessor = field ? null : findMethodOn(lowerer, info, member);
-        const bag = { kind: "call", callee: this.propertyBag.name, args: [instance], type: DYN, loc };
-        const fallback = { kind: "libCall", fn: write ? "dyn.reflectSet" : "dyn.reflectGet",
-            args: [bag, lowerer.coerceToExpected(key, DYN), ...(write ? [varRef("p.1", DYN, loc)] : []), actualReceiver], type: write ? BOOL : DYN, loc };
+        const bag = {
+            kind: "call",
+            callee: this.propertyBag.name,
+            args: [instance],
+            type: DYN,
+            loc,
+        };
+        const fallback = {
+            kind: "libCall",
+            fn: write ? "dyn.reflectSet" : "dyn.reflectGet",
+            args: [
+                bag,
+                lowerer.coerceToExpected(key, DYN),
+                ...(write ? [varRef("p.1", DYN, loc)] : []),
+                actualReceiver,
+            ],
+            type: write ? BOOL : DYN,
+            loc,
+        };
         if (accessor && info.decl) {
             const method = classMethodValue(lowerer, info.decl, info, member, loc);
             if (method) {
-                const call = { kind: "libCall", fn: "dyn.reflectApply", args: [lowerer.coerceToExpected(method, DYN), actualReceiver,
-                        { kind: "dynArrLit", elems: write ? [varRef("p.1", DYN, loc)] : [], type: DYN, loc }], type: DYN, loc };
+                const call = {
+                    kind: "libCall",
+                    fn: "dyn.reflectApply",
+                    args: [
+                        lowerer.coerceToExpected(method, DYN),
+                        actualReceiver,
+                        { kind: "dynArrLit", elems: write ? [varRef("p.1", DYN, loc)] : [], type: DYN, loc },
+                    ],
+                    type: DYN,
+                    loc,
+                };
                 return [
-                    { kind: "if", cond: { kind: "libCall", fn: "dyn.hasOwn", args: [bag, key], type: BOOL, loc }, then: [{ kind: "return", value: fallback, loc }], else_: null, loc },
-                    ...(write ? [{ kind: "exprStmt", expr: call, loc }, { kind: "return", value: { kind: "boolLit", value: true, type: BOOL, loc }, loc }] : [{ kind: "return", value: call, loc }]),
+                    {
+                        kind: "if",
+                        cond: { kind: "libCall", fn: "dyn.hasOwn", args: [bag, key], type: BOOL, loc },
+                        then: [{ kind: "return", value: fallback, loc }],
+                        else_: null,
+                        loc,
+                    },
+                    ...(write
+                        ? [
+                            { kind: "exprStmt", expr: call, loc },
+                            { kind: "return", value: { kind: "boolLit", value: true, type: BOOL, loc }, loc },
+                        ]
+                        : [{ kind: "return", value: call, loc }]),
                 ];
             }
         }
@@ -1397,14 +2971,53 @@ export class ClassDynamicDispatch {
         }
         const body = this.propertyBody(lowerer, dispatch, info, receiver);
         if (!write)
-            return transformStmtList(body, { stmt: (statement) => statement, expr: (expression) => expression.kind === "libCall" && expression.fn === "dyn.bagGet"
-                    ? { ...expression, fn: "dyn.reflectGet", args: [expression.args[0], lowerer.coerceToExpected(expression.args[1], DYN), actualReceiver] } : expression });
+            return transformStmtList(body, {
+                stmt: (statement) => statement,
+                expr: (expression) => expression.kind === "libCall" && expression.fn === "dyn.bagGet"
+                    ? {
+                        ...expression,
+                        fn: "dyn.reflectGet",
+                        args: [
+                            expression.args[0],
+                            lowerer.coerceToExpected(expression.args[1], DYN),
+                            actualReceiver,
+                        ],
+                    }
+                    : expression,
+            });
         return [
-            { kind: "if", cond: { kind: "dynScalarEq", left: instance, right: actualReceiver, negated: true, type: BOOL, loc }, then: [{ kind: "return", value: {
-                            kind: "libCall", fn: "dyn.reflectDefine", args: [actualReceiver, lowerer.coerceToExpected(key, DYN), varRef("p.1", DYN, loc)], type: BOOL, loc,
-                        }, loc }], else_: null, loc },
-            ...transformStmtList(body, { stmt: (statement) => statement.kind === "return" && !statement.value
-                    ? { ...statement, value: { kind: "boolLit", value: true, type: BOOL, loc } } : statement, expr: (expression) => expression }),
+            {
+                kind: "if",
+                cond: {
+                    kind: "dynScalarEq",
+                    left: instance,
+                    right: actualReceiver,
+                    negated: true,
+                    type: BOOL,
+                    loc,
+                },
+                then: [
+                    {
+                        kind: "return",
+                        value: {
+                            kind: "libCall",
+                            fn: "dyn.reflectDefine",
+                            args: [actualReceiver, lowerer.coerceToExpected(key, DYN), varRef("p.1", DYN, loc)],
+                            type: BOOL,
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+                else_: null,
+                loc,
+            },
+            ...transformStmtList(body, {
+                stmt: (statement) => statement.kind === "return" && !statement.value
+                    ? { ...statement, value: { kind: "boolLit", value: true, type: BOOL, loc } }
+                    : statement,
+                expr: (expression) => expression,
+            }),
         ];
     }
     propertyBody(lowerer, dispatch, info, receiver) {
@@ -1412,27 +3025,92 @@ export class ClassDynamicDispatch {
         const loc = dispatch.fn.loc;
         if (info.builtinStream !== undefined && streamProperty(name)) {
             if (write)
-                return [{ kind: "runtimeFence", code: "SC2020", message: `writing stream property '${name}' through an untyped value is not supported`, loc }];
-            return [{ kind: "return", value: lowerer.coerceToExpected({ kind: "libCall", fn: "stream.prop", args: [receiver, { kind: "strLit", value: name, type: STRING, loc }], type: STREAM_BOOL_PROPERTIES.has(name) ? BOOL : F64, loc }, DYN), loc }];
+                return [
+                    {
+                        kind: "runtimeFence",
+                        code: "SC2020",
+                        message: `writing stream property '${name}' through an untyped value is not supported`,
+                        loc,
+                    },
+                ];
+            return [
+                {
+                    kind: "return",
+                    value: lowerer.coerceToExpected({
+                        kind: "libCall",
+                        fn: "stream.prop",
+                        args: [receiver, { kind: "strLit", value: name, type: STRING, loc }],
+                        type: STREAM_BOOL_PROPERTIES.has(name) ? BOOL : F64,
+                        loc,
+                    }, DYN),
+                    loc,
+                },
+            ];
         }
         if ((name === "message" || name === "name") && lowerer.isSubclassOf(info.def.name, "%Error"))
             return write
-                ? [errorPropertyWrite(lowerer, receiver, lowerer.coerceToExpected(varRef("p.1", DYN, loc), STRING), name), { kind: "return", value: null, loc }]
-                : [{ kind: "return", value: lowerer.coerceToExpected(errorPropertyRead(lowerer, receiver, name), DYN), loc }];
+                ? [
+                    errorPropertyWrite(lowerer, receiver, lowerer.coerceToExpected(varRef("p.1", DYN, loc), STRING), name),
+                    { kind: "return", value: null, loc },
+                ]
+                : [
+                    {
+                        kind: "return",
+                        value: lowerer.coerceToExpected(errorPropertyRead(lowerer, receiver, name), DYN),
+                        loc,
+                    },
+                ];
         const field = info.fields.get(name);
         const member = `${write ? "set" : "get"}:${name}`;
         const accessor = field ? null : findMethodOn(lowerer, info, member);
-        const fence = () => [{ kind: "runtimeFence", code: "SC2020", message: `${write ? "writing" : "reading"} '${name}' on this native class through an untyped value is not supported yet`, loc }];
+        const fence = () => [
+            {
+                kind: "runtimeFence",
+                code: "SC2020",
+                message: `${write ? "writing" : "reading"} '${name}' on this native class through an untyped value is not supported yet`,
+                loc,
+            },
+        ];
         const getRecord = (id) => lowerer.shapes.get(id);
         const getUnion = (id) => lowerer.unions.get(id);
         if (!write) {
-            if (name === "constructor" && !field && !accessor && info.decl && !info.generic && !info.localClass && !info.classDecorators) {
+            if (name === "constructor" &&
+                !field &&
+                !accessor &&
+                info.decl &&
+                !info.generic &&
+                !info.localClass &&
+                !info.classDecorators) {
                 this.constructors.set(info.def.name, info);
                 const cls = lowerer.coerceToExpected(classValueRef(lowerer, info, info.decl), DYN);
-                const bag = { kind: "call", callee: this.propertyBag.name, args: [lowerer.coerceToExpected(receiver, DYN)], type: DYN, loc };
+                const bag = {
+                    kind: "call",
+                    callee: this.propertyBag.name,
+                    args: [lowerer.coerceToExpected(receiver, DYN)],
+                    type: DYN,
+                    loc,
+                };
                 const key = { kind: "strLit", value: name, type: STRING, loc };
-                return [{ kind: "return", value: { kind: "ternary", cond: { kind: "libCall", fn: "dyn.hasKey", args: [bag, key], type: BOOL, loc },
-                            then: { kind: "libCall", fn: "dyn.bagGet", args: [bag, key, lowerer.coerceToExpected(receiver, DYN)], type: DYN, loc }, else_: cls, type: DYN, loc }, loc }];
+                return [
+                    {
+                        kind: "return",
+                        value: {
+                            kind: "ternary",
+                            cond: { kind: "libCall", fn: "dyn.hasKey", args: [bag, key], type: BOOL, loc },
+                            then: {
+                                kind: "libCall",
+                                fn: "dyn.bagGet",
+                                args: [bag, key, lowerer.coerceToExpected(receiver, DYN)],
+                                type: DYN,
+                                loc,
+                            },
+                            else_: cls,
+                            type: DYN,
+                            loc,
+                        },
+                        loc,
+                    },
+                ];
             }
             if (name === "toString" && findMethodOn(lowerer, info, name)?.declarer.builtinError) {
                 return [{ kind: "return", value: errorToStringMethod(lowerer, receiver), loc }];
@@ -1444,34 +3122,78 @@ export class ClassDynamicDispatch {
                 // those speculative branches. Direct typed references still reach
                 // the ordinary graph-wide async_free diagnostic.
                 if (this.asyncFree && (declared?.sig.gen || declared?.sig.async)) {
-                    return [{ kind: "runtimeFence", code: "SC4005", message: `reading async or generator method '${name}' through an untyped library lookup is not supported`, loc }];
+                    return [
+                        {
+                            kind: "runtimeFence",
+                            code: "SC4005",
+                            message: `reading async or generator method '${name}' through an untyped library lookup is not supported`,
+                            loc,
+                        },
+                    ];
                 }
                 const generic = findGenericMethodOn(lowerer, info, name);
                 // A computed lookup has branches for every visible name. Generic
                 // methods need a concrete specialization before they can escape;
                 // refuse only if this runtime branch is selected.
-                if (generic && (!generic.info.implicitParams || !generic.declarer.decl ||
-                    lowerer.overrideBelow(info, name) || genericOverrideBelow(lowerer, info, name)))
+                if (generic &&
+                    (!generic.info.implicitParams ||
+                        !generic.declarer.decl ||
+                        lowerer.overrideBelow(info, name) ||
+                        genericOverrideBelow(info, name)))
                     return fence();
                 const method = classMethodValue(lowerer, info.decl, info, name, loc);
                 if (method && canConvertToDyn(method.type, getRecord, getUnion)) {
                     // A capsule may have the base ABI even when its native object is
                     // a subclass (for example an inherited iterator returning this).
                     // Select the method declaration at extraction, before detaching it.
-                    const overrides = [...lowerer.classes.values()].filter((candidate) => candidate !== info && lowerer.classCanBeConstructed(candidate) && lowerer.isSubclassOf(candidate.def.name, info.def.name) &&
+                    const overrides = [...lowerer.classes.values()].filter((candidate) => candidate !== info &&
+                        lowerer.classCanBeConstructed(candidate) &&
+                        lowerer.isSubclassOf(candidate.def.name, info.def.name) &&
                         (candidate.methods.has(name) || candidate.genericMethods?.has(name)));
-                    overrides.sort((a, b) => lowerer.isSubclassOf(a.def.name, b.def.name) ? -1 : lowerer.isSubclassOf(b.def.name, a.def.name) ? 1 : 0);
+                    overrides.sort((a, b) => lowerer.isSubclassOf(a.def.name, b.def.name)
+                        ? -1
+                        : lowerer.isSubclassOf(b.def.name, a.def.name)
+                            ? 1
+                            : 0);
                     const body = [];
                     const symbol = symbolMemberKey(lowerer, info, name, loc);
-                    if (symbol || isClassOwnEnumerableFieldName(name) && !name.startsWith("sym:")) {
+                    if (symbol || (isClassOwnEnumerableFieldName(name) && !name.startsWith("sym:"))) {
                         const prototypeMethod = lowerer.prototypeMethodAccesses.has(name);
                         if (prototypeMethod)
                             classPrototypeData(lowerer, info, loc, receiver);
-                        const bag = { kind: "call", callee: this.propertyBag.name,
-                            args: [lowerer.coerceToExpected(receiver, DYN)], type: DYN, loc };
+                        const bag = {
+                            kind: "call",
+                            callee: this.propertyBag.name,
+                            args: [lowerer.coerceToExpected(receiver, DYN)],
+                            type: DYN,
+                            loc,
+                        };
                         const key = symbol ?? { kind: "strLit", value: name, type: STRING, loc };
-                        body.push({ kind: "if", cond: { kind: "libCall", fn: symbol ? "dyn.hasOwnComputed" : "dyn.hasKey", args: [bag, key], type: BOOL, loc },
-                            then: [{ kind: "return", value: { kind: "libCall", fn: symbol ? "dyn.reflectGet" : "dyn.bagGet", args: [bag, key, lowerer.coerceToExpected(receiver, DYN)], type: DYN, loc }, loc }], else_: null, loc });
+                        body.push({
+                            kind: "if",
+                            cond: {
+                                kind: "libCall",
+                                fn: symbol ? "dyn.hasOwnComputed" : "dyn.hasKey",
+                                args: [bag, key],
+                                type: BOOL,
+                                loc,
+                            },
+                            then: [
+                                {
+                                    kind: "return",
+                                    value: {
+                                        kind: "libCall",
+                                        fn: symbol ? "dyn.reflectGet" : "dyn.bagGet",
+                                        args: [bag, key, lowerer.coerceToExpected(receiver, DYN)],
+                                        type: DYN,
+                                        loc,
+                                    },
+                                    loc,
+                                },
+                            ],
+                            else_: null,
+                            loc,
+                        });
                         if (prototypeMethod) {
                             body.push({ kind: "return", value: dynUndefinedExpr(loc), loc });
                             return body;
@@ -1480,19 +3202,58 @@ export class ClassDynamicDispatch {
                     for (const candidate of overrides) {
                         const selected = classMethodValue(lowerer, info.decl, candidate, name, loc);
                         const branch = selected && canConvertToDyn(selected.type, getRecord, getUnion)
-                            ? [{ kind: "return", value: { kind: "dynFrom", value: selected, type: DYN, loc }, loc }]
+                            ? [
+                                {
+                                    kind: "return",
+                                    value: { kind: "dynFrom", value: selected, type: DYN, loc },
+                                    loc,
+                                },
+                            ]
                             : fence();
-                        body.push({ kind: "if", cond: { kind: "instanceOf", value: receiver, className: candidate.def.name, type: BOOL, loc }, then: branch, else_: null, loc });
+                        body.push({
+                            kind: "if",
+                            cond: {
+                                kind: "instanceOf",
+                                value: receiver,
+                                className: candidate.def.name,
+                                type: BOOL,
+                                loc,
+                            },
+                            then: branch,
+                            else_: null,
+                            loc,
+                        });
                     }
-                    body.push({ kind: "return", value: { kind: "dynFrom", value: method, type: DYN, loc }, loc });
+                    body.push({
+                        kind: "return",
+                        value: { kind: "dynFrom", value: method, type: DYN, loc },
+                        loc,
+                    });
                     return body;
                 }
             }
             if (!field && !accessor) {
                 const instance = lowerer.coerceToExpected(receiver, DYN);
-                const bag = { kind: "call", callee: this.propertyBag.name, args: [instance], type: DYN, loc };
-                return [{ kind: "return", value: { kind: "libCall", fn: "dyn.bagGet", args: [bag,
-                                { kind: "strLit", value: name, type: STRING, loc }, instance], type: DYN, loc }, loc }];
+                const bag = {
+                    kind: "call",
+                    callee: this.propertyBag.name,
+                    args: [instance],
+                    type: DYN,
+                    loc,
+                };
+                return [
+                    {
+                        kind: "return",
+                        value: {
+                            kind: "libCall",
+                            fn: "dyn.bagGet",
+                            args: [bag, { kind: "strLit", value: name, type: STRING, loc }, instance],
+                            type: DYN,
+                            loc,
+                        },
+                        loc,
+                    },
+                ];
             }
             const type = field ?? accessor.sig.ret;
             if (!canConvertToDyn(type, getRecord, getUnion))
@@ -1506,39 +3267,136 @@ export class ClassDynamicDispatch {
             if (boxed.kind === "dynFrom" && mutable(boxed.value.type))
                 boxed.liveRef = true;
             if (accessor) {
-                const bag = { kind: "call", callee: this.propertyBag.name,
-                    args: [lowerer.coerceToExpected(receiver, DYN)], type: DYN, loc };
+                const bag = {
+                    kind: "call",
+                    callee: this.propertyBag.name,
+                    args: [lowerer.coerceToExpected(receiver, DYN)],
+                    type: DYN,
+                    loc,
+                };
                 const key = { kind: "strLit", value: name, type: STRING, loc };
-                return [{ kind: "if", cond: { kind: "libCall", fn: "dyn.hasOwn", args: [bag, key], type: BOOL, loc },
-                        then: [{ kind: "return", value: { kind: "libCall", fn: "dyn.bagGet", args: [bag, key, lowerer.coerceToExpected(receiver, DYN)], type: DYN, loc }, loc }], else_: null, loc },
-                    { kind: "return", value: boxed, loc }];
+                return [
+                    {
+                        kind: "if",
+                        cond: { kind: "libCall", fn: "dyn.hasOwn", args: [bag, key], type: BOOL, loc },
+                        then: [
+                            {
+                                kind: "return",
+                                value: {
+                                    kind: "libCall",
+                                    fn: "dyn.bagGet",
+                                    args: [bag, key, lowerer.coerceToExpected(receiver, DYN)],
+                                    type: DYN,
+                                    loc,
+                                },
+                                loc,
+                            },
+                        ],
+                        else_: null,
+                        loc,
+                    },
+                    { kind: "return", value: boxed, loc },
+                ];
             }
             if (field && info.def.tracksOwnFields) {
                 const instance = lowerer.coerceToExpected(receiver, DYN);
-                const bag = { kind: "call", callee: this.propertyBag.name, args: [instance], type: DYN, loc };
+                const bag = {
+                    kind: "call",
+                    callee: this.propertyBag.name,
+                    args: [instance],
+                    type: DYN,
+                    loc,
+                };
                 const symbol = symbolMemberKey(lowerer, info, name, loc);
                 const key = symbol ?? { kind: "strLit", value: name, type: STRING, loc };
-                return [{ kind: "return", value: { kind: "ternary", cond: { kind: "libCall", fn: symbol ? "dyn.hasOwnComputed" : "dyn.hasOwn", args: [bag, key], type: BOOL, loc },
-                            then: boxed, else_: { kind: "libCall", fn: symbol ? "dyn.reflectGet" : "dyn.bagGet", args: [bag, key, instance], type: DYN, loc }, type: DYN, loc }, loc }];
+                return [
+                    {
+                        kind: "return",
+                        value: {
+                            kind: "ternary",
+                            cond: {
+                                kind: "libCall",
+                                fn: symbol ? "dyn.hasOwnComputed" : "dyn.hasOwn",
+                                args: [bag, key],
+                                type: BOOL,
+                                loc,
+                            },
+                            then: boxed,
+                            else_: {
+                                kind: "libCall",
+                                fn: symbol ? "dyn.reflectGet" : "dyn.bagGet",
+                                args: [bag, key, instance],
+                                type: DYN,
+                                loc,
+                            },
+                            type: DYN,
+                            loc,
+                        },
+                        loc,
+                    },
+                ];
             }
             return [{ kind: "return", value: boxed, loc }];
         }
-        if (!field && !accessor && isClassOwnEnumerableFieldName(name) && !name.startsWith("sym:") && !findMethodOn(lowerer, info, `get:${name}`)) {
-            const bag = { kind: "call", callee: this.propertyBag.name,
-                args: [lowerer.coerceToExpected(receiver, DYN)], type: DYN, loc };
-            return [{ kind: "exprStmt", expr: { kind: "libCall", fn: "dyn.bagSet", args: [bag,
-                            { kind: "strLit", value: name, type: STRING, loc }, varRef("p.1", DYN, loc), lowerer.coerceToExpected(receiver, DYN)], type: VOID, loc }, loc },
-                { kind: "return", value: null, loc }];
+        if (!field &&
+            !accessor &&
+            isClassOwnEnumerableFieldName(name) &&
+            !name.startsWith("sym:") &&
+            !findMethodOn(lowerer, info, `get:${name}`)) {
+            const bag = {
+                kind: "call",
+                callee: this.propertyBag.name,
+                args: [lowerer.coerceToExpected(receiver, DYN)],
+                type: DYN,
+                loc,
+            };
+            return [
+                {
+                    kind: "exprStmt",
+                    expr: {
+                        kind: "libCall",
+                        fn: "dyn.bagSet",
+                        args: [
+                            bag,
+                            { kind: "strLit", value: name, type: STRING, loc },
+                            varRef("p.1", DYN, loc),
+                            lowerer.coerceToExpected(receiver, DYN),
+                        ],
+                        type: VOID,
+                        loc,
+                    },
+                    loc,
+                },
+                { kind: "return", value: null, loc },
+            ];
         }
         if (!field && !accessor)
-            return [{ kind: "throw", value: {
-                        kind: "libCall", fn: "error.new", args: [{
-                                kind: "strLit", value: `Cannot set property ${name} of #<${info.def.jsName ?? info.def.name}> which has only a getter`, type: STRING, loc,
-                            }], type: { kind: "object", className: "%TypeError" }, loc,
-                    }, loc }];
+            return [
+                {
+                    kind: "throw",
+                    value: {
+                        kind: "libCall",
+                        fn: "error.new",
+                        args: [
+                            {
+                                kind: "strLit",
+                                value: `Cannot set property ${name} of #<${info.def.jsName ?? info.def.name}> which has only a getter`,
+                                type: STRING,
+                                loc,
+                            },
+                        ],
+                        type: { kind: "object", className: "%TypeError" },
+                        loc,
+                    },
+                    loc,
+                },
+            ];
         const type = field ?? accessor.sig.params[0].type;
-        const checkable = (t) => isDynTypedRefType(t) || isUnitType(t) ||
-            (t.kind === "union" ? getUnion(t.unionId)?.arms.every(checkable) ?? false : canDynCheckTo(t, getRecord, getUnion));
+        const checkable = (t) => isDynTypedRefType(t) ||
+            isUnitType(t) ||
+            (t.kind === "union"
+                ? (getUnion(t.unionId)?.arms.every(checkable) ?? false)
+                : canDynCheckTo(t, getRecord, getUnion));
         if (!checkable(type))
             return fence();
         const value = lowerer.coerceToExpected(varRef("p.1", DYN, loc), type);
@@ -1546,47 +3404,143 @@ export class ClassDynamicDispatch {
             return fence();
         const store = field
             ? { kind: "fieldSet", obj: receiver, className: info.def.name, field: name, value, loc }
-            : { kind: "exprStmt", expr: accessorCall(lowerer, info.def.name, member, receiver, [value], VOID, loc), loc };
+            : {
+                kind: "exprStmt",
+                expr: accessorCall(lowerer, info.def.name, member, receiver, [value], VOID, loc),
+                loc,
+            };
         return [store, { kind: "return", value: null, loc }];
     }
     methodBody(lowerer, dispatch, info, receiver) {
         const { method, loc } = dispatch.source;
-        const fence = () => [{ kind: "runtimeFence", code: "SC2020", message: `calling '${method}' on this native class through an untyped value is not supported yet`, loc }];
-        if (info.builtinStream || emitterRooted(lowerer, info) && EMITTER_METHODS.has(method) && !findMethodOn(lowerer, info, method)) {
+        const fence = () => [
+            {
+                kind: "runtimeFence",
+                code: "SC2020",
+                message: `calling '${method}' on this native class through an untyped value is not supported yet`,
+                loc,
+            },
+        ];
+        if (info.builtinStream ||
+            (emitterRooted(lowerer, info) &&
+                EMITTER_METHODS.has(method) &&
+                !findMethodOn(lowerer, info, method))) {
             const incoming = dispatch.source.args.map((_, i) => varRef(`p.${i + 1}`, DYN, loc));
-            const registering = ["on", "addListener", "once", "prependListener", "prependOnceListener"].includes(method);
+            const registering = [
+                "on",
+                "addListener",
+                "once",
+                "prependListener",
+                "prependOnceListener",
+            ].includes(method);
             const removing = method === "off" || method === "removeListener";
-            const ret = (value) => [{ kind: "return", value: lowerer.coerceToExpected(value, DYN), loc }];
+            const ret = (value) => [
+                { kind: "return", value: lowerer.coerceToExpected(value, DYN), loc },
+            ];
             if (method === "emit") {
                 if (!incoming.length)
                     return fence();
-                return ret({ kind: "libCall", fn: "emitter.emitFlex", args: [receiver,
-                        lowerer.coerceToExpected(incoming[0], STRING), ...incoming.slice(1)], type: BOOL, loc });
+                return ret({
+                    kind: "libCall",
+                    fn: "emitter.emitFlex",
+                    args: [receiver, lowerer.coerceToExpected(incoming[0], STRING), ...incoming.slice(1)],
+                    type: BOOL,
+                    loc,
+                });
             }
             if (registering || removing) {
                 if (incoming.length < 2)
                     return fence();
                 const event = lowerer.coerceToExpected(incoming[0], STRING);
                 const cb = incoming[1];
-                return [{ kind: "exprStmt", expr: { kind: "libCall", fn: "emitter.checkListener", args: [cb], type: VOID, loc }, loc }, ...ret({ kind: "libCall", fn: registering ? info.builtinStream ? "stream.onDyn" : "emitter.onFlex" : "emitter.offDyn", args: [receiver, event, cb, ...(registering ? [
-                                { kind: "boolLit", value: method === "once" || method === "prependOnceListener", type: BOOL, loc },
-                                { kind: "boolLit", value: method.startsWith("prepend"), type: BOOL, loc },
-                            ] : [])], type: receiver.type, loc })];
+                return [
+                    {
+                        kind: "exprStmt",
+                        expr: { kind: "libCall", fn: "emitter.checkListener", args: [cb], type: VOID, loc },
+                        loc,
+                    },
+                    ...ret({
+                        kind: "libCall",
+                        fn: registering
+                            ? info.builtinStream
+                                ? "stream.onDyn"
+                                : "emitter.onFlex"
+                            : "emitter.offDyn",
+                        args: [
+                            receiver,
+                            event,
+                            cb,
+                            ...(registering
+                                ? [
+                                    {
+                                        kind: "boolLit",
+                                        value: method === "once" || method === "prependOnceListener",
+                                        type: BOOL,
+                                        loc,
+                                    },
+                                    {
+                                        kind: "boolLit",
+                                        value: method.startsWith("prepend"),
+                                        type: BOOL,
+                                        loc,
+                                    },
+                                ]
+                                : []),
+                        ],
+                        type: receiver.type,
+                        loc,
+                    }),
+                ];
             }
             if (method === "read")
-                return ret({ kind: "libCall", fn: "readable.readDyn", args: [receiver, incoming[0] ?? dynUndefinedExpr(loc)], type: DYN, loc });
+                return ret({
+                    kind: "libCall",
+                    fn: "readable.readDyn",
+                    args: [receiver, incoming[0] ?? dynUndefinedExpr(loc)],
+                    type: DYN,
+                    loc,
+                });
             if (method === "pause" || method === "resume" || method === "isPaused")
-                return ret({ kind: "libCall", fn: method === "pause" ? "readable.pause" : method === "resume" ? "readable.resume" : "readable.isPaused", args: [receiver], type: method === "isPaused" ? BOOL : receiver.type, loc });
+                return ret({
+                    kind: "libCall",
+                    fn: method === "pause"
+                        ? "readable.pause"
+                        : method === "resume"
+                            ? "readable.resume"
+                            : "readable.isPaused",
+                    args: [receiver],
+                    type: method === "isPaused" ? BOOL : receiver.type,
+                    loc,
+                });
             if (method === "destroy" && (!incoming.length || incoming[0]?.kind === "unitLit"))
-                return ret({ kind: "libCall", fn: "stream.destroy", args: [receiver], type: receiver.type, loc });
+                return ret({
+                    kind: "libCall",
+                    fn: "stream.destroy",
+                    args: [receiver],
+                    type: receiver.type,
+                    loc,
+                });
             return fence();
         }
         const methodInfo = findMethodOn(lowerer, info, method);
         if (this.asyncFree && (methodInfo?.sig.gen || methodInfo?.sig.async)) {
-            return [{ kind: "runtimeFence", code: "SC4005", message: `calling async or generator method '${method}' through an untyped library value is not supported`, loc }];
+            return [
+                {
+                    kind: "runtimeFence",
+                    code: "SC4005",
+                    message: `calling async or generator method '${method}' through an untyped library value is not supported`,
+                    loc,
+                },
+            ];
         }
         if (methodInfo?.declarer.builtinError && method === "toString") {
-            return [{ kind: "return", value: { kind: "dynFrom", value: errorToStringCall(lowerer, receiver), type: DYN, loc }, loc }];
+            return [
+                {
+                    kind: "return",
+                    value: { kind: "dynFrom", value: errorToStringCall(lowerer, receiver), type: DYN, loc },
+                    loc,
+                },
+            ];
         }
         const generic = methodInfo ? null : findGenericMethodOn(lowerer, info, method);
         let params;
@@ -1601,8 +3555,10 @@ export class ClassDynamicDispatch {
             callee = `%${owner.def.name}.${method}`;
             virtual = lowerer.overrideBelow(owner, method) || methodInfo.sig.abstract === true;
         }
-        else if (generic?.info.implicitParams && generic.declarer.decl &&
-            !lowerer.overrideBelow(info, method) && !genericOverrideBelow(lowerer, info, method)) {
+        else if (generic?.info.implicitParams &&
+            generic.declarer.decl &&
+            !lowerer.overrideBelow(info, method) &&
+            !genericOverrideBelow(info, method)) {
             owner = generic.declarer;
             // A failed eager specialization leaves a signature in the instance
             // cache, but no body. Later dispatch arities must retain the fence
@@ -1621,13 +3577,20 @@ export class ClassDynamicDispatch {
         let index = 0;
         for (const param of params) {
             if ((param.mode === "dynRest" || param.mode === "arguments") && param.type.kind === "dyn") {
-                args.push({ kind: "dynArrLit", elems: param.mode === "arguments" ? incoming : incoming.slice(index), type: DYN, loc });
+                args.push({
+                    kind: "dynArrLit",
+                    elems: param.mode === "arguments" ? incoming : incoming.slice(index),
+                    type: DYN,
+                    loc,
+                });
                 index = incoming.length;
                 continue;
             }
             if (param.mode === "rest" && param.type.kind === "array") {
                 const element = param.type.elem;
-                const elems = incoming.slice(index).map((value) => lowerer.coerceToExpected(value, element));
+                const elems = incoming
+                    .slice(index)
+                    .map((value) => lowerer.coerceToExpected(value, element));
                 if (elems.some((value) => !typeEquals(value.type, element)))
                     return fence();
                 args.push({ kind: "arrayLit", elems, type: param.type, loc });
@@ -1643,8 +3606,21 @@ export class ClassDynamicDispatch {
             args.push(converted);
         }
         const call = virtual
-            ? { kind: "virtualCall", className: owner.def.name, method, args: [upcastTo(lowerer, receiver, owner.def.name), ...args], type: result, loc }
-            : { kind: "call", callee, args: [upcastTo(lowerer, receiver, owner.def.name), ...args], type: result, loc };
+            ? {
+                kind: "virtualCall",
+                className: owner.def.name,
+                method,
+                args: [upcastTo(lowerer, receiver, owner.def.name), ...args],
+                type: result,
+                loc,
+            }
+            : {
+                kind: "call",
+                callee,
+                args: [upcastTo(lowerer, receiver, owner.def.name), ...args],
+                type: result,
+                loc,
+            };
         let body;
         if (result.kind === "void")
             body = [
@@ -1665,11 +3641,41 @@ export class ClassDynamicDispatch {
         }
         if (isClassCallback(lowerer, info, method)) {
             const descriptor = varRef("p.callback", DYN, loc);
-            body.unshift({ kind: "if", cond: { kind: "dynTest", test: "undefined", negated: true, value: descriptor, type: BOOL, loc }, then: [
-                    { kind: "return", value: { kind: "dynCall", callee: { kind: "dynKeyGet", value: descriptor,
-                                key: { kind: "strLit", value: "value", type: STRING, loc }, type: DYN, loc }, receiver: varRef("p.0", DYN, loc),
-                            args: incoming, calleeName: dispatch.source.calleeName, calleeNameValue: varRef("p.calleeName", STRING, loc), type: DYN, loc }, loc },
-                ], else_: null, loc });
+            body.unshift({
+                kind: "if",
+                cond: {
+                    kind: "dynTest",
+                    test: "undefined",
+                    negated: true,
+                    value: descriptor,
+                    type: BOOL,
+                    loc,
+                },
+                then: [
+                    {
+                        kind: "return",
+                        value: {
+                            kind: "dynCall",
+                            callee: {
+                                kind: "dynKeyGet",
+                                value: descriptor,
+                                key: { kind: "strLit", value: "value", type: STRING, loc },
+                                type: DYN,
+                                loc,
+                            },
+                            receiver: varRef("p.0", DYN, loc),
+                            args: incoming,
+                            calleeName: dispatch.source.calleeName,
+                            calleeNameValue: varRef("p.calleeName", STRING, loc),
+                            type: DYN,
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+                else_: null,
+                loc,
+            });
         }
         return body;
     }