blob: ca825a1f5ed658eeaf0d09afe07afbe8c90b1d43 [file] [log] [blame]
// 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() {
}