Define same property inspection doesn't work as expected in classes PhpDoc

[algorhythm]

Here we can see the Inspection in a special context. A class uses a trait, inside the trait is a property that type is an Object of class A. Class B extends A and added a method. If I'm sure in my context that my Property from Trait only contains Objects of type B, how can I tell the IDE to know this?

Above are two tries, first we add the property again with another type. That results in this inspection. But when I define @property B property in classes PhpDoc, I don't expect the Inspection there, because the property is not physically in that class. It's just documented to habe another type, isn't it?

Without both solutions I cannot use code completion here:

Here is the rest of the used code:

Maybe the issue is similar to this one: #1232

[ea-inspections-team]

Thanks for reporting @algorhythm! Fixed!