@@ -276,31 +276,31 @@ template <typename T1, typename T2 = T1>
276276concept HasOperatorEqual = requires (T1 t1, T2 t2) { t1 == t2; };
277277
278278template <typename T1, typename T2 = T1>
279- concept HasOperatorNotEqual = requires (T1 t1, T2 t2) { t1 != t2; };
279+ concept HasOperatorGreaterThan = requires (T1 t1, T2 t2) { t1 > t2; };
280280
281- template <typename T1, typename T2 = T1>
282- concept HasOperatorLessThan = requires (T1 t1, T2 t2) { t1 < t2; };
283281
284282template <typename T1, typename T2 = T1>
285- concept HasOperatorGreaterThan = requires (T1 t1, T2 t2) { t1 > t2; };
283+ concept HasOperatorGreaterThanEqual = requires (T1 t1, T2 t2) { t1 >= t2; };
284+ template <typename T1, typename T2 = T1>
285+ concept HasOperatorLessThan = requires (T1 t1, T2 t2) { t1 < t2; };
286286
287287template <typename T1, typename T2 = T1>
288288concept HasOperatorLessThanEqual = requires (T1 t1, T2 t2) { t1 <= t2; };
289289
290290template <typename T1, typename T2 = T1>
291- concept HasOperatorGreaterThanEqual = requires (T1 t1, T2 t2) { t1 > = t2; };
291+ concept HasOperatorNotEqual = requires (T1 t1, T2 t2) { t1 ! = t2; };
292292
293293template <typename T1, typename T2 = T1>
294294concept HasOperatorSpaceship = requires (T1 t1, T2 t2) { t1 <=> t2; };
295295
296296struct NonComparable {};
297297static_assert (!std::equality_comparable<NonComparable>);
298298static_assert (!HasOperatorEqual<NonComparable>);
299- static_assert (!HasOperatorNotEqual<NonComparable>);
300- static_assert (!HasOperatorLessThan<NonComparable>);
301299static_assert (!HasOperatorGreaterThan<NonComparable>);
302- static_assert (!HasOperatorLessThanEqual<NonComparable>);
303300static_assert (!HasOperatorGreaterThanEqual<NonComparable>);
301+ static_assert (!HasOperatorLessThan<NonComparable>);
302+ static_assert (!HasOperatorLessThanEqual<NonComparable>);
303+ static_assert (!HasOperatorNotEqual<NonComparable>);
304304static_assert (!HasOperatorSpaceship<NonComparable>);
305305
306306class EqualityComparable {
@@ -330,11 +330,11 @@ class ThreeWayComparable {
330330static_assert (std::equality_comparable<ThreeWayComparable>);
331331static_assert (std::three_way_comparable<ThreeWayComparable>);
332332static_assert (HasOperatorEqual<ThreeWayComparable>);
333- static_assert (HasOperatorNotEqual<ThreeWayComparable>);
334- static_assert (HasOperatorLessThan<ThreeWayComparable>);
335333static_assert (HasOperatorGreaterThan<ThreeWayComparable>);
336- static_assert (HasOperatorLessThanEqual<ThreeWayComparable>);
337334static_assert (HasOperatorGreaterThanEqual<ThreeWayComparable>);
335+ static_assert (HasOperatorLessThan<ThreeWayComparable>);
336+ static_assert (HasOperatorLessThanEqual<ThreeWayComparable>);
337+ static_assert (HasOperatorNotEqual<ThreeWayComparable>);
338338static_assert (HasOperatorSpaceship<ThreeWayComparable>);
339339
340340#endif // TEST_STD_VER >= 26
0 commit comments