// 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() {
}