rust/tests/ui/consts/const-eval/ub-enum-overwrite.rs

19 lines
360 B
Rust

#![feature(const_mut_refs)]
enum E {
A(u8),
B,
}
const _: u8 = {
let mut e = E::A(1);
let p = if let E::A(x) = &mut e { x as *mut u8 } else { unreachable!() };
// Make sure overwriting `e` uninitializes other bytes
e = E::B;
unsafe { *p }
//~^ ERROR evaluation of constant value failed
//~| uninitialized
};
fn main() {}