blob: 6e454173f8bc06fe260ec4f50ff96996f4509386 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
error: unnecessary `unsafe` block
--> $DIR/issue-48131.rs:8:9
|
LL | unsafe { /* unnecessary */ } //~ ERROR unnecessary `unsafe`
| ^^^^^^ unnecessary `unsafe` block
|
note: lint level defined here
--> $DIR/issue-48131.rs:3:9
|
LL | #![deny(unused_unsafe)] //~ NOTE
| ^^^^^^^^^^^^^
error: unnecessary `unsafe` block
--> $DIR/issue-48131.rs:19:13
|
LL | unsafe { /* unnecessary */ } //~ ERROR unnecessary `unsafe`
| ^^^^^^ unnecessary `unsafe` block
error: aborting due to 2 previous errors
|
