1 files changed, 12 insertions, 0 deletions
diff --git a/src/test/ui/type/type-parameter-names.rs b/src/test/ui/type/type-parameter-names.rs
new file mode 100644
index 000000000..b54a3fae0
--- /dev/null
+++ b/src/test/ui/type/type-parameter-names.rs
@@ -0,0 +1,12 @@
+// Test that we print out the names of type parameters correctly in
+// our error messages.
+
+fn foo<Foo, Bar>(x: Foo) -> Bar {
+    x
+//~^ ERROR mismatched types
+//~| expected type parameter `Bar`, found type parameter `Foo`
+//~| expected type parameter `Bar`
+//~| found type parameter `Foo`
+}
+
+fn main() {}