1 files changed, 10 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-21837.rs b/src/test/ui/issues/issue-21837.rs
new file mode 100644
index 000000000..213119bd2
--- /dev/null
+++ b/src/test/ui/issues/issue-21837.rs
@@ -0,0 +1,10 @@
+pub trait Bound {}
+pub struct Foo<T: Bound>(T);
+
+pub trait Trait1 {}
+impl<T: Bound> Trait1 for Foo<T> {}
+
+pub trait Trait2 {}
+impl<T> Trait2 for Foo<T> {} //~ ERROR the trait bound `T: Bound` is not satisfied
+
+fn main() {}