Skip to content

Commit 4d8b0f8

Browse files
burblebeetkoeppe
authored andcommitted
LWG4208 Wording needs to ensure that in connect(sndr, rcvr) that rcvr expression is only evaluated once
1 parent 89517e6 commit 4d8b0f8

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

source/exec.tex

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2577,6 +2577,9 @@
25772577
\item
25782578
Otherwise, \tcode{\exposid{connect-awaitable}(new_sndr, rcvr)}.
25792579
\end{itemize}
2580+
%%FIXME: This sentence should be joined with the previous sentences;
2581+
%%FIXME: how to do that with the embeded "madates"??
2582+
Except that \tcode{rcvr} is evaluated only once.
25802583

25812584
\mandates
25822585
\tcode{\libconcept{sender}<Sndr> \&\& \libconcept{receiver}<Rcvr>} is \tcode{true}.

0 commit comments

Comments
 (0)