P3379R0 Constrain std::expected equality operators

Author: jensmaurer

source/support.tex

@@ -620,7 +620,7 @@
 #define @\defnlibxname{cpp_lib_constexpr_typeinfo}@                202106L // freestanding, also in \libheader{typeinfo}
 #define @\defnlibxname{cpp_lib_constexpr_utility}@                 201811L // freestanding, also in \libheader{utility}
 #define @\defnlibxname{cpp_lib_constexpr_vector}@                  201907L // also in \libheader{vector}
-#define @\defnlibxname{cpp_lib_constrained_equality}@              202403L // freestanding,
+#define @\defnlibxname{cpp_lib_constrained_equality}@              202411L // freestanding,
   // also in \libheader{utility}, \libheader{tuple}, \libheader{optional}, \libheader{variant}
 #define @\defnlibxname{cpp_lib_containers_ranges}@                 202202L
   // also in \libheader{vector}, \libheader{list}, \libheader{forward_list}, \libheader{map}, \libheader{set}, \libheader{unordered_map}, \libheader{unordered_set},

source/utilities.tex

@@ -8775,7 +8775,7 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\constraints
 The expressions \tcode{*x == *y} and \tcode{x.error() == y.error()}
 are well-formed and their results are convertible to \tcode{bool}.
 
@@ -8793,7 +8793,8 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\constraints
+\tcode{T2} is not a specialization of \tcode{expected}.
 The expression \tcode{*x == v} is well-formed and
 its result is convertible to \tcode{bool}.
 \begin{note}
@@ -8812,7 +8813,7 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\constraints
 The expression \tcode{x.error() == e.error()} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -9733,7 +9734,7 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\constraints
 The expression \tcode{x.error() == y.error()} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -9751,7 +9752,7 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\constraints
 The expression \tcode{x.error() == e.error()} is well-formed and
 its result is convertible to \tcode{bool}.