Trait rustc_type_ir::inherent::Safety

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

Required Methods

fn safe() -> Self

fn is_safe(self) -> bool

fn prefix_str(self) -> &'static str

Object Safety

This trait is not object safe.

Implementors