@@ -276,31 +276,31 @@ template <typename T1, typename T2 = T1>
276
276
concept HasOperatorEqual = requires (T1 t1, T2 t2) { t1 == t2; };
277
277
278
278
template <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; };
280
280
281
- template <typename T1, typename T2 = T1>
282
- concept HasOperatorLessThan = requires (T1 t1, T2 t2) { t1 < t2; };
283
281
284
282
template <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; };
286
286
287
287
template <typename T1, typename T2 = T1>
288
288
concept HasOperatorLessThanEqual = requires (T1 t1, T2 t2) { t1 <= t2; };
289
289
290
290
template <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; };
292
292
293
293
template <typename T1, typename T2 = T1>
294
294
concept HasOperatorSpaceship = requires (T1 t1, T2 t2) { t1 <=> t2; };
295
295
296
296
struct NonComparable {};
297
297
static_assert (!std::equality_comparable<NonComparable>);
298
298
static_assert (!HasOperatorEqual<NonComparable>);
299
- static_assert (!HasOperatorNotEqual<NonComparable>);
300
- static_assert (!HasOperatorLessThan<NonComparable>);
301
299
static_assert (!HasOperatorGreaterThan<NonComparable>);
302
- static_assert (!HasOperatorLessThanEqual<NonComparable>);
303
300
static_assert (!HasOperatorGreaterThanEqual<NonComparable>);
301
+ static_assert (!HasOperatorLessThan<NonComparable>);
302
+ static_assert (!HasOperatorLessThanEqual<NonComparable>);
303
+ static_assert (!HasOperatorNotEqual<NonComparable>);
304
304
static_assert (!HasOperatorSpaceship<NonComparable>);
305
305
306
306
class EqualityComparable {
@@ -330,11 +330,11 @@ class ThreeWayComparable {
330
330
static_assert (std::equality_comparable<ThreeWayComparable>);
331
331
static_assert (std::three_way_comparable<ThreeWayComparable>);
332
332
static_assert (HasOperatorEqual<ThreeWayComparable>);
333
- static_assert (HasOperatorNotEqual<ThreeWayComparable>);
334
- static_assert (HasOperatorLessThan<ThreeWayComparable>);
335
333
static_assert (HasOperatorGreaterThan<ThreeWayComparable>);
336
- static_assert (HasOperatorLessThanEqual<ThreeWayComparable>);
337
334
static_assert (HasOperatorGreaterThanEqual<ThreeWayComparable>);
335
+ static_assert (HasOperatorLessThan<ThreeWayComparable>);
336
+ static_assert (HasOperatorLessThanEqual<ThreeWayComparable>);
337
+ static_assert (HasOperatorNotEqual<ThreeWayComparable>);
338
338
static_assert (HasOperatorSpaceship<ThreeWayComparable>);
339
339
340
340
#endif // TEST_STD_VER >= 26
0 commit comments