CWG2452 Flowing off the end of a coroutine

Author: burblebee

source/statements.tex

@@ -924,8 +924,10 @@
 
 \pnum
 If \placeholder{p}\tcode{.return_void()} is a valid expression,
-flowing off the end of a coroutine is equivalent to a \tcode{co_return} with no operand;
-otherwise flowing off the end of a coroutine results in undefined behavior.
+flowing off the end of a coroutine's \grammarterm{function-body}
+is equivalent to a \tcode{co_return} with no operand;
+otherwise flowing off the end of a coroutine's \grammarterm{function-body}
+results in undefined behavior.
 
 \rSec2[stmt.goto]{The \tcode{goto} statement}%
 \indextext{statement!\idxcode{goto}}