tests/ui/lint/empty-lint-attributes.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//@ 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() {}