Wrong assumption in for condition - Comparison operation ">" between int<17, 100> and 0 is always true.

[mvorisek]

Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/9611d207-0007-4d39-b84f-20daf3a5f577

Expected output

no error

maybe related with #5656 , but this is much simpler demo

[phpstan-bot]

@mvorisek After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-11: Dumped type: int<20, 100>
-13: Comparison operation ">" between int<17, 100> and 0 is always true.
+11: Dumped type: int<20, 100>

Full report

Line	Error
11	Dumped type: int<20, 100>

[mvorisek]

thanks!

[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.