Support for new invokable console commands

[benr77]

Symfony 7.3 introduces a new way to write console commands which is significantly simpler than the previous approach (which is also still valid).

However, when analysing the codebase containing one of the new invokable console commands, we see the following error:

Internal error: The service "App\Console\ActivityTestCommand" tagged
"console.command" must be a subclass of "Symfony\Component\Console\Command\Command". 
while analysing file  /app/tests/Unit/App/Model/Journal/JournalTest.php   

Is there any way to bypass this error?

Is this the right place for PHPStan to support this new approach?

Thanks

[ondrejmirtes]

Please show an example of how you've written such a command that makes PHPStsn fail with this error.

[benr77]

It's just exactly like the Symfony docs:

use Symfony\Component\Console\Attribute\Argument;
use Symfony\Component\Console\Attribute\Option;
// ...

#[AsCommand(name: 'app:create-user')]
class CreateUserCommand
{
    public function __invoke(
        SymfonyStyle $io, #[Argument] string $name, #[Option] bool $activate = false,
    ): int
    {
        // ...

        return Command::SUCCESS;
    }
}

Does PHPStan expect the Command class to be extended if it finds the #[AsCommand] attribute?