Problem with mutliple parameters in isset

[garak]

Bug report

I have false positives when using isset($a, $b) instead of isset($a) && issert($b)

Code snippet that reproduces the problem

https://phpstan.org/r/05e9a31c-a556-4e4e-b3d0-0d66e43878f3

Expected output

No errors.

If you try this instead, you can see there are no errors indeed, while the two snippets should behave the same way.

Did PHPStan help you today? Did it make you happy in any way?

PHPStan is awesome, and I hope to give my little contribution to it with this issue report

[ondrejmirtes]

Fixed: phpstan/phpstan-src#2709

[ondrejmirtes]

Fixed: phpstan/phpstan-src#2710

[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.