blob: e0d1d515deb0270bc8b71c06f929b54c33ae41b4 [file] [log] [blame]
//@ check-pass
#![feature(never_type)]
#[derive(Copy, Clone)]
pub enum E { A(!), }
pub union U { u: (), e: E, }
pub const C: () = {
let E::A(ref a) = unsafe { &(&U { u: () }).e};
};
fn main() {}