CWG2761 Implicitly invoking the deleted destructor of an anonymous union member

Author: burblebee

source/classes.tex

@@ -2117,7 +2117,8 @@
 \tcode{X}
 calls the destructors for
 \tcode{X}'s
-direct non-variant non-static data members, the destructors for
+direct non-variant non-static data members other than anonymous unions,
+the destructors for
 \tcode{X}'s
 non-virtual direct base classes and, if
 \tcode{X}

source/declarations.tex

@@ -5097,6 +5097,7 @@
 
 \pnum
 The destructor for each element of class type
+other than an anonymous union member
 is potentially invoked\iref{class.dtor}
 from the context where the aggregate initialization occurs.
 \begin{note}

source/exceptions.tex

@@ -421,7 +421,8 @@
 \end{note}
 \indextext{subobject!initialized, known to be}%
 A subobject is \defn{known to be initialized}
-if its initialization is specified
+if it is not an anonymous union member and
+its initialization is specified
 \begin{itemize}
 \item in \ref{class.base.init} for initialization by constructor,
 \item in \ref{class.copy.ctor} for initialization by defaulted copy/move constructor,