CWG2798 Manifestly constant evaluation of the static_assert message

Author: burblebee

source/declarations.tex

@@ -77,7 +77,7 @@
 \begin{bnf}
 \nontermdef{static_assert-message}\br
   unevaluated-string\br
-  conditional-expression
+  constant-expression
 \end{bnf}
 
 \begin{bnf}
@@ -291,7 +291,7 @@
 the program is ill-formed, and
 \item
 if the \grammarterm{static_assert-message} is
-a \grammarterm{conditional-expression} $M$,
+a \grammarterm{constant-expression} $M$,
 \begin{itemize}
 \item
 \tcode{$M$.size()} shall be a converted constant expression of

source/expressions.tex

@@ -8099,7 +8099,8 @@
 \end{example}
 \end{itemize}
 \begin{note}
-A manifestly constant-evaluated expression
+Except for a \grammarterm{static_assert-message},
+a manifestly constant-evaluated expression
 is evaluated even in an unevaluated operand\iref{term.unevaluated.operand}.
 \end{note}