fn f<T>() -> T { panic!() }
fn main() {
let a = f();
let b = -a;
let c : &i32 = &a;
}<anon>:4:14: 4:15 error: the type of this value must be known in this context
<anon>:4 let b = -a;
^
error: aborting due to previous error
As far as I can tell, there's enough information here for inference to succeed.
As far as I can tell, there's enough information here for inference to succeed.