1936e1d2be
Fixes #8085 Added some comments around the use of is_token_literal, as discussed.
Fixes #8085 Added some comments around the use of is_token_literal, as discussed.