2023-05-22 12:17:52 -05:00
|
|
|
// ignore-tidy-linelength
|
|
|
|
|
2024-08-04 18:44:35 -05:00
|
|
|
//@ is "$.index[*][?(@.name=='FnPointer')].inner.type_alias.type.function_pointer.header.is_unsafe" false
|
|
|
|
//@ is "$.index[*][?(@.name=='FnPointer')].inner.type_alias.type.function_pointer.header.is_const" false
|
|
|
|
//@ is "$.index[*][?(@.name=='FnPointer')].inner.type_alias.type.function_pointer.header.is_async" false
|
2022-02-18 17:32:37 -06:00
|
|
|
pub type FnPointer = fn();
|
|
|
|
|
2024-08-04 18:44:35 -05:00
|
|
|
//@ is "$.index[*][?(@.name=='UnsafePointer')].inner.type_alias.type.function_pointer.header.is_unsafe" true
|
|
|
|
//@ is "$.index[*][?(@.name=='UnsafePointer')].inner.type_alias.type.function_pointer.header.is_const" false
|
|
|
|
//@ is "$.index[*][?(@.name=='UnsafePointer')].inner.type_alias.type.function_pointer.header.is_async" false
|
2022-02-18 17:32:37 -06:00
|
|
|
pub type UnsafePointer = unsafe fn();
|