summaryrefslogtreecommitdiffstats
path: root/src/test/ui/unsafe/unsafe-not-inherited.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/unsafe/unsafe-not-inherited.rs')
-rw-r--r--src/test/ui/unsafe/unsafe-not-inherited.rs26
1 files changed, 26 insertions, 0 deletions
diff --git a/src/test/ui/unsafe/unsafe-not-inherited.rs b/src/test/ui/unsafe/unsafe-not-inherited.rs
new file mode 100644
index 000000000..6d797caa0
--- /dev/null
+++ b/src/test/ui/unsafe/unsafe-not-inherited.rs
@@ -0,0 +1,26 @@
+#![allow(unused, dead_code)]
+
+static mut FOO: u64 = 0;
+
+fn static_mod() {
+ unsafe {static BAR: u64 = FOO;}
+ //~^ ERROR: use of mutable static is unsafe
+ //~| NOTE: use of mutable static
+ //~| NOTE: mutable statics can be mutated by multiple threads
+ //~| NOTE: items do not inherit unsafety
+}
+
+unsafe fn unsafe_call() {}
+fn foo() {
+ unsafe {
+ //~^ NOTE: items do not inherit unsafety
+ fn bar() {
+ unsafe_call();
+ //~^ ERROR: call to unsafe function
+ //~| NOTE: call to unsafe function
+ //~| NOTE: consult the function's documentation
+ }
+ }
+}
+
+fn main() {}