| // Validation stops the test before the ICE we used to hit | |
| //@compile-flags: -Zmiri-disable-validation | |
| #![feature(never_type)] | |
| #[derive(Copy, Clone)] | |
| pub enum E { | |
| A(!), | |
| } | |
| pub union U { | |
| u: (), | |
| e: E, | |
| } | |
| fn main() { | |
| let E::A(ref _a) = unsafe { &(&U { u: () }).e }; | |
| } |