pub trait WithSafetyImpl<Safety: Safety, F: FnPtr = Self> {
type F: FnPtr<Args = F::Args, Output = F::Output, Safety = Safety, Abi = F::Abi>;
}Expand description
Helper trait used by WithSafety (use it instead).
This trait is required to allow FnPtr to be a subtrait of WithSafety, which eliminates
the need for a type bound when using a fixed safety marker.
Using WithSafety directly would result in a cyclic supertrait error.