Skip to content

Commit d58326b

Browse files
committed
Set 4418 to P2
1 parent cac37cd commit d58326b

File tree

1 file changed

+25
-1
lines changed

1 file changed

+25
-1
lines changed

xml/issue4418.xml

Lines changed: 25 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<section><sref ref="[coro.generator.promise]"/></section>
77
<submitter>Mathias Stearn</submitter>
88
<date>16 Oct 2025</date>
9-
<priority>99</priority>
9+
<priority>2</priority>
1010

1111
<discussion>
1212
<p>
@@ -53,6 +53,30 @@ reference type to <tt>T&amp;&amp;</tt>. However, when making the change, I assum
5353
it had on the `elements_of`-non-generator overload of `yield_value` was not considered, so it was
5454
unmodified.
5555
</p>
56+
57+
<note>2025-10-23; Reflector poll.</note>
58+
<p>
59+
Set priority to 2 after reflector poll.
60+
</p>
61+
<p>
62+
The current resolution is incorrect, and breaks following example:
63+
</p>
64+
<blockquote><pre>
65+
std::generator&lt;std::vector&lt;int&gt;&gt; g()
66+
{
67+
std::vector&lt;int&gt; v = {1, 2, 3};
68+
co_yield std::ranges::elements_of(v);
69+
}
70+
</pre></blockquote>
71+
<p>
72+
The constrains are equivalent to checking if `yield_value(*it)` is well-formed,
73+
and maybe we could express is directly as.
74+
</p>
75+
<blockquote><pre>
76+
requires requires (promise_type p, ranges::iterator_t&lt;R&gt; it) {
77+
p.yield_value(*it);
78+
}
79+
</pre></blockquote>
5680
</discussion>
5781

5882
<resolution>

0 commit comments

Comments
 (0)