LWG3899 co_yielding elements of an lvalue generator is unnecessarily inefficient

Author: burblebee

source/ranges.tex

@@ -16995,6 +16995,9 @@
     template<class R2, class V2, class Alloc2, class Unused>
       requires @\libconcept{same_as}@<typename generator<R2, V2, Alloc2>::yielded, yielded>
         auto yield_value(ranges::elements_of<generator<R2, V2, Alloc2>&&, Unused> g) noexcept;
+    template<class R2, class V2, class Alloc2, class Unused>
+      requires same_as<typename generator<R2, V2, Alloc2>::yielded, yielded>
+        auto yield_value(ranges::elements_of<generator<R2, V2, Alloc2>&, Unused> g) noexcept;
 
     template<ranges::@\libconcept{input_range}@ R, class Alloc>
       requires @\libconcept{convertible_to}@<ranges::range_reference_t<R>, yielded>
@@ -17122,6 +17125,9 @@
 template<class R2, class V2, class Alloc2, class Unused>
   requires @\libconcept{same_as}@<typename generator<R2, V2, Alloc2>::yielded, yielded>
   auto yield_value(ranges::elements_of<generator<R2, V2, Alloc2>&&, Unused> g) noexcept;
+template<class R2, class V2, class Alloc2, class Unused>
+  requires same_as<typename generator<R2, V2, Alloc2>::yielded, yielded>
+  auto yield_value(ranges::elements_of<generator<R2, V2, Alloc2>&, Unused> g) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -17154,7 +17160,7 @@
 
 \pnum
 \remarks
-A \grammarterm{yield-expression} that calls this function
+A \grammarterm{yield-expression} that calls one of these functions
 has type \tcode{void}\iref{expr.yield}.
 \end{itemdescr}