False negative PossiblyUndefined[Global]Variable

[AndrolGenhald]

This correctly shows PossiblyUndefinedGlobalVariable, but this does not.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/41e5e0ceb3

<?php

if (random_int(0, 1)) {
    $foo = 1;
}

$bar = $foo;

Psalm output (using commit d7d846e):

INFO: PossiblyUndefinedGlobalVariable - 7:8 - Possibly undefined global variable $foo, first seen on line 4

INFO: MixedAssignment - 7:1 - Unable to determine the type that $bar is being assigned to

https://psalm.dev/r/592bb868ac

<?php

if (random_int(0, 1)) {
    $foo = 1;
}

if (!isset($foo)) {
}

$bar = $foo;

Psalm output (using commit d7d846e):

INFO: MixedAssignment - 10:1 - Unable to determine the type that $bar is being assigned to