blob: 9a88f584a58ec0e163b0e92127e909dec4ef2eec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
//@ compile-flags: -Zunleash-the-miri-inside-of-you
// Make sure we cannot mutate globals.
static mut GLOBAL: i32 = 0;
static MUTATING_GLOBAL: () = {
unsafe {
GLOBAL = 99
//~^ ERROR modifying a static's initial value
}
};
fn main() {}
|