@@ -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