Function rustc_hir_analysis::check::check::check_specialization_validity

pub(super) fn check_specialization_validity<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def: &TraitDef,
    trait_item: AssocItem,
    impl_id: DefId,
    impl_item: DefId,
)