SpecificDefId

rustc_infer::infer::canonical::ir::inherent

Trait SpecificDefId 

Source 
pub trait SpecificDefId<I>:
    DefId<I>
    + Into<<I as Interner>::DefId>
    + TryFrom<<I as Interner>::DefId>
where
    Self::Error: Debug,
    I: Interner,
{ }

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.

Implementors§

Source§

impl<I, T> SpecificDefId<I> for T
where I: Interner, T: DefId<I> + Into<<I as Interner>::DefId> + TryFrom<<I as Interner>::DefId>, <T as TryFrom<<I as Interner>::DefId>>::Error: Debug,