Bug report

we should be able to infer offset-value-types on top of the generic list type

Code snippet that reproduces the problem

https://phpstan.org/r/bd91a99e-557f-4b93-9a96-4cba1dd7d8f0

Expected output

no error

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

No response