LWG3660 iterator_traits<common_iterator>::pointer should conform to [iterator.traits]

Author: jensmaurer

source/iterators.tex

@@ -4872,9 +4872,9 @@
 otherwise it denotes \tcode{input_iterator_tag}.
 
 \item
+Let \tcode{a} denote an lvalue of type \tcode{const common_iterator<I, S>}.
 If the expression \tcode{a.operator->()} is well-formed,
-where \tcode{a} is an lvalue of type \tcode{const common_iterator<I, S>},
-then \tcode{pointer} denotes the type of that expression.
+then \tcode{pointer} denotes \tcode{decltype(a.operator->())}.
 Otherwise, \tcode{pointer} denotes \keyword{void}.
 \end{itemize}