import type { TypeCheckError } from "../../typeChecker/types.js";
import type { SpliceDiagnostic } from "./types.js";
/**
 * Turn a splice failure into the shape the rest of the compiler reports.
 *
 * Splice failures cannot travel through the type checker: expansion runs
 * before checking, and the splices are gone by the time the checker sees
 * the program. They rejoin the ordinary path here, keeping the same codes,
 * formatting, and `agency explain` prose.
 */
export declare function toTypeCheckError(found: SpliceDiagnostic, file?: string): TypeCheckError;
export declare function formatSpliceDiagnostic(found: SpliceDiagnostic, file?: string): string;