Int range not updated when in loop

[AndrolGenhald]

https://psalm.dev/r/65c57ad265

I figured this would work since the variable is redefined on each loop iteration.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/65c57ad265

<?php

/** @var int<0, max> */
$int = 0;
if ($int < 1) {
    throw new \Exception();
}
/** @psalm-trace $int */;

for ($i = 0; $i < 10; ++$i) {
    /** @var int<0, max> */
    $int = 0;
    if ($int < 1) {
        throw new \Exception();
    }
    /** @psalm-trace $int */; // Should be int<1, max>
}

Psalm output (using commit b46fb14):

INFO: Trace - 8:25 - $int: int<1, max>

INFO: Trace - 16:29 - $int: int<0, max>

[orklah]

This is kinda expected. I gave up trying to change value of int ranges inside loops for a few different reasons that are still out of my skill