Psalm: Use of undefined class constant is not reported when using static::

[ADmad]

https://psalm.dev/r/4c99e2883e

I would expect an error to be reported for line 11.

[weirdan]

There should be an error, but only if the class is final. Otherwise that constant may be defined in descendant classes.

[ADmad]

Why are constants treated differently than variables?

For e.g. an error is thrown for static::$nonExistent. https://psalm.dev/r/a19c1bd23f

[muglug]

I think this is a bug - ideally Psalm should both require a present constant, and verify that descendants don’t change that constant’s type (same with static properties).

[muglug]

I've ensured that the missing class constant is now reported.