CWG2227 Destructor access and default member initializers

Author: Dawn Perchik

source/declarators.tex

@@ -3160,6 +3160,16 @@
 An aggregate that is a class can also be initialized with a single
 expression not enclosed in braces, as described in~\ref{dcl.init}.
 
+\pnum
+The destructor for each element of class type
+is potentially invoked\iref{class.dtor}
+from the context where the aggregate initialization occurs.
+\begin{note}
+This provision ensures that destructors can be called
+for fully-constructed subobjects
+in case an exception is thrown\iref{except.ctor}.
+\end{note}
+
 \pnum
 An array of unknown bound initialized with a
 brace-enclosed

source/special.tex

@@ -1206,8 +1206,8 @@
 \begin{note} An array of class type contains several subobjects for each of which
 the destructor is invoked. \end{note}
 A destructor can also be invoked explicitly. A destructor is \term{potentially invoked}
-if it is invoked or as specified in~\ref{expr.new}, \ref{class.base.init},
-and~\ref{except.throw}.
+if it is invoked or as specified in~\ref{expr.new}, \ref{dcl.init.aggr},
+\ref{class.base.init}, and~\ref{except.throw}.
 A program is ill-formed if a destructor that is potentially invoked is deleted
 or not accessible from the context of the invocation.