add tests for safe/unsafe negative impls

lqd · lqd · commit 4d615b163a17 · 2023-11-11T23:31:11.000Z
diff --git a/tests/ui/decl_safety/safe_trait-negative_impl_mismatch.stderr b/tests/ui/decl_safety/safe_trait-negative_impl_mismatch.stderr
@@ -0,0 +1,4 @@
+Error: check_neg_trait_impl(unsafe impl ! Foo for u32 {})
+
+Caused by:
+    negative impls cannot be unsafe
diff --git a/tests/ui/decl_safety/safe_trait-negative_impl_mismatch.🔬 b/tests/ui/decl_safety/safe_trait-negative_impl_mismatch.🔬
@@ -0,0 +1,6 @@
+[
+    crate baguette {
+        trait Foo {}
+        unsafe impl !Foo for u32 {}
+    }
+]
diff --git a/tests/ui/decl_safety/unsafe_trait-negative_impl.🔬 b/tests/ui/decl_safety/unsafe_trait-negative_impl.🔬
@@ -0,0 +1,7 @@
+//@check-pass
+[
+    crate baguette {
+        unsafe trait Foo {}
+        impl !Foo for u32 {}
+    }
+]
diff --git a/tests/ui/decl_safety/unsafe_trait-negative_impl_mismatch.stderr b/tests/ui/decl_safety/unsafe_trait-negative_impl_mismatch.stderr
@@ -0,0 +1,4 @@
+Error: check_neg_trait_impl(unsafe impl ! Foo for u32 {})
+
+Caused by:
+    negative impls cannot be unsafe
diff --git a/tests/ui/decl_safety/unsafe_trait-negative_impl_mismatch.🔬 b/tests/ui/decl_safety/unsafe_trait-negative_impl_mismatch.🔬
@@ -0,0 +1,6 @@
+[
+    crate baguette {
+        unsafe trait Foo {}
+        unsafe impl !Foo for u32 {}
+    }
+]
