test-inventory 0.2.0 → 0.3.0

package/dist/frameworks/bindings.d.ts

@@ -9,12 +9,43 @@ export interface ModuleImport {
     node: Node;
 }
 export declare function exportName(name: ModuleExportName): string;
+/** What a module is followed for: a test object, or a function that returns one, as in `defineBrokerTest()`. */
+export type Exported = 'test object' | 'function';
 /** Names a module's test objects are known by, used to check what a fixtures file exports. */
 export interface TestObjects {
     isTestObject(expression: Expression): boolean;
     isTestName(name: string): boolean;
-    /** Whether re-exporting `imported` from `source` exports a test object. */
-    reexports(source: string, imported: string): boolean;
+    /** Whether a function the module declares or imports under `name` returns a test object. */
+    returnsTestObject(name: string): boolean;
+    /** Whether re-exporting `imported` from `source` exports a test object, or a function that returns one. */
+    reexports(source: string, imported: string, exported: Exported): boolean;
+}
+/**
+ * The functions a module declares at its top level, by name, to tell whether one returns a test object: every value it
+ * returns is one, as `return base.extend({...})` is. An imported function is followed to its module. The function a
+ * module exports as its default, named or not, is also known as `default`.
+ */
+export declare class ModuleFunctions {
+    private readonly functions;
+    /** The functions being read, to end a function that returns what it returns itself. */
+    private readonly reading;
+    /** Whether each function returns a test object, read once however many calls and functions lead to it. */
+    private readonly read;
+    /** The values of variables the bindings left unbound, by name, which a call may make test objects. */
+    private readonly values;
+    /** Whether each of those holds a test object; null while that is being worked out, which ends a loop. */
+    private readonly built;
+    private readonly imported;
+    private readonly follow;
+    constructor(program: Program, imported: Map<string, ModuleImport>, follow: FollowImport);
+    /** Keeps the variables the bindings didn't bind without following calls, to be worked out when asked. */
+    keep(declarators: Iterable<VariableDeclarator>): void;
+    /**
+     * Whether a variable holds a test object built by a call, as `const test = defineBrokerTest()`. It is worked out
+     * only when asked, as following the call reads other modules.
+     */
+    holdsTestObject(name: string, isTestObject: (expression: Expression) => boolean): boolean;
+    returnsTestObject(name: string, isTestObject: (expression: Expression) => boolean): boolean;
 }
 export declare function topLevelDeclarators(program: Program): VariableDeclarator[];
 /** All variable declarators in the file, at any depth, such as `const { it } = import.meta.vitest` inside an `if`. */
@@ -25,12 +56,12 @@ export declare function moduleImports(program: Program, isFramework: (source: st
 export declare function requiredModule(expression: Expression): string | null;
 /** Applies `bind` to each declarator until no more names are bound, so declaration order doesn't matter. */
 export declare function bindAll(declarators: VariableDeclarator[], bind: (declarator: VariableDeclarator) => boolean): void;
-/** Whether a module exports `name` as a test object. */
-export declare function exportsTestObject(program: Program, name: string, objects: TestObjects): boolean;
+/** Whether a module exports `name` as a test object, or as a function that returns one. */
+export declare function exportsTestObject(program: Program, name: string, objects: TestObjects, exported?: Exported): boolean;
 /** Whether a module imports, re-exports or requires any of the given sources. */
 export declare function importsFrom(program: Program, matches: (source: string) => boolean): boolean;
 /** Whether a name a module imports from another module is a test object there, which follows that module in turn. */
-export type FollowImport = (source: string, imported: string) => boolean;
+export type FollowImport = (source: string, imported: string, exported?: Exported) => boolean;
 /** How a framework recognizes the modules and test objects of a followed file. */
 export interface Framework {
     name: string;
@@ -46,7 +77,7 @@ export declare function parseModule(module: ModuleSource): ParsedFile;
  * nothing to do with the framework, as when a call only looked like a test. Each module is followed once for a name,
  * however many imports lead to it, as fixtures files that build on several others share their bases.
  */
-export declare function followModule(source: string, name: string, readModule: ModuleReader | null, framework: Framework, path?: readonly string[], followed?: Map<string, Followed>): Followed;
+export declare function followModule(source: string, name: string, readModule: ModuleReader | null, framework: Framework, exported?: Exported, path?: readonly string[], followed?: Map<string, Followed>): Followed;
 interface Followed {
     exported: boolean;
     reason: string | null;

package/dist/frameworks/bindings.js

@@ -1,10 +1,94 @@
-import { childNodes, propertyName, unwrap } from "../ast.js";
+import { childNodes, isFunctionNode, propertyName, returnValues, unwrap } from "../ast.js";
 import { parseFile } from "../parse.js";
 import { snippet } from "../source.js";
 import { problem, text } from "./common.js";
 export function exportName(name) {
     return name.type === 'Identifier' ? name.name : name.value;
 }
+/**
+ * The functions a module declares at its top level, by name, to tell whether one returns a test object: every value it
+ * returns is one, as `return base.extend({...})` is. An imported function is followed to its module. The function a
+ * module exports as its default, named or not, is also known as `default`.
+ */
+export class ModuleFunctions {
+    functions;
+    /** The functions being read, to end a function that returns what it returns itself. */
+    reading = new Set();
+    /** Whether each function returns a test object, read once however many calls and functions lead to it. */
+    read = new Map();
+    /** The values of variables the bindings left unbound, by name, which a call may make test objects. */
+    values = new Map();
+    /** Whether each of those holds a test object; null while that is being worked out, which ends a loop. */
+    built = new Map();
+    imported;
+    follow;
+    constructor(program, imported, follow) {
+        this.functions = topLevelFunctions(program);
+        this.imported = imported;
+        this.follow = follow;
+    }
+    /** Keeps the variables the bindings didn't bind without following calls, to be worked out when asked. */
+    keep(declarators) {
+        for (const { id, init } of declarators) {
+            if (id.type === 'Identifier' && init)
+                this.values.set(id.name, [...(this.values.get(id.name) ?? []), init]);
+        }
+    }
+    /**
+     * Whether a variable holds a test object built by a call, as `const test = defineBrokerTest()`. It is worked out
+     * only when asked, as following the call reads other modules.
+     */
+    holdsTestObject(name, isTestObject) {
+        const values = this.values.get(name);
+        if (!values)
+            return false;
+        if (!this.built.has(name)) {
+            this.built.set(name, null);
+            this.built.set(name, values.some(isTestObject));
+        }
+        return this.built.get(name) === true;
+    }
+    returnsTestObject(name, isTestObject) {
+        const fn = this.functions.get(name);
+        if (!fn) {
+            const from = this.imported.get(name);
+            return from !== undefined && this.follow(from.source, from.imported, 'function');
+        }
+        if (this.reading.has(fn))
+            return false;
+        if (!this.read.has(fn)) {
+            this.reading.add(fn);
+            this.read.set(fn, returnValues(fn)?.every(({ expression }) => isTestObject(expression)) ?? false);
+            this.reading.delete(fn);
+        }
+        return this.read.get(fn) === true;
+    }
+}
+/** The functions a module declares at its top level, by name; the one it exports as its default is also `default`. */
+function topLevelFunctions(program) {
+    const functions = new Map();
+    for (const statement of program.body) {
+        if (statement.type === 'ExportDefaultDeclaration') {
+            const value = statement.declaration;
+            if (value.type === 'FunctionDeclaration' || isFunctionNode(value))
+                functions.set('default', value);
+        }
+        const declaration = statement.type === 'ExportNamedDeclaration' || statement.type === 'ExportDefaultDeclaration'
+            ? statement.declaration
+            : statement;
+        if (declaration?.type === 'FunctionDeclaration' && declaration.id) {
+            functions.set(declaration.id.name, declaration);
+        }
+        else if (declaration?.type === 'VariableDeclaration') {
+            for (const { id, init } of declaration.declarations) {
+                const value = init ? unwrap(init) : null;
+                if (id.type === 'Identifier' && isFunctionNode(value))
+                    functions.set(id.name, value);
+            }
+        }
+    }
+    return functions;
+}
 export function topLevelDeclarators(program) {
     const declarators = [];
     for (const statement of program.body) {
@@ -79,86 +163,106 @@ export function bindAll(declarators, bind) {
         }
     }
 }
-/** Whether a module exports `name` as a test object. */
-export function exportsTestObject(program, name, objects) {
-    for (const statement of program.body) {
-        switch (statement.type) {
-            case 'ExportNamedDeclaration':
-                if (statement.declaration?.type === 'VariableDeclaration') {
-                    for (const declarator of statement.declaration.declarations) {
-                        if (declarator.id.type === 'Identifier' && declarator.id.name === name) {
-                            return objects.isTestName(name);
-                        }
-                    }
-                }
-                for (const specifier of statement.specifiers) {
-                    if (exportName(specifier.exported) !== name)
-                        continue;
-                    const local = exportName(specifier.local);
-                    return statement.source ? objects.reexports(statement.source.value, local) : objects.isTestName(local);
-                }
-                break;
-            case 'ExportDefaultDeclaration':
-                if (name === 'default')
-                    return objects.isTestObject(statement.declaration);
-                break;
-            case 'ExportAllDeclaration':
-                if (!statement.exported && objects.reexports(statement.source.value, name))
-                    return true;
-                break;
-            case 'ExpressionStatement': {
-                const source = commonJsReexport(statement);
-                if (source !== null && objects.reexports(source, name))
-                    return true;
-                break;
-            }
+/** Whether a module exports `name` as a test object, or as a function that returns one. */
+export function exportsTestObject(program, name, objects, exported = 'test object') {
+    const own = ownExport(program, name);
+    const local = (localName) => exported === 'function' ? objects.returnsTestObject(localName) : objects.isTestName(localName);
+    switch (own?.kind) {
+        case 'default': {
+            if (exported === 'test object')
+                return objects.isTestObject(own.value);
+            // `export default defineBrokerTest`, or a function written there, which the module's functions know as `default`.
+            const value = unwrap(own.value);
+            return objects.returnsTestObject(value.type === 'Identifier' ? value.name : 'default');
         }
+        case 'variable':
+            return local(name);
+        case 'function':
+            return exported === 'function' && objects.returnsTestObject(name);
+        case 'specifier':
+            return own.source === null ? local(own.local) : objects.reexports(own.source, own.local, exported);
     }
-    return false;
+    return program.body.some((statement) => {
+        const source = starReexport(statement);
+        return source !== null && objects.reexports(source, name, exported);
+    });
 }
 /**
- * The module and name a module's export comes from when it re-exports it, as in `export { test } from './base'`, or
- * builds it from something imported, directly or through its own variables, as in `const test = base.extend({...})`.
+ * The module's own export of `name`; null when it has none and only `export *` may pass the name on. An own export
+ * wins over those, as in JavaScript.
  */
-function importOrigin(program, name, isFramework) {
-    const imported = moduleImports(program, isFramework);
+function ownExport(program, name) {
     for (const statement of program.body) {
-        const required = commonJsReexport(statement);
-        if (required !== null && !isFramework(required))
-            return { source: required, imported: name, how: 're-exports' };
-        if (statement.type === 'ExportAllDeclaration' && !statement.exported && !isFramework(statement.source.value)) {
-            return { source: statement.source.value, imported: name, how: 're-exports' };
+        if (statement.type === 'ExportDefaultDeclaration' && name === 'default') {
+            return { kind: 'default', value: statement.declaration };
         }
         if (statement.type !== 'ExportNamedDeclaration')
             continue;
+        const { declaration } = statement;
+        if (declaration?.type === 'VariableDeclaration') {
+            const declared = declaration.declarations.some((item) => item.id.type === 'Identifier' && item.id.name === name);
+            if (declared)
+                return { kind: 'variable' };
+        }
+        const named = declaration?.type === 'FunctionDeclaration' || declaration?.type === 'ClassDeclaration';
+        if (named && declaration.id?.name === name)
+            return { kind: 'function' };
         for (const specifier of statement.specifiers) {
             if (exportName(specifier.exported) !== name)
                 continue;
-            const local = exportName(specifier.local);
-            // `export { test } from './fixtures'`, or `import { test } from './fixtures'` and then `export { test }`.
-            if (statement.source) {
-                if (isFramework(statement.source.value))
-                    continue;
-                return { source: statement.source.value, imported: local, how: 're-exports' };
-            }
-            const from = imported.get(local);
-            if (from)
-                return { source: from.source, imported: from.imported, how: 're-exports' };
+            return { kind: 'specifier', local: exportName(specifier.local), source: statement.source?.value ?? null };
+        }
+    }
+    return null;
+}
+/** The module `export * from 'module'` or `module.exports = require('module')` passes every name on from; or null. */
+function starReexport(statement) {
+    if (statement.type === 'ExportAllDeclaration')
+        return statement.exported ? null : statement.source.value;
+    return commonJsReexport(statement);
+}
+/**
+ * The module and name a module's export comes from when it re-exports it, as in `export { test } from './base'`, or
+ * builds it from something imported, directly or through its own variables, as in `const test = base.extend({...})`.
+ */
+function importOrigin(program, name, isFramework, exported) {
+    const imported = moduleImports(program, isFramework);
+    const own = ownExport(program, name);
+    if (own === null) {
+        for (const statement of program.body) {
+            const source = starReexport(statement);
+            if (source !== null && !isFramework(source))
+                return { source, imported: name, how: 're-exports', exported };
         }
     }
+    else if (own.kind === 'specifier') {
+        // `export { test } from './fixtures'`, or `import { test } from './fixtures'` and then `export { test }`.
+        const from = own.source === null ? imported.get(own.local) : { source: own.source, imported: own.local };
+        if (from && !isFramework(from.source)) {
+            return { source: from.source, imported: from.imported, how: 're-exports', exported };
+        }
+    }
+    if (exported === 'function')
+        return null;
     const values = new Map();
     for (const declarator of topLevelDeclarators(program)) {
         if (declarator.id.type === 'Identifier' && declarator.init)
             values.set(declarator.id.name, declarator.init);
     }
+    const functions = topLevelFunctions(program);
     const seen = new Set();
-    // The import a local name is, or is built from: the object `extend` is called on, the test objects a call such as
-    // `mergeTests(a, b)` combines, either side of `?:`, or another local name. Values only passed along, such as a
-    // fixtures object in `base.extend(fixtures)`, are not what the test object is built on.
+    const from = (local, kind) => {
+        const found = imported.get(local);
+        return found ? { source: found.source, imported: found.imported, exported: kind } : null;
+    };
+    // The import a local name is, or is built from: the object `extend` is called on, an imported function that builds
+    // it, what a function the module writes returns, the test objects a call such as `mergeTests(a, b)` combines,
+    // either side of `?:`, or another local name. Values only passed along, such as a fixtures object in
+    // `base.extend(fixtures)`, are not what the test object is built on.
     const builtFrom = (local) => {
         const value = values.get(local);
         if (imported.has(local) || !value || seen.has(local))
-            return imported.get(local) ?? null;
+            return from(local, 'test object');
         seen.add(local);
         return builtOn(value);
     };
@@ -175,6 +279,17 @@ function importOrigin(program, name, isFramework) {
                 const callee = unwrap(expression.callee);
                 if (callee.type === 'MemberExpression' && propertyName(callee) === 'extend')
                     return builtOn(callee.object);
+                if (callee.type === 'Identifier' && imported.has(callee.name))
+                    return from(callee.name, 'function');
+                const fn = callee.type === 'Identifier' && !seen.has(callee.name) ? functions.get(callee.name) : undefined;
+                if (fn && callee.type === 'Identifier') {
+                    seen.add(callee.name);
+                    for (const { expression: value } of returnValues(fn) ?? []) {
+                        const found = builtOn(value);
+                        if (found)
+                            return found;
+                    }
+                }
                 for (const argument of expression.arguments) {
                     const found = argument.type === 'SpreadElement' ? null : builtOn(argument);
                     if (found)
@@ -193,9 +308,11 @@ function importOrigin(program, name, isFramework) {
     for (const local of [name, ...locals]) {
         const found = values.has(local) ? builtFrom(local) : null;
         if (found)
-            return { source: found.source, imported: found.imported, how: 'builds' };
+            return { ...found, how: 'builds' };
     }
-    return null;
+    // `export default defineBrokerTest()`, built where it is exported.
+    const found = own?.kind === 'default' ? builtOn(own.value) : null;
+    return found && { ...found, how: 'builds' };
 }
 /** Whether a module imports, re-exports or requires any of the given sources. */
 export function importsFrom(program, matches) {
@@ -227,39 +344,61 @@ const MAX_DEPTH = 16;
  * nothing to do with the framework, as when a call only looked like a test. Each module is followed once for a name,
  * however many imports lead to it, as fixtures files that build on several others share their bases.
  */
-export function followModule(source, name, readModule, framework, path = [], followed = new Map()) {
+export function followModule(source, name, readModule, framework, exported = 'test object', path = [], followed = new Map()) {
     // Without a reader, as in scanSource, nothing can be read.
     const module = readModule ? readModule(source) : { reason: 'could not be read' };
     if ('reason' in module)
         return { exported: false, reason: module.reason };
-    if (path.includes(module.relativeFilePath))
+    // A module may be followed again for another name, as a fixtures file that a function it imports builds on.
+    const key = `${module.relativeFilePath}\0${exported}\0${name}`;
+    if (path.includes(key))
         return { exported: false, reason: 'imports it back, in a cycle' };
     if (path.length >= MAX_DEPTH)
         return { exported: false, reason: `is more than ${MAX_DEPTH} modules deep` };
-    const key = `${module.relativeFilePath}\0${name}`;
     let result = followed.get(key);
     if (!result) {
-        result = followExports(module, name, framework, [...path, module.relativeFilePath], followed);
+        result = followExports(module, name, framework, exported, [...path, key], followed);
         followed.set(key, result);
     }
     return result;
 }
-/** Whether a module exports `name` as a test object; `within` is the chain of modules followed to it, itself last. */
-function followExports(module, name, framework, within, followed) {
-    const { program, error } = parseModule(module);
+/**
+ * Whether a module exports `name` as a test object; `within` is the chain of modules and names followed to it, itself
+ * last.
+ */
+function followExports(module, name, framework, exported, within, followed) {
+    const { program, error, source } = parseModule(module);
     if (error)
         return { exported: false, reason: 'could not be parsed' };
-    const followFrom = (from, imported) => followModule(from, imported, module.readModule, framework, within, followed);
-    const objects = framework.testObjects(program, (from, imported) => followFrom(from, imported).exported);
-    if (exportsTestObject(program, name, objects))
+    const followFrom = (from, imported, kind) => followModule(from, imported, module.readModule, framework, kind, within, followed);
+    const objects = framework.testObjects(program, (from, imported, kind = 'test object') => followFrom(from, imported, kind).exported);
+    if (exportsTestObject(program, name, objects, exported))
         return { exported: true, reason: null };
-    const unrecognized = `does not export a ${framework.name} test object that could be recognized`;
-    const origin = importOrigin(program, name, framework.isSource);
+    const unrecognized = (kind) => `does not export ${kind === 'function' ? 'a function that returns a test object' : `a ${framework.name} test object`} that could be recognized`;
+    const origin = importOrigin(program, name, framework.isSource, exported);
     if (origin) {
-        const end = followFrom(origin.source, origin.imported).reason ?? unrecognized;
+        const end = followFrom(origin.source, origin.imported, origin.exported).reason ?? unrecognized(origin.exported);
         return { exported: false, reason: `${origin.how} it from '${origin.source}', which ${end}` };
     }
-    return { exported: false, reason: importsFrom(program, framework.isSource) ? unrecognized : null };
+    if (importsFrom(program, framework.isSource))
+        return { exported: false, reason: unrecognized(exported) };
+    // A module that doesn't import the framework may still build the test object with a function, as in
+    // `export const test = defineBrokerTest()`; one the scan can't follow is worth an error, not silence.
+    const call = exported === 'test object' ? creatingCall(program, name, source) : null;
+    return { exported: false, reason: call ? `builds it with ${call}, which is not followed` : null };
+}
+/**
+ * The call that creates what the module exports as `name`, a variable or its default export, as `defineBrokerTest()`;
+ * null for other values.
+ */
+function creatingCall(program, name, source) {
+    const own = ownExport(program, name);
+    const local = own?.kind === 'variable' ? name : own?.kind === 'specifier' && own.source === null ? own.local : null;
+    const declarator = topLevelDeclarators(program).find((item) => item.id.type === 'Identifier' && item.id.name === local);
+    const written = own?.kind === 'default' ? own.value : declarator?.init;
+    const init = written ? unwrap(written) : null;
+    const value = init?.type === 'AwaitExpression' ? unwrap(init.argument) : init;
+    return value?.type === 'CallExpression' ? `${snippet(source.slice(value.callee.start, value.callee.end))}()` : null;
 }
 /** Follows the import of `name` in a test file, with the diagnostic to report when it isn't a test object. */
 export function followImport(name, imported, readModule, file, framework) {

package/dist/frameworks/common.d.ts

@@ -1,6 +1,6 @@
-import type { Argument, Expression, Node, StringLiteral, TemplateLiteral, VariableDeclarator } from 'oxc-parser';
+import type { Argument, CallExpression, Expression, Node, StringLiteral, TemplateLiteral, VariableDeclarator } from 'oxc-parser';
 import { type FunctionNode } from '../ast.ts';
-import type { Condition, Problem, Span, Title } from '../model.ts';
+import type { ApiCall, CallContext, Condition, Problem, Returns, Span, Title } from '../model.ts';
 import { type SourceText } from '../source.ts';
 import type { DiagnosticCode } from '../types.ts';
 import { type Resolved, type Values } from '../values.ts';
@@ -46,11 +46,26 @@ export declare function mayHoldTestObject(declarator: VariableDeclarator): decla
  * called like one. The call that creates it can't be followed, so its calls are read as tests on trust.
  */
 export declare function localTestObject(file: FileContext, name: string, declarator: CreatedDeclarator): Problem;
+/**
+ * A warning for a call shaped like a test on what a function named like a test object returns, as in
+ * `conditionalTest({ min: 22 })('title', fn)`, when the function can't be found. What it returns is read on trust.
+ */
+export declare function returnedTestObject(file: FileContext, call: CallExpression): Problem;
+/**
+ * The test or describe function a function returns, in the adapter's terms: what all its values have in common, as
+ * `shared` combines two; null when it may return something else.
+ */
+export declare function returnedFunction<T>(returns: Returns, shared: (a: T | null, b: T | null) => T | null): T | null;
 /**
  * Whether a call on a name imported from a local file is shaped like a test declaration, `name('title', fn)`, and
  * so worth following to see if the name is a custom test object.
  */
 export declare function looksLikeDeclaration(args: readonly Argument[]): boolean;
+/**
+ * A call the runner refuses. Shaped like a declaration outside any test or hook, it is also declared, without what
+ * makes it fail, so that its tests, and those of a describe, are listed as not loaded rather than missing.
+ */
+export declare function refused(call: CallExpression, refusal: Problem, context: CallContext, declare: () => ApiCall): ApiCall;
 /**
  * Whether a call shaped like a test, through an import that can't be followed, is worth an error: the name reads like
  * a test function, or a member such as `.describe` follows it. Helpers such as `join('root', file)` and

package/dist/frameworks/common.js

@@ -80,6 +80,35 @@ export function localTestObject(file, name, declarator) {
     const created = snippet(text(file, declarator.init));
     return problem('local-test-object', declarator, `'${name}' is created by ${created}, which is not followed; calls shaped like tests are read as tests.`, created);
 }
+/**
+ * A warning for a call shaped like a test on what a function named like a test object returns, as in
+ * `conditionalTest({ min: 22 })('title', fn)`, when the function can't be found. What it returns is read on trust.
+ */
+export function returnedTestObject(file, call) {
+    const created = snippet(text(file, call));
+    return problem('local-test-object', call, `What ${created} returns is not followed; calls on it shaped like tests are read as tests.`, created);
+}
+/**
+ * The test or describe function a function returns, in the adapter's terms: what all its values have in common, as
+ * `shared` combines two; null when it may return something else.
+ */
+export function returnedFunction(returns, shared) {
+    const { values } = returns;
+    // A function that returns what it returns itself, through others or not, ends the lookup.
+    if (!values || reading.has(returns))
+        return null;
+    if (!read.has(returns)) {
+        reading.add(returns);
+        const found = values.map(({ expression, scopes }) => returns.adapter.testFunction(expression, scopes, returns.returnsOf));
+        reading.delete(returns);
+        read.set(returns, found.slice(1).reduce(shared, found[0]));
+    }
+    return read.get(returns);
+}
+/** The functions whose values are being read, each one returning what the next returns. */
+const reading = new Set();
+/** What each function returns, read once however many calls and functions use it. */
+const read = new WeakMap();
 /** A title written as a string, a template, or text joined to one, as in `'cycles through ' + venue`. */
 function isTitleShaped(node) {
     if (node?.type === 'BinaryExpression' && node.operator === '+') {
@@ -93,10 +122,25 @@ function isTitleShaped(node) {
  */
 export function looksLikeDeclaration(args) {
     const last = args.at(-1);
-    // The body is the last argument: a function, or a function passed by name.
-    const body = isFunctionNode(last) || last?.type === 'Identifier' || last?.type === 'MemberExpression';
+    // The body is the last argument, a function or a function passed by name, or a function before a timeout, as in
+    // Vitest's `test('title', fn, 30_000)`.
+    const body = isFunctionNode(last) ||
+        last?.type === 'Identifier' ||
+        last?.type === 'MemberExpression' ||
+        (args.length === 3 && isFunctionNode(args[1]));
     return isTitleShaped(args.at(0)) && args.length >= 2 && args.length <= 3 && body;
 }
+/**
+ * A call the runner refuses. Shaped like a declaration outside any test or hook, it is also declared, without what
+ * makes it fail, so that its tests, and those of a describe, are listed as not loaded rather than missing.
+ */
+export function refused(call, refusal, context, declare) {
+    const declared = context.inBody || !looksLikeDeclaration(call.arguments) ? null : declare();
+    // A declaration refused for a second reason as well, as for its options, is reported for the first.
+    const found = declared?.kind === 'invalid' ? declared.declaration : declared;
+    const declaration = found?.kind === 'test' || found?.kind === 'describe' ? found : undefined;
+    return { kind: 'invalid', problem: refusal, declaration };
+}
 /**
  * Whether a call shaped like a test, through an import that can't be followed, is worth an error: the name reads like
  * a test function, or a member such as `.describe` follows it. Helpers such as `join('root', file)` and

package/dist/frameworks/playwright.d.ts

@@ -1,4 +1,4 @@
-import type { CallExpression, Program } from 'oxc-parser';
+import type { CallExpression, Expression, Node, Program } from 'oxc-parser';
 import type { Adapter, ApiCall, CallContext, ModuleReader, Problem } from '../model.ts';
 import { type FileContext } from './common.ts';
 export declare class PlaywrightAdapter implements Adapter {
@@ -11,6 +11,7 @@ export declare class PlaywrightAdapter implements Adapter {
     private readonly imports;
     private readonly followed;
     private readonly reported;
+    /** Variables and names of functions read as test objects on trust, each reported once. */
     private readonly assumed;
     private readonly aliases;
     constructor(program: Program, file: FileContext, readModule: ModuleReader | null);
@@ -20,16 +21,35 @@ export declare class PlaywrightAdapter implements Adapter {
      * can't be followed is reported only outside test and hook bodies, where a call can declare tests.
      */
     private testLinks;
+    private linksFromTest;
+    /**
+     * The members of `test` a call returns: none for a test object, as `conditionalTest({ min: 22 })` may return, or
+     * those of a describe function. As for a variable chosen by a condition, only the members all its values have apply.
+     * When the function can't be found, a call named like a test object is read as one on trust, with a warning.
+     */
+    private returned;
+    testFunction(expression: Expression, scopes: readonly Node[], returnsOf: CallContext['returnsOf']): string[] | null;
     /** Whether a local variable is read as a test object it could be; see `localTestObject`. */
     private assumeLocal;
     private looksLikeTest;
-    /** The members of `test` a variable holds a describe function from, as in `const serialDescribe = test.describe.serial`. */
-    private describeAlias;
-    private describeMembers;
+    /**
+     * Whether a call through an imported name is worth following to the module: shaped like a test, or any call with a
+     * title and a body through a name that reads like a test function, as `it.effect('title', fn)` on a test object that
+     * a package extends.
+     */
+    private worthFollowing;
+    /**
+     * The members of `test` a variable holds: those of a describe function, as in `const serialDescribe =
+     * test.describe.serial`, or none for a test object a function returns.
+     */
+    private alias;
+    /** The members of `test` a value holds: none for a test object, or those of a describe function. */
+    private members;
     /** Follows the import of `name` once, and reports it once when it can't be followed and `report` is set. */
     private follow;
     /** Whether an argument is, or works out to, a string, as a title is. Spread arguments are handled before. */
     private isTitle;
+    /** A chain Playwright refuses; one that starts like a declaration also declares a plain test or describe. */
     private invalid;
     private testCall;
     private modifier;