Files
rust/tests/ui/consts/const-eval/ub-enum-overwrite.rs
2026-03-17 17:39:59 +08:00

16 lines
334 B
Rust

enum E {
A(u8),
B,
}
//@ ignore-parallel-frontend different alloc ids
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 uninitialized
};
fn main() {}