Should be `@coverage_paths`