//@ check-pass

#![deny(ptr_cast_add_auto_to_object)]
//~^ WARN  lint `ptr_cast_add_auto_to_object` has been removed
fn main() {}