2024-10-10 15:53:57 -05:00
|
|
|
extern "C" {
|
|
|
|
//@ is "$.index[*][?(@.name=='f1')].inner.function.header.is_unsafe" true
|
|
|
|
pub fn f1();
|
|
|
|
|
2024-10-11 10:24:14 -05:00
|
|
|
// items in `extern` blocks without an `unsafe` qualifier cannot have safety qualifiers
|
2024-10-10 15:53:57 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
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();
|
|
|
|
}
|