Bug report

Hello!

Please see the code snippet, for some reason the array type is being converted to NEVER after I check if it is []

Thanks!

Code snippet that reproduces the problem

https://phpstan.org/r/88ee9188-079e-4f65-80eb-54a670278089

Expected output

I would expect there to be no errors

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

No response