#![allow(deprecated)]

#[no_debug] //~ ERROR the `#[no_debug]` attribute was
fn main() {}