Tests: operator== WIP

Author: H-G-Hristov

libcxx/include/__functional/reference_wrapper.h

@@ -73,14 +73,12 @@ class _LIBCPP_TEMPLATE_VIS reference_wrapper : public __weak_result_type<_Tp> {
   // [refwrap.comparisons], comparisons
 
   friend constexpr bool operator==(reference_wrapper __x, reference_wrapper __y) {
-    // Mandates: The expression x.get() == y.get() is well-formed and its result is convertible to bool.
     static_assert(is_convertible_v<decltype(__x.get() == __y.get()), bool>);
 
     return __x.get() == __y.get();
   }
 
   friend constexpr bool operator==(reference_wrapper __x, const _Tp& __y) {
-    // Mandates: The expression x.get() == y is well-formed and its result is convertible to bool.
     static_assert(is_convertible_v<decltype(__x.get() == __y), bool>);
 
     return __x.get() == __y;
@@ -89,29 +87,22 @@ class _LIBCPP_TEMPLATE_VIS reference_wrapper : public __weak_result_type<_Tp> {
   friend constexpr bool operator==(reference_wrapper __x, reference_wrapper<const _Tp> __y)
     requires(!is_const_v<_Tp>)
   {
-    // Constraints: is_const_v<T> is false.
-    // Mandates: The expression x.get() == y.get() is well-formed and its result is convertible to bool.
     static_assert(is_convertible_v<decltype(__x.get() == __y.get()), bool>);
 
     return __x.get() == __y.get();
   }
 
   friend constexpr __synth_three_way_result<_Tp> operator<=>(reference_wrapper __x, reference_wrapper __y) {
-    // return __synth_three_way_result(x.get(), y.get());
     return std::__synth_three_way(__x.get(), __y.get());
   }
 
   friend constexpr __synth_three_way_result<_Tp> operator<=>(reference_wrapper __x, const _Tp& __y) {
-    // return __synth_three_way_result(__x.get(), __y);
     return std::__synth_three_way(__x.get(), __y.get());
   }
 
   friend constexpr __synth_three_way_result<_Tp> operator<=>(reference_wrapper __x, reference_wrapper<const _Tp> __y)
     requires(!is_const_v<_Tp>)
   {
-    // Constraints: is_const_v<T> is false.
-
-    // return __synth_three_way_result(__x.get(), __y.get());
     return std::__synth_three_way(__x.get(), __y.get());
   }
 

libcxx/test/std/utilities/function.objects/refwrap/refwrap.comparissons/equal.pass.cpp

@@ -23,19 +23,39 @@
 #include "test_macros.h"
 
 constexpr bool test() {
+  int i = 92;
+  int j = 84;
+
+  // ==
   {
-    int i = 92;
     std::reference_wrapper<int> lhs{i};
     std::reference_wrapper<int> rhs = lhs;
     assert(lhs == rhs);
   }
   {
-    int i = 92;
     std::reference_wrapper<int> lhs{i};
-    int j = 84;
+    assert(lhs == i);
+  }
+  {
+    std::reference_wrapper<int> lhs{i};
+    std::reference_wrapper<const int> rhs = lhs;
+    assert(lhs == rhs);
+  }
+  // !=
+  {
+    std::reference_wrapper<int> lhs{i};
     std::reference_wrapper<int> rhs{j};
     assert(lhs != rhs);
   }
+  {
+    std::reference_wrapper<int> lhs{i};
+    assert(lhs != j);
+  }
+  {
+    std::reference_wrapper<int> lhs{i};
+    std::reference_wrapper<const int> rhs{j};
+    assert(lhs != rhs);
+  }
 
   return true;
 }