/** A positional call's shape must be valid before its slots supply contracts. */
import { type Expression } from "../../ast.ts";
import { type DiagnosticFix } from "../../diagnostic.ts";
import { type Span } from "../../source.ts";
import { type ValueType } from "../../types.ts";
interface ArityHost {
    inferExpression(expression: Expression, contextualType?: ValueType): ValueType;
    typeError(message: string, errorSpan: Span, fix?: DiagnosticFix): void;
}
/** Named calls and spreads have their own planners; this owns the fixed positions. */
export declare function refusePositionalArity(host: ArityHost, arguments_: readonly Expression[], argumentNames: readonly (string | null)[] | undefined, callSpan: Span, contract: {
    readonly parameters: readonly ValueType[];
    readonly requiredParameters: number;
    readonly rest?: ValueType;
}, guidance?: () => string | undefined): boolean;
export {};
//# sourceMappingURL=arity.d.ts.map