Range Redesign: Empty Ranges

[Sebastiaan Koppe]

On Monday, 4 March 2024 at 21:29:40 UTC, Jonathan M Davis wrote:
> 1. Make it so that for finite ranges, the init value of a range 
> is required to not just be valid, but it's also required to be 
> empty.

Makes a lot of sense, but I agree it will be very annoying for 
some ranges.

I suspect it will result in extra state and/or checks for those 
cases.

Would it be too crazy of an idea for those ranges to implement a 
static init function?