P3379R0 Constrain std::expected equality operators

Author: jensmaurer

source/utilities.tex

@@ -8767,7 +8767,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}.
 
@@ -8785,7 +8785,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}
@@ -8804,7 +8805,7 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\constraints
 The expression \tcode{x.error() == e.error()} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -9726,7 +9727,7 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\constraints
 The expression \tcode{x.error() == y.error()} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -9744,7 +9745,7 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\constraints
 The expression \tcode{x.error() == e.error()} is well-formed and
 its result is convertible to \tcode{bool}.