Type Definition core_extensions::maybe_unsafe::IsSafe

type IsSafe = ();

Represents the safe effect.

Functions taking this as a parameter should not to be unsafe.

For examples of how to use this look at the module-level documentation.

Trait Implementations

impl MaybeUnsafe for IsSafe

unsafe fn with<F, U>(f: F) -> U where
    F: FnOnce(&Self) -> U, 

Constructs a MaybeUnsafe,and passes it by reference to prevent it from escaping this function call.