IteratorAggregate with ArrayIterator on array property key type mismatch

[InvisibleSmiley]

Bug report

When you implement IteratorAggregate with an ArrayIterator using a local array property, PHPStan does not understand that the ArrayIterator key type depends on the local array property key type. It complains that array key type string is returned when in fact the key type is non-empty-string and PHPStan should be able to infer that.

Code snippet that reproduces the problem

https://phpstan.org/r/fd46fa7a-e010-404d-95e1-72b562e2150f

Expected output

No errors

Did PHPStan help you today? Did it make you happy in any way?

No response

[takaram]

This seems to be caused by the weird behavior of @template T of array-key, which is used in stub files of ArrayIterator and ArrayObject.
https://phpstan.org/r/9e45544a-41f7-4450-bf86-0507fe7cfe2f

If you replace array-key with int|string you won't see the issue.