The lexer loop already stops when the source string has been fully consumed.