Bug report

The classname case check does not adhere explicit classname aliases.

Code snippet that reproduces the problem

7fd276cc-364c-4895-b1ca-5bf0f1aafbf5

Expected output

No error

Did PHPStan help you today? Did it make you happy in any way?

No response