Merge 2022-07 LWG Motion 35

P2520R0 move_iterator<T*> should be a random access iterator

Author: tkoeppe

source/iterators.tex

@@ -4729,7 +4729,7 @@
   class move_iterator {
   public:
     using iterator_type     = Iterator;
-    using iterator_concept  = input_iterator_tag;
+    using iterator_concept  = @\seebelow@;
     using iterator_category = @\seebelow@;                      // not always present
     using value_type        = iter_value_t<Iterator>;
     using difference_type   = iter_difference_t<Iterator>;
@@ -4779,6 +4779,23 @@
 }
 \end{codeblock}
 
+\pnum
+The member \grammarterm{typedef-name} \tcode{iterator_concept} is defined
+as follows:
+\begin{itemize}
+\item
+If \tcode{Iterator} models \libconcept{random_access_iterator},
+then \tcode{iterator_concept} denotes \tcode{random_access_iterator_tag}.
+\item
+Otherwise, if \tcode{Iterator} models \libconcept{bidirectional_iterator},
+then \tcode{iterator_concept} denotes \tcode{bidirec\-tional_iterator_tag}.
+\item
+Otherwise, if \tcode{Iterator} models \libconcept{forward_iterator},
+then \tcode{iterator_concept} denotes \tcode{forward_itera\-tor_tag}.
+\item
+Otherwise, \tcode{iterator_concept} denotes \tcode{input_iterator_tag}.
+\end{itemize}
+
 \pnum
 The member \grammarterm{typedef-name} \tcode{iterator_category} is defined
 if and only if the \grammarterm{qualified-id}

source/support.tex

@@ -668,6 +668,7 @@
 #define @\defnlibxname{cpp_lib_mdspan}@                            202207L // also in \libheader{mdspan}
 #define @\defnlibxname{cpp_lib_memory_resource}@                   201603L // also in \libheader{memory_resource}
 #define @\defnlibxname{cpp_lib_modules}@                           202207L
+#define @\defnlibxname{cpp_lib_move_iterator_concept}@             202207L // also in \libheader{iterator}
 #define @\defnlibxname{cpp_lib_move_only_function}@                202110L // also in \libheader{functional}
 #define @\defnlibxname{cpp_lib_node_extract}@                      201606L
   // also in \libheader{map}, \libheader{set}, \libheader{unordered_map}, \libheader{unordered_set}