1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/traits/safety-trait-impl-cc.rs b/src/test/ui/traits/safety-trait-impl-cc.rs
new file mode 100644
index 000000000..6f125e5f9
--- /dev/null
+++ b/src/test/ui/traits/safety-trait-impl-cc.rs
@@ -0,0 +1,15 @@
+// aux-build:trait_safety_lib.rs
+
+// Check that unsafe traits require unsafe impls and that inherent
+// impls cannot be unsafe.
+
+extern crate trait_safety_lib as lib;
+
+struct Bar;
+impl lib::Foo for Bar { //~ ERROR requires an `unsafe impl` declaration
+    fn foo(&self) -> isize {
+        panic!();
+    }
+}
+
+fn main() { }