| fn f(_: usize, _: &usize, _: usize) {} | |
| fn arg<T>() -> T { todo!() } | |
| fn main() { | |
| let x = arg(); // `x` must be inferred | |
| // The reference on `&x` is important to reproduce the ICE | |
| f(&x, ""); //~ ERROR function takes 3 arguments but 2 arguments were supplied | |
| } |