1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/coherence/coherence-default-trait-impl.rs b/tests/ui/coherence/coherence-default-trait-impl.rs
new file mode 100644
index 00000000000..d57fb477754
--- /dev/null
+++ b/tests/ui/coherence/coherence-default-trait-impl.rs
@@ -0,0 +1,16 @@
+#![feature(auto_traits)]
+#![feature(negative_impls)]
+
+auto trait MySafeTrait {}
+
+struct Foo;
+
+unsafe impl MySafeTrait for Foo {}
+//~^ ERROR E0199
+
+unsafe auto trait MyUnsafeTrait {}
+
+impl MyUnsafeTrait for Foo {}
+//~^ ERROR E0200
+
+fn main() {}