Constant rustc_strict_coherence 

pub const rustc_strict_coherence: Symbol;