@scriptc/compiler 0.4.6 → 0.4.8

package/dist/frontend/lowering/lower-calls.test.d.ts

@@ -0,0 +1 @@
+export {};

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

@@ -0,0 +1,121 @@
+import { describe, expect, test } from "vitest";
+import { BOOL, DYN, } from "../../ir/ir.js";
+import { isPlainDescriptorMap, isPlainObjectLiteral, lowerBytesIntegrity } from "./lower-calls.js";
+const loc = { file: "bytes.js", start: 0, end: 1 };
+const bytes = { kind: "bytes", elem: "i8" };
+/** The conversions the helper needs: a value boxes into dyn (dynFrom) and a
+ * dyn value converts back to a typed slot through its checked cast. */
+function stub() {
+    return {
+        coerceToExpected: (expr, expected) => expected.kind === "dyn"
+            ? { kind: "dynFrom", value: expr, type: DYN, loc: expr.loc }
+            : { kind: "dynCheck", value: expr, type: expected, loc: expr.loc },
+    };
+}
+const view = { kind: "varRef", localId: "s.0", type: bytes, loc };
+describe("lowerBytesIntegrity", () => {
+    test("seal boxes the view, seals it dynamically and answers the same view", () => {
+        const result = lowerBytesIntegrity(stub(), "dyn.seal", view, loc);
+        // A typed result: the checked cast of the same view (identity preserved).
+        expect(result.kind).toBe("dynCheck");
+        expect(result.type).toEqual(bytes);
+        const call = result.kind === "dynCheck" ? result.value : null;
+        expect(call?.kind).toBe("libCall");
+        expect(call?.kind === "libCall" ? call.fn : null).toBe("dyn.seal");
+        expect(call?.kind === "libCall" ? call.type : null).toEqual(DYN);
+        const arg = call?.kind === "libCall" ? call.args[0] : null;
+        expect(arg?.kind).toBe("dynFrom");
+        expect(arg?.kind === "dynFrom" ? arg.value : null).toEqual(view);
+    });
+    test("freeze of a DataView (bytes<u8>) answers the view", () => {
+        const dv = { kind: "varRef", localId: "s.1", type: { kind: "bytes", elem: "u8" }, loc };
+        const result = lowerBytesIntegrity(stub(), "dyn.freeze", dv, loc);
+        expect(result.kind).toBe("dynCheck");
+    });
+    test("a query answers a boolean and keeps no view result", () => {
+        const result = lowerBytesIntegrity(stub(), "dyn.isSealed", view, loc);
+        expect(result.kind).toBe("libCall");
+        expect(result.type).toEqual(BOOL);
+        expect(result.kind === "libCall" ? result.fn : null).toBe("dyn.isSealed");
+    });
+});
+const descriptorLoc = { file: "descriptors.ts", start: 0, end: 1 };
+function dynObjLit() {
+    return { kind: "dynObjLit", fields: [], type: DYN, loc: descriptorLoc };
+}
+function recordLit() {
+    return {
+        kind: "recordLit",
+        fields: [],
+        type: { kind: "record", shapeId: "r1" },
+        loc: descriptorLoc,
+    };
+}
+function recordClone() {
+    return {
+        kind: "recordClone",
+        source: recordLit(),
+        overrides: [],
+        type: { kind: "record", shapeId: "r1" },
+        loc: descriptorLoc,
+    };
+}
+function dynFrom(value) {
+    return { kind: "dynFrom", value, type: DYN, loc: descriptorLoc };
+}
+test("a plain object keeps the default descriptor reader", () => {
+    expect(isPlainObjectLiteral(dynObjLit())).toBe(true);
+    // A typed object literal boxes into dyn through dynFrom, and so does any
+    // expression already of a record type (a variable, a clone).
+    expect(isPlainObjectLiteral(dynFrom(recordLit()))).toBe(true);
+    expect(isPlainObjectLiteral(dynFrom(recordClone()))).toBe(true);
+    const recordVariable = {
+        kind: "varRef",
+        localId: "p1",
+        type: { kind: "record", shapeId: "r1" },
+        loc: descriptorLoc,
+    };
+    expect(isPlainObjectLiteral(dynFrom(recordVariable))).toBe(true);
+});
+test("any other descriptor may be an object of any kind and takes the any-object entry points", () => {
+    const variable = { kind: "varRef", localId: "p0", type: DYN, loc: descriptorLoc };
+    const array = { kind: "dynArrLit", elems: [], type: DYN, loc: descriptorLoc };
+    const call = {
+        kind: "libCall",
+        fn: "dyn.objCreate",
+        args: [dynObjLit()],
+        type: DYN,
+        loc: descriptorLoc,
+    };
+    for (const expr of [variable, dynFrom(variable), array, call])
+        expect(isPlainObjectLiteral(expr)).toBe(false);
+});
+test("a descriptor map is plain only when every descriptor in it is plain", () => {
+    const key = { kind: "strLit", value: "a", type: { kind: "string" }, loc: descriptorLoc };
+    const variable = { kind: "varRef", localId: "p0", type: DYN, loc: descriptorLoc };
+    const map = (value) => ({
+        kind: "dynObjLit",
+        fields: [{ key, value }],
+        type: DYN,
+        loc: descriptorLoc,
+    });
+    const shapes = new Map([
+        ["r1", { id: "r1", fields: [] }],
+        ["plain", { id: "plain", fields: [{ name: "a", type: { kind: "record", shapeId: "r1" } }] }],
+        ["dyn", { id: "dyn", fields: [{ name: "a", type: DYN }] }],
+    ]);
+    const record = (shapeId) => ({
+        kind: "varRef",
+        localId: "p1",
+        type: { kind: "record", shapeId },
+        loc: descriptorLoc,
+    });
+    const getRecord = (id) => shapes.get(id);
+    expect(isPlainDescriptorMap(map(dynObjLit()), getRecord)).toBe(true);
+    expect(isPlainDescriptorMap(dynFrom(record("plain")), getRecord)).toBe(true);
+    // `{ a: view }` with `view` a DataView, an array or any other dyn value.
+    expect(isPlainDescriptorMap(map(variable), getRecord)).toBe(false);
+    expect(isPlainDescriptorMap(dynFrom(record("dyn")), getRecord)).toBe(false);
+    expect(isPlainDescriptorMap(variable, getRecord)).toBe(false);
+});
+//# sourceMappingURL=lower-calls.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lower-calls.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-calls.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EACL,IAAI,EACJ,GAAG,GAKJ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAGnG,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC3D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAEpD;uEACuE;AACvE,SAAS,IAAI;IACX,OAAO;QACL,gBAAgB,EAAE,CAAC,IAAY,EAAE,QAAgB,EAAU,EAAE,CAC3D,QAAQ,CAAC,IAAI,KAAK,KAAK;YACrB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;YAC5D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;KACjD,CAAC;AAC1B,CAAC;AAED,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAE1E,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC/E,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAClE,0EAA0E;QAC1E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9D,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnE,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACjE,MAAM,GAAG,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3D,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC;QAChG,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QAClE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACtE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,MAAM,aAAa,GAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAE3E,SAAS,SAAS;IAChB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,SAAS;IAChB,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE;QACvC,GAAG,EAAE,aAAa;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,WAAW;IAClB,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,SAAS,EAAE;QACnB,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE;QACvC,GAAG,EAAE,aAAa;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;AACnE,CAAC;AAED,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAC9D,MAAM,CAAC,oBAAoB,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,yEAAyE;IACzE,6DAA6D;IAC7D,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,cAAc,GAAW;QAC7B,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE;QACvC,GAAG,EAAE,aAAa;KACnB,CAAC;IACF,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yFAAyF,EAAE,GAAG,EAAE;IACnG,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;IAC1F,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;IACtF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QACnB,IAAI,EAAE,GAAG;QACT,GAAG,EAAE,aAAa;KACnB,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC;QAC3D,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;IACjG,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;IAC1F,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACtC,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QACxB,IAAI,EAAE,GAAG;QACT,GAAG,EAAE,aAAa;KACnB,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAwB;QAC5C,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAChC,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;QAC5F,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;KAC3D,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC;QAC3C,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;QACjC,GAAG,EAAE,aAAa;KACnB,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACjD,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,yEAAyE;IACzE,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnE,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5E,MAAM,CAAC,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/lower-classes.d.ts

@@ -13,7 +13,27 @@ export declare function returnsOnlyThis(member: ts.MethodDeclaration): boolean;
  * claim setters). Used only to narrow a call's result back to the
  * receiver's class. */
 export declare function returnsOnlyThisValue(member: ts.MethodDeclaration): boolean;
-export declare function functionLocalClass(decl: ts.ClassLikeDeclaration): boolean;
+/** True when evaluating this class definition creates a class VALUE more
+ * than once, so each evaluation must mint its own constructor object,
+ * prototype and statics. A function body runs per call, a loop body per
+ * iteration, and an instance field initializer (or constructor parameter
+ * default) per construction. A class expression nested in a STATIC member
+ * initializer, a computed key or the heritage follows its enclosing
+ * class's own evaluation, so the walk continues through those.
+ * Top-level definitions evaluated once keep the immortal template. */
+export declare function perEvaluationClass(decl: ts.ClassLikeDeclaration): boolean;
+/** `Symbol.hasInstance` over the standard global. */
+export declare function isSymbolHasInstanceKey(lowerer: Lowerer, key: ts.Expression): boolean;
+/** The static members keyed by `Symbol.hasInstance`
+ * (`static [Symbol.hasInstance](v) { … }`): defining them on the class
+ * value's own-property table gives `instanceof` its hook (the runtime
+ * consults that table, scr_dyn_has_instance_hook). */
+export declare function staticHasInstanceHookMembers(lowerer: Lowerer, decl: ts.ClassLikeDeclaration): ts.ClassElement[];
+/** Whether `info` or an ancestor declares a static `Symbol.hasInstance`
+ * member. Node's `instanceof` asks the hook on the constructor (inherited
+ * through the static prototype chain) and uses OrdinaryHasInstance only
+ * when no hook exists. */
+export declare function classDeclaresHasInstanceHook(info: ClassInfo): boolean;
 export declare function storedClassValueType(lowerer: Lowerer, expression: ts.Expression, visiting?: Set<import("../ts7/ast-node.js").AstNode>): IrType | null;
 export interface ClassMethodSignature {
     params: ParamShape[];
@@ -26,6 +46,9 @@ export interface ClassInfo {
     def: IrClassDef;
     expressionInitializationEmitted?: true;
     runtimeStatics?: readonly ts.ClassElement[];
+    /** The class declares its own static `Symbol.hasInstance` member:
+     * `instanceof` asks the hook before OrdinaryHasInstance. */
+    hasInstanceHook?: true;
     /** Direct calls of runtime static methods (directRuntimeStaticCall), by
      * member name. */
     runtimeStaticCalls?: Map<string, GenericFnInfo>;
@@ -203,6 +226,11 @@ export interface ClassInfo {
         expression: ts.Expression;
         constructorId: string;
         prototypeId: string;
+        /** `extends Iterator` in JavaScript: the constructor is %Iterator%,
+         * the prototype %Iterator.prototype% (scr_js_iterator.c), and super()
+         * only evaluates its arguments (the abstract constructor checks
+         * NewTarget, which is never %Iterator% for a subclass). */
+        iterator?: true;
     };
     factoryBaseExpression?: ts.Expression;
     /** DIRECT subclasses, filled as derived classes collect — the frontend's
@@ -594,10 +622,13 @@ export declare function staticReceiverClass(lowerer: Lowerer, receiver: ts.Expre
  * property access `site`, or a destructuring element over `C` whose
  * initializer is `site`. Null when the class has no such member. */
 export declare function lowerClassStaticRead(lowerer: Lowerer, info: ClassInfo, name: string, receiver: ts.Expression, site: ts.Expression): IrExpr | null;
-/** Collect a class expression once per enclosing specialization. Function-local
- * evaluations allocate fresh constructor objects; top-level expressions use
- * immortal templates. Static initialization remains limited to whole top-level
- * initializers, where pendingClassExprInits preserves its evaluation point. */
+/** Collect a class expression once per enclosing specialization. A class
+ * definition the program can EVALUATE more than once (perEvaluationClass:
+ * a function body, a loop body, an instance initializer) allocates fresh
+ * constructor objects, so identity, statics and prototype belong to that
+ * evaluation; definitions evaluated once use immortal templates. Static
+ * initialization remains limited to whole top-level initializers, where
+ * pendingClassExprInits preserves its evaluation point. */
 export declare function lowerClassExpressionInfo(lowerer: Lowerer, expr: ts.ClassLikeDeclaration): ClassInfo;
 /** `class {…}` in expression position: a class definition bound to no
  * statement — once the static side is a value, the expression IS the