[LWG 1] P3504R0 C++ Standard Library Ready Issues

source/algorithms.tex

@@ -11741,14 +11741,22 @@
 \begin{itemdescr}
 \pnum
 \constraints
-The expression \tcode{::new (declval<void*>()) T(declval<Args>()...)}
+\tcode{is_unbounded_array_v<T>} is \tcode{false}.
+The expression \tcode{::new (declval<void*>()) T(\linebreak{}declval<Args>()...)}
 is well-formed when treated as an unevaluated operand\iref{term.unevaluated.operand}.
 
+\pnum
+\mandates
+If \tcode{is_array_v<T>} is \tcode{true}, \tcode{sizeof...(Args)} is zero.
+
 \pnum
 \effects
 Equivalent to:
 \begin{codeblock}
-return ::new (@\placeholdernc{voidify}@(*location)) T(std::forward<Args>(args)...);
+if constexpr (is_array_v<T>)
+  return ::new (@\placeholdernc{voidify}@(*location)) T[1]();
+else
+  return ::new (@\placeholdernc{voidify}@(*location)) T(std::forward<Args>(args)...);
 \end{codeblock}
 \end{itemdescr}
 

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}