variant sender no longer conform to sender_of concepts #1843
Description
This looks like the same issue we saw with asioexec in #1836 (now fixed in record time by @RobertLeahy !).
Example code broken with recent updates to concepts:
using VariantSender =
exec::variant_sender<decltype(stdexec::just(true)),
decltype(stdexec::just() |
stdexec::then([] { return true; }))>;
stdexec::sender_of<set_value_t(bool)> auto Test()
{
// return just(true); // works
return VariantSender{just(true)};
}
Compile error:
Deduced type 'VariantSender' (aka 'variant_sender<__sexpr<stdexec::__descriptor_fn_v<stdexec::__desc<stdexec::just_t, stdexec::__tup::__tuple<bool>>>>, __sexpr<stdexec::__descriptor_fn_v<stdexec::__desc<stdexec::then_t, (lambda at stream.test.cpp:94:49), stdexec::(anonymous namespace)::__sexpr<stdexec::(lambda at /nix/store/1jr7djgkqa2h5hy9lnfhsw2l959b2ank-stdexec-0.11.0/include/stdexec/__detail/__basic_sender.hpp:56:53){}>>>>>') does not satisfy 'sender_of<set_value_t (bool)>'clang(placeholder_constraints_not_satisfied)
__senders.hpp(43, 23): Because 'exec::variant_sender<stdexec::(anonymous namespace)::__sexpr<stdexec::(lambda at /nix/store/1jr7djgkqa2h5hy9lnfhsw2l959b2ank-stdexec-0.11.0/include/stdexec/__detail/__basic_sender.hpp:56:53){}>, stdexec::(anonymous namespace)::__sexpr<stdexec::(lambda at /nix/store/1jr7djgkqa2h5hy9lnfhsw2l959b2ank-stdexec-0.11.0/include/stdexec/__detail/__basic_sender.hpp:56:53){}>>' does not satisfy 'sender_in'