LWG3555 {transform,elements}_view::iterator::iterator_concept should …

…consider const-qualification of the underlying range
cplusplus · Jun 14, 2021 · c62b973 · c62b973
1 parent 86946b4
commit c62b973
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/source/ranges.tex b/source/ranges.tex
@@ -3915,13 +3915,13 @@
 \pnum
 \tcode{iterator::iterator_concept} is defined as follows:
 \begin{itemize}
-\item If \tcode{V} models \libconcept{random_access_range}, then
+\item If \exposid{Base} models \libconcept{random_access_range}, then
 \tcode{iterator_concept} denotes \tcode{random_access_iterator_tag}.
 
-\item Otherwise, if \tcode{V} models \libconcept{bidirectional_range}, then
+\item Otherwise, if \exposid{Base} models \libconcept{bidirectional_range}, then
 \tcode{iterator_concept} denotes \tcode{bidirectional_iterator_tag}.
 
-\item Otherwise, if \tcode{V} models \libconcept{forward_range}, then
+\item Otherwise, if \exposid{Base} models \libconcept{forward_range}, then
 \tcode{iterator_concept} denotes \tcode{forward_iterator_tag}.
 
 \item Otherwise, \tcode{iterator_concept} denotes \tcode{input_iterator_tag}.
@@ -6535,13 +6535,13 @@
 is defined as follows:
 \begin{itemize}
 \item
-If \tcode{V} models \libconcept{random_access_range},
+If \exposid{Base} models \libconcept{random_access_range},
 then \tcode{iterator_concept} denotes \tcode{random_access_iterator_tag}.
 \item
-Otherwise, if \tcode{V} models \libconcept{bidirectional_range},
+Otherwise, if \exposid{Base} models \libconcept{bidirectional_range},
 then \tcode{iterator_concept} denotes \tcode{bidirectional_iterator_tag}.
 \item
-Otherwise, if \tcode{V} models \libconcept{forward_range},
+Otherwise, if \exposid{Base} models \libconcept{forward_range},
 then \tcode{iterator_concept} denotes \tcode{forward_iterator_tag}.
 \item
 Otherwise, \tcode{iterator_concept} denotes \tcode{input_iterator_tag}.