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

   1 // The raw_pointer_derived lint was removed, but is now reported by
   2 // the renamed_and_removed_lints lint, which means it's a warning by
   3 // default, and allowed in cargo dependency builds.
   4 // cc #30346
   5
   6 #[deny(raw_pointer_derive)] //~ WARN `raw_pointer_derive` has been removed
   7 #[deny(unused_variables)]
   8 fn main() { let unused = (); } //~ ERROR unused