1 // The raw_pointer_derived lint warns about its removal
4 // compile-flags:-D raw_pointer_derive
6 // error-pattern:lint `raw_pointer_derive` has been removed
7 // error-pattern:requested on the command line with `-D raw_pointer_derive`
12 fn main() { let unused = (); }