Constant rustc_intrinsic_must_be_overridden 

pub const rustc_intrinsic_must_be_overridden: Symbol;