@@ -18,18 +18,18 @@ Imported from <a href="https://github.com/cplusplus/sender-receiver/issues/304">
1818<pre ><code >
1919[]< class Tag, class... Args> (auto, auto& state, auto& rcvr, Tag, Args&& ... args) noexcept
2020 -> void {
21- using result_t = decayed-tuple< Tag, Args...> ;
21+ using result_t = < i > decayed-tuple</ i > < Tag, Args...> ;
2222 constexpr bool nothrow = is_nothrow_constructible_v< result_t, Tag, Args...> ;
2323
2424 try {
25- state.async-result.template emplace< result_t> (Tag(), std::forward< Args> (args)...);
25+ state.< i > async-result</ i > .template emplace< result_t> (Tag(), std::forward< Args> (args)...);
2626 } catch (...) {
2727 if constexpr (!nothrow) {
2828 set_error(std::move(rcvr), current_exception());
2929 return;
3030 }
3131 }
32- start(state.op-state);
32+ start(state.< i > op-state</ i > );
3333};
3434</code ></pre >
3535
@@ -42,18 +42,17 @@ The right thing, i think, is to catch the exception, emplace the `exception_ptr`
4242<pre ><code >
4343[]< class Tag, class... Args> (auto, auto& state, auto& rcvr, Tag, Args&& ... args) noexcept
4444 -> void {
45- using result_t = decayed-tuple< Tag, Args...> ;
45+ using result_t = < i > decayed-tuple</ i > < Tag, Args...> ;
4646 constexpr bool nothrow = is_nothrow_constructible_v< result_t, Tag, Args...> ;
4747
4848 try {
49- state.async-result.template emplace< result_t> (Tag(), std::forward< Args> (args)...);
49+ state.< i > async-result</ i > .template emplace< result_t> (Tag(), std::forward< Args> (args)...);
5050 } catch(...) {
51- if constexpr (nothrow)
52- state.async-result.template emplace< tuple< set_error_t, exception_ptr>> (set_error, current_exception());
53- }
51+ if constexpr (!nothrow)
52+ state.<i >async-result</i >.template emplace< tuple< set_error_t, exception_ptr>> (set_error, current_exception());
5453 }
5554
56- start(state.op-state);
55+ start(state.< i > op-state</ i > );
5756}
5857</code ></pre >
5958
@@ -96,6 +95,11 @@ except with duplicate types removed.
9695Set priority to 1 after reflector poll.
9796</p >
9897
98+ <note >Hagenberg 2025-02-10; LWG</note >
99+ <p >
100+ Direction seems right. Decay-copyable is not a defined term.
101+ </p >
102+
99103</discussion >
100104
101105<resolution >
0 commit comments