Code path false positive with while(true) and no breaks

[Jean85]

https://psalm.dev/r/06329b768b

<?php

function foo(bool $throw): bool
{
    do {
        if ($throw) {
            throw new \Exception();
        }

        return true;
    } while (true);
}

Reported false positive:

ERROR: [InvalidReturnType](https://psalm.dev/011) - 3:28 - Not all code paths of foo end in a return statement, return type bool expected

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/06329b768b

<?php

function foo(bool $throw): bool
{
    do {
        if ($throw) {
            throw new \Exception();
        }

        return true;
    } while (true);
}

Psalm output (using commit 5baf85e):

ERROR: InvalidReturnType - 3:28 - Not all code paths of foo end in a return statement, return type bool expected

[theodorejb]

I think this is the same issue as #7842.

[theodorejb]

This was also fixed by #8929.