Skip to content

Commit db3a604

Browse files
author
Dawn Perchik
committed
LWG3360 three_way_comparable_with is inconsistent with similar concepts
1 parent 935d723 commit db3a604

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

source/support.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4601,13 +4601,13 @@
46014601
\begin{codeblock}
46024602
template<class T, class U, class Cat = partial_ordering>
46034603
concept @\deflibconcept{three_way_comparable_with}@ =
4604-
@\exposconcept{weakly-equality-comparable-with}@<T, U> &&
4605-
@\exposconcept{partially-ordered-with}@<T, U> &&
46064604
three_way_comparable<T, Cat> &&
46074605
three_way_comparable<U, Cat> &&
46084606
common_reference_with<const remove_reference_t<T>&, const remove_reference_t<U>&> &&
46094607
three_way_comparable<
46104608
common_reference_t<const remove_reference_t<T>&, const remove_reference_t<U>&>, Cat> &&
4609+
@\exposconcept{weakly-equality-comparable-with}@<T, U> &&
4610+
@\exposconcept{partially-ordered-with}@<T, U> &&
46114611
requires(const remove_reference_t<T>& t, const remove_reference_t<U>& u) {
46124612
{ t <=> u } -> @\exposconcept{compares-as}@<Cat>;
46134613
{ u <=> t } -> @\exposconcept{compares-as}@<Cat>;

0 commit comments

Comments
 (0)