Bug report

When the "Treat PHPDoc types as certain" option is enabled in the PHPStan configuration, PHPStan correctly reports an error: "Negated boolean expression is always true" for the following code. However, this issue should also be reported even when the option is disabled, as it is not related to PHPDoc type certainty.

Code snippet that reproduces the problem

https://phpstan.org/r/032a6a99-9bb4-40d2-ae2b-7fa06212d128

Expected output

Negated boolean expression is always true

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

No response