LWG3853 basic_const_iterator<volatile int*>::operator-> is ill-formed

Author: burblebee

source/iterators.tex

@@ -4236,7 +4236,7 @@
     constexpr Iterator base() &&;
 
     constexpr @\exposid{reference}@ operator*() const;
-    constexpr const value_type* operator->() const
+    constexpr const auto* operator->() const
        requires is_lvalue_reference_v<iter_reference_t<Iterator>> &&
                 @\libconcept{same_as}@<remove_cvref_t<iter_reference_t<Iterator>>, value_type>;
 
@@ -4424,7 +4424,7 @@
 
 \indexlibrarymember{operator->}{basic_const_iterator}%
 \begin{itemdecl}
-constexpr const value_type* operator->() const
+constexpr const auto* operator->() const
   requires is_lvalue_reference_v<iter_reference_t<Iterator>> &&
            @\libconcept{same_as}@<remove_cvref_t<iter_reference_t<Iterator>>, value_type>;
 \end{itemdecl}