CWG2619 Kind of initialization for a designated-initializer-list

Author: burblebee

source/declarations.tex

@@ -4455,7 +4455,8 @@
 as well as in argument passing, function return,
 throwing an exception\iref{except.throw},
 handling an exception\iref{except.handle},
-and aggregate member initialization\iref{dcl.init.aggr},
+and aggregate member initialization other than by a
+\grammarterm{designated-initializer-clause}\iref{dcl.init.aggr},
 is called
 \defn{copy-initialization}.
 \begin{note}
@@ -4798,7 +4799,7 @@
 the initializer list is
 a brace-enclosed \grammarterm{designated-initializer-list},
 the element is initialized by the
-\grammarterm{designated-initializer-list} \tcode{\{ }\placeholder{D}\tcode{ \}},
+\grammarterm{braced-init-list} \tcode{\{ }\placeholder{D}\tcode{ \}},
 where \placeholder{D} is the \grammarterm{designated-initializer-clause}
 naming a member of the anonymous union member.
 There shall be only one such \grammarterm{designated-initializer-clause}.
@@ -4826,6 +4827,11 @@
 a narrowing conversion\iref{dcl.init.list} is required
 to convert the expression, the program is ill-formed.
 \begin{note}
+If the initialization is by \grammarterm{designated-initializer-clause},
+its form determines whether copy-initialization or direct-initialization
+is performed.
+\end{note}
+\begin{note}
 If an initializer is itself an initializer list,
 the element is list-initialized, which will result in a recursive application
 of the rules in this subclause if the element is an aggregate.