Skip to content

Commit c83caad

Browse files
burblebeetkoeppe
authored andcommitted
LWG3773 views::zip_transform still requires F to be copy_constructible when empty pack
1 parent 3045e51 commit c83caad

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

source/ranges.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9995,7 +9995,7 @@
99959995
let \tcode{FD} be \tcode{decay_t<decltype((F))>}.
99969996
\begin{itemize}
99979997
\item
9998-
If \tcode{\libconcept{copy_constructible}<FD> \&\&
9998+
If \tcode{\libconcept{move_constructible}<FD> \&\&
99999999
\libconcept{regular_invocable}<FD\&>} is \tcode{false}, or
1000010000
if \tcode{decay_t<invoke_result_t<FD\&>>} is not an object type,
1000110001
\tcode{views::zip_transform(F, Es...)} is ill-formed.

0 commit comments

Comments
 (0)