Bug report

Originally reported: #4220

Both versions with generics and without generics should work.

It might just be a matter of modifying ObjectType::getIterableValueType(), to resolve the StaticType (similar to this https://github.com/phpstan/phpstan-src/blob/19bf582aa3c0e0809446a17399d17d17ab40297c/src/Analyser/MutatingScope.php#L4515-L4526).

Code snippet that reproduces the problem

• https://phpstan.org/r/f462b4b3-ba01-44e1-a68a-b157e9bd8621
• https://phpstan.org/r/39783e69-bcfd-426f-b9f9-48f5806e37e2

Expected output

Correctly resolved $h to HelloWorld.