Skip to content

Commit 46377c4

Browse files
committed
Add unnecessary unsafe test
1 parent f4ef07c commit 46377c4

3 files changed

+17
-2
lines changed

src/test/ui/unsafe/unsafe-around-compiler-generated-unsafe.mir.stderr

+7-1
Original file line numberDiff line numberDiff line change
@@ -10,5 +10,11 @@ note: the lint level is defined here
1010
LL | #![deny(unused_unsafe)]
1111
| ^^^^^^^^^^^^^
1212

13-
error: aborting due to previous error
13+
error: unnecessary `unsafe` block
14+
--> $DIR/unsafe-around-compiler-generated-unsafe.rs:13:5
15+
|
16+
LL | unsafe { println!("foo"); }
17+
| ^^^^^^ unnecessary `unsafe` block
18+
19+
error: aborting due to 2 previous errors
1420

src/test/ui/unsafe/unsafe-around-compiler-generated-unsafe.rs

+3
Original file line numberDiff line numberDiff line change
@@ -8,4 +8,7 @@ fn main() {
88
let _ = async {
99
unsafe { async {}.await; } //~ ERROR unnecessary `unsafe`
1010
};
11+
12+
// `format_args!` expands with a compiler-generated unsafe block
13+
unsafe { println!("foo"); } //~ ERROR unnecessary `unsafe`
1114
}

src/test/ui/unsafe/unsafe-around-compiler-generated-unsafe.thir.stderr

+7-1
Original file line numberDiff line numberDiff line change
@@ -10,5 +10,11 @@ note: the lint level is defined here
1010
LL | #![deny(unused_unsafe)]
1111
| ^^^^^^^^^^^^^
1212

13-
error: aborting due to previous error
13+
error: unnecessary `unsafe` block
14+
--> $DIR/unsafe-around-compiler-generated-unsafe.rs:13:5
15+
|
16+
LL | unsafe { println!("foo"); }
17+
| ^^^^^^ unnecessary `unsafe` block
18+
19+
error: aborting due to 2 previous errors
1420

0 commit comments

Comments
 (0)