Assertion does not work on constants - mixed error for const even when checked they exist

[kkmuffme]

https://psalm.dev/r/81e33cf2b7

Should be "string" in both cases, not mixed.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/81e33cf2b7

<?php

$value = '';
if( defined( 'MY_CONST' ) && is_string( MY_CONST ) ) {
    $value = MY_CONST;
    /** @psalm-trace $value */;
}

/** @psalm-trace $value */;

Psalm output (using commit 841cccd):

INFO: MixedAssignment - 5:5 - Unable to determine the type that $value is being assigned to

INFO: Trace - 6:31 - $value: mixed

INFO: Trace - 9:27 - $value: ''|mixed

INFO: UnusedVariable - 3:1 - $value is never referenced or the value is not used

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

[kkmuffme]

I guess this was fixed (by the now reverted) #7054 as explained in #7241 (comment) ? @orklah

[orklah]

The revert was in #7263 and it was because it produced things like #7262

Honestly, loop analysis is something I have a hard time wrapping my head around so when something affects loops, I'm pretty much helpless