| // Test that when in MIR the amount of local_decls and amount of normalized_input_tys don't match | |
| // that an out-of-bounds access does not occur. | |
| #![feature(c_variadic)] | |
| fn main() {} | |
| unsafe extern "C" fn foo(_: Bar, _: ...) -> impl {} | |
| //~^ ERROR cannot find type `Bar` in this scope | |
| //~| ERROR at least one trait must be specified |