Imagine the following:

interface IFoo
{
    /**
     * @return string[]
     */
    public function foo(): array;
}

class Foo implements IFoo
{
    /**
     * @return string[]
     */
    public function foo(): array
    {
        throw new \Exception('This should never happen');
    }
}

This gives me the following error message:

Function has no return statement, but annotation @return is present (Squiz.Commenting.FunctionComment.InvalidNoReturn)

There's two possible solutions:

• Drop the @return tag
  • This makes the code invalid because Foo isn't compatible with IFoo
  • This will be checked in PHPStan in the future
• Add a dummy-return after the throw \Exception
  • This is obviously also not great as you'll get a "unreachable statement" warning

This is probably very very hard to track without an AST...