diff options
Diffstat (limited to 'tests/ui/pattern/usefulness/empty-match-check-notes.rs')
| -rw-r--r-- | tests/ui/pattern/usefulness/empty-match-check-notes.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/ui/pattern/usefulness/empty-match-check-notes.rs b/tests/ui/pattern/usefulness/empty-match-check-notes.rs index c30cdfc2e4f..ea797bc7dd5 100644 --- a/tests/ui/pattern/usefulness/empty-match-check-notes.rs +++ b/tests/ui/pattern/usefulness/empty-match-check-notes.rs @@ -1,5 +1,5 @@ -// aux-build:empty.rs -// revisions: normal exhaustive_patterns +//@ aux-build:empty.rs +//@ revisions: normal exhaustive_patterns // // This tests a match with no arms on various types, and checks NOTEs. #![feature(never_type)] |