Trait core::any::tags::Type

source ·
pub trait Type<'a>: Sized + 'static {
    type Reified: 'a;
}
Expand description

This trait is implemented by specific tag types in order to allow describing a type which can be requested for a given lifetime 'a.

A few example implementations for type-driven tags can be found in this module, although crates may also implement their own tags for more complex types with internal lifetimes.

Required Associated Types§

source

type Reified: 'a

The type of values which may be tagged by this tag for the given lifetime.

Implementors§

source§

impl<'a, I: MaybeSizedType<'a>> Type<'a> for Ref<I>

§

type Reified = &'a <I as MaybeSizedType<'a>>::Reified

source§

impl<'a, T: 'static> Type<'a> for Value<T>

§

type Reified = T