summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/const-eval/mod-static-with-const-fn.rs
blob: b6b74e67d20cb0f0dbb7eae6724424587e18585a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
// New test for #53818: modifying static memory at compile-time is not allowed.
// The test should never compile successfully

#![feature(const_mut_refs)]

use std::cell::UnsafeCell;

struct Foo(UnsafeCell<u32>);

unsafe impl Send for Foo {}
unsafe impl Sync for Foo {}

static FOO: Foo = Foo(UnsafeCell::new(42));

static BAR: () = unsafe {
    *FOO.0.get() = 5;
    //~^ ERROR could not evaluate static initializer
};

fn main() {
    println!("{}", unsafe { *FOO.0.get() });
}