34 lines
843 B
Rust
34 lines
843 B
Rust
// 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() {}
|