4 [1, tail @ .., tail @ ..] => {},
5 //~^ ERROR identifier `tail` is bound more than once in the same pattern
6 //~| ERROR subslice patterns are unstable
7 //~| ERROR subslice patterns are unstable
8 //~| ERROR `..` can only be used once per slice pattern
13 const RECOVERY_WITNESS: () = 0; //~ ERROR mismatched types