LWG4366 Heterogeneous comparison of expected may be ill-formed

Author: eisenwave

source/utilities.tex

@@ -9408,7 +9408,9 @@
 
 \pnum
 \returns
-\tcode{x.has_value() \&\& static_cast<bool>(*x == v)}.
+If \tcode{x.has_value()} is \tcode{true},
+\tcode{*x == v};
+otherwise \tcode{false}.
 \end{itemdescr}
 
 \indexlibrarymember{operator==}{expected}%
@@ -9424,7 +9426,9 @@
 
 \pnum
 \returns
-\tcode{!x.has_value() \&\& static_cast<bool>(x.error() == e.error())}.
+If \tcode{x.has_value()} is \tcode{true},
+\tcode{x.error() == e.error()};
+otherwise \tcode{false}.
 \end{itemdescr}
 
 \rSec2[expected.void]{Partial specialization of \tcode{expected} for \tcode{void} types}
@@ -10346,7 +10350,8 @@
 \pnum
 \returns
 If \tcode{x.has_value()} does not equal \tcode{y.has_value()}, \tcode{false};
-otherwise \tcode{x.has_value() || static_cast<bool>(x.error() == y.error())}.
+otherwise if \tcode{x.has_value()} is \tcode{true}, \tcode{true};
+otherwise \tcode{x.error() == y.error()}.
 \end{itemdescr}
 
 \indexlibrarymember{operator==}{expected<void>}%
@@ -10363,7 +10368,9 @@
 
 \pnum
 \returns
-\tcode{!x.has_value() \&\& static_cast<bool>(x.error() == e.error())}.
+If \tcode{!x.has_value()} is \tcode{true},
+\tcode{x.error() == e.error()};
+otherwise \tcode{false}.
 \end{itemdescr}
 
 \rSec1[bitset]{Bitsets}