Trait rustc_data_structures::owning_ref::IntoErased

pub unsafe trait IntoErased<'a> {
    type Erased;
    fn into_erased(self) -> Self::Erased;
}

Helper trait for erasing the concrete type of what an owner derferences to, for example Box<T> -> Box<Erased>. This would be unneeded with higher kinded types support in the language.

Associated Types

type Erased

Owner with the dereference type substituted to Erased.

Required Methods

fn into_erased(self) -> Self::Erased

Perform the type erasure.

Implementations on Foreign Types

impl<'a, T: 'a> IntoErased<'a> for Box<T>

type Erased = Box<Erased + 'a>

fn into_erased(self) -> Self::Erased

impl<'a, T: 'a> IntoErased<'a> for Arc<T>

type Erased = Arc<Erased + 'a>

fn into_erased(self) -> Self::Erased

Implementors

• impl<'a, T: 'a> IntoErased<'a> for Rc<T> type Erased = Rc<Erased + 'a>;