/**
 * Copyright (c) 2025 Elara AI Pty Ltd
 * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
 */
import type * as ts from "typescript";
import type { TsModule } from "./types.js";
import type { EastModule } from "./east-module.js";
/** TS assignability error codes worth attempting an East type-diff rewrite on. */
export declare const ASSIGNABILITY_CODES: ReadonlySet<number>;
/**
 * Attempt to replace a native TS assignability diagnostic with a localized
 * East type diff. East types are recursive and deeply generic, so the native
 * message restates whole types and is unreadably long; `diffTypes` prunes
 * everything compatible and reports only the offending subtrees.
 *
 * @returns The replacement message, or `undefined` when the diagnostic is not
 * an East type mismatch this can improve (callers keep the native message).
 */
export declare function rewriteEastAssignability(t: TsModule, program: ts.Program, sourceFile: ts.SourceFile, diagnostic: ts.Diagnostic, east: EastModule): string | undefined;
//# sourceMappingURL=type-diff-rewrite.d.ts.map