From 3902689dbad5522a08c7246c67ee9cec89ed9cd2 Mon Sep 17 00:00:00 2001 From: Eric Niebler Date: Thu, 27 Jun 2024 10:34:44 -0700 Subject: [PATCH] bug fix to `receiver` and `scheduler` concepts, from @tcanens --- execution.bs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/execution.bs b/execution.bs index b403591..2c77308 100644 --- a/execution.bs +++ b/execution.bs @@ -6169,7 +6169,7 @@ namespace std::execution { namespace std::execution { template<class Sch> concept scheduler = - derived_from<typename Sch::scheduler_concept, scheduler_t> && + derived_from<typename remove_cvref_t<Sch>::scheduler_concept, scheduler_t> && queryable<Sch> && requires(Sch&& sch) { { schedule(std::forward<Sch>(sch)) } -> sender; @@ -6227,7 +6227,7 @@ namespace std::execution { namespace std::execution { template<class Rcvr> concept receiver = - derived_from<typename Rcvr::receiver_concept, receiver_t> && + derived_from<typename remove_cvref_t<Rcvr>::receiver_concept, receiver_t> && requires(const remove_cvref_t<Rcvr>& rcvr) { { get_env(rcvr) } -> queryable; } &&