//@ compile-flags:-D bogus
//@ check-pass
//@ error-pattern:E0602
//@ error-pattern:requested on the command line with `-D bogus`
//@ error-pattern:`#[warn(unknown_lints)]` on by default
fn main() {}