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
   5 fn main() {
   6     foo(42);
   7     //~^ ERROR type annotations needed
   8     //~| NOTE cannot infer type
   9     //~| NOTE cannot satisfy
  10 }