When defining the type for a property or a return type holding an ObjectProphecy, the right way to document that is ObjectProphecy<Foo>, not ObjectProphecy|Foo (which would make SA tools complain that the variable might not always be an ObjectProphecy) or ObjectProphecy&Foo (which is an impossible type).
It would be great if this plugin could extract information from a ObjectProphecy<Foo> phpdoc type to know the inner type.
When defining the type for a property or a return type holding an ObjectProphecy, the right way to document that is
ObjectProphecy<Foo>, notObjectProphecy|Foo(which would make SA tools complain that the variable might not always be an ObjectProphecy) orObjectProphecy&Foo(which is an impossible type).It would be great if this plugin could extract information from a
ObjectProphecy<Foo>phpdoc type to know the inner type.