import type { ExprNode, TypeExprNode } from "../parser/ast.js";
export type SpreadOperandClassification = "object" | "nullable-object" | "invalid" | "unknown";
type InferExprType<Env, Symbols> = (expr: ExprNode, env: Env, symbols: Symbols) => TypeExprNode | null;
type ResolveType<Symbols> = (typeExpr: TypeExprNode | null, symbols: Symbols) => TypeExprNode | null;
type ExprTypeContext<Env, Symbols> = {
    env: Env;
    symbols: Symbols;
    inferExprType: InferExprType<Env, Symbols>;
    resolveType: ResolveType<Symbols>;
};
export declare function inferObjectLiteralContributionType<Env, Symbols>(expr: Extract<ExprNode, {
    kind: "objectLiteral";
}>, env: Env, symbols: Symbols, inferExprType: InferExprType<Env, Symbols>, resolveType: ResolveType<Symbols>): TypeExprNode | null;
export declare function inferMergeContributionType<Env, Symbols>(expr: Extract<ExprNode, {
    kind: "functionCall";
}>, env: Env, symbols: Symbols, inferExprType: InferExprType<Env, Symbols>, resolveType: ResolveType<Symbols>): TypeExprNode | null;
export declare function classifySpreadOperandType<Symbols>(typeExpr: TypeExprNode | null, symbols: Symbols, resolveType: ResolveType<Symbols>): SpreadOperandClassification;
export declare function mayYieldArrayExpr<Env, Symbols>(expr: ExprNode | undefined, context?: ExprTypeContext<Env, Symbols>): boolean;
export {};