/**
 * Receiver substitution helpers.
 *
 * Contains computeReceiverSubstitution for receiver type parameter binding.
 *
 * DAG position: depends on type-system-state
 */
import type { IrType } from "../types/index.js";
import type { TypeSystemState, TypeSubstitutionMap } from "./type-system-state.js";
/**
 * Compute receiver substitution for a method call.
 *
 * Given a receiver type (e.g., Array<string>) and a declaring type's TS name,
 * computes the substitution map for class type parameters.
 *
 * Phase 6: Uses TypeId-based NominalEnv.getInstantiation().
 */
export declare const computeReceiverSubstitution: (state: TypeSystemState, receiverType: IrType, declaringTypeTsName: string, _declaringMemberName: string, declaringTypeParameterNames?: readonly string[], declaringClrType?: string) => TypeSubstitutionMap | undefined;
//# sourceMappingURL=call-resolution-signatures-catalog.d.ts.map