False positive: Comparison operation ">" between 0 and 0 is always false. #8938
Description
Bug report
The type of "while strlen" construction in the example was passing phpstan. But now it fails on PHP7 (but looks like it passes on PHP8).
Code snippet that reproduces the problem
https://phpstan.org/r/0694abfa-be7c-47e9-ab0e-d2d6ca7dec80
Expected output
The code should pass phpstan, and was passing with 1.9