error[E0282]: type annotations needed --> $DIR/fn-needing-specified-return-type-param.rs:3:13 | LL | let _ = f; | ^ cannot infer type of the type parameter `A` declared on the function `f` | help: consider specifying the generic argument | LL | let _ = f::; | +++++ error: aborting due to previous error For more information about this error, try `rustc --explain E0282`.