Literal Strings else/elseif incorrect type

[kkmuffme]

https://psalm.dev/r/9ac5444f9d

There currently is a test for this https://github.com/vimeo/psalm/blob/5.x/tests/TypeReconciliation/ValueTest.php#L275 but as shown in the snippet above, this test is useless, because the types are wrong in the if and the else

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/9ac5444f9d

<?php

$a = rand(0, 1) ? "a" : "b";
$b = rand(0, 1) ? "a" : "b";

$s = rand(0, 1) ? $a : $b;
if (rand(0, 1)) $s = "c";

if ($s === $a) {
    /** @psalm-trace $s */;
    /** @psalm-trace $a */;
} elseif ($s === $b) {
    /** @psalm-trace $s */;
    /** @psalm-trace $b */;
}

Psalm output (using commit a75d26a):

INFO: Trace - 10:27 - $s: 'a'

INFO: Trace - 11:27 - $a: 'a'|'b'

INFO: Trace - 13:27 - $s: 'b'

INFO: Trace - 14:27 - $b: 'b'