1 fn f1<'a>(x: u8, y: &'a ...) {}
2 //~^ ERROR C-variadic type `...` may not be nested inside another type
4 fn f2<'a>(x: u8, y: Vec<&'a ...>) {}
5 //~^ ERROR C-variadic type `...` may not be nested inside another type
8 let _recovery_witness: () = 0; //~ ERROR mismatched types