diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2024-05-04 18:06:16 +1000 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2024-05-09 14:47:09 +1000 |
| commit | be590d388714db600f20224464f53a5eb08fe3b9 (patch) | |
| tree | 462a5c5635a9a4bbf3668be65d076b2d6560d0f1 /tests/ui/instrument-coverage/coverage-options.rs | |
| parent | 1fbabc622f1791dbbddf2ab5cda7c392a21d94ba (diff) | |
| download | rust-be590d388714db600f20224464f53a5eb08fe3b9.tar.gz rust-be590d388714db600f20224464f53a5eb08fe3b9.zip | |
Tidy check for test revisions that are mentioned but not declared
If a `[revision]` name appears in a test header directive or error annotation, but isn't declared in the `//@ revisions:` header, that is almost always a mistake. In cases where a revision needs to be temporarily disabled, adding it to an `//@ unused-revision-names:` header will suppress these checks for that name. Adding the wildcard name `*` to the unused list will suppress these checks for the entire file.
Diffstat (limited to 'tests/ui/instrument-coverage/coverage-options.rs')
0 files changed, 0 insertions, 0 deletions