We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 2c88ee8 commit b0b76a5Copy full SHA for b0b76a5
src/tools/miri/tests/fail/deny_lint.rs
@@ -1,6 +1,6 @@
1
//@error-in-other-file: miri cannot be run on programs that fail compilation
2
3
-#![deny(warnings)]
+#![deny(warnings, unused)]
4
5
struct Foo;
6
//~^ ERROR: struct `Foo` is never constructed
src/tools/miri/tests/fail/deny_lint.stderr
@@ -4,7 +4,12 @@ error: struct `Foo` is never constructed
LL | struct Foo;
| ^^^
|
7
- = note: `-D dead-code` implied by `-D unused`
+note: the lint level is defined here
8
+ --> $DIR/deny_lint.rs:LL:CC
9
+ |
10
+LL | #![deny(warnings, unused)]
11
+ | ^^^^^^
12
+ = note: `#[deny(dead_code)]` implied by `#[deny(unused)]`
13
14
error: miri cannot be run on programs that fail compilation
15
0 commit comments