/**
 * Type errors in the generated program, mapped back to the workflow step and
 * field whose lines they fall in. The field a wrong argument name belongs to
 * comes from the diagnostic's structured payload, never from its message.
 */
import type { Owner, Problem, Range } from "./types.js";
/** `loc.line` is 0-based, as the typechecker reports it. */
export type Diagnostic = {
    code: string;
    message: string;
    loc?: {
        line: number;
    };
    params?: Record<string, string | number>;
};
export declare function problemsFromDiagnostics(diagnostics: Diagnostic[], ranges: Range[], typeOwners?: Record<string, Owner>): Problem[];