Skip to content

Commit 78c13ca

Browse files
burblebeetkoeppe
authored andcommitted
LWG4083 views::as_rvalue should reject non-input ranges
1 parent 801c8ca commit 78c13ca

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

source/ranges.tex

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4515,7 +4515,9 @@
45154515
The expression \tcode{views::as_rvalue(E)} is expression-equivalent to:
45164516
\begin{itemize}
45174517
\item
4518-
\tcode{views::all(E)} if \tcode{\libconcept{same_as}<range_rvalue_reference_t<T>, range_reference_t<T>>} is \tcode{true}.
4518+
\tcode{views::all(E)} if
4519+
\tcode{T} models \libconcept{input_range} and
4520+
\tcode{\libconcept{same_as}<range_rvalue_reference_t<T>, range_reference_t<T>>} is \tcode{true}.
45194521
\item
45204522
Otherwise, \tcode{as_rvalue_view(E)}.
45214523
\end{itemize}

0 commit comments

Comments
 (0)