extern "C" { | |
//@ is "$.index[*][?(@.name=='f1')].inner.function.header.is_unsafe" true | |
pub fn f1(); | |
// items in unadorned `extern` blocks cannot have safety qualifiers | |
} | |
unsafe extern "C" { | |
//@ is "$.index[*][?(@.name=='f4')].inner.function.header.is_unsafe" true | |
pub fn f4(); | |
//@ is "$.index[*][?(@.name=='f5')].inner.function.header.is_unsafe" true | |
pub unsafe fn f5(); | |
//@ is "$.index[*][?(@.name=='f6')].inner.function.header.is_unsafe" false | |
pub safe fn f6(); | |
} |