pub const rustc_strict_coherence: Symbol;