CWG2905 Value-dependence of noexcept-expression

Author: burblebee

source/templates.tex

@@ -5446,8 +5446,7 @@
 \keyword{sizeof} \terminal{(} type-id \terminal{)}\br
 \keyword{typeid} \terminal{(} expression \terminal{)}\br
 \keyword{typeid} \terminal{(} type-id \terminal{)}\br
-\keyword{alignof} \terminal{(} type-id \terminal{)}\br
-\keyword{noexcept} \terminal{(} expression \terminal{)}
+\keyword{alignof} \terminal{(} type-id \terminal{)}
 \end{ncsimplebnf}
 
 \begin{note}
@@ -5457,20 +5456,28 @@
 
 \pnum
 Expressions of the following form are value-dependent if either the
-\grammarterm{type-id}
-or
-\grammarterm{simple-type-specifier}
+\grammarterm{type-id},
+\grammarterm{simple-type-specifier}, or
+\grammarterm{typename-specifier}
 is dependent or the
 \grammarterm{expression}
 or
 \grammarterm{cast-expression}
+is value-dependent or
+any \grammarterm{expression} in the \grammarterm{expression-list}
+is value-dependent or
+any \grammarterm{assignment-expression} in the \grammarterm{braced-init-list}
 is value-dependent:
 
 \begin{ncsimplebnf}
 simple-type-specifier \terminal{(} \opt{expression-list} \terminal{)}\br
+typename-specifier \terminal{(} opt{expression-list} \terminal{)}\br
+simple-type-specifier braced-init-list\br
+typename-specifier braced-init-list\br
 \keyword{static_cast} \terminal{<} type-id \terminal{>} \terminal{(} expression \terminal{)}\br
 \keyword{const_cast} \terminal{<} type-id \terminal{>} \terminal{(} expression \terminal{)}\br
 \keyword{reinterpret_cast} \terminal{<} type-id \terminal{>} \terminal{(} expression \terminal{)}\br
+dynamic_cast \terminal{<} type-id \terminal{>} \terminal{(} expression \terminal{)}\br
 \terminal{(} type-id \terminal{)} cast-expression
 \end{ncsimplebnf}
 
@@ -5482,6 +5489,11 @@
 fold-expression
 \end{ncsimplebnf}
 
+\pnum
+A \grammarterm{noexcept-expression}\iref{expr.unary.noexcept}
+is value-dependent if
+its \grammarterm{expression} involves a template parameter.
+
 \pnum
 An expression of the form \tcode{\&}\grammarterm{qualified-id} where the
 \grammarterm{qualified-id} names a dependent member of the current