1 files changed, 14 insertions, 0 deletions
diff --git a/tests/ui/unsafe/unsafe-around-compiler-generated-unsafe.rs b/tests/ui/unsafe/unsafe-around-compiler-generated-unsafe.rs
new file mode 100644
index 00000000000..c1a32764039
--- /dev/null
+++ b/tests/ui/unsafe/unsafe-around-compiler-generated-unsafe.rs
@@ -0,0 +1,14 @@
+// edition:2018
+// revisions: mir thir
+// [thir]compile-flags: -Z thir-unsafeck
+
+#![deny(unused_unsafe)]
+
+fn main() {
+    let _ = async {
+        unsafe { async {}.await; } //~ ERROR unnecessary `unsafe`
+    };
+
+    // `format_args!` expands with a compiler-generated unsafe block
+    unsafe { println!("foo"); } //~ ERROR unnecessary `unsafe`
+}