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