diff options
Diffstat (limited to 'src/test/ui/issues/issue-48131.rs')
-rw-r--r-- | src/test/ui/issues/issue-48131.rs | 33 |
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() {} |