好吧，我 * 可能 * 已经找到了答案（感谢上面评论中的提示！），但这让我觉得我需要洗澡。
https://godbolt.org/z/3crzGdvP5

#include <concepts>
#include <utility>
using namespace std;
namespace PRIVATE_ {
template <typename T>
concept HasEqBasic = requires(T t) {
    { t == t } -> std::convertible_to<bool>;
};
template <typename T>
constexpr inline bool has_eq_v = HasEqBasic<T>;
template <typename T, typename U>
constexpr inline bool has_eq_v<std::pair<T, U>> = has_eq_v<T> and has_eq_v<U>;
template <typename... Ts>
constexpr inline bool has_eq_v<std::tuple<Ts...>> = (has_eq_v<Ts> and ...);
}  // namespace PRIVATE_
template <typename T>
concept HasEq = PRIVATE_::has_eq_v<T>;
struct X {};
static_assert(not HasEq<X>);
static_assert(!HasEq<pair<X, X>>);

经过一番折腾，我想出了这个。聪明的人会告诉我它可能有什么问题：

template <typename T>
concept BasicHasEq = requires(T t) {
    { t == t } -> std::convertible_to <bool>;
};
template <typename T>
concept IsPair = requires (T t) {
    t.first;
    t.second;
};
template <typename T>
concept IsNonComparablePair = IsPair <T> &&
    (!BasicHasEq <decltype (std::declval <T> ().first)> ||
     !BasicHasEq <decltype (std::declval <T> ().second)>);
template <typename T>
concept IsContainer = requires (T t) {
    typename T::value_type;    
};    
    
template <typename T>
concept IsNonCopyableContainer = IsContainer <T> && !BasicHasEq <typename T::value_type>;
template <typename T>
concept HasEq = BasicHasEq <T> && !IsNonComparablePair <T> && !IsNonCopyableContainer <T>;

Live demo
编辑后还可以处理容器类型。可能还需要做更多的工作来处理所有可能发生的事情。