2016-01-13 18:54:06 +00:00
|
|
|
// The raw_pointer_derived lint warns about its removal
|
|
|
|
// cc #30346
|
|
|
|
|
|
|
|
//@ compile-flags:-D raw_pointer_derive
|
2025-04-12 22:40:34 +03:00
|
|
|
//@ dont-require-annotations: NOTE
|
2016-01-13 18:54:06 +00:00
|
|
|
|
2017-07-26 21:51:09 -07:00
|
|
|
#![warn(unused)]
|
|
|
|
|
2016-01-13 18:54:06 +00:00
|
|
|
#[deny(warnings)]
|
2025-03-29 02:41:32 +03:00
|
|
|
fn main() { let unused = (); } //~ ERROR unused variable: `unused`
|
|
|
|
|
|
|
|
//~? WARN lint `raw_pointer_derive` has been removed: using derive with raw pointers is ok
|
|
|
|
//~? WARN lint `raw_pointer_derive` has been removed: using derive with raw pointers is ok
|
|
|
|
//~? WARN lint `raw_pointer_derive` has been removed: using derive with raw pointers is ok
|
2025-04-12 22:40:34 +03:00
|
|
|
//~? NOTE `#[warn(renamed_and_removed_lints)]` on by default
|
|
|
|
//~? NOTE requested on the command line with `-D raw_pointer_derive`
|