CWG2894 Functional casts create prvalues of reference type

Author: burblebee

source/expressions.tex

@@ -3559,6 +3559,44 @@
 Otherwise, if the type contains a placeholder type,
 it is replaced by the type
 determined by placeholder type deduction\iref{dcl.type.auto.deduct}.
+Let \tcode{T} denote the resulting type.
+Then:
+
+\begin{itemize}
+\item
+If the initializer is a parenthesized single expression,
+the type conversion expression is equivalent
+to the corresponding cast
+expression\iref{expr.cast}.
+
+\item
+\indextext{type!incomplete}%
+Otherwise, if \tcode{T} is \cv{}~\keyword{void},
+the initializer shall be \tcode{()} or \tcode{\{\}}
+(after pack expansion, if any), and
+the expression is a prvalue of type \keyword{void}
+that performs no initialization.
+
+\item
+Otherwise, if \tcode{T} is a reference type,
+the expression has the same effect as
+direct-initializing an invented variable \tcode{t} of type \tcode{T} from
+the initializer and then
+using \tcode{t} as the result of the expression;
+the result is an lvalue if
+\tcode{T} is an lvalue reference type or
+an rvalue reference to function type and
+an xvalue otherwise.
+
+\item
+Otherwise,
+the expression is a prvalue of type \tcode{T}
+whose result object is direct-initialized\iref{dcl.init}
+with the initializer.
+\end{itemize}
+
+If the initializer is a parenthesized optional \grammarterm{expression-list},
+\tcode{T} shall not be an array type.
 \begin{example}
 \begin{codeblock}
 struct A {};
@@ -3573,24 +3611,6 @@
 \end{codeblock}
 \end{example}
 
-\pnum
-If the initializer is a parenthesized single expression,
-the type conversion expression is equivalent
-to the corresponding cast
-expression\iref{expr.cast}.
-\indextext{type!incomplete}%
-Otherwise, if the type is \cv{}~\keyword{void}
-and the initializer is \tcode{()} or \tcode{\{\}}
-(after pack expansion, if any),
-the expression is a prvalue of type \keyword{void}
-that performs no initialization.
-Otherwise,
-the expression is a prvalue of the specified type
-whose result object is direct-initialized\iref{dcl.init}
-with the initializer.
-If the initializer is a parenthesized optional \grammarterm{expression-list},
-the specified type shall not be an array type.
-
 \rSec3[expr.ref]{Class member access}
 
 \pnum