LWG4441 ranges::rotate do not handle sized-but-not-sized-sentinel ranges correctly

Author: burblebee

source/algorithms.tex

@@ -8256,7 +8256,8 @@
 \effects
 Equivalent to:
 \begin{codeblock}
-return ranges::rotate(std::forward<Ep>(exec), ranges::begin(r), middle, ranges::end(r));
+return ranges::rotate(std::forward<Ep>(exec), ranges::begin(r), middle,
+                      ranges::begin(r) + ranges::distance(r));
 \end{codeblock}
 \end{itemdescr}
 
@@ -8381,8 +8382,10 @@
 \effects
 Equivalent to:
 \begin{codeblock}
-return ranges::rotate_copy(std::forward<Ep>(exec), ranges::begin(r), middle, ranges::end(r),
-                           ranges::begin(result_r), ranges::end(result_r));
+return ranges::rotate_copy(std::forward<Ep>(exec), ranges::begin(r), middle,
+                           ranges::begin(r) + ranges::distance(r),
+                           ranges::begin(result_r),
+                           ranges::begin(result_r) + ranges::distance(result_r));
 \end{codeblock}
 \end{itemdescr}
 
@@ -9002,7 +9005,8 @@
 Equivalent to:
 \begin{codeblock}
 return ranges::partial_sort(std::forward<Ep>(exec), ranges::begin(r), middle,
-                            ranges::end(r), comp, proj);
+                            ranges::begin(r) + ranges::distance(r),
+                            comp, proj);
 \end{codeblock}
 \end{itemdescr}
 
@@ -9386,7 +9390,8 @@
 \effects
 Equivalent to:
 \begin{codeblock}
-return ranges::nth_element(std::forward<Ep>(exec), ranges::begin(r), nth, ranges::end(r),
+return ranges::nth_element(std::forward<Ep>(exec), ranges::begin(r), nth,
+                           ranges::begin(r) + ranges::distance(r),
                            comp, proj);
 \end{codeblock}
 \end{itemdescr}
@@ -10258,7 +10263,8 @@
 Equivalent to:
 \begin{codeblock}
 return ranges::inplace_merge(std::forward<Ep>(exec), ranges::begin(r), middle,
-                             ranges::end(r), comp, proj);
+                             ranges::begin(r) + ranges::distance(r),
+                             comp, proj);
 \end{codeblock}
 \end{itemdescr}