MixedAssignment error when checking type with elseif instead of if

[theodorejb]

https://psalm.dev/r/64f44812c4

This code pattern unexpectedly outputs a MixedAssignment error. If the elseif is replaced with if (which doesn't change the logic), the MixedAssignment error goes away.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/64f44812c4

<?php

function returnsArray(): array {
    return ["foo" => 42];
}

foreach (returnsArray() as $key => $value) {
    if ($key !== "foo") {
     	throw new Exception("Unexpected array key");   
    }
    elseif (!is_int($value)) {
     	throw new Exception("Unexpected array value");   
    }

    /** @psalm-trace $value */
    echo $value * 3;
}

Psalm output (using commit a75d26a):

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

INFO: Trace - 16:5 - $value: int