Skip to content

Commit 8a70399

Browse files
committed
CWG2465 Coroutine parameters passed to a promise constructor
1 parent a361843 commit 8a70399

File tree

1 file changed

+7
-2
lines changed

1 file changed

+7
-2
lines changed

source/declarations.tex

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6365,6 +6365,11 @@
63656365
for a non-static member function, and
63666366
$\tcode{p}_i$ denotes
63676367
the $i^\textrm{th}$ function parameter otherwise.
6368+
For a non-static member function,
6369+
$\tcode{q}_1$ is an lvalue that denotes \tcode{*this};
6370+
any other $\tcode{q}_i$ is an lvalue
6371+
that denotes the parameter copy corresponding to $\tcode{p}_i$,
6372+
as described below.
63686373

63696374
\pnum
63706375
A coroutine behaves as if its \grammarterm{function-body} were replaced by:
@@ -6412,10 +6417,10 @@
64126417
\item
64136418
\placeholder{promise-constructor-arguments} is determined as follows:
64146419
overload resolution is performed on a promise constructor call created by
6415-
assembling an argument list with lvalues $\tcode{p}_1 \dotsc \tcode{p}_n$. If a viable
6420+
assembling an argument list $\tcode{q}_1 \dotsc \tcode{q}_n$. If a viable
64166421
constructor is found\iref{over.match.viable}, then
64176422
\placeholder{promise-constructor-arguments} is
6418-
\tcode{(p$_1$, $\dotsc$, p$_n$)}, otherwise
6423+
\tcode{($\tcode{q}_1$, $\dotsc$, $\tcode{q}_n$)}, otherwise
64196424
\placeholder{promise-constructor-arguments} is empty.
64206425
\end{itemize}
64216426

0 commit comments

Comments
 (0)