Fixed issue where missing identifiers pushed trivia into the navigation bar

Fixes #1183.
Our scanner produces EOF tokens both with and without a 0-width.    You'll get a non-zero-width EOF token if there is any final trivia (whitespace/newlines/comments) in the file.  You'll get a zero-width EOF token otherwise.  hope that helps! :)