pub(crate) fn compare_const_impl<'tcx>( tcx: TyCtxt<'tcx>, impl_c: &AssocItem, impl_c_span: Span, trait_c: &AssocItem, impl_trait_ref: TraitRef<'tcx>)
