import type { TypeCheckerContext } from "./types.js";
/**
 * AG3017 / AG3018 — the top-level rule, reported where the user can see it.
 *
 * Top level only: this walks `ctx.programNodes` directly rather than
 * recursing, because a node's own body is a different context entirely.
 */
export declare function checkTopLevelStatements(ctx: TypeCheckerContext): void;