template of BackedEnum results in unresolvable return type

[Warxcell]

Bug report

    /**
     * @template B of BackedEnum
     * @param B[] $enums
     * @return value-of<B>[]
     */

results in unresolvable type.

Code snippet that reproduces the problem

https://phpstan.org/r/007bf786-02f7-4e89-9817-040f88090c68

Expected output

Return type of HelloWorld::arrayEnumToStrings() should be 'case1' | 'case2'

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

PHPStan is great tool! It could catch at least 50-60% of bugs without writing any tests.

[ondrejmirtes]

Thank you for your kind words :) Fixed: phpstan/phpstan-src@234f77d

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