CWG2768 Assignment to enumeration variable with a braced-init-list

Author: burblebee

source/expressions.tex

@@ -7254,17 +7254,22 @@
 \end{note}
 
 \pnum
-A \grammarterm{braced-init-list} may appear on the right-hand side of
+A \grammarterm{braced-init-list} $B$ may appear on the right-hand side of
+
 \begin{itemize}
-\item an assignment to a scalar, in which case the initializer list shall have
-at most a single element. The meaning of \tcode{x = \{v\}}, where \tcode{T} is the
-scalar type of the expression \tcode{x}, is that of \tcode{x = T\{v\}}. The meaning of
-\tcode{x = \{\}} is \tcode{x = T\{\}}.
+\item
+an assignment to a scalar of type \tcode{T}, in which case $B$
+shall have at most a single element.
+The meaning of \tcode{x = $B$} is \tcode{x = t},
+where \tcode{t} is an invented temporary variable
+declared and initialized as \tcode{T t = $B$}.
 
-\item an assignment to an object of class type, in which case the initializer
-list is passed as the argument to the assignment operator function selected by
+\item
+an assignment to an object of class type, in which case $B$
+is passed as the argument to the assignment operator function selected by
 overload resolution\iref{over.ass,over.match}.
 \end{itemize}
+
 \begin{example}
 \begin{codeblock}
 complex<double> z;