import type { ScopeInfo, TypeCheckerContext } from "./types.js";
/**
 * Diagnostic: a `match` over a closed value type (Result or a closed
 * literal/value union) that doesn't cover every case and has no `_` arm.
 * Enabled by default at `error`; configurable via
 * `typechecker.matchExhaustiveness` (`silent` / `warn` / `error`). Conservative:
 * open types and non-discriminated object unions are never reported (B1).
 */
export declare function checkMatchExhaustiveness(scopes: ScopeInfo[], ctx: TypeCheckerContext): void;