From 169b040a25543274b7cc5fc2d2f15159ef325f28 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Esteban=20K=C3=BCber?= <esteban@kuber.com.ar>
Date: Sat, 5 Oct 2019 11:37:21 -0700
Subject: [PATCH] review comments

---
 src/librustc/hir/mod.rs                     |  7 +++++
 src/librustc_typeck/check/method/mod.rs     |  8 +++---
 src/librustc_typeck/check/method/suggest.rs | 30 +++++++++++----------
 3 files changed, 27 insertions(+), 18 deletions(-)

diff --git a/src/librustc/hir/mod.rs b/src/librustc/hir/mod.rs
index 9ae661f0952a4..6b9949e8432e1 100644
--- a/src/librustc/hir/mod.rs
+++ b/src/librustc/hir/mod.rs
@@ -1053,6 +1053,13 @@ impl Mutability {
             MutImmutable => MutImmutable,
         }
     }
+
+    pub fn not(self) -> Self {
+        match self {
+            MutMutable => MutImmutable,
+            MutImmutable => MutMutable,
+        }
+    }
 }
 
 #[derive(Copy, Clone, PartialEq, RustcEncodable, RustcDecodable, Debug, Hash, HashStable)]
diff --git a/src/librustc_typeck/check/method/mod.rs b/src/librustc_typeck/check/method/mod.rs
index 4522be21cab50..5851a074fa3f1 100644
--- a/src/librustc_typeck/check/method/mod.rs
+++ b/src/librustc_typeck/check/method/mod.rs
@@ -215,10 +215,10 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
 
         let mut needs_mut = false;
         if let ty::Ref(region, t_type, mutability) = self_ty.kind {
-            let trait_type = match mutability {
-                hir::Mutability::MutMutable => self.tcx.mk_imm_ref(region, t_type),
-                hir::Mutability::MutImmutable => self.tcx.mk_mut_ref(region, t_type),
-            };
+            let trait_type = self.tcx.mk_ref(region, ty::TypeAndMut {
+                ty: t_type,
+                mutbl: mutability.not(),
+            });
             match self.lookup_probe(
                 span,
                 segment.ident,
diff --git a/src/librustc_typeck/check/method/suggest.rs b/src/librustc_typeck/check/method/suggest.rs
index d7648ec03ab40..8d08d829283f6 100644
--- a/src/librustc_typeck/check/method/suggest.rs
+++ b/src/librustc_typeck/check/method/suggest.rs
@@ -557,24 +557,26 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                 let msg = format!("the `{}` method cannot be invoked on a trait object", item_name);
                 let mut err = self.sess().struct_span_err(span, &msg);
                 if !candidates.is_empty() {
-                    let help = format!("{an}other candidate{s} {were} found in the following \
-                                        trait{s}, perhaps add a `use` for {one_of_them}:",
-                                    an = if candidates.len() == 1 {"an" } else { "" },
-                                    s = pluralise!(candidates.len()),
-                                    were = if candidates.len() == 1 { "was" } else { "were" },
-                                    one_of_them = if candidates.len() == 1 {
-                                        "it"
-                                    } else {
-                                        "one_of_them"
-                                    });
+                    let help = format!(
+                        "{an}other candidate{s} {were} found in the following trait{s}, perhaps \
+                         add a `use` for {one_of_them}:",
+                        an = if candidates.len() == 1 {"an" } else { "" },
+                        s = pluralise!(candidates.len()),
+                        were = if candidates.len() == 1 { "was" } else { "were" },
+                        one_of_them = if candidates.len() == 1 {
+                            "it"
+                        } else {
+                            "one_of_them"
+                        },
+                    );
                     self.suggest_use_candidates(&mut err, help, candidates);
                 }
                 if let ty::Ref(region, t_type, mutability) = rcvr_ty.kind {
-                    let trait_type = match mutability {
-                        hir::Mutability::MutMutable => self.tcx.mk_imm_ref(region, t_type),
-                        hir::Mutability::MutImmutable => self.tcx.mk_mut_ref(region, t_type),
-                    };
                     if needs_mut {
+                        let trait_type = self.tcx.mk_ref(region, ty::TypeAndMut {
+                            ty: t_type,
+                            mutbl: mutability.not(),
+                        });
                         err.note(&format!("you need `{}` instead of `{}`", trait_type, rcvr_ty));
                     }
                 }