Merge pull request #184 from cplusplus/awaitable-when-all

`when_all` should be awaitable and the result should be de-structure-able
cplusplus · Feb 18, 2024 · 9e990d5 · 9e990d5
2 parents 34bc158 + e43b34b
commit 9e990d5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/execution.bs b/execution.bs
@@ -7853,7 +7853,9 @@ template&lt;class Domain, class Tag, sender Sndr, class... Args>
 
         2. Otherwise, if `value_types_of_t<Sndr, Env, Tuple, Variant>` would have the form `Variant<Tuple<>>` or `Variant<>`, then <code><i>single-sender-value-type</i>&lt;Sndr, Env></code> is an alias for type `void`.
 
-        3. Otherwise, <code><i>single-sender-value-type</i>&lt;Sndr, Env></code> is ill-formed.
+        3. Otherwise, if `value_types_of_t<Sndr, Env, Tuple, Variant>` would have the form `Variant<Tuple<Ts...>>` where `Ts` is a parameter pack, then <code><i>single-sender-value-type</i>&lt;Sndr, Env></code> is an alias for type `std::tuple<decay_t<Ts>...>`.
+
+        4. Otherwise, <code><i>single-sender-value-type</i>&lt;Sndr, Env></code> is ill-formed.
 
     2. The type <code><i>sender-awaitable</i>&lt;Sndr, Promise></code> is equivalent to the following: