idea-php-phpunit-plugin
                                
                                 idea-php-phpunit-plugin copied to clipboard
                                
                                    idea-php-phpunit-plugin copied to clipboard
                            
                            
                            
                        Support for ObjectProphecy documented with its generic type
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.