src/test/ui/lint/reasons-forbidden.rs

   1 #![feature(lint_reasons)]
   2
   3 #![forbid(
   4     unsafe_code,
   5     //~^ NOTE `forbid` level set here
   6     //~| NOTE `forbid` level set here
   7     //~| NOTE `forbid` level set here
   8     reason = "our errors & omissions insurance policy doesn't cover unsafe Rust"
   9 )]
  10
  11 use std::ptr;
  12
  13 fn main() {
  14     let a_billion_dollar_mistake = ptr::null();
  15
  16     #[allow(unsafe_code)]
  17     //~^ ERROR allow(unsafe_code) overruled by outer forbid(unsafe_code)
  18     //~| ERROR allow(unsafe_code) overruled by outer forbid(unsafe_code)
  19     //~| ERROR allow(unsafe_code) overruled by outer forbid(unsafe_code)
  20     //~| NOTE overruled by previous forbid
  21     //~| NOTE overruled by previous forbid
  22     //~| NOTE overruled by previous forbid
  23     //~| NOTE our errors & omissions insurance policy doesn't cover unsafe Rust
  24     //~| NOTE our errors & omissions insurance policy doesn't cover unsafe Rust
  25     //~| NOTE our errors & omissions insurance policy doesn't cover unsafe Rust
  26     unsafe {
  27         *a_billion_dollar_mistake
  28     }
  29 }