/** A runtime shape check refines data; it cannot grant writes to an existing typed alias. */
import { type ValueType } from "../../types.ts";
export interface ReadonlyCheckHost {
    expandAliases(type: ValueType): ValueType;
    fieldsOf(identity: string): ReadonlyMap<string, ValueType> | null;
    readonlyFieldsOf(identity: string): ReadonlySet<string> | null;
    matchTypesOverlap(left: ValueType, right: ValueType): boolean;
    isAssignableHere(actual: ValueType, expected: ValueType): boolean;
}
export declare function preserveCheckedReadonly(host: ReadonlyCheckHost, input: ValueType, target: ValueType, seen?: Set<string>): ValueType;
//# sourceMappingURL=readonly-check.d.ts.map