File tree Expand file tree Collapse file tree 1 file changed +15
-0
lines changed
Expand file tree Collapse file tree 1 file changed +15
-0
lines changed Original file line number Diff line number Diff line change @@ -163,6 +163,21 @@ that return prvalues that a prvalue is not bindable to a volatile reference.
163163<note >2018-11 San Diego Thursday night issue processing</note >
164164<p >Look at Ranges; EricWF to investigate. Status to Open</p >
165165
166+ <note >2025-10-15; additional suggestion from Eric Niebler during 2018-04 discussion</note >
167+ <p >
168+ Regarding the issue of whether `int volatile*` is an iterator or not,
169+ I think the best way to solve the problem is with the `common_reference_t`
170+ type trait.
171+ The return type for `*a` could be
172+ "`reference`, where
173+ <code >common_reference_t< reference&& , T&> </code >
174+ is well-formed"
175+ and for `*r++` could be:
176+ "A type `U`, where
177+ <code >common_reference_t< U&& , T&> </code >
178+ is well-formed".
179+ </p >
180+
166181<p >
167182<strong >Previous resolution [SUPERSEDED]:</strong >
168183</p >
You can’t perform that action at this time.
0 commit comments