src/test/ui/lint/empty-lint-attributes.rs

   1 #![feature(lint_reasons)]
   2
   3 // check-pass
   4
   5 // Empty (and reason-only) lint attributes are legal—although we may want to
   6 // lint them in the future (Issue #55112).
   7
   8 #![allow()]
   9 #![warn(reason = "observationalism")]
  10
  11 #[forbid()]
  12 fn devoir() {}
  13
  14 #[deny(reason = "ultion")]
  15 fn waldgrave() {}
  16
  17 fn main() {}