These rules should read `#[CoversClass]` and `#[CoversMethod]`. Maybe there are opportunities for more rules as well: https://docs.phpunit.de/en/13.0/attributes.html#code-coverage Once implemented, we can merge this docs update: https://github.com/phpstan/phpstan/pull/14346