LWG4071 reference_wrapper comparisons are not SFINAE-friendly

Author: burblebee

source/utilities.tex

@@ -11003,10 +11003,9 @@
     friend constexpr bool operator==(reference_wrapper, const T&);
     friend constexpr bool operator==(reference_wrapper, reference_wrapper<const T>);
 
-    friend constexpr @\exposidnc{synth-three-way-result}@<T> operator<=>(reference_wrapper, reference_wrapper);
-    friend constexpr @\exposidnc{synth-three-way-result}@<T> operator<=>(reference_wrapper, const T&);
-    friend constexpr @\exposidnc{synth-three-way-result}@<T> operator<=>(reference_wrapper,
-                                                           reference_wrapper<const T>);
+    friend constexpr auto operator<=>(reference_wrapper, reference_wrapper);
+    friend constexpr auto operator<=>(reference_wrapper, const T&);
+    friend constexpr auto operator<=>(reference_wrapper, reference_wrapper<const T>);
   };
 
   template<class T>
@@ -11183,34 +11182,45 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-friend constexpr @\exposidnc{synth-three-way-result}@<T> operator<=>(reference_wrapper x, reference_wrapper y);
+friend constexpr auto operator<=>(reference_wrapper x, reference_wrapper y);
 \end{itemdecl}
 
 \begin{itemdescr}
+\pnum
+\constraints
+The expression \tcode{\exposid{synth-three-way}(x.get(), y.get())}
+is well-formed.
+
 \pnum
 \returns
 \tcode{\exposid{synth-three-way}(x.get(), y.get())}.
 \end{itemdescr}
 
 \begin{itemdecl}
-friend constexpr @\exposidnc{synth-three-way-result}@<T> operator<=>(reference_wrapper x, const T& y);
+friend constexpr auto operator<=>(reference_wrapper x, const T& y);
 \end{itemdecl}
 
 \begin{itemdescr}
+\pnum
+\constraints
+The expression \tcode{\exposid{synth-three-way}(x.get(), y)}
+is well-formed.
+
 \pnum
 \returns
 \tcode{\exposid{synth-three-way}(x.get(), y)}.
 \end{itemdescr}
 
 \begin{itemdecl}
-friend constexpr @\exposidnc{synth-three-way-result}@<T> operator<=>(reference_wrapper x,
-                                                       reference_wrapper<const T> y);
+friend constexpr auto operator<=>(reference_wrapper x, reference_wrapper<const T> y);
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
 \constraints
 \tcode{is_const_v<T>} is \tcode{false}.
+The expression \tcode{\exposid{synth-three-way}(x.get(), y.get())}
+is well-formed.
 
 \pnum
 \returns