struct Foo(i32);
fn main() {
let Foo(...) = Foo(0); //~ ERROR unexpected `...`
let [_, ..., _] = [0, 1]; //~ ERROR unexpected `...`
let _recovery_witness: () = 0; //~ ERROR mismatched types
}