import type { AgencyProgram } from "../types.js";
import type { SourceLocation } from "../types/base.js";
/**
 * A callback block this pass refuses to lift. A separate class so a caller
 * can tell this refusal — a mistake in the user's program — from a genuine
 * bug in the pass, whose stack it must not swallow.
 */
export declare class CallbackLiftError extends Error {
    loc?: SourceLocation;
    constructor(message: string, loc?: SourceLocation);
}
/**
 * Returns a new program and leaves `program` exactly as it was. Callers
 * hand out the pre-lift parse (the linter reads it, the parse cache keeps
 * it), so rewriting a body in place would edit a program someone else is
 * still holding.
 */
export declare function liftCallbackBlocks(program: AgencyProgram): AgencyProgram;