// compile-flags: -Zunleash-the-miri-inside-of-you

#![allow(dead_code)]

const TEST: &u8 = &MY_STATIC;
//~^ ERROR it is undefined behavior to use this value
//~| NOTE  encountered a reference pointing to a static variable
//~| NOTE

static MY_STATIC: u8 = 4;

fn main() {
}