LWG3951 §[expected.object.swap]: Using value() instead of has_value()

Author: burblebee

source/utilities.tex

@@ -8101,7 +8101,7 @@
   equivalent to: \tcode{using std::swap; swap(\exposid{unex}, rhs.\exposid{unex});} \\
 \end{floattable}
 
-For the case where \tcode{rhs.value()} is \tcode{false} and
+For the case where \tcode{rhs.has_value()} is \tcode{false} and
 \tcode{this->has_value()} is \tcode{true}, equivalent to:
 \begin{codeblock}
 if constexpr (is_nothrow_move_constructible_v<E>) {
@@ -9184,7 +9184,7 @@
   equivalent to: \tcode{using std::swap; swap(\exposid{unex}, rhs.\exposid{unex});} \\
 \end{floattable}
 
-For the case where \tcode{rhs.value()} is \tcode{false} and
+For the case where \tcode{rhs.has_value()} is \tcode{false} and
 \tcode{this->has_value()} is \tcode{true}, equivalent to:
 \begin{codeblock}
 construct_at(addressof(@\exposid{unex}@), std::move(rhs.@\exposid{unex}@));