Warn for bindings named same as variants when matching against a borrow

src/librustc_mir/hair/pattern/check_match.rs

@@ -284,7 +284,7 @@ fn check_for_bindings_named_same_as_variants(cx: &MatchVisitor<'_, '_>, pat: &Pa
             if let Some(ty::BindByValue(hir::Mutability::Not)) =
                 cx.tables.extract_binding_mode(cx.tcx.sess, p.hir_id, p.span)
             {
-                let pat_ty = cx.tables.pat_ty(p);
+                let pat_ty = cx.tables.pat_ty(p).peel_refs();
                 if let ty::Adt(edef, _) = pat_ty.kind {
                     if edef.is_enum()
                         && edef.variants.iter().any(|variant| {

src/test/ui/match/match-same-name-enum-variant.rs

@@ -0,0 +1,33 @@
+// Test for issue #67776: binding named the same as enum variant
+// should report a warning even when matching against a borrow
+
+// check-pass
+
+#![allow(unused_variables)]
+#![allow(non_snake_case)]
+
+enum Foo {
+    Bar,
+    Baz,
+}
+
+
+fn fn2(e: Foo) {
+    match e {
+        Bar => println!("A"),
+        //~^ WARNING named the same as one of the variants of the type `Foo`
+        Baz => println!("B"),
+        //~^ WARNING named the same as one of the variants of the type `Foo`
+    }
+}
+
+fn fn1(e: &Foo) {
+    match e {
+        Bar => println!("A"),
+        //~^ WARNING named the same as one of the variants of the type `Foo`
+        Baz => println!("B"),
+        //~^ WARNING named the same as one of the variants of the type `Foo`
+    }
+}
+
+fn main() {}

src/test/ui/match/match-same-name-enum-variant.stderr

@@ -0,0 +1,24 @@
+warning[E0170]: pattern binding `Bar` is named the same as one of the variants of the type `Foo`
+  --> $DIR/match-same-name-enum-variant.rs:14:9
+   |
+LL |         Bar => println!("A"),
+   |         ^^^ help: to match on the variant, qualify the path: `Foo::Bar`
+
+warning[E0170]: pattern binding `Baz` is named the same as one of the variants of the type `Foo`
+  --> $DIR/match-same-name-enum-variant.rs:16:9
+   |
+LL |         Baz => println!("B"),
+   |         ^^^ help: to match on the variant, qualify the path: `Foo::Baz`
+
+warning[E0170]: pattern binding `Bar` is named the same as one of the variants of the type `Foo`
+  --> $DIR/match-same-name-enum-variant.rs:23:9
+   |
+LL |         Bar => println!("A"),
+   |         ^^^ help: to match on the variant, qualify the path: `Foo::Bar`
+
+warning[E0170]: pattern binding `Baz` is named the same as one of the variants of the type `Foo`
+  --> $DIR/match-same-name-enum-variant.rs:25:9
+   |
+LL |         Baz => println!("B"),
+   |         ^^^ help: to match on the variant, qualify the path: `Foo::Baz`
+