Comparison operation "<" between int<min, X> and Y is always true. in for loop

[mehdibo]

Bug report

When using 2 for loops, PHPStan reports:

Comparison operation "<" between int<min, 13> and 40 is always true.

In the snippet, it works fine with $predefinedShops = 1,
but starts bugging from $predefinedShops = 2

Code snippet that reproduces the problem

https://phpstan.org/r/2eda8bb9-48f7-4dbe-8a73-4bc32d9806d6

Expected output

No errors

[flobee]

$totalShops = 40;
$predefinedShops = 10;

for ($i = 0; $i < $predefinedShops; $i++)
{
	echo "Do something $i...\n";
}

// i now matches always $totalShops bug
// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

for (;$i < $totalShops; $i++)
{
	echo "Do something else $i...\n";
}

[phpstan-bot]

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

@@ @@
-9: Comparison operation "<" between int<min, 13> and 40 is always true.
+9: Comparison operation "<" between int<0, 13> and 40 is always true.

Full report

Line	Error
9	Comparison operation "<" between int<0, 13> and 40 is always true.

[phpstan-bot]

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

@@ @@
-9: Comparison operation "<" between int<min, 13> and 40 is always true.
+No errors

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