Can you add `@covers` annotations?