summaryrefslogtreecommitdiffstats
path: root/tests/ui/unsafe/unsafe-not-inherited.rs
blob: f9d9a5957141cfb72b3a2c1f3d9c04e021891598 (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
27
28
// revisions: mirunsafeck thirunsafeck
// [thirunsafeck]compile-flags: -Z thir-unsafeck
#![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() {}