1 files changed, 29 insertions, 0 deletions
diff --git a/src/test/ui/auto-traits/typeck-default-trait-impl-negation.rs b/src/test/ui/auto-traits/typeck-default-trait-impl-negation.rs
new file mode 100644
index 000000000..f7f56f97f
--- /dev/null
+++ b/src/test/ui/auto-traits/typeck-default-trait-impl-negation.rs
@@ -0,0 +1,29 @@
+#![feature(auto_traits)]
+#![feature(negative_impls)]
+
+auto trait MyTrait {}
+
+unsafe auto trait MyUnsafeTrait {}
+
+struct ThisImplsTrait;
+
+impl !MyUnsafeTrait for ThisImplsTrait {}
+
+
+struct ThisImplsUnsafeTrait;
+
+impl !MyTrait for ThisImplsUnsafeTrait {}
+
+fn is_my_trait<T: MyTrait>() {}
+fn is_my_unsafe_trait<T: MyUnsafeTrait>() {}
+
+fn main() {
+    is_my_trait::<ThisImplsTrait>();
+    is_my_trait::<ThisImplsUnsafeTrait>();
+    //~^ ERROR `ThisImplsUnsafeTrait: MyTrait` is not satisfied
+
+    is_my_unsafe_trait::<ThisImplsTrait>();
+    //~^ ERROR `ThisImplsTrait: MyUnsafeTrait` is not satisfied
+
+    is_my_unsafe_trait::<ThisImplsUnsafeTrait>();
+}