Template type gets lost when using key-of and extending ArrayAccess

[ondrejmirtes]

Bug report

https://phpstan.org/r/2fb146c6-12dc-4a17-bb28-e13d93e820ea

/cc @rvanvelzen From the error messages:

 Parameter #1 $offset (key-of<TArray of array>) of method Options::offsetExists() should be contravariant with parameter $offset (key-of<array>) of method ArrayAccess<key-of<TArray of array>,value-of<TArray of array>>::offsetExists()

It looks like the generic-ness gets lost ($offset (key-of<array>)).

I don't think the example should report these messages. Could you please look into it?

This PR depends on the code to pass :) phpstan/phpstan-symfony#294

Thanks.

[alexander-schranz]

I'm not sure if related but it looks like I have a problem when accessing ArrayAccess with another array structure in it: https://phpstan.org/r/4901b911-ddd4-449a-a417-2a1ec41badaa

[rvanvelzen]

That is unrelated - anonymous functions don't support docblocks.

[alexander-schranz]

@rvanvelzen okay interesting thought then it would also report allow_delete but seems like it doesn't. Do you know if there exist any issue about that?

[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.