Bug report

we loose the list type after overwriting the last element via offset overwrite.

Code snippet that reproduces the problem

https://phpstan.org/r/cc72d62d-05ff-40e2-b156-1bb5d49d54dd

Expected output

no errors

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

No response