fn compare_impl_const<'tcx>( tcx: TyCtxt<'tcx>, impl_const_item: AssocItem, trait_const_item: AssocItem, impl_trait_ref: TraitRef<'tcx>, ) -> Result<(), ErrorGuaranteed>