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

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

Required Methods§

source

fn safe() -> Self

source

fn is_safe(self) -> bool

source

fn prefix_str(self) -> &'static str

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

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

source§

fn safe() -> Safety

source§

fn is_safe(self) -> bool

source§

fn prefix_str(self) -> &'static str

Implementors§