// compile-flags: -Zunleash-the-miri-inside-of-you | |
// stderr-per-bitwidth | |
#![allow(dead_code)] | |
const TEST: &u8 = &MY_STATIC; | |
//~^ ERROR it is undefined behavior to use this value | |
//~| encountered a reference pointing to a static variable | |
static MY_STATIC: u8 = 4; | |
fn main() { | |
} |