The code quality is now phpstan-level-8. We should go for level 9.