Function rustc_typeck::coherence::unsafety::check

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