LWG3866 Bad Mandates for expected::transform_error overloads

Author: burblebee

source/utilities.tex

@@ -8506,7 +8506,8 @@
 
 \pnum
 \mandates
-\tcode{G} is a valid value type for \tcode{expected} and the declaration
+\tcode{G} is a valid template argument
+for \tcode{unexpected}\iref{expected.un.general} and the declaration
 \begin{codeblock}
 G g(invoke(std::forward<F>(f), error()));
 \end{codeblock}
@@ -8537,7 +8538,8 @@
 
 \pnum
 \mandates
-\tcode{G} is a valid value type for \tcode{expected} and the declaration
+\tcode{G} is a valid template argument
+for \tcode{unexpected}\iref{expected.un.general} and the declaration
 \begin{codeblock}
 G g(invoke(std::forward<F>(f), std::move(error())));
 \end{codeblock}
@@ -9459,7 +9461,8 @@
 
 \pnum
 \mandates
-\tcode{G} is a valid value type for \tcode{expected} and the declaration
+\tcode{G} is a valid template argument
+for \tcode{unexpected}\iref{expected.un.general} and the declaration
 \begin{codeblock}
 G g(invoke(std::forward<F>(f), error()));
 \end{codeblock}
@@ -9486,7 +9489,8 @@
 
 \pnum
 \mandates
-\tcode{G} is a valid value type for \tcode{expected} and the declaration
+\tcode{G} is a valid template argument
+for \tcode{unexpected}\iref{expected.un.general} and the declaration
 \begin{codeblock}
 G g(invoke(std::forward<F>(f), std::move(error())));
 \end{codeblock}