Thank you for the question.
We'll check the file name is in correct format, maybe we missed something there.
/* @var */
is not a correct phpdoc standard. I was actually not aware it's used like this, but it's definitely a good idea to support it as well.