Re: [boost.cobalt] A precondition or an error condition?

From: Klemens Morgenstern (klemensdavidmorgenstern_at_[hidden])
Date: 2023-11-09 15:21:46

On Thu, Nov 9, 2023 at 11:00 PM Julien Blanc via Boost
<boost_at_[hidden]> wrote:

> For the ranges overload:
>
> template<asio::cancellation_type Ct = asio::cancellation_type::all,
> range<awaitable> PromiseRange>
> awaitable left_race(PromiseRange && p);
>
> It's fine as-is if it specifies which exception is thrown. Otherwise,
> i'd recommend either of the following:
>
> (1) template<asio::cancellation_type Ct = asio::cancellation_type::all,
> non_empty_range<awaitable> PromiseRange>
> awaitable left_race(PromiseRange && p);
>

How is `non_empty_range` defined?