Constant rustc_never_type_options 

pub const rustc_never_type_options: Symbol;