LWG3865 Sorting a range of pairs

Author: burblebee

source/utilities.tex

@@ -136,12 +136,12 @@
   };
 
   // \ref{pairs.spec}, pair specialized algorithms
-  template<class T1, class T2>
-    constexpr bool operator==(const pair<T1, T2>&, const pair<T1, T2>&);
-  template<class T1, class T2>
-    constexpr common_comparison_category_t<@\placeholder{synth-three-way-result}@<T1>,
-                                           @\placeholder{synth-three-way-result}@<T2>>
-      operator<=>(const pair<T1, T2>&, const pair<T1, T2>&);
+  template<class T1, class T2, class U1, class U2>
+    constexpr bool operator==(const pair<T1, T2>&, const pair<U1, U2>&);
+  template<class T1, class T2, class U1, class U2>
+    constexpr common_comparison_category_t<@\placeholder{synth-three-way-result}@<T1, U1>,
+                                           @\placeholder{synth-three-way-result}@<T2, U2>>
+      operator<=>(const pair<T1, T2>&, const pair<U1, U2>&);
 
   template<class T1, class T2>
     constexpr void swap(pair<T1, T2>& x, pair<T1, T2>& y) noexcept(noexcept(x.swap(y)));
@@ -1267,8 +1267,8 @@
 
 \indexlibrarymember{operator==}{pair}%
 \begin{itemdecl}
-template<class T1, class T2>
-  constexpr bool operator==(const pair<T1, T2>& x, const pair<T1, T2>& y);
+template<class T1, class T2, class U1, class U2>
+  constexpr bool operator==(const pair<T1, T2>& x, const pair<U1, U2>& y);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -1284,10 +1284,10 @@
 
 \indexlibrarymember{operator<=>}{pair}%
 \begin{itemdecl}
-template<class T1, class T2>
-  constexpr common_comparison_category_t<@\placeholder{synth-three-way-result}@<T1>,
-                                         @\placeholder{synth-three-way-result}@<T2>>
-    operator<=>(const pair<T1, T2>& x, const pair<T1, T2>& y);
+template<class T1, class T2, class U1, class U2>
+  constexpr common_comparison_category_t<@\placeholder{synth-three-way-result}@<T1, U1>,
+                                         @\placeholder{synth-three-way-result}@<T2, U2>>
+    operator<=>(const pair<T1, T2>& x, const pair<U1, U2>& y);
 \end{itemdecl}
 
 \begin{itemdescr}