signature mismatch in IteratorAggregate

[staabm]

Bug report

shouldn't phpstan error because we pass a array<string, mixed> into ArrayIterator and therefore this doesn't match the @phpstan-implements IteratorAggregate<string, int> contract?

Code snippet that reproduces the problem

https://phpstan.org/r/d682c953-501a-4416-9211-893c6765f2bb

Expected output

a type mismatch error? I am not 100% sure, maybe its done intentionally like that?

[staabm]

in contrast, when using a explicit type a error is reported: https://phpstan.org/r/7d9d36ed-9601-435a-9249-f28c781c9a4a

[ondrejmirtes]

You shouldn't use mixed at all if you want fully-typed codebase :)

Keeping this open because it should probably be reported with checkExplicitMixed: true.

[ondrejmirtes]

Implemented: phpstan/phpstan-src@b4f81db

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