diff --git a/xml/issue4345.xml b/xml/issue4345.xml new file mode 100644 index 0000000000..2f7723ab0d --- /dev/null +++ b/xml/issue4345.xml @@ -0,0 +1,43 @@ + + + + +<code>task::promise_type::return_value</code> default template parameter +
+Dietmar Kühl +01 Sep 2025 +99 + + +

+The template parameter V of +task::promise_type::return_value doesn't have a default +template argument specified. Specifying a default template argument of T +would enable use of co_return { ... } which would be +consistent with normal return statements. This feature +was not discussed in the design paper but based on the LEWG discussion +on 2025-08-26 it is considered to be more a bug fix than a new feature. +

+
+ + +

+Add a default template argument of T to the template +parameter V of task::promise_type::return_value +in the synopsis of : +

+namespace std::execution {
+  template<class T, class Environment>
+  class task<T, Environment>::promise_type {
+     ...
+    template<typename V = T>
+    void return_value(V&& value);
+    ...
+  };
+
+}
+
+

+
+ +