Bad assumption about array key

[hocker1]

Bug report

PHPstan seems to incorrectly narrow type after if (empty(...)).

Code snippet that reproduces the problem

https://phpstan.org/r/0554aa13-e165-4f18-b512-059cf0ab243e

Expected output

Dumped type should remain array<mixed> even after the if test (which may result false).

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

No response

[hocker1]

Snippet, that demonstrates practical problem caused by the bug and which will be error-free once the bug is solved:
https://phpstan.org/r/5ff9d8fe-dcb7-4dc9-aec1-021c06513f37

[herndlm]

Hi, looks like a duplicate of #12771, I prepared a fix already in phpstan/phpstan-src#3901

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