Struct core::any::TaggedOption

#[repr(transparent)]
struct TaggedOption<'a, I: Type<'a>>(Option<I::Reified>);

An Option with a type tag I.

Since this struct implements Erased, the type can be erased to make a dynamically typed option. The type can be checked dynamically using Erased::tag_id and since this is statically checked for the concrete type, there is some degree of type safety.

Tuple Fields

0: Option<I::Reified>

Implementations

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

fn as_demand(&mut self) -> &mut Demand<'a>

Trait Implementations

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

fn tag_id(&self) -> TypeId

The TypeId of the erased type.