summaryrefslogtreecommitdiffstats
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 f167a3952..000000000
--- 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
-}