blob: bc217ae914c4564810bc5a6696657e61c19b04ec (
plain)
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();
}
|