src/test/ui/lint/lint-removed-cmdline.rs

   1 // The raw_pointer_derived lint warns about its removal
   2 // cc #30346
   3
   4 // compile-flags:-D raw_pointer_derive
   5
   6 // error-pattern:lint `raw_pointer_derive` has been removed
   7 // error-pattern:requested on the command line with `-D raw_pointer_derive`
   8
   9 #![warn(unused)]
  10
  11 #[deny(warnings)]
  12 fn main() { let unused = (); }