1 files changed, 7 insertions, 0 deletions
diff --git a/tests/ui/dyn-compatibility/dyn-compatible-trait-implementation-20939.rs b/tests/ui/dyn-compatibility/dyn-compatible-trait-implementation-20939.rs
new file mode 100644
index 00000000000..c7938b275e9
--- /dev/null
+++ b/tests/ui/dyn-compatibility/dyn-compatible-trait-implementation-20939.rs
@@ -0,0 +1,7 @@
+// https://github.com/rust-lang/rust/issues/20939
+trait Foo {}
+
+impl<'a> Foo for dyn Foo + 'a {}
+//~^ ERROR the object type `(dyn Foo + 'a)` automatically implements the trait `Foo`
+
+fn main() {}