tests/ui/lint/issue-80988.rs

// Regression test for #80988
//
//@ check-pass

#![forbid(warnings)]

#[deny(warnings)]
//~^ WARNING incompatible with previous forbid
//~| WARNING being phased out
fn main() {}