P3555 R0 An infinite range concept

[wg21bot]

P3555R0 An infinite range concept (Jonathan Müller)

[dhollman]

SG9 in Hagenberg

SG9 saw this paper in Hagenberg. As a result of discussion of P3555R0, we discovered that [iterator.requirements.general]/10 implies code like views::iota(0) | views::take(3) is undefined behavior.

We took the following poll:

We agree that this needs correcting:

SF	F	N	A	SA
9	4	1	0	0

Strong consensus

The authors plan to come back with a much more extensive fix to this problem, which is much larger and more widespread than we originally believed.