Bug report
When doing an isset($list[3]) (where $list is a list<...>) it can be assumed that all lower indexes (0, 1, 2) do exist as well. Because if those didn't exist the variable wouldn't be a list anymore (but just an array<int, ...>). Yet PHPStan errors in this case when accessing any of the lower indexes.
Code snippet that reproduces the problem
https://phpstan.org/r/06841d0c-74f6-46ac-b780-7c101e48e58f
Expected output
No errors. dumpType results in &hasOffsetValue(1, int)&hasOffsetValue(2, int)&hasOffsetValue(3, int).
Did PHPStan help you today? Did it make you happy in any way?
No response
Bug report
When doing an
isset($list[3])(where$listis alist<...>) it can be assumed that all lower indexes (0, 1, 2) do exist as well. Because if those didn't exist the variable wouldn't be a list anymore (but just anarray<int, ...>). Yet PHPStan errors in this case when accessing any of the lower indexes.Code snippet that reproduces the problem
https://phpstan.org/r/06841d0c-74f6-46ac-b780-7c101e48e58f
Expected output
No errors.
dumpTyperesults in&hasOffsetValue(1, int)&hasOffsetValue(2, int)&hasOffsetValue(3, int).Did PHPStan help you today? Did it make you happy in any way?
No response