What is wrong with phpstan?