@scriptc/compiler 0.4.7 → 0.4.8

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

@@ -1,12 +1,55 @@
-import { expect, test } from "vitest";
-import { DYN } from "../../ir/ir.js";
-import { isPlainDescriptorMap, isPlainObjectLiteral } from "./lower-calls.js";
-const loc = { file: "descriptors.ts", start: 0, end: 1 };
+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 };
+    return { kind: "dynObjLit", fields: [], type: DYN, loc: descriptorLoc };
 }
 function recordLit() {
-    return { kind: "recordLit", fields: [], type: { kind: "record", shapeId: "r1" }, loc };
+    return {
+        kind: "recordLit",
+        fields: [],
+        type: { kind: "record", shapeId: "r1" },
+        loc: descriptorLoc,
+    };
 }
 function recordClone() {
     return {
@@ -14,11 +57,11 @@ function recordClone() {
         source: recordLit(),
         overrides: [],
         type: { kind: "record", shapeId: "r1" },
-        loc,
+        loc: descriptorLoc,
     };
 }
 function dynFrom(value) {
-    return { kind: "dynFrom", value, type: DYN, loc };
+    return { kind: "dynFrom", value, type: DYN, loc: descriptorLoc };
 }
 test("a plain object keeps the default descriptor reader", () => {
     expect(isPlainObjectLiteral(dynObjLit())).toBe(true);
@@ -30,31 +73,31 @@ test("a plain object keeps the default descriptor reader", () => {
         kind: "varRef",
         localId: "p1",
         type: { kind: "record", shapeId: "r1" },
-        loc,
+        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 };
-    const array = { kind: "dynArrLit", elems: [], type: DYN, loc };
+    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,
+        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 };
-    const variable = { kind: "varRef", localId: "p0", type: DYN, loc };
+    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,
+        loc: descriptorLoc,
     });
     const shapes = new Map([
         ["r1", { id: "r1", fields: [] }],
@@ -65,7 +108,7 @@ test("a descriptor map is plain only when every descriptor in it is plain", () =
         kind: "varRef",
         localId: "p1",
         type: { kind: "record", shapeId },
-        loc,
+        loc: descriptorLoc,
     });
     const getRecord = (id) => shapes.get(id);
     expect(isPlainDescriptorMap(map(dynObjLit()), getRecord)).toBe(true);

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

@@ -1 +1 @@
-{"version":3,"file":"lower-calls.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-calls.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAgD,MAAM,gBAAgB,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE9E,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAEjE,SAAS,SAAS;IAChB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,SAAS;IAChB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC;AACzF,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;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACpD,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;KACJ,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,CAAC;IAC3E,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QACnB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,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,CAAC;IAClF,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC3E,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;KACJ,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;KACJ,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"}
+{"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

@@ -22,6 +22,18 @@ export declare function returnsOnlyThisValue(member: ts.MethodDeclaration): bool
  * 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[];
@@ -34,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>;
@@ -211,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