Trait Erased

unsafe trait Erased<'a>: 'a { }

Represents a type-erased but identifiable object.

This trait is exclusively implemented by the TaggedOption type.

Implementors

impl<'a, I: Type<'a>> Erased<'a> for TaggedOption<'a, I>