It does not look that this projects actually uses phan as a dependency
but rather as a static analyzer for development...
Upgrading projects using php-spider to Symfony 8 is blocked because
phan/phan wants symfony/console < 8.
But this constraint is irrelevant on runtime...