Skip to main content

SpecificDefId

rustc_trait_selection::infer::canonical::ir::inherent

Trait SpecificDefId 

Source 
pub trait SpecificDefId<I, Local = <I as Interner>::LocalDefId>:
    DefId<I, Local>
    + 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, Local> SpecificDefId<I, Local> for T
where I: Interner, T: DefId<I, Local> + Into<<I as Interner>::DefId> + TryFrom<<I as Interner>::DefId>, <T as TryFrom<<I as Interner>::DefId>>::Error: Debug,