Function trait_method 

fn trait_method<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: DefId,
    method_name: Symbol,
    args: Binder<'tcx, impl IntoIterator<Item: Into<GenericArg<'tcx>>>>,
) -> Const<'tcx>