Function trait_method 

fn trait_method<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: DefId,
    method_name: Symbol,
    args: &[GenericArg<'tcx>],
) -> Const<'tcx>