Bug report

As it is file_get_contents().

Code snippet that reproduces the problem

https://phpstan.org/r/214c3200-7b0e-4a2c-960a-882503bb54d3

Expected output

Comparison is not always true

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

No response