1 files changed, 10 insertions, 0 deletions
diff --git a/tests/ui/coherence/coherence-impl-trait-for-trait-object-safe.rs b/tests/ui/coherence/coherence-impl-trait-for-trait-object-safe.rs
new file mode 100644
index 000000000..20ff87549
--- /dev/null
+++ b/tests/ui/coherence/coherence-impl-trait-for-trait-object-safe.rs
@@ -0,0 +1,10 @@
+// Test that we give suitable error messages when the user attempts to
+// impl a trait `Trait` for its own object type.
+
+// If the trait is not object-safe, we give a more tailored message
+// because we're such schnuckels:
+trait NotObjectSafe { fn eq(&self, other: Self); }
+impl NotObjectSafe for dyn NotObjectSafe { }
+//~^ ERROR E0038
+
+fn main() { }