1 files changed, 29 insertions, 0 deletions
diff --git a/tests/ui/pattern/bindings-after-at/pat-at-same-name-both.rs b/tests/ui/pattern/bindings-after-at/pat-at-same-name-both.rs
new file mode 100644
index 000000000..f167a3952
--- /dev/null
+++ b/tests/ui/pattern/bindings-after-at/pat-at-same-name-both.rs
@@ -0,0 +1,29 @@
+// Test that `binding @ subpat` acts as a product context with respect to duplicate binding names.
+// The code that is tested here lives in resolve (see `resolve_pattern_inner`).
+
+
+fn main() {
+    fn f(a @ a @ a: ()) {}
+    //~^ ERROR identifier `a` is bound more than once in this parameter list
+    //~| ERROR identifier `a` is bound more than once in this parameter list
+
+    match Ok(0) {
+        Ok(a @ b @ a)
+        //~^ ERROR identifier `a` is bound more than once in the same pattern
+        | Err(a @ b @ a)
+        //~^ ERROR identifier `a` is bound more than once in the same pattern
+        => {}
+    }
+
+    let a @ a @ a = ();
+    //~^ ERROR identifier `a` is bound more than once in the same pattern
+    //~| ERROR identifier `a` is bound more than once in the same pattern
+    let ref a @ ref a = ();
+    //~^ ERROR identifier `a` is bound more than once in the same pattern
+    let ref mut a @ ref mut a = ();
+    //~^ ERROR identifier `a` is bound more than once in the same pattern
+
+    let a @ (Ok(a) | Err(a)) = Ok(());
+    //~^ ERROR identifier `a` is bound more than once in the same pattern
+    //~| ERROR identifier `a` is bound more than once in the same pattern
+}