1 files changed, 51 insertions, 0 deletions
diff --git a/tests/ui/polymorphization/predicates.stderr b/tests/ui/polymorphization/predicates.stderr
new file mode 100644
index 00000000000..80bb2af25cc
--- /dev/null
+++ b/tests/ui/polymorphization/predicates.stderr
@@ -0,0 +1,51 @@
+error: item has unused generic parameters
+  --> $DIR/predicates.rs:15:4
+   |
+LL | fn foo<I, T>(_: I)
+   |    ^^^    - generic parameter `T` is unused
+
+error: item has unused generic parameters
+  --> $DIR/predicates.rs:24:4
+   |
+LL | fn baz<I, T>(_: I)
+   |    ^^^    - generic parameter `T` is unused
+
+error: item has unused generic parameters
+  --> $DIR/predicates.rs:45:19
+   |
+LL | impl<'a, I, T: 'a, E> Iterator for Foo<'a, I, E>
+   |          -         - generic parameter `E` is unused
+   |          |
+   |          generic parameter `I` is unused
+...
+LL |         self.find(|_| true)
+   |                   ^^^
+
+error: item has unused generic parameters
+  --> $DIR/predicates.rs:59:4
+   |
+LL | fn quux<A, B, C: Default>() -> usize
+   |    ^^^^ -  - generic parameter `B` is unused
+   |         |
+   |         generic parameter `A` is unused
+
+error: item has unused generic parameters
+  --> $DIR/predicates.rs:76:4
+   |
+LL | fn foobar<F, G>() -> usize
+   |    ^^^^^^ - generic parameter `F` is unused
+
+error: item has unused generic parameters
+  --> $DIR/predicates.rs:10:4
+   |
+LL | fn bar<I>() {
+   |    ^^^ - generic parameter `I` is unused
+
+note: the above error was encountered while instantiating `fn foo::<std::slice::Iter<'_, u32>, T>`
+  --> $DIR/predicates.rs:86:5
+   |
+LL |     foo(x.iter());
+   |     ^^^^^^^^^^^^^
+
+error: aborting due to 6 previous errors
+