Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 2 additions & 7 deletions include/stdexec/__detail/__receivers.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -167,16 +167,11 @@ namespace STDEXEC {
(STDEXEC_PP_WHEN(
STDEXEC_EDG(),
requires { typename _Receiver::receiver_concept; } &&)
__std::derived_from<typename _Receiver::receiver_concept, receiver_t>)
|| requires { typename _Receiver::is_receiver; } // back-compat, NOT TO SPEC
|| STDEXEC_IS_BASE_OF(receiver_t, _Receiver); // NOT TO SPEC, for receiver_adaptor
__std::derived_from<typename _Receiver::receiver_concept, receiver_t>);
} // namespace __detail

template <class _Receiver>
inline constexpr bool enable_receiver = __detail::__enable_receiver<_Receiver>; // NOT TO SPEC

template <class _Receiver>
concept receiver = enable_receiver<__decay_t<_Receiver>>
concept receiver = __detail::__enable_receiver<__decay_t<_Receiver>>
&& __environment_provider<__cref_t<_Receiver>>
&& __nothrow_move_constructible<__decay_t<_Receiver>>
&& __std::constructible_from<__decay_t<_Receiver>, _Receiver>;
Expand Down
1 change: 0 additions & 1 deletion include/stdexec/__detail/__sender_concepts.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,6 @@ namespace STDEXEC {
namespace __detail {
template <class _Sender>
concept __enable_sender = __std::derived_from<typename _Sender::sender_concept, sender_t>
|| requires { typename _Sender::is_sender; } // NOT TO SPEC back compat
|| __awaitable<_Sender, __detail::__promise<env<>>>;
} // namespace __detail

Expand Down
Loading