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

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