You mean like return a bool and a copy of a range advanced by one codepoint?
Originally I had in mind ranges that may not have cheap save or copy.
Secondly with this primitive tuned for speed doing any extra work seems in tension with that goal. It's a rare occasion that all 3 cases are required simultaneously.