Trait rustc_middle::ty::inherent::Safety

source ·
pub trait Safety<I>: Copy + Debug + Hash + Eq + TypeVisitable<I>
where I: Interner<Safety = Self>,
{ // 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.

Implementations on Foreign Types§

source§

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

source§

fn is_safe(self) -> bool

source§

fn prefix_str(self) -> &'static str

Implementors§