Trait SpecificDefId 

pub trait SpecificDefId<I: Interner, Local = <I as Interner>::LocalDefId>:
    DefId<I, Local>
    + Into<I::DefId>
    + TryFrom<I::DefId, Error: Debug> { }

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

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