about summary refs log tree commit diff
path: root/src/test/ui/pattern/bindings-after-at/pat-at-same-name-both.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/pattern/bindings-after-at/pat-at-same-name-both.rs')
-rw-r--r--src/test/ui/pattern/bindings-after-at/pat-at-same-name-both.rs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/pattern/bindings-after-at/pat-at-same-name-both.rs b/src/test/ui/pattern/bindings-after-at/pat-at-same-name-both.rs
deleted file mode 100644
index f167a3952ee..00000000000
--- a/src/test/ui/pattern/bindings-after-at/pat-at-same-name-both.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-// 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
-}