P2748R5 Disallow Binding a Returned Glvalue to a Temporary

Author: jensmaurer

source/basic.tex

@@ -4525,8 +4525,6 @@
 persists until the completion of the full-expression
 containing the \grammarterm{expression-list}.
 
-\item The lifetime of a temporary bound to the returned value in a function \tcode{return} statement\iref{stmt.return} is not extended; the temporary is destroyed at the end of the full-expression in the \tcode{return} statement.
-
 \item A temporary bound to a reference in a \grammarterm{new-initializer}\iref{expr.new} persists until the completion of the full-expression containing the \grammarterm{new-initializer}.
 \begin{note}
 This might introduce a dangling reference.

source/statements.tex

@@ -905,6 +905,29 @@
 before the destruction of local variables\iref{stmt.jump} of the block
 enclosing the \tcode{return} statement.
 
+\pnum
+In a function whose return type is a reference,
+other than an invented function for \tcode{std::is_convertible}\iref{meta.rel},
+a \tcode{return} statement that binds the returned reference to
+a temporary expression\iref{class.temporary} is ill-formed.
+\begin{example}
+\begin{codeblock}
+auto&& f1() {
+  return 42;            // ill-formed
+}
+const double& f2() {
+  static int x = 42;
+  return x;             // ill-formed
+}
+auto&& id(auto&& r) {
+  return static_cast<decltype(r)&&>(r);
+}
+auto&& f3() {
+  return id(42);        // OK, but probably a bug
+}
+\end{codeblock}
+\end{example}
+
 \rSec2[stmt.return.coroutine]{The \keyword{co_return} statement}%
 \indextext{\idxcode{co_return}}%
 \indextext{coroutine return|see{\tcode{co_return}}}%