Skip to main content

## SpecificDefId

# Trait SpecificDefId

Source

    pub trait SpecificDefId<I: Interner>:
        DefId<I>
        + 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§

Source§

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