@scriptc/compiler 0.3.6 → 0.4.1

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

@@ -15,10 +15,10 @@
 import * as ts from "../ts7/adapter.js";
 import { resultIsDiscarded } from "./call-position.js";
 import { locOf } from "../program.js";
-import { F64, STRING, VOID, isUnitType, } from "../../ir/ir.js";
-import { numLit, strLit } from "../../ir/build.js";
-import { lowerMockContextCall, lowerMockContextProperty, lowerMockFn, lowerMockMethod, lowerMockTrackerCall, } from "./lower-mock.js";
-const MOCK_HINT = "mock.fn, mock.method, mock.restoreAll and mock.reset are the supported mock members";
+import { BOOL, DYN, F64, STRING, TESTCTX_T, VOID, isUnitType, } from "../../ir/ir.js";
+import { dynUndefinedExpr, numLit, strLit, varRef } from "../../ir/build.js";
+import { lowerMockContextCall, lowerMockContextProperty, lowerMockFn, lowerMockMethod, lowerMockTimersCall, lowerMockTrackerCall, } from "./lower-mock.js";
+const MOCK_HINT = "mock.fn, mock.method, mock.restoreAll, mock.reset and mock.timers are the supported mock members";
 /** The mock tracker members that lower, for the module's `mock` (tracker
  * null) and t.mock. Null for other members. */
 function lowerMockTrackerMember(lowerer, call, member, what, tracker) {
@@ -35,7 +35,7 @@ function lowerMockTrackerMember(lowerer, call, member, what, tracker) {
     }
 }
 const TEST_FN_HINT = "test bodies take () or (t: TestContext) and return void or Promise<void>";
-const TESTCTX_SURFACE_HINT = "t.test, t.skip, t.todo, t.diagnostic, t.plan, t.before, t.after, t.beforeEach, t.afterEach, t.name, t.fullName, and t.assert.* are the supported TestContext members";
+const TESTCTX_SURFACE_HINT = "t.test, t.skip, t.todo, t.diagnostic, t.plan, t.before, t.after, t.beforeEach, t.afterEach, t.name, t.fullName, t.filePath, t.attempt, t.passed, t.workerId, t.tags, and t.assert.* are the supported TestContext members";
 /** Registration calls return Node's Promise<void>, but the promise only
  * resolves through the runner — consuming it outside `await t.test(...)`
  * has no lowering, so top-level registrations stand as statements. */
@@ -50,19 +50,37 @@ function requireStatementPosition(lowerer, call, what) {
  * reports the `test` property's column), at the call for plain ones. */
 function atStringOf(expr) {
     const target = ts.isPropertyAccessExpression(expr.expression) ? expr.expression.name : expr;
-    const sf = expr.getSourceFile();
-    const pos = sf.getLineAndCharacterOfPosition(target.getStart());
+    const sf = ts.getSourceFileOfNode(expr);
+    const pos = sf.getLineAndCharacterOfPosition(ts.tokenStartOfNode(target));
     return `${sf.fileName}:${pos.line + 1}:${pos.character + 1}`;
 }
 const noOptions = () => ({
-    mode: 0,
-    msg: null,
+    skip: false,
+    skipMsg: null,
+    todo: false,
+    todoMsg: null,
     only: false,
     plan: -1,
     timeout: null,
     concurrency: null,
     pre: [],
 });
+/** The runtime mode (0 run / 1 skip / 2 todo) and directive message of a
+ * test or suite, as Node's Test constructor settles them: the skip and todo
+ * method twins override the options of the same name, skip wins over
+ * todo, and the message is the skip string, else the todo string. */
+function directiveOf(opts, methodMode, loc) {
+    if (methodMode === 1) {
+        opts.skip = true;
+        opts.skipMsg = null;
+    }
+    if (methodMode === 2) {
+        opts.todo = true;
+        opts.todoMsg = null;
+    }
+    const mode = opts.skip ? 1 : opts.todo ? 2 : 0;
+    return [numLit(mode, loc), opts.skipMsg ?? opts.todoMsg ?? strLit("", loc)];
+}
 /** Flags 8 and 16: a { timeout } and a { concurrency } are given. */
 const optionFlags = (opts) => (opts.only ? 4 : 0) | (opts.timeout ? 8 : 0) | (opts.concurrency ? 16 : 0);
 /** Evaluates a non-literal option value into a hidden local, so option
@@ -86,7 +104,7 @@ function lowerTestOptions(lowerer, node, what, suite) {
             : "pass the options as an object literal: { skip?, todo?, only?, concurrency?, plan?, timeout? }");
     }
     const out = noOptions();
-    for (const prop of node.properties) {
+    for (const prop of node.properties.nodes) {
         if (!(ts.isPropertyAssignment(prop) && ts.isIdentifier(prop.name)) &&
             !ts.isShorthandPropertyAssignment(prop)) {
             lowerer.noLowering(`${what} options with computed keys or spreads`, prop, "each option must be a `name: value` or shorthand entry with a literal key");
@@ -96,17 +114,29 @@ function lowerTestOptions(lowerer, node, what, suite) {
         // A shorthand entry's value is the binding of the same name.
         const init = ts.isPropertyAssignment(prop) ? prop.initializer : key;
         if (name === "skip" || name === "todo") {
-            const mode = name === "skip" ? 1 : 2;
             const t = lowerer.typeOf(init);
             if (t.isStringLiteralType() || lowerer.mapTypeOf(t)?.kind === "string") {
-                out.mode = mode;
-                out.msg = optionValue(lowerer, out, lowerer.lowerExprExpecting(init, STRING), locOf(init));
+                const msg = optionValue(lowerer, out, lowerer.lowerExprExpecting(init, STRING), locOf(init));
+                if (name === "skip") {
+                    out.skip = true;
+                    out.skipMsg = msg;
+                }
+                else {
+                    out.todo = true;
+                    out.todoMsg = msg;
+                }
             }
-            else if (init.kind === ts.SyntaxKind.TrueKeyword) {
-                out.mode = mode;
-            }
-            else if (init.kind === ts.SyntaxKind.FalseKeyword) {
-                // explicit false: run normally
+            else if (init.kind === ts.SyntaxKind.TrueKeyword ||
+                init.kind === ts.SyntaxKind.FalseKeyword) {
+                const on = init.kind === ts.SyntaxKind.TrueKeyword;
+                if (name === "skip") {
+                    out.skip = on;
+                    out.skipMsg = null;
+                }
+                else {
+                    out.todo = on;
+                    out.todoMsg = null;
+                }
             }
             else {
                 lowerer.noLowering(`${what} with a non-literal ${name} value`, init, `${name} takes the literal true/false or a string message here`);
@@ -190,22 +220,115 @@ function lowerBodyArg(lowerer, node, what, allowCtx) {
 /** The shared registration lowering behind test/it and their skip/todo/
  * only method twins — and, with `sub`, behind t.test. Argument shapes:
  * (name), (name, fn), (name, options, fn). */
+/** The `name` a function value has in JavaScript, when the compiler can
+ * tell: "" for an anonymous function expression, the declared or binding
+ * name otherwise; null for other expressions. */
+function staticFunctionName(lowerer, node) {
+    while (ts.isParenthesizedExpression(node))
+        node = node.expression;
+    if (ts.isArrowFunction(node))
+        return "";
+    if (ts.isFunctionExpression(node))
+        return node.name?.text ?? "";
+    if (!ts.isIdentifier(node))
+        return null;
+    const symbol = lowerer.resolveValueSymbol(node);
+    if (!symbol)
+        return null;
+    for (const decl of symbol.declarations) {
+        if (ts.isFunctionDeclaration(decl))
+            return decl.name?.text ?? "default";
+        if (ts.isVariableDeclaration(decl) && ts.isIdentifier(decl.name) && decl.initializer) {
+            let init = decl.initializer;
+            while (ts.isParenthesizedExpression(init))
+                init = init.expression;
+            if (ts.isFunctionExpression(init) && init.name)
+                return init.name.text;
+            if (ts.isArrowFunction(init) || ts.isFunctionExpression(init))
+                return decl.name.text;
+        }
+    }
+    return null;
+}
+/** Node's (name?, options?, fn?) argument forms (`Test#createSubtest`): a
+ * leading function is the body, a leading object the options, otherwise
+ * the first argument is the name and a following object the options. */
+function splitTestArgs(lowerer, expr, what) {
+    const args = expr.arguments.nodes;
+    const isFn = (a) => lowerer.checker.getCallSignatures(lowerer.typeOf(a)).length > 0;
+    const isOptions = (a) => ts.isObjectLiteralExpression(a);
+    const unsupported = () => lowerer.noLowering(`${what} with these arguments`, expr, "the supported forms are (name?, options?, fn?) with a string name, an options object literal, and a function");
+    if (args.length > 3 || args.some(ts.isSpreadElement))
+        unsupported();
+    const out = {};
+    let i = 0;
+    const next = args[i];
+    if (next !== undefined && !isFn(next) && !isOptions(next)) {
+        out.nameNode = next;
+        i++;
+    }
+    const options = args[i];
+    if (options !== undefined && isOptions(options)) {
+        out.optionsNode = options;
+        i++;
+    }
+    const fn = args[i];
+    if (fn !== undefined && isFn(fn)) {
+        out.fnNode = fn;
+        i++;
+    }
+    if (i < args.length)
+        unsupported();
+    return out;
+}
+/** The test's name, as Node's Test constructor completes it: a missing or
+ * empty name takes the function's name, or "<anonymous>". */
+function lowerTestName(lowerer, expr, what, nameNode, fnNode, loc) {
+    const fallback = () => {
+        const fnName = fnNode ? staticFunctionName(lowerer, fnNode) : "";
+        if (fnName === null) {
+            lowerer.noLowering(`${what} without a name, with a function whose name is not known at compile time`, fnNode ?? expr, "give the test a name, or pass a function expression or a declared function");
+        }
+        return fnName || "<anonymous>";
+    };
+    if (!nameNode)
+        return strLit(fallback(), loc);
+    const name = lowerer.lowerExprExpecting(nameNode, STRING);
+    if (name.kind === "strLit")
+        return name.value === "" ? strLit(fallback(), loc) : name;
+    // A name computed at run time: when the function's own name is not known
+    // at compile time (a function passed in as a parameter, say), the name
+    // is used as given, and an empty one stays empty (the limitations page
+    // notes it). Refusing here would refuse every helper that registers
+    // tests for its callers.
+    if (fnNode && staticFunctionName(lowerer, fnNode) === null)
+        return name;
+    const slot = lowerer.declareHiddenLocal("%testName", STRING);
+    const value = varRef(slot.id, STRING, loc);
+    return {
+        kind: "seqExpr",
+        stmts: [{ kind: "varDecl", localId: slot.id, init: name, loc }],
+        result: {
+            kind: "ternary",
+            cond: { kind: "strEq", negated: false, left: value, right: strLit("", loc), type: BOOL, loc },
+            then: strLit(fallback(), loc),
+            else_: value,
+            type: STRING,
+            loc,
+        },
+        type: STRING,
+        loc,
+    };
+}
 function lowerRegistration(lowerer, expr, what, loc, methodMode, // 0 none, 1 skip, 2 todo, 3 only
 sub) {
     if (sub === null)
         requireStatementPosition(lowerer, expr, what);
-    const args = expr.arguments;
-    if (args.length < 1 || args.length > 3) {
-        lowerer.noLowering(`${what} with ${args.length} arguments`, expr, "the supported forms are (name), (name, fn), and (name, options, fn)");
-    }
-    let name = lowerer.lowerExprExpecting(args[0], STRING);
+    const { nameNode, optionsNode, fnNode } = splitTestArgs(lowerer, expr, what);
+    let name = lowerTestName(lowerer, expr, what, nameNode, fnNode, loc);
     let opts = noOptions();
-    let fnNode;
-    if (args.length === 2)
-        fnNode = args[1];
-    if (args.length === 3) {
-        opts = lowerTestOptions(lowerer, args[1], what, false);
-        fnNode = args[2];
+    if (optionsNode) {
+        opts = lowerTestOptions(lowerer, optionsNode, what, false);
         // The name runs before the option values.
         if (opts.pre.length > 0 && name.kind !== "strLit") {
             const slot = lowerer.declareHiddenLocal("%testName", STRING);
@@ -213,13 +336,10 @@ sub) {
             name = { kind: "varRef", localId: slot.id, type: STRING, loc };
         }
     }
-    if (methodMode === 1 || methodMode === 2)
-        opts.mode = methodMode;
     if (methodMode === 3)
         opts.only = true;
     const at = strLit(atStringOf(expr), loc);
-    const mode = numLit(opts.mode, loc);
-    const msg = opts.msg ?? strLit("", loc);
+    const [mode, msg] = directiveOf(opts, methodMode, loc);
     const flagBits = optionFlags(opts);
     const planTimeout = [
         numLit(opts.plan, loc),
@@ -268,36 +388,35 @@ sub) {
  * zero-parameter closure that runs AT registration. */
 function lowerSuite(lowerer, expr, what, loc, methodMode) {
     requireStatementPosition(lowerer, expr, what);
-    const args = expr.arguments;
-    if (args.length < 2 || args.length > 3) {
-        lowerer.noLowering(`${what} with ${args.length} arguments`, expr, "the supported forms are (name, fn) and (name, options, fn)");
-    }
-    let name = lowerer.lowerExprExpecting(args[0], STRING);
+    const split = splitTestArgs(lowerer, expr, what);
+    let name = lowerTestName(lowerer, expr, what, split.nameNode, split.fnNode, loc);
     let opts = noOptions();
-    let fnNode = args[1];
-    if (args.length === 3) {
-        opts = lowerTestOptions(lowerer, args[1], what, true);
-        fnNode = args[2];
+    if (split.optionsNode) {
+        opts = lowerTestOptions(lowerer, split.optionsNode, what, true);
         if (opts.pre.length > 0 && name.kind !== "strLit") {
             const slot = lowerer.declareHiddenLocal("%testName", STRING);
             opts.pre.unshift({ kind: "varDecl", localId: slot.id, init: name, loc });
             name = { kind: "varRef", localId: slot.id, type: STRING, loc };
         }
     }
-    if (methodMode === 1 || methodMode === 2)
-        opts.mode = methodMode;
+    const fnNode = split.fnNode;
+    if (!fnNode) {
+        lowerer.noLowering(`${what} without a body`, expr, "give the suite a body function");
+    }
     const cb = lowerer.lowerExpr(fnNode);
-    if (cb.type.kind !== "func" || cb.type.params.length !== 0) {
-        lowerer.noLowering(`${what} whose body is not a zero-parameter function`, fnNode, "suite bodies take no parameters (they run at registration)");
+    // The body may take the SuiteContext (flag 2, as test bodies take theirs).
+    if (cb.type.kind !== "func" ||
+        cb.type.params.length > 1 ||
+        (cb.type.params.length === 1 && cb.type.params[0].kind !== "testCtx")) {
+        lowerer.noLowering(`${what} whose body is not a function of the SuiteContext`, fnNode, "suite bodies take no parameters or the SuiteContext (they run at registration)");
     }
     if (cb.type.ret.kind !== "void" && !isUnitType(cb.type.ret)) {
         lowerer.noLowering(`${what} with a non-void body`, fnNode, "suite bodies are synchronous and return nothing");
     }
     const at = strLit(atStringOf(expr), loc);
-    const mode = numLit(opts.mode, loc);
-    const msg = opts.msg ?? strLit("", loc);
+    const [mode, msg] = directiveOf(opts, methodMode, loc);
     // describe.only and { only: true } mark the suite (flag 4, as for tests).
-    const flags = numLit(optionFlags(opts) | (methodMode === 3 ? 4 : 0), loc);
+    const flags = numLit(optionFlags(opts) | (methodMode === 3 ? 4 : 0) | (cb.type.params.length === 1 ? 2 : 0), loc);
     return withOptionValues({
         kind: "libCall",
         fn: "test.suite",
@@ -310,15 +429,17 @@ function lowerSuite(lowerer, expr, what, loc, methodMode) {
  * (top-level hooks attach to the implicit root). */
 function lowerHook(lowerer, expr, which, what, loc) {
     requireStatementPosition(lowerer, expr, what);
-    const args = expr.arguments;
+    const args = expr.arguments.nodes;
     if (args.length !== 1) {
-        lowerer.noLowering(`${what} with ${args.length} arguments`, expr, "the supported form is one zero-parameter function (hook options have no lowering)");
+        lowerer.noLowering(`${what} with ${args.length} arguments`, expr, "the supported form is one function (hook options have no lowering)");
     }
-    const { cb, flags } = lowerBodyArg(lowerer, args[0], what, false);
+    // A hook may take its context: the suite's for before/after, the test's
+    // for beforeEach/afterEach.
+    const { cb, flags } = lowerBodyArg(lowerer, args[0], what, true);
     return {
         kind: "libCall",
         fn: "test.hook",
-        args: [numLit(which, loc), cb, numLit(flags, loc)],
+        args: [numLit(which, loc), cb, numLit(flags, loc), strLit(atStringOf(expr), loc)],
         type: VOID,
         loc,
     };
@@ -354,17 +475,41 @@ export function lowerNodeTestModuleCall(lowerer, expr, bi, loc) {
         case "beforeEach":
         case "afterEach":
             return lowerHook(lowerer, expr, HOOK_WHICH[bi.member], `${bi.member}(...)`, loc);
+        case "getTestContext":
+            return lowerGetTestContext(lowerer, expr, loc);
         case "run":
             lowerer.noLowering("test.run", expr, "the programmatic runner has no lowering — run tests by executing the compiled binary");
             break;
         case "snapshot":
-            lowerer.noLowering("test.snapshot", expr, "snapshot testing has no lowering");
+            lowerer.noLowering("test.snapshot", expr, "t.assert.snapshot and t.assert.fileSnapshot are the supported snapshot surface");
             break;
         default:
-            lowerer.noLowering(`test.${bi.member}`, expr, "test/it, describe/suite, before/after/beforeEach/afterEach, and the skip/todo/only twins are the lowered node:test members", ts.isIdentifier(expr.expression) ? lowerer.resolveValueSymbol(expr.expression) : undefined);
+            lowerer.noLowering(`test.${bi.member}`, expr, "test/it, describe/suite, before/after/beforeEach/afterEach, getTestContext, and the skip/todo/only twins are the lowered node:test members", ts.isIdentifier(expr.expression) ? lowerer.resolveValueSymbol(expr.expression) : undefined);
     }
     return null; // unreachable — noLowering throws
 }
+/** getTestContext(): the context of the test, suite or hook running in
+ * the current async context, or undefined outside one (module top level,
+ * and code reached only through timer, immediate, nextTick and
+ * queueMicrotask callbacks). */
+function lowerGetTestContext(lowerer, expr, loc) {
+    if (expr.arguments.nodes.length > 0) {
+        lowerer.noLowering(`getTestContext with ${expr.arguments.nodes.length} arguments`, expr, "the supported form is getTestContext()");
+    }
+    const declared = lowerer.mapTypeOf(lowerer.typeOf(expr));
+    const missing = declared ? lowerer.wrappedUndefined(declared, loc) : null;
+    if (!declared || !missing) {
+        lowerer.noLowering("getTestContext() of this type", expr, "getTestContext() lowers as TestContext | SuiteContext | undefined");
+    }
+    return {
+        kind: "ternary",
+        cond: { kind: "libCall", fn: "test.hasContext", args: [], type: BOOL, loc },
+        then: lowerer.coerceToExpected({ kind: "libCall", fn: "test.context", args: [], type: TESTCTX_T, loc }, declared),
+        else_: missing,
+        type: declared,
+        loc,
+    };
+}
 /** The callable-module form: `test(...)` where the callee identifier IS
  * the node:test module binding — a default import (`import test from
  * "node:test"`) or the CJS `const test = require('node:test')` twin
@@ -377,20 +522,166 @@ export function lowerTestDirectCall(lowerer, expr, loc) {
     if (lowerer.builtinNamespaceModuleOf(callee) !== "test")
         return null;
     const calleeSym = lowerer.checker.getSymbolAtLocation(callee);
-    const decl = calleeSym ? lowerer.checker.declarationsOf(calleeSym)[0] : undefined;
+    const decl = calleeSym ? calleeSym.declarations[0] : undefined;
     if (decl && ts.isNamespaceImport(decl)) {
         lowerer.unsupported("SC1013", expr, "calling a module namespace object (Node throws TypeError there — " +
             'use the default import: import test from "node:test")');
     }
     return lowerRegistration(lowerer, expr, "test(...)", loc, 0, null);
 }
+/** t.assert.snapshot(value[, options]) and t.assert.fileSnapshot(value,
+ * path[, options]), Node's SnapshotManager assertions: the value runs
+ * through options.serializers, by default Node's JSON.stringify(value,
+ * null, 2), and String() of the result is compared with
+ * assert.strictEqual against the snapshot that scr_test.c reads from
+ * "<entry file>.snapshot" or `path`, or records in update mode. A throw
+ * while serializing becomes Node's ERR_INVALID_STATE. */
+function lowerSnapshotAssert(lowerer, call, member, testCtx) {
+    const loc = locOf(call);
+    const what = `t.assert.${member}`;
+    const t = lowerer.lowerExpr(testCtx);
+    const stmts = [];
+    const slot = (name, type, init) => {
+        const local = lowerer.declareHiddenLocal(name, type);
+        stmts.push({ kind: "varDecl", localId: local.id, init, loc });
+        return varRef(local.id, type, loc);
+    };
+    // Arguments evaluate in order before the assertion serializes, as in Node.
+    const valueNode = call.arguments.nodes[0];
+    const input = slot("%snapshotInput", DYN, valueNode ? lowerer.lowerExprExpecting(valueNode, DYN) : dynUndefinedExpr(loc));
+    let path = null;
+    if (member === "fileSnapshot") {
+        const pathNode = call.arguments.nodes[1];
+        path = slot("%snapshotPath", STRING, pathNode ? lowerer.lowerExprExpecting(pathNode, STRING) : strLit("", loc));
+    }
+    const serializers = snapshotSerializers(lowerer, call.arguments.nodes[member === "snapshot" ? 1 : 2], what)?.map((fn) => slot("%snapshotSerializer", DYN, fn)) ?? null;
+    if (call.arguments.nodes.length > (member === "snapshot" ? 2 : 3)) {
+        lowerer.noLowering(`${what} with ${call.arguments.nodes.length} arguments`, call);
+    }
+    const text = {
+        kind: "toString",
+        operand: {
+            kind: "libCall",
+            fn: "test.snapshotSerialize",
+            args: [
+                input,
+                serializers === null
+                    ? dynUndefinedExpr(loc)
+                    : { kind: "dynArrLit", elems: serializers, type: DYN, loc },
+            ],
+            type: DYN,
+            loc,
+        },
+        type: STRING,
+        loc,
+    };
+    const actual = slot("%snapshotActual", STRING, member === "snapshot"
+        ? { kind: "libCall", fn: "test.snapshotValue", args: [text], type: STRING, loc }
+        : text);
+    const expected = member === "snapshot"
+        ? {
+            kind: "libCall",
+            fn: "test.ctxSnapshot",
+            args: [t, actual, strLit(`${lowerer.entry.fileName}.snapshot`, loc)],
+            type: STRING,
+            loc,
+        }
+        : { kind: "libCall", fn: "test.fileSnapshot", args: [actual, path], type: STRING, loc };
+    const no = { kind: "boolLit", value: false, type: BOOL, loc };
+    return {
+        kind: "seqExpr",
+        stmts,
+        result: {
+            kind: "libCall",
+            fn: "assert.eqStr",
+            args: [actual, expected, no, no, strLit("", loc), no],
+            type: VOID,
+            loc,
+        },
+        type: VOID,
+        loc,
+    };
+}
+/** The serializer functions of a snapshot options object literal, as
+ * checked-dynamic values in order; null without a serializers option.
+ * Options that are not an object literal, a serializers list that is not
+ * an array literal, and other options fence. */
+function snapshotSerializers(lowerer, options, what) {
+    if (options === undefined)
+        return null;
+    const hint = "pass the options as an object literal: { serializers: [(value) => ...] }";
+    if (!ts.isObjectLiteralExpression(options)) {
+        lowerer.noLowering(`${what} options that are not an object literal`, options, hint);
+    }
+    let fns = null;
+    for (const prop of options.properties.nodes) {
+        const name = prop.name && ts.isIdentifier(prop.name) ? prop.name.text : null;
+        if (name !== "serializers" ||
+            !(ts.isPropertyAssignment(prop) || ts.isShorthandPropertyAssignment(prop))) {
+            lowerer.noLowering(`${what} options other than serializers`, prop, hint);
+        }
+        const list = ts.isPropertyAssignment(prop) ? prop.initializer : prop.name;
+        if (!ts.isArrayLiteralExpression(list)) {
+            lowerer.noLowering(`${what} with a non-literal serializers list`, list, hint);
+        }
+        fns = list.elements.nodes.map((el) => {
+            if (ts.isSpreadElement(el))
+                lowerer.noLowering(`${what} with a spread serializer`, el, hint);
+            return lowerer.lowerExprExpecting(el, DYN);
+        });
+    }
+    return fns;
+}
+/** `mock.timers` (tracker null) or `t.mock.timers` on a TestContext;
+ * null for other expressions. */
+function mockTimersReceiver(lowerer, expr) {
+    if (!ts.isPropertyAccessExpression(expr) ||
+        expr.questionDotToken ||
+        expr.name.text !== "timers" ||
+        !lowerer.isStdlibMember(expr)) {
+        return null;
+    }
+    const owner = expr.expression;
+    if (ts.isIdentifier(owner)) {
+        const bi = lowerer.builtinImportOf(owner);
+        return bi && bi.module === "test" && bi.member === "mock"
+            ? { what: "mock.timers", tracker: () => null }
+            : null;
+    }
+    if (ts.isPropertyAccessExpression(owner) &&
+        !owner.questionDotToken &&
+        owner.name.text === "mock" &&
+        lowerer.mapTypeOf(lowerer.typeOf(owner.expression))?.kind === "testCtx" &&
+        lowerer.isStdlibMember(owner)) {
+        const testCtx = owner.expression;
+        return { what: "t.mock.timers", tracker: () => lowerer.lowerExpr(testCtx) };
+    }
+    return null;
+}
+/** `mock.timers[Symbol.dispose]()` and its t.mock twin: an alias of
+ * reset(), as in Node. Null for other element-access calls. */
+export function lowerMockTimersElementCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    const timers = mockTimersReceiver(lowerer, access.expression);
+    if (!timers)
+        return null;
+    const key = access.argumentExpression;
+    const isDispose = ts.isPropertyAccessExpression(key) &&
+        key.name.text === "dispose" &&
+        lowerer.stdlibGlobalMember(key, "Symbol") === "dispose";
+    if (!isDispose) {
+        lowerer.noLowering(`${timers.what} computed member calls`, call, "call timers[Symbol.dispose]()");
+    }
+    return lowerMockTimersCall(lowerer, call, "reset", timers.what, timers.tracker, null);
+}
 /** Method-position node:test calls — one entry in lower-calls.ts's
  * intrinsic chain: skip/todo/only twins on NAMED import bindings
  * (`test.skip(...)` where `test` came from `{ test }`), the TestContext
  * surface (t.test/t.skip/t.todo/t.diagnostic), and t.assert.* (delegated
  * to the assert spoke). Null for other receivers. */
 export function lowerTestMethodCall(lowerer, call, access) {
-    if (call.questionDotToken || access.questionDotToken)
+    if (call.questionDotToken || (access.questionDotToken && !lowerer.chainHandled.has(access)))
         return null;
     const loc = locOf(call);
     const member = access.name.text;
@@ -431,6 +722,13 @@ export function lowerTestMethodCall(lowerer, call, access) {
         if (served)
             return served;
     }
+    // mock.timers.enable(...) and the other MockTimers members, on the
+    // module's `mock` and on t.mock.
+    const timers = mockTimersReceiver(lowerer, access.expression);
+    if (timers) {
+        const sym = lowerer.checker.getSymbolAtLocation(access.name) ?? null;
+        return lowerMockTimersCall(lowerer, call, member, timers.what, timers.tracker, sym);
+    }
     // t.assert.strictEqual(...) — the callee's receiver is `t.assert` on a
     // TestContext: Node's t.assert methods ARE the assert functions (bound
     // to the test for its counters — not modeled; the throw is identical),
@@ -440,7 +738,9 @@ export function lowerTestMethodCall(lowerer, call, access) {
         access.expression.name.text === "assert" &&
         lowerer.mapTypeOf(lowerer.typeOf(access.expression.expression))?.kind === "testCtx" &&
         lowerer.isStdlibMember(access.expression)) {
-        const served = lowerer.lowerAssertModuleCall(call, { module: "assert", member }, loc);
+        const served = member === "snapshot" || member === "fileSnapshot"
+            ? lowerSnapshotAssert(lowerer, call, member, access.expression.expression)
+            : lowerer.lowerAssertModuleCall(call, { module: "assert", member }, loc);
         // Each t.assert call counts against the test's plan (t.plan).
         if (served)
             return {
@@ -469,7 +769,7 @@ export function lowerTestMethodCall(lowerer, call, access) {
         return null;
     if (!lowerer.isStdlibMember(access))
         return null;
-    const args = call.arguments;
+    const args = call.arguments.nodes;
     if (member === "test") {
         const receiver = lowerer.lowerExpr(access.expression);
         return lowerRegistration(lowerer, call, "t.test(...)", loc, 0, receiver);
@@ -497,7 +797,8 @@ export function lowerTestMethodCall(lowerer, call, access) {
             lowerer.noLowering(`t.${member} with ${args.length} arguments`, call, "the supported form is one zero-parameter function (hook options have no lowering)");
         }
         const receiver = lowerer.lowerExpr(access.expression);
-        const { cb, flags } = lowerBodyArg(lowerer, args[0], what, false);
+        // The hook may take the test's context.
+        const { cb, flags } = lowerBodyArg(lowerer, args[0], what, true);
         return {
             kind: "libCall",
             fn: "test.ctxHook",
@@ -526,11 +827,77 @@ export function lowerTestMethodCall(lowerer, call, access) {
     }
     lowerer.noLowering(`TestContext.${member}`, call, TESTCTX_SURFACE_HINT, lowerer.checker.getSymbolAtLocation(access.name));
 }
+/** t.filePath (the entry file, as Node's entryFile), t.attempt (0: tests
+ * run once), t.passed, t.workerId (Number(NODE_TEST_WORKER_ID) ||
+ * undefined) and t.tags ([]: the tags option has no lowering), each
+ * coerced to the member's declared type. */
+function lowerTestCtxValue(lowerer, expr, member) {
+    const loc = locOf(expr);
+    const receiver = lowerer.lowerExpr(expr.expression);
+    const declared = lowerer.mapTypeOf(lowerer.typeOf(expr));
+    if (!declared) {
+        lowerer.noLowering(`TestContext.${member} of this type`, expr, TESTCTX_SURFACE_HINT);
+    }
+    const after = (value) => ({
+        kind: "seqExpr",
+        stmts: [{ kind: "exprStmt", expr: receiver, loc }],
+        result: lowerer.coerceToExpected(value, declared),
+        type: declared,
+        loc,
+    });
+    switch (member) {
+        case "filePath":
+            return after(strLit(lowerer.entry.fileName, loc));
+        case "attempt":
+            return after(numLit(0, loc));
+        case "tags":
+            return after({ kind: "arrayLit", elems: [], type: declared, loc });
+        case "passed":
+            return lowerer.coerceToExpected({ kind: "libCall", fn: "test.ctxPassed", args: [receiver], type: BOOL, loc }, declared);
+        case "workerId": {
+            const id = lowerer.declareHiddenLocal("%workerId", F64);
+            const missing = lowerer.wrappedUndefined(declared, loc);
+            if (!missing)
+                lowerer.noLowering("TestContext.workerId of this type", expr, TESTCTX_SURFACE_HINT);
+            return {
+                kind: "seqExpr",
+                stmts: [
+                    { kind: "exprStmt", expr: receiver, loc },
+                    {
+                        kind: "varDecl",
+                        localId: id.id,
+                        init: { kind: "libCall", fn: "test.workerId", args: [], type: F64, loc },
+                        loc,
+                    },
+                ],
+                result: {
+                    kind: "ternary",
+                    cond: {
+                        kind: "bin",
+                        op: "!==",
+                        left: varRef(id.id, F64, loc),
+                        right: numLit(0, loc),
+                        type: BOOL,
+                        loc,
+                    },
+                    then: lowerer.coerceToExpected(varRef(id.id, F64, loc), declared),
+                    else_: missing,
+                    type: declared,
+                    loc,
+                },
+                type: declared,
+                loc,
+            };
+        }
+    }
+}
 /** `t.name` as a VALUE — one entry in lower-exprs' property chain. Null
  * for other receivers/members (the chain keeps trying); unlowered
  * TestContext members fence member-qualified. */
 export function lowerTestCtxProperty(lowerer, expr) {
-    if (expr.questionDotToken)
+    // `getTestContext()?.name`: the optional-chain step re-enters here with
+    // the receiver narrowed.
+    if (expr.questionDotToken && !lowerer.chainHandled.has(expr))
         return null;
     const mockCalls = lowerMockContextProperty(lowerer, expr);
     if (mockCalls)
@@ -550,7 +917,15 @@ export function lowerTestCtxProperty(lowerer, expr) {
             loc,
         };
     }
-    if (expr.name.text === "assert")
+    const member = expr.name.text;
+    if (member === "filePath" ||
+        member === "attempt" ||
+        member === "passed" ||
+        member === "workerId" ||
+        member === "tags") {
+        return lowerTestCtxValue(lowerer, expr, member);
+    }
+    if (member === "assert")
         return null; // claimed by the call path
     lowerer.noLowering(`TestContext.${expr.name.text}`, expr, TESTCTX_SURFACE_HINT, lowerer.checker.getSymbolAtLocation(expr.name));
 }