Unsetting array keys after checking their existence give strange behaviour

[BackEndTea]

Bug report

Checking if an array key exist, and then throwing an exception/ returning when it does not makes it so the array can not be empty, even when it is unset

Code snippet that reproduces the problem

https://phpstan.org/r/74c5fd68-3156-4618-9b1e-a7db1cf3f0f6

Expected output

I'd expect no errors here, as the array can be empty

[BackEndTea]

I recently upgraded to the latest phpstan version, and this specific issue is no longer here, so i'm assuming it is fixed.

[ondrejmirtes]

We still need a regression test and an investigation into what actually fixed the case and if it's really solved :)

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