infer `non-empty-list` after `isset($list[$i])`

### Feature request

no assertion errors in

https://phpstan.org/r/139250a8-e0dc-42c9-9033-f4bbf72c2345
https://phpstan.org/r/b82da297-f658-4554-a7c2-b6268f6260df

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

_No response_