Merge 2019-11 LWG Motion 9

P1878R1 Constraining Readable Types

Author: zygoloid

source/algorithms.tex

@@ -222,13 +222,13 @@
 If \range{a}{b} denotes a range,
 the semantics of \tcode{b - a} in these cases are the same as those of
 \begin{codeblock}
-iter_difference_t<remove_reference_t<decltype(a)>> n = 0;
+iter_difference_t<decltype(a)> n = 0;
 for (auto tmp = a; tmp != b; ++tmp) ++n;
 return n;
 \end{codeblock}
 and if \range{b}{a} denotes a range, the same as those of
 \begin{codeblock}
-iter_difference_t<remove_reference_t<decltype(b)>> n = 0;
+iter_difference_t<decltype(b)> n = 0;
 for (auto tmp = b; tmp != a; ++tmp) --n;
 return n;
 \end{codeblock}