Bug report

I think we should be able to narrow the offset to int<0, max> after we asserted it does exists in a list

Code snippet that reproduces the problem

https://phpstan.org/r/dbe75255-0ded-42f4-b7a6-5d1d7f182494

Expected output

no error

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

No response