Function rustc_typeck::check::check::check_specialization_validity

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