/** A retired bare Function annotation has no contract to check its value against. */
import { type TypeReference } from "../../ast.ts";
import { type Diagnostic } from "../../diagnostic.ts";
import { type ValueType } from "../../types.ts";
/** Supply the inferred callable when an initializer exists; otherwise teach the shape. */
export declare function retiredFunctionAnnotationDiagnostic(annotation: TypeReference, actual: ValueType): Diagnostic;
//# sourceMappingURL=function-annotations.d.ts.map