src/test/ui/lint/lint-forbid-attr.rs

#![forbid(deprecated)]

#[allow(deprecated)]
//~^ ERROR allow(deprecated) overruled by outer forbid(deprecated)
fn main() {
}