CWG2882 Unclear treatment of conversion to void

Author: burblebee

source/expressions.tex

@@ -4119,7 +4119,22 @@
 a program that necessitates such a cast is ill-formed.
 
 \pnum
-An expression $E$ can be explicitly converted to a type \tcode{T}
+Any expression can be explicitly converted to type \cv{}~\keyword{void},
+in which case the operand is a discarded-value expression\iref{expr.prop}.
+\begin{note}
+Such a \keyword{static_cast} has no result
+as it is a prvalue of type \keyword{void}; see~\ref{basic.lval}.
+\end{note}
+\begin{note}
+However, if the value is in a temporary
+object\iref{class.temporary}, the destructor for that
+object is
+not executed until the usual time, and the value of the object is
+preserved for the purpose of executing the destructor.
+\end{note}
+
+\pnum
+Otherwise, an expression $E$ can be explicitly converted to a type \tcode{T}
 if there is an implicit conversion sequence\iref{over.best.ics}
 from $E$ to \tcode{T},
 if overload resolution for a direct-initialization\iref{dcl.init}
@@ -4147,28 +4162,8 @@
 \end{note}
 
 \pnum
-Otherwise, the \keyword{static_cast} shall perform one of the conversions
-listed below. No other conversion shall be performed explicitly using a
-\keyword{static_cast}.
-
-\pnum
-Any expression can be explicitly converted to type \cv{}~\keyword{void},
-in which case the operand is a discarded-value expression\iref{expr.prop}.
-\begin{note}
-Such a \keyword{static_cast} has no result
-as it is a prvalue of type \keyword{void}; see~\ref{basic.lval}.
-\end{note}
-\begin{note}
-However, if the value is in a temporary
-object\iref{class.temporary}, the destructor for that
-object is
-not executed until the usual time, and the value of the object is
-preserved for the purpose of executing the destructor.
-\end{note}
-
-
-\pnum
-The inverse of any standard conversion sequence\iref{conv} not containing an
+Otherwise,
+the inverse of a standard conversion sequence\iref{conv} not containing an
 lvalue-to-rvalue\iref{conv.lval},
 array-to-pointer\iref{conv.array},
 function-to-pointer\iref{conv.func},
@@ -4312,6 +4307,9 @@
 \end{codeblock}
 \end{example}
 
+\pnum
+No other conversion can be performed using \keyword{static_cast}.
+
 \rSec3[expr.reinterpret.cast]{Reinterpret cast}
 
 \pnum