File tree Expand file tree Collapse file tree 1 file changed +12
-0
lines changed
Expand file tree Collapse file tree 1 file changed +12
-0
lines changed Original file line number Diff line number Diff line change @@ -144,6 +144,18 @@ namespace stdexec {
144144 __mapply_q<_NESTED_ERROR_, __completion_signatures_of_t <_Sender, _JoinEnv2...>>
145145 >;
146146 };
147+ // Special-case handling for void to avoid EDG instantiation issues
148+ template <class _SetTag , class ... _JoinEnv2>
149+ struct __bad_result_sender_ <void , _SetTag, _JoinEnv2...> {
150+ using __t = __not_a_sender<
151+ _FUNCTION_MUST_RETURN_A_VALID_SENDER_IN_THE_CURRENT_ENVIRONMENT_<
152+ __in_which_let_msg<_SetTag>,
153+ " The function must return a valid sender for the current environment" _mstr
154+ >,
155+ _WITH_SENDER_<void >,
156+ _WITH_ENVIRONMENT_<_JoinEnv2>...
157+ >;
158+ };
147159 template <class _Sender , class _SetTag , class ... _JoinEnv2>
148160 using __bad_result_sender = __t <__bad_result_sender_<_Sender, _SetTag, _JoinEnv2...>>;
149161#else
You can’t perform that action at this time.
0 commit comments