[2026-06 CWG Motion 10] P3950R1 return_value & return_void Are Not Mutually Exclusive

source/declarations.tex

@@ -7371,17 +7371,6 @@
 of a coroutine is ill-formed\iref{dcl.contract.func}.
 \end{note}
 
-\pnum
-If searches for the names \tcode{return_void} and \tcode{return_value}
-in the scope of the promise type each find any declarations,
-the program is ill-formed.
-\begin{note}
-If \tcode{return_void} is found, flowing off
-the end of a coroutine is equivalent to a \keyword{co_return} with no operand.
-Otherwise, flowing off the end of a coroutine
-results in undefined behavior\iref{stmt.return.coroutine}.
-\end{note}
-
 \pnum
 The expression \tcode{\exposid{promise}.get_return_object()} is used
 to initialize

source/statements.tex

@@ -1221,8 +1221,7 @@
 \end{itemize}
 
 \pnum
-If a search for the name \tcode{return_void} in the scope of the promise type
-finds any declarations,
+If overload resolution for \placeholder{p}\tcode{.return_void()} succeeds,
 flowing off the end of a coroutine's \grammarterm{function-body}
 is equivalent to a \keyword{co_return} with no operand;
 otherwise flowing off the end of a coroutine's \grammarterm{function-body}