[optional] Add missing \exposid markup to "val" member

Author: tkoeppe

source/utilities.tex

@@ -3357,7 +3357,7 @@
     constexpr void reset() noexcept;
 
   private:
-    T* val;         // \expos
+    T* @\exposidnc{val}@;         // \expos
   };
 
   template<class T>
@@ -4263,7 +4263,7 @@
 
 \begin{itemdescr}
 \pnum
-Let \tcode{U} be \tcode{invoke_result_t<F, decltype(*val)>}.
+Let \tcode{U} be \tcode{invoke_result_t<F, decltype(*\exposid{val})>}.
 
 \pnum
 \mandates
@@ -4274,7 +4274,7 @@
 Equivalent to:
 \begin{codeblock}
 if (*this) {
-  return invoke(std::forward<F>(f), *val);
+  return invoke(std::forward<F>(f), *@\exposid{val}@);
 } else {
   return remove_cvref_t<U>();
 }
@@ -4289,7 +4289,7 @@
 
 \begin{itemdescr}
 \pnum
-Let \tcode{U} be \tcode{invoke_result_t<F, decltype(std::move(*val))>}.
+Let \tcode{U} be \tcode{invoke_result_t<F, decltype(std::move(*\exposid{val}))>}.
 
 \pnum
 \mandates
@@ -4300,7 +4300,7 @@
 Equivalent to:
 \begin{codeblock}
 if (*this) {
-  return invoke(std::forward<F>(f), std::move(*val));
+  return invoke(std::forward<F>(f), std::move(*@\exposid{val}@));
 } else {
   return remove_cvref_t<U>();
 }
@@ -4315,15 +4315,15 @@
 
 \begin{itemdescr}
 \pnum
-Let \tcode{U} be \tcode{remove_cv_t<invoke_result_t<F, decltype(*val)>>}.
+Let \tcode{U} be \tcode{remove_cv_t<invoke_result_t<F, decltype(*\exposid{val})>>}.
 
 \pnum
 \mandates
 \tcode{U} is a non-array object type
 other than \tcode{in_place_t} or \tcode{nullopt_t}.
 The declaration
 \begin{codeblock}
-U u(invoke(std::forward<F>(f), *val));
+U u(invoke(std::forward<F>(f), *@\exposid{val}@));
 \end{codeblock}
 is well-formed for some invented variable \tcode{u}.
 \begin{note}
@@ -4334,7 +4334,7 @@
 \returns
 If \tcode{*this} contains a value, an \tcode{optional<U>} object
 whose contained value is direct-non-list-initialized with
-\tcode{invoke(std::forward<F>(f), *val)};
+\tcode{invoke(std::forward<F>(f), *\exposid{val})};
 otherwise, \tcode{optional<U>()}.
 \end{itemdescr}
 
@@ -4347,15 +4347,15 @@
 \begin{itemdescr}
 \pnum
 Let \tcode{U} be
-\tcode{remove_cv_t<invoke_result_t<F, decltype(std::move(*val))>>}.
+\tcode{remove_cv_t<invoke_result_t<F, decltype(std::move(*\exposid{val}))>>}.
 
 \pnum
 \mandates
 \tcode{U} is a non-array object type
 other than \tcode{in_place_t} or \tcode{nullopt_t}.
 The declaration
 \begin{codeblock}
-U u(invoke(std::forward<F>(f), std::move(*val)));
+U u(invoke(std::forward<F>(f), std::move(*@\exposid{val}@)));
 \end{codeblock}
 is well-formed for some invented variable \tcode{u}.
 \begin{note}
@@ -4366,7 +4366,7 @@
 \returns
 If \tcode{*this} contains a value, an \tcode{optional<U>} object
 whose contained value is direct-non-list-initialized with
-\tcode{invoke(std::forward<F>(f), std::move(*val))};
+\tcode{invoke(std::forward<F>(f), std::move(*\exposid{val}))};
 otherwise, \tcode{optional<U>()}.
 \end{itemdescr}