@@ -271,29 +271,6 @@ struct PartialOrder {
271271template <typename T1, typename T2 = T1>
272272concept HasOperatorEqual = requires (T1 t1, T2 t2) { t1 == t2; };
273273
274- template <typename T1, typename T2 = T1>
275- concept HasOperatorSpaceship = requires (T1 t1, T2 t2) { t1 <=> t2; };
276-
277- struct NonComparable {};
278- static_assert (!std::equality_comparable<NonComparable>);
279- static_assert (!HasOperatorEqual<NonComparable>);
280- static_assert (!HasOperatorSpaceship<NonComparable>);
281-
282- class EqualityComparable {
283- public:
284- constexpr EqualityComparable (int value) : value_{value} {};
285-
286- friend constexpr bool operator ==(const EqualityComparable&, const EqualityComparable&) noexcept = default ;
287-
288- private:
289- int value_;
290- };
291- static_assert (std::equality_comparable<EqualityComparable>);
292- static_assert (HasOperatorEqual<EqualityComparable>);
293-
294- template <typename T1, typename T2 = T1>
295- concept HasOperatorEqual = requires (T1 t1, T2 t2) { t1 == t2; };
296-
297274template <typename T1, typename T2 = T1>
298275concept HasOperatorGreaterThan = requires (T1 t1, T2 t2) { t1 > t2; };
299276
@@ -355,6 +332,6 @@ static_assert(HasOperatorLessThanEqual<ThreeWayComparable>);
355332static_assert (HasOperatorNotEqual<ThreeWayComparable>);
356333static_assert (HasOperatorSpaceship<ThreeWayComparable>);
357334
358- #endif // TEST_STD_VER >= 20 // TEST_STD_VER >= 20
335+ #endif // TEST_STD_VER >= 20
359336
360337#endif // TEST_COMPARISONS_H
0 commit comments