LWG3360 three_way_comparable_with is inconsistent with similar concepts

cplusplus · Feb 21, 2020 · 9a29c65 · 9a29c65
1 parent 08b085f
commit 9a29c65
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/source/support.tex b/source/support.tex
@@ -4601,13 +4601,13 @@
 \begin{codeblock}
 template<class T, class U, class Cat = partial_ordering>
   concept @\deflibconcept{three_way_comparable_with}@ =
-    @\exposconcept{weakly-equality-comparable-with}@<T, U> &&
-    @\exposconcept{partially-ordered-with}@<T, U> &&
     three_way_comparable<T, Cat> &&
     three_way_comparable<U, Cat> &&
     common_reference_with<const remove_reference_t<T>&, const remove_reference_t<U>&> &&
     three_way_comparable<
       common_reference_t<const remove_reference_t<T>&, const remove_reference_t<U>&>, Cat> &&
+    @\exposconcept{weakly-equality-comparable-with}@<T, U> &&
+    @\exposconcept{partially-ordered-with}@<T, U> &&
     requires(const remove_reference_t<T>& t, const remove_reference_t<U>& u) {
       { t <=> u } -> @\exposconcept{compares-as}@<Cat>;
       { u <=> t } -> @\exposconcept{compares-as}@<Cat>;