do while loop with bool variable incorrectly errored.

[WyriHaximus]

I have this loop in a project and I'm getting two errors, a [RedundantCondition and a UnusedVariable. https://psalm.dev/r/b420e29429 Both are wrong in this specific situation.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/b420e29429

<?php

do {
    $run  = false;
    
    if (time() % 3 === 0) {
        continue;
    }
    
    $run        = true;
} while ($run);

Psalm output (using commit 765dcbf):

ERROR: RedundantCondition - 11:10 - Type true for $run is never falsy

INFO: UnusedVariable - 4:5 - $run is never referenced or the value is not used