Trait rustc_infer::infer::canonical::ir::inherent::Safety

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

Required Methods

fn is_safe(self) -> bool

fn prefix_str(self) -> &'static str

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'tcx> Safety<TyCtxt<'tcx>> for Safety

fn is_safe(self) -> bool

fn prefix_str(self) -> &'static str

Implementors