1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
extern "C" {
//@ is "$.index[*][?(@.name=='f1')].inner.function.header.is_unsafe" true
pub fn f1();
// items in `extern` blocks without an `unsafe` qualifier 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();
}
|
