src/test/ui/type/type-annotation-needed.rs

   1 fn foo<T: Into<String>>(x: i32) {}
   2 //~^ NOTE required by
   3 //~| NOTE required by
   4 fn main() {
   5     foo(42);
   6     //~^ ERROR type annotations needed
   7     //~| NOTE cannot infer type
   8     //~| NOTE cannot satisfy
   9 }