blob: d0ba1a1c37d0e021fa7ce3a6e6f47b6171eefa0d (
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:18:9
|
LL | unsafe { /* unnecessary */ } //~ ERROR unnecessary `unsafe`
| ^^^^^^ unnecessary `unsafe` block
|
note: lint level defined here
--> $DIR/issue-48131.rs:13:9
|
LL | #![deny(unused_unsafe)] //~ NOTE
| ^^^^^^^^^^^^^
error: unnecessary `unsafe` block
--> $DIR/issue-48131.rs:29:13
|
LL | unsafe { /* unnecessary */ } //~ ERROR unnecessary `unsafe`
| ^^^^^^ unnecessary `unsafe` block
error: aborting due to 2 previous errors
|
