ArrayAccess generics got broken in 1.7.x

[janedbal]

Bug report

Following invalid error popped up when upgraded from 1.6.8 to 1.7.1

Code snippet that reproduces the problem

https://phpstan.org/r/c58cde7c-9f0c-4d6b-8fa0-818b739b8c86

Expected output

No error

[ondrejmirtes]

Because PHPStan now knows about default parameter values, it sees ArrayObject is created with [] and therefore: https://phpstan.org/r/be5f50f5-0872-44fe-9f5e-1ea71e260b13

Right now you need to add /** @var ArrayObject<something, something> */ to your code. It might work nicer when this is implemented: #6732

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.