Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'

[rust.git] / 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() {}