@scriptc/compiler 0.4.6 → 0.4.8

package/dist/ir/union-arm-loops.test.js

@@ -0,0 +1,230 @@
+import { mkdtemp, readFile, rm, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { expect, test } from "vitest";
+import { compile, deserializeModule } from "../index.js";
+import { versionUnionArmLoops } from "./union-arm-loops.js";
+import { validateModule } from "./validate.js";
+import { everyExprChild, everyStmtChild, everyStmtList } from "./traverse.js";
+async function lower(source) {
+    const dir = await mkdtemp(join(tmpdir(), "scriptc-union-arms-"));
+    try {
+        const entry = join(dir, "main.ts");
+        const outPath = join(dir, "main.ir.json");
+        await writeFile(entry, source);
+        const result = await compile(entry, { outDir: dir, outPath, outputKind: "ir" });
+        if (!result.ok)
+            throw new Error(result.diagnostics.map((d) => `${d.code}: ${d.message}`).join("\n"));
+        return deserializeModule(await readFile(outPath, "utf8"));
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+}
+const fn = (mod, name) => mod.functions.find((f) => f.name === name);
+function count(f, match) {
+    let found = 0;
+    everyStmtList(f.body, {
+        stmt: (s) => {
+            if (match(s))
+                found++;
+            return true;
+        },
+        expr: (e) => {
+            if (match(e))
+                found++;
+            return true;
+        },
+    });
+    return found;
+}
+const loops = (f) => count(f, (n) => n.kind === "for" || n.kind === "while" || n.kind === "doWhile");
+/** Narrows and tag tests left on the source value. */
+const narrowsOn = (f, id) => count(f, (e) => e.kind === "unionNarrow" && e.value.kind === "varRef" && e.value.localId === id);
+const testsOn = (f, id) => count(f, (e) => e.kind === "unionIsTag" && e.value.kind === "varRef" && e.value.localId === id);
+/** Narrows of the source inside a loop, where they run per element. */
+function narrowsInLoops(f, id) {
+    let found = 0;
+    const isLoopStmt = (s) => s.kind === "for" || s.kind === "while" || s.kind === "doWhile";
+    // A binding declaration's own narrow runs once per region, not once per
+    // element; only the dispatch the copies keep would.
+    const visitExpr = (e, depth, binding) => {
+        if (depth > 0 &&
+            !binding &&
+            e.kind === "unionNarrow" &&
+            e.value.kind === "varRef" &&
+            e.value.localId === id)
+            found++;
+        everyExprChild(e, (child) => (visitExpr(child, depth, false), true), (child) => (visitStmt(child, depth), true));
+    };
+    const visitStmt = (s, depth) => {
+        const nested = depth + (isLoopStmt(s) ? 1 : 0);
+        everyStmtChild(s, (child) => (visitExpr(child, nested, s.kind === "varDecl"), true), (child) => (visitStmt(child, nested), true));
+    };
+    for (const statement of f.body)
+        visitStmt(statement, 0);
+    return found;
+}
+const UNION = `
+type UintArray = Uint8Array | Uint16Array | Uint32Array;
+`;
+test("a loop that indexes a typed-array union binds each arm before the loop", async () => {
+    const before = await lower(`${UNION}
+function fill(xs: UintArray, rounds: number): number {
+  for (let r = 0; r < rounds; r++) {
+    for (let i = 0; i < xs.length; i++) xs[i] = i & 255;
+  }
+  return xs.length;
+}
+console.log(fill(new Uint32Array(4), 2));
+`);
+    expect(loops(fn(before, "fill"))).toBe(2);
+    expect(narrowsOn(fn(before, "fill"), "xs.0")).toBeGreaterThan(0);
+    const after = versionUnionArmLoops(before);
+    const fill = fn(after, "fill");
+    // Two nested loops per arm: the outer loop's body was copied, the inner one
+    // with it.
+    expect(loops(fill)).toBe(6);
+    // One tag test per arm but the last on the loop's source value, plus the
+    // two the return's own `xs.length` dispatch keeps: every per-element
+    // dispatch inside the loop is gone.
+    expect(testsOn(fill, "xs.0")).toBe(4);
+    expect(narrowsInLoops(fill, "xs.0")).toBe(0);
+    const bound = fill.locals.filter((l) => l.id.startsWith("xs.arm"));
+    expect(bound.map((l) => l.type.kind)).toEqual(["bytes", "bytes", "bytes"]);
+    expect(bound.every((l) => !l.mutable)).toBe(true);
+    // Each copy indexes the bound local: three loops, one store each.
+    expect(count(fill, (n) => n.kind === "bytesSet" && n.arr.kind === "varRef" && n.arr.localId.startsWith("xs.arm"))).toBe(3);
+    expect(validateModule(after)).toEqual([]);
+});
+test("an inner loop's own union is bound too, one region per loop", async () => {
+    const before = await lower(`${UNION}
+type Words = Uint8Array | Uint16Array;
+function copy(xs: UintArray, ys: Words): void {
+  for (let i = 0; i < xs.length; i++) {
+    for (let j = 0; j < ys.length; j++) ys[j] = xs[i]!;
+  }
+}
+copy(new Uint8Array(4), new Uint16Array(4));
+`);
+    const after = versionUnionArmLoops(before);
+    const copy = fn(after, "copy");
+    // The outer loop takes three copies; the inner loop inside each of them
+    // takes two (Uint8Array | Uint16Array): six inner loops, and the outer
+    // loop is not copied again.
+    expect(loops(copy)).toBe(3 + 6);
+    expect(narrowsInLoops(copy, "xs.0")).toBe(0);
+    expect(narrowsInLoops(copy, "ys.0")).toBe(0);
+    expect(validateModule(after)).toEqual([]);
+});
+test("a while loop over the union is bound as well", async () => {
+    const before = await lower(`${UNION}
+function sum(xs: UintArray, n: number): number {
+  let total = 0;
+  let i = 0;
+  while (i < n) {
+    total += xs[i]!;
+    i++;
+  }
+  return total;
+}
+console.log(sum(new Uint8Array(4), 4));
+`);
+    const after = versionUnionArmLoops(before);
+    expect(loops(fn(after, "sum"))).toBe(3);
+    expect(narrowsInLoops(fn(after, "sum"), "xs.0")).toBe(0);
+    expect(validateModule(after)).toEqual([]);
+});
+test("a source the function reassigns is not bound", async () => {
+    const before = await lower(`${UNION}
+function sum(xs: UintArray, ys: UintArray, n: number): number {
+  let total = 0;
+  for (let i = 0; i < n; i++) {
+    total += xs[i]!;
+    if (i === 3) xs = ys;
+  }
+  return total;
+}
+console.log(sum(new Uint8Array(4), new Uint16Array(4), 4));
+`);
+    const after = versionUnionArmLoops(before);
+    expect(after).toBe(before);
+});
+test("a union with a unit arm is left alone", async () => {
+    const before = await lower(`
+type MaybeArray = Uint8Array | undefined;
+function fill(xs: MaybeArray, n: number): void {
+  for (let i = 0; i < n; i++) if (xs !== undefined) xs[i] = i & 255;
+}
+fill(new Uint8Array(4), 4);
+`);
+    const after = versionUnionArmLoops(before);
+    expect(after).toBe(before);
+});
+test("a loop that only reads the length keeps its dispatch", async () => {
+    const before = await lower(`${UNION}
+function size(xs: UintArray): number {
+  let n = 0;
+  for (let i = 0; i < 3; i++) n += xs.length;
+  return n;
+}
+console.log(size(new Uint8Array(4)));
+`);
+    const after = versionUnionArmLoops(before);
+    expect(after).toBe(before);
+});
+test("a union without typed-array arms is left alone", async () => {
+    const before = await lower(`
+function scan(values: (string | number)[]): number {
+  let n = 0;
+  for (let i = 0; i < values.length; i++) {
+    const v = values[i]!;
+    n += typeof v === "number" ? v : v.length;
+  }
+  return n;
+}
+console.log(scan([1, "a"]));
+`);
+    const after = versionUnionArmLoops(before);
+    expect(after).toBe(before);
+});
+test("a loop body over the size limit keeps its dispatch", async () => {
+    const body = Array.from({ length: 90 }, (_, i) => `    if (xs[i]! === ${i}) total += xs[i]!;`).join("\n");
+    const before = await lower(`${UNION}
+function scan(xs: UintArray): number {
+  let total = 0;
+  for (let i = 0; i < xs.length; i++) {
+${body}
+  }
+  return total;
+}
+console.log(scan(new Uint8Array(4)));
+`);
+    expect(narrowsOn(fn(before, "scan"), "xs.0")).toBeGreaterThan(0);
+    const after = versionUnionArmLoops(before);
+    expect(after).toBe(before);
+});
+test("nested loops over three unions stay within the function's version budget", async () => {
+    const before = await lower(`
+type Bytes = Uint8Array | Uint16Array | Uint32Array | Int8Array;
+function nest(xs: Bytes, ys: Bytes, zs: Bytes, n: number): number {
+  let total = 0;
+  for (let i = 0; i < n; i++)
+    for (let j = 0; j < n; j++)
+      for (let k = 0; k < n; k++) {
+        xs[k] = ys[j]! + zs[i]!;
+        total += xs[k]!;
+      }
+  return total;
+}
+console.log(nest(new Uint8Array(2), new Uint16Array(2), new Uint32Array(2), 2));
+`);
+    const after = versionUnionArmLoops(before);
+    const nest = fn(after, "nest");
+    // Nested copies multiply; the function-level budget bounds how much the
+    // versions add to the function.
+    expect(count(nest, () => true)).toBeLessThanOrEqual(count(fn(before, "nest"), () => true) + 2000);
+    expect(loops(nest)).toBeGreaterThan(loops(fn(before, "nest")));
+    expect(validateModule(after)).toEqual([]);
+});
+//# sourceMappingURL=union-arm-loops.test.js.map

package/dist/ir/union-arm-loops.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-arm-loops.test.js","sourceRoot":"","sources":["../../src/ir/union-arm-loops.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9E,KAAK,UAAU,KAAK,CAAC,MAAc;IACjC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC1C,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAChF,IAAI,CAAC,MAAM,CAAC,EAAE;YACZ,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACvF,OAAO,iBAAiB,CAAC,MAAM,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5D,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,MAAM,EAAE,GAAG,CAAC,GAAa,EAAE,IAAY,EAAc,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC;AAEpG,SAAS,KAAK,CAAC,CAAa,EAAE,KAAyC;IACrE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE;QACpB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,KAAK,CAAC,CAAC,CAAC;gBAAE,KAAK,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,KAAK,CAAC,CAAC,CAAC;gBAAE,KAAK,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,CAAa,EAAU,EAAE,CACtC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;AAElF,sDAAsD;AACtD,MAAM,SAAS,GAAG,CAAC,CAAa,EAAE,EAAU,EAAU,EAAE,CACtD,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;AACnG,MAAM,OAAO,GAAG,CAAC,CAAa,EAAE,EAAU,EAAU,EAAE,CACpD,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;AAElG,uEAAuE;AACvE,SAAS,cAAc,CAAC,CAAa,EAAE,EAAU;IAC/C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,UAAU,GAAG,CAAC,CAAS,EAAW,EAAE,CACxC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;IACjE,wEAAwE;IACxE,oDAAoD;IACpD,MAAM,SAAS,GAAG,CAAC,CAAS,EAAE,KAAa,EAAE,OAAgB,EAAQ,EAAE;QACrE,IACE,KAAK,GAAG,CAAC;YACT,CAAC,OAAO;YACR,CAAC,CAAC,IAAI,KAAK,aAAa;YACxB,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YACzB,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,EAAE;YAEtB,KAAK,EAAE,CAAC;QACV,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,EACjD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAC3C,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,CAAS,EAAE,KAAa,EAAQ,EAAE;QACnD,MAAM,MAAM,GAAG,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,IAAI,CAAC,EACjE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAC5C,CAAC;IACJ,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,CAAC,CAAC,IAAI;QAAE,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACxD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,KAAK,GAAG;;CAEb,CAAC;AAEF,IAAI,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;IACxF,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,GAAG,KAAK;;;;;;;;CAQpC,CAAC,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAEjE,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC/B,4EAA4E;IAC5E,WAAW;IACX,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,yEAAyE;IACzE,qEAAqE;IACrE,oCAAoC;IACpC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,kEAAkE;IAClE,MAAM,CACJ,KAAK,CACH,IAAI,EACJ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAC9F,CACF,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACV,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC5C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;IAC7E,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,GAAG,KAAK;;;;;;;;CAQpC,CAAC,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC/B,wEAAwE;IACxE,uEAAuE;IACvE,4BAA4B;IAC5B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC5C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;IAC9D,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,GAAG,KAAK;;;;;;;;;;;CAWpC,CAAC,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC5C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;IAC9D,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,GAAG,KAAK;;;;;;;;;;CAUpC,CAAC,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;IACvD,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC;;;;;;CAM5B,CAAC,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;IACtE,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,GAAG,KAAK;;;;;;;CAOpC,CAAC,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;IAChE,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC;;;;;;;;;;CAU5B,CAAC,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;IACpE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CACrB,EAAE,MAAM,EAAE,EAAE,EAAE,EACd,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,oBAAoB,CACtD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,GAAG,KAAK;;;;EAInC,IAAI;;;;;CAKL,CAAC,CAAC;IACD,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;IAC1F,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC;;;;;;;;;;;;;CAa5B,CAAC,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC/B,wEAAwE;IACxE,gCAAgC;IAChC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IAClG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC5C,CAAC,CAAC,CAAC"}

package/dist/ir/validate.js

@@ -49,6 +49,8 @@ export function validateModule(mod) {
         errors.push({ message: "declOrigins must be an array of strings", loc: moduleLoc });
     if (mod.untypedIntegrity !== undefined && mod.untypedIntegrity !== true)
         errors.push({ message: "untypedIntegrity must be true when present", loc: moduleLoc });
+    if (mod.bytesHeadersMutable !== undefined && mod.bytesHeadersMutable !== true)
+        errors.push({ message: "bytesHeadersMutable must be true when present", loc: moduleLoc });
     if (mod.lifetimeRegions !== undefined && mod.lifetimeRegions !== true)
         errors.push({ message: "lifetimeRegions must be true when present", loc: moduleLoc });
     if (mod.workers && mod.lib !== undefined)
@@ -869,11 +871,11 @@ export function validateModule(mod) {
         }
     }
     for (const fn of mod.functions) {
-        validateFunction(fn, functionsByName, ffiByName, classesByName, recordsById, recordValidation, unionsById, globalsById, classValidation, errors, mod.workers === true, mod.lifetimeRegions === true, new Set(mod.threadSlotKeys ?? []), mod.declOrigins?.length ?? 0);
+        validateFunction(fn, functionsByName, ffiByName, classesByName, recordsById, recordValidation, unionsById, globalsById, classValidation, errors, mod.workers === true, mod.lifetimeRegions === true, new Set(mod.threadSlotKeys ?? []), mod.declOrigins?.length ?? 0, mod.recordLinks ?? []);
     }
     return errors;
 }
-function validateFunction(fn, functions, ffiByName, classes, records, recordValidation, unions, globals, classValidation, errors, workers, lifetimeRegions, threadSlotKeys, declOriginCount) {
+function validateFunction(fn, functions, ffiByName, classes, records, recordValidation, unions, globals, classValidation, errors, workers, lifetimeRegions, threadSlotKeys, declOriginCount, recordLinks) {
     const locals = new Map(fn.locals.map((l) => [l.id, l]));
     const err = (message, loc) => errors.push({ message: `in ${fn.name}: ${message}`, loc });
     // Invariant I1 (ir/tiers.ts): a static function reaches dynamic values
@@ -1998,10 +2000,13 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     !validByteNumberToken(e.method, e.args[0].value)) {
                     err(`bytesIntrinsic ${e.method} invalid kind token '${e.args[0].value}'`, e.loc);
                 }
-                // fillStr/writeStr carry their NORMALIZED encoding as args[1],
-                // always a strLit (the frontend folds the aliases).
-                if ((e.method === "fillStr" || e.method === "writeStr") && e.args[1]?.kind !== "strLit") {
-                    err(`bytesIntrinsic ${e.method} args[1] must be a strLit encoding`, e.loc);
+                // fillStr/writeStr carry their NORMALIZED encoding as args[1]: a
+                // strLit when the frontend folded a literal alias, otherwise a
+                // string value the frontend normalized at run time.
+                if ((e.method === "fillStr" || e.method === "writeStr") &&
+                    e.args[1]?.kind !== "strLit" &&
+                    !(e.args[1] !== undefined && typeEquals(e.args[1].type, STRING))) {
+                    err(`bytesIntrinsic ${e.method} args[1] must be a string encoding`, e.loc);
                 }
                 const EXTRA_SIGS = {
                     buffer: { argTypes: [], minArgs: 0, result: DYN },
@@ -2588,14 +2593,21 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     break;
                 }
                 const ft = e.callee.type;
-                if (ft.params.length !== e.args.length) {
-                    err(`callValue: ${e.args.length} args, expected ${ft.params.length}`, e.loc);
+                // A checked-dynamic variadic value's lifted signature carries one
+                // trailing dyn array after its declared parameters.
+                const hiddenRest = ft.rest === true && ft.restAbi === undefined;
+                if (ft.params.length + (hiddenRest ? 1 : 0) !== e.args.length) {
+                    err(`callValue: ${e.args.length} args, expected ${ft.params.length + (hiddenRest ? 1 : 0)}`, e.loc);
                 }
                 e.args.forEach((a, i) => {
                     const p = ft.params[i];
                     if (p)
                         expectType(a, p, `callValue arg ${i}`);
                 });
+                const hiddenArg = hiddenRest ? e.args[ft.params.length] : undefined;
+                if (hiddenArg !== undefined && hiddenArg.type.kind !== "dyn") {
+                    err(`callValue hidden rest argument is ${hiddenArg.type.kind}, not dyn`, e.loc);
+                }
                 if (!typeEquals(e.type, ft.ret)) {
                     err(`callValue type ${e.type.kind} != return ${ft.ret.kind}`, e.loc);
                 }
@@ -3165,7 +3177,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     err(`dynCall must be dyn-typed, got ${e.type.kind}`, e.loc);
                 for (const a of e.args) {
                     checkExpr(a);
-                    if (a.type.kind !== "dyn")
+                    if (a.type.kind !== "dyn" && !(a.type.kind === "jsval" && e.spreads === undefined))
                         err(`dynCall argument of kind ${a.type.kind} (must be dyn)`, e.loc);
                 }
                 // The runtime-arity form: spread entries point into args (their
@@ -3196,7 +3208,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     err(`dynInvoke must be dyn-typed, got ${e.type.kind}`, e.loc);
                 for (const a of e.args) {
                     checkExpr(a);
-                    if (a.type.kind !== "dyn")
+                    if (a.type.kind !== "dyn" && a.type.kind !== "jsval")
                         err(`dynInvoke argument of kind ${a.type.kind} (must be dyn)`, e.loc);
                 }
                 break;
@@ -3483,6 +3495,20 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                         return;
                     }
                     if (arm.kind !== "record") {
+                        // A SCALAR PRIMITIVE arm under a literal key answers undefined:
+                        // JS boxes the primitive, finds no such property, and gets
+                        // undefined — the answer a record arm without the key gives.
+                        // The frontend only emits this when the primitive's own type
+                        // declares no such member, and the result must carry the
+                        // undefined arm (the backend stores it).
+                        if (e.key.kind === "strLit" &&
+                            (arm.kind === "string" ||
+                                arm.kind === "f64" ||
+                                arm.kind === "bool" ||
+                                arm.kind === "bigint") &&
+                            resultUnion?.arms.some((a) => a.kind === "undefinedT")) {
+                            return;
+                        }
                         err(`unionKeyGet: arm ${i} of ${e.unionId} is ${arm.kind}, not a record`, e.loc);
                         return;
                     }
@@ -3499,6 +3525,12 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                         }
                         return;
                     }
+                    // A declared-only arm that lacks a literal key has no such own
+                    // property: it answers undefined, like a unit arm.
+                    if (literal !== null &&
+                        !shape.indexValue &&
+                        resultUnion?.arms.some((a) => a.kind === "undefinedT"))
+                        return;
                     if (!shape.indexValue && !(literal === null && shape.fields.length > 0)) {
                         err(`unionKeyGet: arm ${i} of ${e.unionId} has no answer for the key`, e.loc);
                     }
@@ -3794,6 +3826,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
         const variadic = e.fn === "emitter.emit" ||
             e.fn === "emitter.emitFlex" ||
             e.fn === "emitter.emitAny" ||
+            e.fn === "emitter.emitErrorValue" ||
             e.fn === "emitter.emitMixed" ||
             e.fn === "readable.new" ||
             e.fn === "writable.new" ||
@@ -3829,9 +3862,22 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             e.fn === "readable.unpipe" ||
             e.fn === "rl.create" ||
             e.fn === "rl.createSignal";
-        if (variadic ? e.args.length < sig.argTypes.length : e.args.length !== sig.argTypes.length) {
+        // error.nodeThrow takes an optional fourth argument: the error's own
+        // `url` property (a string).
+        const optionalUrl = e.fn === "error.nodeThrow" && e.args.length === 4;
+        // fs.unwatchFile's listener is optional, so its last slot may be
+        // omitted (1 or 2 args) rather than extended.
+        const optionalTail = e.fn === "fs.unwatchFile" ? 1 : 0;
+        const arityOk = variadic
+            ? e.args.length >= sig.argTypes.length
+            : e.args.length === sig.argTypes.length ||
+                optionalUrl ||
+                (optionalTail > 0 && e.args.length === sig.argTypes.length - optionalTail);
+        if (!arityOk) {
             err(`libCall ${e.fn}: ${e.args.length} args, expected ${sig.argTypes.length}`, e.loc);
         }
+        if (optionalUrl)
+            expectType(e.args[3], STRING, `libCall ${e.fn} arg 3`);
         e.args.forEach((a, i) => {
             checkExpr(a);
             const want = sig.argTypes[i];
@@ -3895,6 +3941,27 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
         }
     }
     function checkLibValueCall(e) {
+        // A record link names a pair of the module's recordLinks: the copy has
+        // the pair's target type, the source (and linkSource's result) its
+        // source type.
+        if (e.fn === "record.link" || e.fn === "record.linkIs" || e.fn === "record.linkSource") {
+            const pairArg = e.args[e.fn === "record.link" ? 2 : 1];
+            const pair = pairArg?.kind === "numLit"
+                ? recordLinks.find((link) => link.pair === pairArg.value)
+                : undefined;
+            if (!pair) {
+                err(`libCall ${e.fn} must name a pair of the module's recordLinks`, e.loc);
+                return true;
+            }
+            const copy = e.args[0];
+            if (copy?.type.kind !== "record" || copy.type.shapeId !== pair.to)
+                err(`libCall ${e.fn} copy must have the pair's target type`, e.loc);
+            const sourceType = e.fn === "record.link" ? e.args[1]?.type : e.fn === "record.linkSource" ? e.type : null;
+            if (sourceType !== null &&
+                (sourceType?.kind !== "record" || sourceType.shapeId !== pair.from))
+                err(`libCall ${e.fn} source must have the pair's source type`, e.loc);
+            return true;
+        }
         // ArraySpeciesCreate over an Array method's result, and Array.of /
         // Array.from on a class that extends Array: the result has the plain
         // result's array type.
@@ -4091,6 +4158,19 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             }
             return true;
         }
+        if (e.fn === "process.stdinIsRaw") {
+            // Result is the module's interned `boolean | undefined` union
+            // (Node's undefined on a pipe-backed stdin).
+            const def = e.type.kind === "union" ? unions.get(e.type.unionId) : undefined;
+            const ok = def &&
+                def.arms.length === 2 &&
+                def.arms[0].kind === "bool" &&
+                def.arms[1].kind === "undefinedT";
+            if (!ok) {
+                err(`libCall process.stdinIsRaw must return the 'boolean | undefined' union`, e.loc);
+            }
+            return true;
+        }
         return false;
     }
     function checkLibNetworkCall(e) {
@@ -4291,6 +4371,22 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             }
             return true;
         }
+        if (e.fn === "http.serverOnClientError") {
+            // (err, socket) or a shorter prefix, void return.
+            const cbT = e.args[1]?.type;
+            let ok = cbT?.kind === "func" && cbT.ret.kind === "void" && cbT.params.length <= 2;
+            if (ok && cbT?.kind === "func") {
+                const [p0, p1] = cbT.params;
+                if (p0 !== undefined && !(p0.kind === "object" && p0.className === "%Error"))
+                    ok = false;
+                if (p1 !== undefined && p1.kind !== "netSocket")
+                    ok = false;
+            }
+            if (!ok) {
+                err(`libCall ${e.fn} callback shape (frontend must fence)`, e.loc);
+            }
+            return true;
+        }
         if (e.fn === "net.listenOptsCb" || e.fn === "net.listenOptsReusePortCb") {
             const cbIndex = e.fn === "net.listenOptsReusePortCb" ? 5 : 4;
             const t = e.args[cbIndex]?.type;
@@ -4707,7 +4803,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             }
             return true;
         }
-        if (e.fn === "qs.parse") {
+        if (e.fn === "qs.parse" || e.fn === "qs.parseCustom") {
             // Result: a pure index-signature record whose value union
             // carries a string arm and a string[] arm (undefined tolerated
             // — @types/node's Dict — and f64 too: the header-family
@@ -4739,13 +4835,13 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
         return false;
     }
     function checkLibProcessCall(e) {
-        if (e.fn === "cp.execFile") {
+        if (e.fn === "cp.execFile" || e.fn === "cp.execFileCwd") {
             const cb = e.args[2]?.type;
             if (cb?.kind !== "func" ||
                 cb.rest === true ||
                 cb.params.length > 3 ||
                 cb.ret.kind !== "void") {
-                err(`libCall cp.execFile callback must be a non-rest void function with at most three parameters`, e.loc);
+                err(`libCall ${e.fn} callback must be a non-rest void function with at most three parameters`, e.loc);
             }
             else {
                 const error = cb.params[0];
@@ -4755,16 +4851,16 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                         def.arms.length !== 2 ||
                         !def.arms.some((arm) => arm.kind === "nullT") ||
                         !def.arms.some((arm) => arm.kind === "object" && arm.className === "%Error")) {
-                        err(`libCall cp.execFile callback error parameter must be Error | null`, e.loc);
+                        err(`libCall ${e.fn} callback error parameter must be Error | null`, e.loc);
                     }
                 }
                 const stdout = cb.params[1];
                 if (stdout !== undefined && stdout.kind !== "string") {
-                    err(`libCall cp.execFile callback stdout parameter must be string`, e.loc);
+                    err(`libCall ${e.fn} callback stdout parameter must be string`, e.loc);
                 }
                 const stderr = cb.params[2];
                 if (stderr !== undefined && stderr.kind !== "string") {
-                    err(`libCall cp.execFile callback stderr parameter must be string`, e.loc);
+                    err(`libCall ${e.fn} callback stderr parameter must be string`, e.loc);
                 }
             }
         }
@@ -4828,7 +4924,8 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
         if (e.fn === "process.onExit" ||
             e.fn === "process.offExit" ||
             e.fn === "stdin.onData" ||
-            e.fn === "stdin.onError") {
+            e.fn === "stdin.onError" ||
+            e.fn === "stdin.onReadable") {
             // The listener: a void closure with no params, or exactly the
             // one supported parameter shape per event (code number / data
             // chunk bytes / error %Error).
@@ -4841,7 +4938,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                 else if (e.fn === "stdin.onError")
                     ok = p.kind === "object" && p.className === "%Error";
                 else
-                    ok = p.kind === "f64";
+                    ok = e.fn !== "stdin.onReadable" && p.kind === "f64";
             }
             if (!ok) {
                 err(`libCall ${e.fn} callback shape (frontend must fence)`, e.loc);
@@ -4860,6 +4957,18 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             }
             return true;
         }
+        if (e.fn === "stdin.read") {
+            // Result is the module's interned `Uint8Array | null` union.
+            const def = e.type.kind === "union" ? unions.get(e.type.unionId) : undefined;
+            const ok = def &&
+                def.arms.length === 2 &&
+                def.arms.some((a) => a.kind === "bytes") &&
+                def.arms.some((a) => a.kind === "nullT");
+            if (!ok) {
+                err(`libCall stdin.read must return the 'Uint8Array | null' union`, e.loc);
+            }
+            return true;
+        }
         if (e.fn === "spawnRes.signal") {
             // Result is the module's interned `string | null` union.
             const def = e.type.kind === "union" ? unions.get(e.type.unionId) : undefined;
@@ -5687,6 +5796,10 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     err(`libCall ${e.fn} payloads must be checked-dynamic`, e.loc);
                 }
             }
+            if (e.fn === "emitter.emitErrorValue" &&
+                e.args.slice(1).some((arg) => arg.type.kind !== "dyn")) {
+                err(`libCall emitter.emitErrorValue payloads must be checked-dynamic`, e.loc);
+            }
             if (e.fn === "emitter.emitMixed") {
                 const count = e.args[2];
                 const k = count?.kind === "numLit" ? count.value : -1;
@@ -5700,6 +5813,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             if (e.fn === "emitter.emit" ||
                 e.fn === "emitter.emitFlex" ||
                 e.fn === "emitter.emitAny" ||
+                e.fn === "emitter.emitErrorValue" ||
                 e.fn === "emitter.emitMixed" ||
                 e.fn === "emitter.hasTyped" ||
                 e.fn === "emitter.listenersDyn" ||
@@ -5740,6 +5854,8 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                 if (e.origin !== undefined &&
                     (!Number.isInteger(e.origin) || e.origin < 0 || e.origin >= declOriginCount))
                     err(`dynCheck origin ${e.origin} is not an index of declOrigins`, e.loc);
+                if (e.pathIndex !== undefined && (!Number.isInteger(e.pathIndex) || e.pathIndex < 0))
+                    err(`dynCheck pathIndex ${e.pathIndex} is not an array position`, e.loc);
                 // The target drives the emitted validator/builder: non-dyn,
                 // non-void, JSON-representable (closures/class instances can never
                 // be found inside a JSON dyn — the frontend rejects those casts).
@@ -5777,6 +5893,32 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     !handleOk) {
                     err(`dynCheck against non-JSON-representable type ${e.type.kind}`, e.loc);
                 }
+                if (e.partialView === true) {
+                    // A partial record assertion (record-views.ts): the operand is a
+                    // live record whose fields are a SUBSET of the target's, with
+                    // equal types, so the view lacks only properties the record
+                    // never had.
+                    if (e.type.kind !== "record" ||
+                        e.value.kind !== "dynFrom" ||
+                        e.value.liveRef !== true ||
+                        e.value.value.type.kind !== "record") {
+                        err(`partialView dynCheck needs a live-record operand and a record target`, e.loc);
+                        break;
+                    }
+                    const target = records.get(e.type.shapeId);
+                    const source = records.get(e.value.value.type.shapeId);
+                    if (!target || !source) {
+                        err(`partialView dynCheck names an unknown record shape`, e.loc);
+                        break;
+                    }
+                    for (const field of source.fields) {
+                        const found = target.fields.find((f) => f.name === field.name);
+                        if (!found || typeKey(found.type) !== typeKey(field.type)) {
+                            err(`partialView source field "${field.name}" is not a target field with an equal type`, e.loc);
+                            break;
+                        }
+                    }
+                }
                 break;
             }
             default: {
@@ -5825,9 +5967,9 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                         err("invalid delegated yield", e.loc);
                 }
                 else if (e.captureCompletion) {
-                    if (fn.async ||
-                        e.type.kind !== "dyn" ||
-                        !typeEquals(e.captureCompletion.returnType, fn.returnType)) {
+                    // Both kinds capture: an async generator's delegation forwards
+                    // the received completion to its delegate the same way.
+                    if (e.type.kind !== "dyn" || !typeEquals(e.captureCompletion.returnType, fn.returnType)) {
                         err("invalid captured generator completion", e.loc);
                     }
                 }
@@ -6361,6 +6503,12 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                 if (s.message.length === 0)
                     err(`runtimeFence with an empty message`, s.loc);
                 break;
+            case "genBindBarrier":
+                // The generator bind barrier: a marker in a bindAtCall body only.
+                if (fn.generator?.bindAtCall !== true) {
+                    err(`genBindBarrier in a body without generator.bindAtCall`, s.loc);
+                }
+                break;
             case "rethrow": {
                 // `throw e` of a catch binding: re-raises the saved snapshot.
                 const local = locals.get(s.localId) ?? globals.get(s.localId);