Be careful, there is 2 differentvalue-of supported cases in phpstan and psalm:

• value-of<T> withT being a BackedEnum type returns the union of all backing values of that enum (which we can generalize to the backing type as done in this PR)
• value-of<T> withT being an array type returns the type of values in that array (there is alsokey-of<T> for the equivalent for the key type)

Oh, didn't know about that, I'll update the PR accordingly, thanks!

Done.

Looks like a feature to me

Looks like a feature to me

I consider this a bug because when I upgraded to Symfony 7.3 the TypeInfo component started throwing an exception. This is because 7.3 introduced handling type aliases, and my code had avalue-of<T> in it.

So, until this is fixed I have to not usevalue-of<T> (and have worse static analysis) or not use TypeInfo (and do something 🤷 )

Thank you@mtarld.