Feature request

IMO phpstan should narrow types of non-strict comparisions, in case the comparison is done against a constant value, which cannot change meaning when interpreted in a loose-comparison

https://phpstan.org/r/297bee27-5cf8-49ff-9a71-08a73c0aef8b
should not report type assertion errors

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

No response