Skip to content

Commit 38f0a18

Browse files
committed
Set 4171 to Tentatively NAD
1 parent c44825d commit 38f0a18

File tree

1 file changed

+8
-1
lines changed

1 file changed

+8
-1
lines changed

xml/issue4171.xml

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<?xml version='1.0' encoding='utf-8' standalone='no'?>
22
<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
33

4-
<issue num="4171" status="New">
4+
<issue num="4171" status="Tentatively NAD">
55
<title>P2609R3 breaks code that uses `views::zip` and <tt>get&lt;T&gt;</tt></title>
66
<section><sref ref="[indirectcallable.indirectinvocable]"/></section>
77
<submitter>S. B. Tam</submitter>
@@ -39,6 +39,13 @@ an explicit return type to `fun`.
3939
<p/>
4040
Did LWG foresee this impact of <paper num="P2609R3"/>? Could P2609R3 be reverted to unbreak this code pattern?
4141
</p>
42+
43+
<note>2025-10-23; Reflector pool; Status changed: New &rarr; Tentatively NAD.</note>
44+
<p>
45+
The range concepts are over-constrained by design, and `indirect_unary_invocable`
46+
was always requiring invokability with `itver_value_t`. The P2609 enforced this
47+
requirement properly for iterators returning proxy references, including `zip_iterator`.
48+
</p>
4249
</discussion>
4350

4451
<resolution>

0 commit comments

Comments
 (0)