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