summaryrefslogtreecommitdiffstats
path: root/tests/ui/pattern/issue-14221.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/pattern/issue-14221.rs')
-rw-r--r--tests/ui/pattern/issue-14221.rs21
1 files changed, 21 insertions, 0 deletions
diff --git a/tests/ui/pattern/issue-14221.rs b/tests/ui/pattern/issue-14221.rs
new file mode 100644
index 000000000..13427d2c9
--- /dev/null
+++ b/tests/ui/pattern/issue-14221.rs
@@ -0,0 +1,21 @@
+#![deny(unreachable_patterns)]
+#![allow(unused_variables)]
+#![allow(non_snake_case)]
+
+pub enum E {
+ A,
+ B,
+}
+
+pub mod b {
+ pub fn key(e: ::E) -> &'static str {
+ match e {
+ A => "A",
+//~^ ERROR pattern binding `A` is named the same as one of the variants of the type `E`
+ B => "B", //~ ERROR: unreachable pattern
+//~^ ERROR pattern binding `B` is named the same as one of the variants of the type `E`
+ }
+ }
+}
+
+fn main() {}