fn check_unsafety_coherence<'tcx>( tcx: TyCtxt<'tcx>, item: &Item<'_>, impl_generics: Option<&Generics<'_>>, unsafety: Unsafety, polarity: ImplPolarity)