Function rustc_typeck::coherence::check_coherence

pub fn check_coherence(tcx: TyCtxt<'_>)