| error: unnecessary `unsafe` block | |
| --> $DIR/issue-48131.rs:9:9 | |
| | | |
| LL | unsafe { /* unnecessary */ } | |
| | ^^^^^^ unnecessary `unsafe` block | |
| | | |
| note: lint level defined here | |
| --> $DIR/issue-48131.rs:3:9 | |
| | | |
| LL | #![deny(unused_unsafe)] | |
| | ^^^^^^^^^^^^^ | |
| error: unnecessary `unsafe` block | |
| --> $DIR/issue-48131.rs:20:13 | |
| | | |
| LL | unsafe { /* unnecessary */ } | |
| | ^^^^^^ unnecessary `unsafe` block | |
| error: aborting due to 2 previous errors | |