pub trait HasSafety<Safety: Safety> { }
Marker trait denoting the safety of a function pointer type.
For example:
HasSafety<Safe>
extern "C" fn(...)
HasSafety<Unsafe>
unsafe fn(...)