pub(crate) fn compare_ty_impl<'tcx>( tcx: TyCtxt<'tcx>, impl_ty: &AssocItem, impl_ty_span: Span, trait_ty: &AssocItem, impl_trait_ref: TraitRef<'tcx>, trait_item_span: Option<Span>)