pub(super) fn compare_impl_ty<'tcx>( tcx: TyCtxt<'tcx>, impl_ty: AssocItem, trait_ty: AssocItem, impl_trait_ref: TraitRef<'tcx>, )