blob: 6d797caa0f94d174d27185e3b3b4ea12b0a026f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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() {}
|
