[pumpkinpal]

The iterator and sentinel do not need to be the same type, they just need to be equality comparable. If you wanted to represent a infinite range you could implement it in terms of a regular iterator and an empty sentinel type to which the regular iterator compares false to.

[mehrdadn]

I'm not sure why you're repeating the comment I replied to, but this is exactly what I replied to in my comment.