blob: ca825a1f5ed658eeaf0d09afe07afbe8c90b1d43 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// 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() {
}
|