| error: unknown lint: `clippy` | |
| --> $DIR/tool_lints-fail.rs:16:9 | |
| | | |
| LL | #![deny(clippy)] //~ ERROR: unknown lint: `clippy` | |
| | ^^^^^^ | |
| | | |
| note: lint level defined here | |
| --> $DIR/tool_lints-fail.rs:14:9 | |
| | | |
| LL | #![deny(unknown_lints)] | |
| | ^^^^^^^^^^^^^ | |
| error: aborting due to previous error | |