Skip to main content

## SpecificDefId

# 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".

## 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,