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