[Generics] Union bounds issue since migrating from 1.2.0 to 1.4.2

[gnutix]

Bug report

Basically, I have a service that can return data for different types of "persons' contracts" (and stores them in a cache). So I have a repository for each contracts' types (indexed by FQCN), and a method that takes T (being a type of contract) and properly returns a Doctrine collection of contracts objects of type T.

Code snippet that reproduces the problem

https://phpstan.org/r/3104f4e8-b813-443f-b0cc-1d73ecc552dd

Expected output

Since migrating to PHPStan 1.4.2 from 1.2.0, it reports errors while it did not before. I'm not sure yet if it should not, or if there's a better way for me to type this scenario...

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

It does every working day! <3

[phpstan-bot]

@gnutix After the latest push in 1.11.x, PHPStan now reports different result with your code snippet:

@@ @@
+29: Non-abstract method Contracts\ContractBRepo::getContractsForPerson() must contain a body.
 75: Offset class-string<T of Contracts\ContractA|Contracts\ContractB> does not exist on array{Contracts\ContractARepo: Contracts\ContractARepo, Contracts\ContractBRepo: Contracts\ContractBRepo}.
 75: Offset class-string<T of Contracts\ContractA|Contracts\ContractB> on array{Contracts\ContractARepo?: Doctrine\Collection<int, Contracts\ContractA>, Contracts\ContractBRepo?: Doctrine\Collection<int, Contracts\ContractB>} on left side of ??= does not exist.

Full report

Line	Error
29	Non-abstract method Contracts\ContractBRepo::getContractsForPerson() must contain a body.
75	`Offset class-string<T of Contracts\ContractA
75	`Offset class-string<T of Contracts\ContractA