ArrayAccess mixed contravariant false positive

[soullivaneuh]

Bug report

I use @extends keyword on ArrayAccess to have a better type checking with PHPStan.

It looks to recognize it, but want the parameters to be contravariant with the native ArrayAccess native class methods.

However, if this not a bug, I don't see how this should be resolved. 🤔

Code snippet that reproduces the problem

https://phpstan.org/r/f3a9c0d9-96b4-4b97-8c00-d908147465c3

Expected output

No error?

[sgc-fireball]

Same here:

• https://www.php.net/manual/de/class.arrayaccess.php
• https://phpstan.org/r/8574ba4b-4128-473e-bd6b-ac55cd4136d9

PHPStan does not access the php core types.

[ondrejmirtes]

@sgc-fireball Yours is a completely different problem, please open a separate issue for that, thanks.

[phpstan-bot]

@soullivaneuh After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-36: Parameter #1 $offset (int|null) of method App\Registrar\DomainsAvailability\AbstractDomainsAvailability::offsetSet() should be contravariant with parameter $offset (mixed) of method ArrayAccess<mixed,mixed>::offsetSet()
-36: Parameter #2 $value (int) of method App\Registrar\DomainsAvailability\AbstractDomainsAvailability::offsetSet() should be contravariant with parameter $value (mixed) of method ArrayAccess<mixed,mixed>::offsetSet()
-48: Parameter #1 $offset (int) of method App\Registrar\DomainsAvailability\AbstractDomainsAvailability::offsetExists() should be contravariant with parameter $offset (mixed) of method ArrayAccess<mixed,mixed>::offsetExists()
-56: Parameter #1 $offset (int) of method App\Registrar\DomainsAvailability\AbstractDomainsAvailability::offsetUnset() should be contravariant with parameter $offset (mixed) of method ArrayAccess<mixed,mixed>::offsetUnset()
-64: Parameter #1 $offset (int) of method App\Registrar\DomainsAvailability\AbstractDomainsAvailability::offsetGet() should be contravariant with parameter $offset (mixed) of method ArrayAccess<mixed,mixed>::offsetGet()
+No errors

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