src/test/ui/tool_lints-fail.rs

// Don't allow tool_lints, which aren't scoped


#![deny(unknown_lints)]

#![deny(clippy)] //~ ERROR: unknown lint: `clippy`

fn main() {}