src/test/ui/pattern/bindings-after-at/wild-before-at-syntactically-rejected.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// Here we check that `_ @ sub` is syntactically invalid
// and comes with a nice actionable suggestion.

fn main() {}

#[cfg(FALSE)]
fn wild_before_at_is_bad_syntax() {
    let _ @ a = 0;
    //~^ ERROR pattern on wrong side of `@`
    let _ @ ref a = 0;
    //~^ ERROR pattern on wrong side of `@`
    let _ @ ref mut a = 0;
    //~^ ERROR pattern on wrong side of `@`
    let _ @ (a, .., b) = (0, 1, 2, 3);
    //~^ ERROR left-hand side of `@` must be a binding
}