summaryrefslogtreecommitdiffstats
path: root/src/test/ui/lint/empty-lint-attributes.rs
blob: 9a0ec253322e41e6ff42bd5dda7cc2d12ce9f95f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#![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() {}