fn f1<'a>(x: u8, y: &'a ...) {}
//~^ ERROR C-variadic type `...` may not be nested inside another type

fn f2<'a>(x: u8, y: Vec<&'a ...>) {}
//~^ ERROR C-variadic type `...` may not be nested inside another type

fn main() {
    // While this is an error, wf-checks happen before typeck, and if any wf-checks
    // encountered errors, we do not continue to typeck, even if the items are
    // unrelated.
    // FIXME(oli-obk): make this report a type mismatch again.
    let _recovery_witness: () = 0;
}