diff options
Diffstat (limited to 'src/test/ui/lint/empty-lint-attributes.rs')
| -rw-r--r-- | src/test/ui/lint/empty-lint-attributes.rs | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/test/ui/lint/empty-lint-attributes.rs b/src/test/ui/lint/empty-lint-attributes.rs deleted file mode 100644 index 9a0ec2533..000000000 --- a/src/test/ui/lint/empty-lint-attributes.rs +++ /dev/null @@ -1,17 +0,0 @@ -#![feature(lint_reasons)] - -// check-pass - -// Empty (and reason-only) lint attributes are legal—although we may want to -// lint them in the future (Issue #55112). - -#![allow()] -#![warn(reason = "observationalism")] - -#[forbid()] -fn devoir() {} - -#[deny(reason = "ultion")] -fn waldgrave() {} - -fn main() {} |