Feature request

I think we should be able to infer more precise array-shapes after if-casing the count() of a list-typed variable

I expect no "Offset X might not exist" errors in https://phpstan.org/r/579e635a-3dc9-4a12-82cd-a4439a418213

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

No response