blob: 97e33624bf6deb4c8a3eab08b0b5e1122764eb01 (
plain)
| 1
2
3
4
5
6
7
8
9
10
11
 | fn main() {
    let a: &[u8] = &[];
    match a {
        [1, tail @ .., tail @ ..] => {},
        //~^ ERROR identifier `tail` is bound more than once in the same pattern
        //~| ERROR `..` can only be used once per slice pattern
        _ => ()
    }
}
const RECOVERY_WITNESS: () = 0; //~ ERROR mismatched types
 |