Skip to main content

Safety

Trait Safety 

Source
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§

Source

fn safe() -> Self

The safe safety mode.

Source

fn unsafe_mode() -> Self

The unsafe safety mode.

Source

fn is_safe(self) -> bool

Is the safety mode Safe?

Source

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", so this trait is not object safe.

Implementors§