| // The raw_pointer_derived lint warns about its removal |
| // cc #30346 |
| |
| //@ compile-flags:-D renamed-and-removed-lints -D raw_pointer_derive |
| //@ dont-require-annotations: NOTE |
| |
| #![warn(unused)] |
| |
| #[deny(warnings)] |
| fn main() { let unused = (); } //~ ERROR unused variable: `unused` |
| |
| //~? ERROR lint `raw_pointer_derive` has been removed: using derive with raw pointers is ok |
| //~? ERROR lint `raw_pointer_derive` has been removed: using derive with raw pointers is ok |
| //~? ERROR lint `raw_pointer_derive` has been removed: using derive with raw pointers is ok |
| //~? NOTE requested on the command line with `-D raw_pointer_derive` |
| //~? NOTE requested on the command line with `-D renamed-and-removed-lints` |
