Trait rustc_type_ir::inherent::Safety

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

Required Methods§

source

fn is_safe(self) -> bool

source

fn prefix_str(self) -> &'static str

Object Safety§

This trait is not object safe.

Implementors§