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

On Thu, Nov 9, 2023 at 11:00 PM Julien Blanc via Boost <boost@lists.boost.org> 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?