import type { TypeAliasEntry, VariableType } from "../types/typeHints.js";
/**
 * A failure's data has to be an object. A failure's message is always a string
 * and is never named in the type, so `Result<T, string>` is refused. No
 * `failure()` call can produce string data.
 *
 * `any` passes. A union passes when every arm does. `null` passes, so
 * `failure("x", null)` and a `D | null` data type are both writable.
 */
export declare function isDataShaped(t: VariableType, aliases: Record<string, TypeAliasEntry>): boolean;