LWG3645 resize_and_overwrite is overspecified to call its callback with lvalues

Author: burblebee

source/strings.tex

@@ -2940,12 +2940,15 @@
 \item
 \tcode{k} be \tcode{min(o, n)}.
 \item
-\tcode{p} be a \tcode{charT*},
+\tcode{p} be a value of type \tcode{charT*} or \tcode{charT* const},
 such that the range \crange{p}{p + n} is valid and
 \tcode{this->compare(0, k, p, k) == 0} is \tcode{true} before the call.
 The values in the range \crange{p + k}{p + n} may be indeterminate\iref{basic.indet}.
 \item
-$OP$ be the expression \tcode{std::move(op)(p, n)}.
+\tcode{m} be a value of type \tcode{size_type} or \tcode{const size_type}
+equal to \tcode{n}.
+\item
+$OP$ be the expression \tcode{std::move(op)(p, m)}.
 \item
 \tcode{r} = $OP$.
 \end{itemize}
@@ -2958,11 +2961,11 @@
 \expects
 \begin{itemize}
 \item
-$OP$ does not throw an exception or modify \tcode{p} or \tcode{n}.
+$OP$ does not throw an exception or modify \tcode{p} or \tcode{m}.
 \item
 $\tcode{r} \geq 0$.
 \item
-$\tcode{r} \leq \tcode{n}$.
+$\tcode{r} \leq \tcode{m}$.
 \item
 After evaluating $OP$
 there are no indeterminate values in the range \range{p}{p + r}.