False positive for inherited descriptive annotations

[marcospassos]

Inherited description annotations are incorrectly reported as unused:

interface ClassInterface {
   /*
    * @throws \LogicException Description.
    */
    public function foo()
}

class ChildClass implements ClassInterface {
    public function foo(){
        throw new \LogicException(); // Unused @throws LogicException
    } 
}

[pepakriz]

This is expected behavior since phpstan v0.11.0 (PR phpstan/phpstan#1533). If you omit phpdoc, it is inherited from the parent method. So your code is interpreted in the same way like:

interface ClassInterface {
   /*
    * @throws \RuntimeException Description.
    */
    public function foo();
}

class ChildClass implements ClassInterface {
   /*
    * @throws \RuntimeException Description.
    */
    public function foo(){} // Unused @throws RuntimeException
}

[marcospassos]

My example was flawed, I've updated it. If you throw an exception declared in the parent method, it should not warn about that exception in the concrete method if it is descriptive.

[marcospassos]

Pending phpstan/phpstan#1980

[marcospassos]

Fixed by #94.