At present, Pointer.atEnd is allowed only on REF types. It would seem to make sense to allow it on Range types as well. Not sure of the work increment, but presumably not large.