pub fn suggest_impl_trait<'tcx>( infcx: &InferCtxt<'tcx>, param_env: ParamEnv<'tcx>, ret_ty: Ty<'tcx>, ) -> Option<String>