CWG2859 Value-initialization with multiple default constructors

Author: burblebee

source/basic.tex

@@ -3473,9 +3473,10 @@
 The \defn{lifetime} of an object or reference is a runtime property of the
 object or reference.
 A variable is said to have \defnadj{vacuous}{initialization}
-if it is default-initialized and,
+if it is default-initialized, no other initialization is performed, and,
 if it is of class type or a (possibly multidimensional) array thereof,
-that class type has a trivial default constructor.
+a trivial constructor of that class type is selected for
+the default-initialization.
 The lifetime of an object of type \tcode{T} begins when:
 \begin{itemize}
 \item storage with the proper alignment and size

source/declarations.tex

@@ -4629,15 +4629,10 @@
 If
 \tcode{T}
 is a (possibly cv-qualified) class type\iref{class}, then
-\begin{itemize}
-\item
-if \tcode{T} has
-either no default constructor\iref{class.default.ctor} or a default
-constructor that is user-provided or deleted, then the object is default-initialized;
-\item
-otherwise,
-the object is zero-initialized and then default-initialized.
-\end{itemize}
+let \tcode{C} be the constructor selected to
+default-initialize the object, if any.
+If \tcode{C} is not user-provided, the object is first zero-initialized.
+In all cases, the object is then default-initialized.
 
 \item
 If