LWG3851 chunk_view::inner-iterator missing custom iter_move and iter_swap

Author: burblebee

source/ranges.tex

@@ -12031,6 +12031,13 @@
       requires @\libconcept{sized_sentinel_for}@<sentinel_t<V>, iterator_t<V>>;
     friend constexpr difference_type operator-(const @\exposid{inner-iterator}@& x, default_sentinel_t y)
       requires @\libconcept{sized_sentinel_for}@<sentinel_t<V>, iterator_t<V>>;
+
+    friend constexpr range_rvalue_reference_t<V> iter_move(const @\exposid{inner-iterator}@& i)
+      noexcept(noexcept(ranges::iter_move(*i.@\exposid{parent_}@->@\exposid{current_}@)));
+
+    friend constexpr void iter_swap(const @\exposid{inner-iterator}@& x, const @\exposid{inner-iterator}@& y)
+      noexcept(noexcept(ranges::iter_swap(*x.@\exposid{parent_}@->@\exposid{current_}@, *y.@\exposid{parent_}@->@\exposid{current_}@)))
+      requires @\libconcept{indirectly_swappable}@<iterator_t<V>>;
   };
 }
 \end{codeblock}
@@ -12137,6 +12144,29 @@
 Equivalent to: \tcode{return -(y - x);}
 \end{itemdescr}
 
+\begin{itemdecl}
+friend constexpr range_rvalue_reference_t<V> iter_move(const @\exposid{inner-iterator}@& i)
+  noexcept(noexcept(ranges::iter_move(*i.@\exposid{parent_}@->@\exposid{current_}@)));
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\effects
+Equivalent to: \tcode{return ranges::iter_move(*i.\exposid{parent_}->\exposid{current_});}
+\end{itemdescr}
+
+\begin{itemdecl}
+friend constexpr void iter_swap(const @\exposid{inner-iterator}@& x, const @\exposid{inner-iterator}@& y)
+  noexcept(noexcept(ranges::iter_swap(*x.@\exposid{parent_}@->@\exposid{current_}@, *y.@\exposid{parent_}@->@\exposid{current_}@)))
+  requires @\libconcept{indirectly_swappable}@<iterator_t<V>>;
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\effects
+Equivalent to: \tcode{ranges::iter_swap(*x.\exposid{parent_}->\exposid{current_}, *y.\exposid{parent_}->\exposid{current_});}
+\end{itemdescr}
+
 \rSec3[range.chunk.view.fwd]{Class template \tcode{chunk_view} for forward ranges}
 
 \indexlibrarymember{begin}{chunk_view}%