It might be a little misleading, but sub_span_after_token actually returns a copy of the subspan where span.lo is brought up to the first occurrence of some (one-byte) token, effectively shortening the span but removing part of the start.