| #![feature(coverage_attribute)] | |
| //@ edition: 2021 | |
| //@ reference: attributes.coverage.syntax | |
| // Check that yes/no in `#[coverage(yes)]` and `#[coverage(no)]` must be bare | |
| // words, not part of a more complicated substructure. | |
| #[coverage(yes(milord))] //~ ERROR malformed `coverage` attribute input | |
| fn yes_list() {} | |
| #[coverage(no(milord))] //~ ERROR malformed `coverage` attribute input | |
| fn no_list() {} | |
| #[coverage(yes = "milord")] //~ ERROR malformed `coverage` attribute input | |
| fn yes_key() {} | |
| #[coverage(no = "milord")] //~ ERROR malformed `coverage` attribute input | |
| fn no_key() {} | |
| fn main() {} |