diff options
Diffstat (limited to 'src/test/ui/tool_lints-fail.stderr')
-rw-r--r-- | src/test/ui/tool_lints-fail.stderr | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/test/ui/tool_lints-fail.stderr b/src/test/ui/tool_lints-fail.stderr deleted file mode 100644 index 16f678144..000000000 --- a/src/test/ui/tool_lints-fail.stderr +++ /dev/null @@ -1,14 +0,0 @@ -error: unknown lint: `clippy` - --> $DIR/tool_lints-fail.rs:6:9 - | -LL | #![deny(clippy)] - | ^^^^^^ - | -note: the lint level is defined here - --> $DIR/tool_lints-fail.rs:4:9 - | -LL | #![deny(unknown_lints)] - | ^^^^^^^^^^^^^ - -error: aborting due to previous error - |