File tree Expand file tree Collapse file tree 2 files changed +2
-8
lines changed
Expand file tree Collapse file tree 2 files changed +2
-8
lines changed Original file line number Diff line number Diff line change @@ -167,16 +167,11 @@ namespace STDEXEC {
167167 (STDEXEC_PP_WHEN(
168168 STDEXEC_EDG (),
169169 requires { typename _Receiver::receiver_concept; } &&)
170- __std::derived_from<typename _Receiver::receiver_concept, receiver_t >)
171- || requires { typename _Receiver::is_receiver; } // back-compat, NOT TO SPEC
172- || STDEXEC_IS_BASE_OF(receiver_t , _Receiver); // NOT TO SPEC, for receiver_adaptor
170+ __std::derived_from<typename _Receiver::receiver_concept, receiver_t >);
173171 } // namespace __detail
174172
175173 template <class _Receiver >
176- inline constexpr bool enable_receiver = __detail::__enable_receiver<_Receiver>; // NOT TO SPEC
177-
178- template <class _Receiver >
179- concept receiver = enable_receiver<__decay_t <_Receiver>>
174+ concept receiver = __detail::__enable_receiver<__decay_t <_Receiver>>
180175 && __environment_provider<__cref_t <_Receiver>>
181176 && __nothrow_move_constructible<__decay_t <_Receiver>>
182177 && __std::constructible_from<__decay_t <_Receiver>, _Receiver>;
Original file line number Diff line number Diff line change @@ -38,7 +38,6 @@ namespace STDEXEC {
3838 namespace __detail {
3939 template <class _Sender >
4040 concept __enable_sender = __std::derived_from<typename _Sender::sender_concept, sender_t >
41- || requires { typename _Sender::is_sender; } // NOT TO SPEC back compat
4241 || __awaitable<_Sender, __detail::__promise<env<>>>;
4342 } // namespace __detail
4443
You can’t perform that action at this time.
0 commit comments