/**
 * Call Resolution Unification — Generic type argument inference from call-site arguments.
 *
 * Contains inferMethodTypeArgsFromArguments with the full tryUnify engine
 * for deterministic type argument inference.
 *
 * DAG position: depends on type-system-state, type-system-relations, call-resolution-utilities
 */
import type { IrType } from "../types/index.js";
import type { TypeParameterInfo } from "./types.js";
import type { TypeSystemState } from "./type-system-state.js";
/**
 * Deterministic type argument inference from call-site arguments.
 *
 * Walks parameter and argument shapes without ambiguity.
 */
export declare const inferMethodTypeArgsFromArguments: (state: TypeSystemState, methodTypeParams: readonly TypeParameterInfo[], parameterTypes: readonly (IrType | undefined)[], argTypes: readonly (IrType | undefined)[]) => Map<string, IrType> | undefined;
//# sourceMappingURL=call-resolution-unification.d.ts.map