False positive: class (validly!) named Integer wrongly recognized as int #12660
Description
Bug report
See snippet. PHP totally allows naming a class Integer, phpstan however treats this as int, leading to false errors.
Code snippet that reproduces the problem
https://phpstan.org/r/1c846a17-f5a2-41f5-8050-43224428042b
Expected output
No error expected.
Did PHPStan help you today? Did it make you happy in any way?
No response