import type { Capability } from "../host/host.js";
import type { ScopeInfo, TypeCheckError, TypeCheckerContext } from "./types.js";
import { type InterruptCallGraph } from "./interruptAnalysis.js";
type CapabilityMap = Record<string, Capability[]>;
/** The diagnostic the platform setting turns on. The compile path treats
 *  it as fatal whether or not the type checker was asked for. */
export declare function isPlatformDiagnostic(error: TypeCheckError): boolean;
export declare function checkPlatformCapabilities(scopes: ScopeInfo[], capabilitiesByFunction: CapabilityMap, callGraph: InterruptCallGraph, ctx: TypeCheckerContext): void;
export {};