regression: Comparison operation "<" between 0|1 and 7 is always true.

[gemal]

<?php declare(strict_types = 1);

        for ($i = 0; $i < 7; $i++) {
            $tryMax = true;
            while ($tryMax) {
                $tryMax = false;
            }
        }

https://phpstan.org/r/9b3d2391-9fa7-4d27-ad8c-cc5ac94d50a7

happens in 1.9.3 not in 1.9.2

[ondrejmirtes]

Fixed: phpstan/phpstan-src@a8975b1

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.