Trait Safety 

pub trait Safety<I: Interner<Safety = Self>>:
    Copy
    + Debug
    + Hash
    + Eq {
    // Required methods
    fn safe() -> Self;
    fn unsafe_mode() -> Self;
    fn is_safe(self) -> bool;
    fn prefix_str(self) -> &'static str;
}

Required Methods

fn safe() -> Self

The safe safety mode.

fn unsafe_mode() -> Self

The unsafe safety mode.

fn is_safe(self) -> bool

Is the safety mode Safe?

fn prefix_str(self) -> &'static str

The string prefix for this safety mode.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors