Skip to content

Commit 0975c9f

Browse files
CaseyCartertkoeppe
authored andcommitted
[ranges.syn] Fix declaration of transform_view (#4132)
... to agree with the declaration in [range.transform.view] as modified by LWG3325. The resolution of this LWG issue failed to direct the Editor to also change the declaration in [ranges.syn].
1 parent ecbcd98 commit 0975c9f

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

source/ranges.tex

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -202,7 +202,8 @@
202202
// \ref{range.transform}, transform view
203203
template<@\libconcept{input_range}@ V, @\libconcept{copy_constructible}@ F>
204204
requires view<V> && is_object_v<F> &&
205-
regular_invocable<F&, range_reference_t<V>>
205+
regular_invocable<F&, range_reference_t<V>> &&
206+
@\exposconcept{can-reference}@<invoke_result_t<F&, range_reference_t<V>>>
206207
class transform_view;
207208

208209
namespace views { inline constexpr @\unspec@ transform = @\unspec@; }

0 commit comments

Comments
 (0)