LWG3798 Rvalue reference and iterator_category

Author: burblebee

source/iterators.tex

@@ -946,7 +946,7 @@
 template<class I>
 concept @\defexposconcept{cpp17-forward-iterator}@ =
   @\exposconcept{cpp17-input-iterator}@<I> && @\libconcept{constructible_from}@<I> &&
-  is_lvalue_reference_v<iter_reference_t<I>> &&
+  is_reference_v<iter_reference_t<I>> &&
   @\libconcept{same_as}@<remove_cvref_t<iter_reference_t<I>>,
           typename indirectly_readable_traits<I>::value_type> &&
   requires(I i) {

source/ranges.tex

@@ -5231,7 +5231,7 @@
 \tcode{iterator_traits<iterator_t<\exposid{Base}>>::iterator_category}.
 \begin{itemize}
 \item
-If \tcode{is_lvalue_reference_v<invoke_result_t<\exposidnc{maybe-const}<Const, F>\&, range_reference_t<\linebreak\exposid{Base}>>>}
+If \tcode{is_reference_v<invoke_result_t<\exposidnc{maybe-const}<Const, F>\&, range_reference_t<\exposid{Base}>>>}
 is \tcode{true}, then
 \begin{itemize}
 \item
@@ -7110,8 +7110,8 @@
 \item
 If
 \begin{codeblock}
-is_lvalue_reference_v<common_reference_t<iter_reference_t<@\exposid{InnerIter}@>,
-                                         iter_reference_t<@\exposid{PatternIter}@>>>
+is_reference_v<common_reference_t<iter_reference_t<@\exposid{InnerIter}@>,
+                                  iter_reference_t<@\exposid{PatternIter}@>>>
 \end{codeblock}
 is \tcode{false},
 \tcode{iterator_category} denotes \tcode{input_iterator_tag}.
@@ -10180,7 +10180,7 @@
 \begin{codeblock}
 invoke_result_t<@\exposid{maybe-const}@<Const, F>&, range_reference_t<@\exposid{maybe-const}@<Const, Views>>...>
 \end{codeblock}
-is not an lvalue reference,
+is not a reference,
 \tcode{iterator_category} denotes \tcode{input_iterator_tag}.
 \item
 Otherwise, let \tcode{Cs} denote the pack of types
@@ -11330,7 +11330,7 @@
 \item
 If \tcode{invoke_result_t<\exposid{maybe-const}<Const, F>\&,
 \exposid{REPEAT}(range_reference_t<\exposid{Base}>, N)...>}
-is\linebreak not an lvalue reference,
+is\linebreak not a reference,
 \tcode{iterator_category} denotes \tcode{input_iterator_tag}.
 \item
 Otherwise, let \tcode{C} denote the type