/tests/ui/coverage-attr/