import { TypeAliasEntry, VariableType } from "../types.js";
import { SourceLocation } from "../types/base.js";
import { TypeCheckError } from "./types.js";
/** A `Result`'s second type parameter is read as `.data.field`, so it has to
 *  be an object. Checked wherever a type is written down: alias bodies and
 *  `let`/`const` hints through validateTypeReferences, and function
 *  parameters and return types directly (scopes.ts). */
export declare function validateResultDataTypes(vt: VariableType, context: string, typeAliases: Record<string, TypeAliasEntry>, errors: TypeCheckError[], loc?: SourceLocation): void;
export declare function validateTypeReferences(vt: VariableType, context: string, typeAliases: Record<string, TypeAliasEntry>, errors: TypeCheckError[], loc?: SourceLocation): void;