False positive with multiple parameters in isset

[sakarikl]

Bug report

if (rand(0, 1)) {
    $a = 'b';
}

if (rand(0, 1)) {
    $c = ['b' => 'everything is fine'];
}

if (isset($a, $c, $c[$a])) {
    echo $c[$a];
}

Variable $a might not be defined.

https://phpstan.org/r/718a84cf-24ba-449d-b364-d8c20bc8e7ed

Expected output

Expected no errors

if done with two different issets works as expected (https://phpstan.org/r/7d472ba3-ec9e-4f08-8566-bccebced30bb)

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.