// compile-flags: -Zunleash-the-miri-inside-of-you
#![allow(const_err)]

// Make sure we cannot mutate globals.

static mut GLOBAL: i32 = 0;

static MUTATING_GLOBAL: () = {
    unsafe {
        GLOBAL = 99
        //~^ ERROR could not evaluate static initializer
        //~| NOTE modifying a static's initial value
    }
};

fn main() {}