LWG3453 Generic code cannot call ranges::advance(i, s)

Author: burblebee

source/iterators.tex

@@ -1546,6 +1546,8 @@
 
 \item If \tcode{bool(i != s)} then \tcode{i} is dereferenceable and
       \range{++i}{s} denotes a range.
+
+\item \tcode{assignable_from<I\&, S>} is either modeled or not satisfied.
 \end{itemize}
 \end{itemdescr}