Skip to content

Commit 0077d29

Browse files
burblebeetkoeppe
authored andcommitted
LWG3785 ranges::to is over-constrained on the destination type being a range
1 parent ccc54fb commit 0077d29

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
@@ -2300,7 +2300,8 @@
23002300
constructed from the elements of \tcode{r} in the following manner:
23012301
\begin{itemize}
23022302
\item
2303-
If \tcode{\libconcept{convertible_to}<range_reference_t<R>, range_value_t<C>>}
2303+
If \tcode{C} does not satisfy \libconcept{input_range} or
2304+
\tcode{\libconcept{convertible_to}<range_reference_t<R>, range_value_t<C>>}
23042305
is \tcode{true}:
23052306
\begin{itemize}
23062307
\item

0 commit comments

Comments
 (0)