rustc_middle::ty::inherent

Trait Safety

Source
pub trait Safety<I>:
    Copy
    + Debug
    + Hash
    + Eq
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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

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

Source§

fn safe() -> Self

Source§

fn is_safe(self) -> bool

Source§

fn prefix_str(self) -> &'static str

Implementors§