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