1 files changed, 10 insertions, 0 deletions
diff --git a/src/test/ui/type/type-annotation-needed.rs b/src/test/ui/type/type-annotation-needed.rs
new file mode 100644
index 000000000..347887f4b
--- /dev/null
+++ b/src/test/ui/type/type-annotation-needed.rs
@@ -0,0 +1,10 @@
+fn foo<T: Into<String>>(x: i32) {}
+//~^ NOTE required by
+//~| NOTE required by
+
+fn main() {
+    foo(42);
+    //~^ ERROR type annotations needed
+    //~| NOTE cannot infer type
+    //~| NOTE cannot satisfy
+}