1 files changed, 18 insertions, 0 deletions
diff --git a/src/test/ui/traits/safety-trait-impl.rs b/src/test/ui/traits/safety-trait-impl.rs
new file mode 100644
index 000000000..45258b78d
--- /dev/null
+++ b/src/test/ui/traits/safety-trait-impl.rs
@@ -0,0 +1,18 @@
+// Check that unsafe traits require unsafe impls and that inherent
+// impls cannot be unsafe.
+
+trait SafeTrait {
+    fn foo(&self) { }
+}
+
+unsafe trait UnsafeTrait {
+    fn foo(&self) { }
+}
+
+unsafe impl UnsafeTrait for u8 { } // OK
+
+impl UnsafeTrait for u16 { } //~ ERROR requires an `unsafe impl` declaration
+
+unsafe impl SafeTrait for u32 { } //~ ERROR the trait `SafeTrait` is not unsafe
+
+fn main() { }