That's true regarding phpstan+psalm, it takes additional effort and there are a lot of cases where we have to compromise and give a higher prio to one over the other but overall I think that the benefits outweight the costs, the additional effort in this case.

Thanks for pointing this out :)