Way to inline type generics?

[simPod]

Is there a way to type a value without extracting it into a variable and using @var?

Consider this https://phpstan.org/r/be7358b7-fd97-485f-8069-9452f2731b15

I'm passing a static value new Set([Foo::A]) to a Set<Foo>. Phpstan says

Parameter #1 $m of function sayHello expects Ds\Set, Ds\SetFoo::A given.

I'd like to somehow declare new Set([Foo::A]) as Set<Foo>.

In other languages I'd do new Set<Foo>([Foo::A])

I don't want to use variable for that because that adds some maintenance overhead and lowers readability in more complex cases like this https://phpstan.org/r/0ab343ea-fa02-4f58-9470-fc29d9440268 where there are either many different static values or the static expression is complex.

Something similar to this would be great

sayHello(
	/** @phpstan-var Set<Foo> */
	new Set([Foo::A])
);

[ondrejmirtes]

There isn't a better way, but:

1. Enums should probably be generalized even with bleeding edge in the same cases scalar values are generalized. I'm gonna test that hypothesis.
2. Once this is implemented Bidirectional type narrowing for generic types (would close an obscure hole in type checking!) #6732 (comment) then this is never going to be a problem again.

[simPod]

Aight, 2. seems like a solution since the enum is only an example and I have several similar problems with other non-enum generic classes.