import * as ts from "typescript";
import type { DiagnosticsCollector } from "../types/diagnostic.js";
/**
 * TSN7430: Arrow function escape hatch validation.
 *
 * Arrow functions can infer types from context when a deterministic expected
 * callable type exists. Without contextual typing, only "simple arrows" are
 * allowed to rely on inference.
 */
export declare const validateArrowEscapeHatch: (node: ts.ArrowFunction, sourceFile: ts.SourceFile, collector: DiagnosticsCollector) => DiagnosticsCollector;
//# sourceMappingURL=static-safety-arrow-rules.d.ts.map