[][src]Trait rusttyc::Reifiable

pub trait Reifiable {
    type Reified;
    fn reify(&self) -> Self::Reified;
}

A type implementing this trait can be reified into a concrete representation. This transformation cannot fail. If it is fallible, refer to TryReifiable.

Associated Types

type Reified

Loading content...

Required methods

fn reify(&self) -> Self::Reified

Transforms an instance of Reifiable into an more concrete Reifiable::Reified type.

Loading content...

Implementors

Loading content...