summaryrefslogtreecommitdiffstats
path: root/src/test/ui/pattern/bindings-after-at/pat-at-same-name-both.rs
blob: f167a3952ee9c3885e50d7a7c0178bf56c4a2319 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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
}