LWG-3899 co_yielding elements of an lvalue generator is unnecessarily…

… inefficient (microsoft#5303)
frederick-vs-ja · Feb 20, 2025 · dfbe5ea · dfbe5ea
1 parent a4e32ac
commit dfbe5ea
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/stl/inc/generator b/stl/inc/generator
@@ -286,6 +286,13 @@ namespace _Gen_detail {
             return _Nested_awaitable{_STD move(_Elem.range)};
         }
 
+        template <class _Rty, class _Vty, class _Alloc, class _Unused>
+            requires same_as<_Yield_t<_Reference_t<_Rty, _Vty>>, _Yielded>
+        _NODISCARD auto yield_value(_RANGES elements_of<generator<_Rty, _Vty, _Alloc>&, _Unused> _Elem) noexcept {
+            using _Nested_awaitable = _Nested_awaitable_provider<_Rty, _Vty, _Alloc>::_Awaitable;
+            return _Nested_awaitable{_STD move(_Elem.range)};
+        }
+
         template <_RANGES input_range _Rng, class _Alloc>
             requires convertible_to<_RANGES range_reference_t<_Rng>, _Yielded>
         _NODISCARD auto yield_value(_RANGES elements_of<_Rng, _Alloc> _Elem) {