FP of generic inference when constructing an empty set datastructure and assigning with ??=

[dktapps]

Bug report

I feel like you've probably seen this issue before. I'm not sure if it's a dupe, since I don't really know exactly how to describe it.

Essentially, since the ObjectSet in the example is constructed with no objects, it should be accepted by the static properties.

Code snippet that reproduces the problem

https://phpstan.org/r/21435f46-c3f4-47ce-893b-5f00fdac6e50

Expected output

No errors

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

No response