Narrowing types for static analysis

I have spent the last year moving a few big old codebases, including Composer, to PHPStan's level 8. Here are a few lessons I think I have learned in the process. I was for a while skeptical about using the baseline feature as it seemed to me like.........

Submit