US201 18.05.4 totally_ordered_with both directly and indirectly requires common_reference_with LWG 3329

[wg21bot]

The totally_ordered_with<T, U> redundantly requires both common_reference_with<const remove_reference_t&, const remove_reference_t&> and equality_comparable_with<T, U> (which also has the common_reference_with requirement). The redundant requirement should be removed.

Proposed change:
Change the definition of totally_ordered_with to:

template<class T, class U>
  concept totally_ordered_with =
    totally_ordered<T> && totally_ordered<U> &&
    equality_comparable_with<T, U> &&
    totally_ordered<
      common_reference_t<
        const remove_reference_t<T>&,
        const remove_reference_t<U>&>> &&
    requires(const remove_reference_t<T>& t,
                    const remove_reference_t<U>& u) {
      [...as before...]

[tituswinters]

LEWG in Belfast: Forward to LWG for C++20, the proposed change/wording appears correct.

[Dani-Hub]

The associated issue is LWG 3329

[mclow]

LWG Accepted Friday AM in Belfast.