Constant rustc_never_type_options

pub const rustc_never_type_options: Symbol;