blob: 7da6b7ca285c18ddb2683c6b5629c67d169b7b46 [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() {}