Strange type assertion behavior after loop

[danog]

For some reason, string variables looses type information after a specific assertion with a body inside of a loop: https://psalm.dev/r/bcd4e3783f

The same does not happen if the assignment is removed from the body of the if: https://psalm.dev/r/f356d26882

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/bcd4e3783f

<?php
/** @var non-empty-string $function_id */;
if (function_exists($function_id)) {
	foreach (['a'] as $_) {
		if ($function_id === 'test') {
			$test = true;
			continue;
		}
	}
}
/** @psalm-trace $function_id */;

Psalm output (using commit 859b4a2):

INFO: Trace - 11:33 - $function_id: string

INFO: UnusedVariable - 6:4 - $test is never referenced or the value is not used

https://psalm.dev/r/f356d26882

<?php
/** @var non-empty-string $function_id */;
if (function_exists($function_id)) {
	foreach (['a'] as $_) {
		if ($function_id === 'test') {
			continue;
		}
	}
}
/** @psalm-trace $function_id */;

Psalm output (using commit 859b4a2):

INFO: Trace - 10:33 - $function_id: non-empty-string

[muglug]

Now fixed, seems like