summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-48131.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/issues/issue-48131.rs')
-rw-r--r--src/test/ui/issues/issue-48131.rs33
1 files changed, 0 insertions, 33 deletions
diff --git a/src/test/ui/issues/issue-48131.rs b/src/test/ui/issues/issue-48131.rs
deleted file mode 100644
index df9854708..000000000
--- a/src/test/ui/issues/issue-48131.rs
+++ /dev/null
@@ -1,33 +0,0 @@
-// revisions: mir thir
-// [thir]compile-flags: -Z thir-unsafeck
-
-// This note is annotated because the purpose of the test
-// is to ensure that certain other notes are not generated.
-#![deny(unused_unsafe)] //~ NOTE
-
-
-// (test that no note is generated on this unsafe fn)
-pub unsafe fn a() {
- fn inner() {
- unsafe { /* unnecessary */ } //~ ERROR unnecessary `unsafe`
- //~^ NOTE
- }
-
- inner()
-}
-
-pub fn b() {
- // (test that no note is generated on this unsafe block)
- unsafe {
- fn inner() {
- unsafe { /* unnecessary */ } //~ ERROR unnecessary `unsafe`
- //~^ NOTE
- }
- // `()` is fine to zero-initialize as it is zero sized and inhabited.
- let () = ::std::mem::zeroed();
-
- inner()
- }
-}
-
-fn main() {}