CWG3011 Parenthesized aggregate initialization for new-expressions

Author: eisenwave

source/expressions.tex

@@ -5953,7 +5953,8 @@
 \impldef{maximum size of an allocated object} limit\iref{implimits}; or
 
 \item
-the \grammarterm{new-initializer} is a \grammarterm{braced-init-list} and the
+the \grammarterm{new-initializer} is a \grammarterm{braced-init-list}
+or a parenthesized \grammarterm{expression-list} and the
 number of array elements for which initializers are provided (including the
 terminating \tcode{'\textbackslash 0'} in a \grammarterm{string-literal}\iref{lex.string}) exceeds the
 number of elements to initialize.
@@ -5983,17 +5984,24 @@
 
 \pnum
 If the allocated type is an array,
-the \grammarterm{new-initializer} is a \grammarterm{braced-init-list}, and
+the \grammarterm{new-initializer} is a \grammarterm{braced-init-list}
+or a parenthesized \grammarterm{expression-list}, and
 the \grammarterm{expression}
 is potentially-evaluated and not a core constant expression,
-the semantic constraints of copy-initializing a hypothetical element of
-the array from an empty initializer list
-are checked\iref{dcl.init.list}.
+the semantic constraints of initializing a hypothetical element of
+the array are checked as follows:
+\begin{itemize}
+\item
+If the \grammarterm{new-initializer} is a \grammarterm{braced-init-list},
+the hypothetical element is copy-initialized
+from an empty initializer list\iref{dcl.init.list}.
+\item
+Otherwise, the hypothetical element is value-initialized\iref{dcl.init.general}.
+\end{itemize}
 \begin{note}
 The array can contain more elements than there are
-elements in the \grammarterm{braced-init-list},
-requiring initialization of the remainder of the array elements from
-an empty initializer list.
+elements in the \grammarterm{new-initializer},
+requiring initialization of the remainder of the array elements as appropriate.
 \end{note}
 
 \pnum