Skip to content

Commit 65a03b0

Browse files
committed
Extend 4438 to address US 220-344 and US 224-342
1 parent cf2ca4f commit 65a03b0

File tree

1 file changed

+11
-4
lines changed

1 file changed

+11
-4
lines changed

xml/issue4438.xml

Lines changed: 11 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,10 @@
99
<priority>99</priority>
1010

1111
<discussion>
12-
<b>Addresses <a href="https://github.com/cplusplus/nbballot/issues/919">US 220-344</a></b>
12+
<b>
13+
Addresses <a href="https://github.com/cplusplus/nbballot/issues/919">US 220-344</a>
14+
and <a href="https://github.com/cplusplus/nbballot/issues/917">US 224-342</a>
15+
</b>
1316
<p>
1417
<sref ref="[exec.when.all]"/> p5 reads as follows:
1518
</p>
@@ -46,7 +49,7 @@ The problem is with "<tt>state.<i>stop-src</i>.get_token()</tt>" in bullet (5.2)
4649
object here. This expression should be `stop_src.get_token()`.
4750
</p>
4851

49-
<note>Kona 2025-11-05; add edits to address NB comment.</note>
52+
<note>Kona 2025-11-04; add edits to address NB comments.</note>
5053
</discussion>
5154

5255
<resolution>
@@ -81,9 +84,13 @@ template&lt;class Env&gt;
8184
<li>(5.2) &mdash; `e.query(get_stop_token)` is expression-equivalent to <tt><del>state.<i>stop-src</i></del><ins>stop_src</ins>.get_token()</tt>,
8285
and
8386
</li>
84-
<li>(5.3) &mdash; given a query object `q` with type other than <i>cv</i> `stop_token_t` and whose type
85-
satisfies <tt><i>forwarding-query</i></tt>, `e.query(q)` is expression-equivalent to <del>`get_env(rcvr)`</del><ins>`env`</ins>`.query(q)`.
87+
<li>(5.3) &mdash;
88+
given a query object `q` with type other than <i>cv</i> `get_stop_token_t`
89+
<del>and whose type satisfies <tt><i>forwarding-query</i></tt></del>,
90+
`e.query(q)` is expression-equivalent to <del>`get_env(rcvr)`</del><ins>`env`</ins>`.query(q)`
91+
<ins>if the type of `q` satisfies <i>`forwarding-query`</i>, and ill-formed otherwise</ins>.
8692
</li>
93+
8794
</ul>
8895
</blockquote>
8996
</li>

0 commit comments

Comments
 (0)