LWG3733 ranges::to misuses cpp17-input-iterator

Author: burblebee

source/ranges.tex

@@ -2298,7 +2298,10 @@
 \item
 \tcode{\libconcept{common_range}<R>} is \tcode{true},
 \item
-\tcode{\exposconcept{cpp17-input-iterator}<iterator_t<R>>} is \tcode{true}, and
+if the \grammarterm{qualified-id}
+\tcode{iterator_traits<iterator_t<R>>::iterator_category}
+is valid and denotes a type that models
+\tcode{\libconcept{derived_from}<input_iterator_tag>}, and
 \item
 \tcode{\libconcept{constructible_from}<C, iterator_t<R>, sentinel_t<R>, Args...>}
 is \tcode{true}: