add tests for safe/unsafe negative impls

rust-lang · Nov 11, 2023 · 5ba1052 · 5ba1052
1 parent 519e4da
commit 5ba1052
Show file tree

Hide file tree

Showing 5 changed files with 27 additions and 0 deletions.
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 {}
+    }
+]