[dcl.init] Merge new direct aggregate init wording into class direct

zygoloid · zygoloid · commit ce2f08ab9412 · 2019-03-11T17:26:26.000-07:00
initialization bullet to avoid the wording being unreachable due to an
"Otherwise" chain.
diff --git a/source/declarations.tex b/source/declarations.tex
@@ -4406,15 +4406,17 @@
 constructors are considered.
 The applicable constructors
 are enumerated\iref{over.match.ctor}, and the best one is chosen
-through overload resolution\iref{over.match}.
-The constructor so selected
+through overload resolution\iref{over.match}. Then:
+\begin{itemize}
+\item
+If overload resolution is successful,
+the selected constructor
 is called to initialize the object, with the initializer
 expression or \grammarterm{expression-list} as its argument(s).
-If no constructor applies and the destination type is not an aggregate, or
-the overload resolution is ambiguous, the initialization is ill-formed.
 \item
-Otherwise, if the destination type is
-a (possibly cv-qualified) aggregate class \tcode{A} and
+Otherwise, if no constructor is viable,
+the destination type is
+a (possibly cv-qualified) aggregate class \tcode{A}, and
 the initializer is a parenthesized \grammarterm{expression-list},
 the object is initialized as follows.
 Let $e_1$, $\dotsc$, $e_n$ be the elements of the aggregate\iref{dcl.init.aggr}.
@@ -4454,6 +4456,10 @@
 \end{codeblock}
 \end{example}
 \end{note}
+\item
+Otherwise, the initialization is ill-formed.
+\end{itemize}
+
 \item
 Otherwise (i.e., for the remaining copy-initialization cases),
 user-defined conversions that can convert from the
