Code after do-while(true) statement with no breaks isn't marked as unreachable

[danog]

https://psalm.dev/r/918eba8573

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/918eba8573

<?php

function ret(): int {
    do {
        return 1;
    } while (true);
}

Psalm output (using commit 7d95f15):

ERROR: InvalidReturnType - 3:17 - Not all code paths of ret end in a return statement, return type int expected

[orklah]

Probably a missing handling of do/while on ScopeAnalyzer:

psalm/src/Psalm/Internal/Analyzer/ScopeAnalyzer.php

Line 267 in 2490230

if ($stmt instanceof PhpParser\Node\Stmt\While_

We have it for while and for but not for other loops