Trait rusttyc::types::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

The result type of the reification.

Loading content...

Required methods

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

Transforms self into the more concrete Self::Reified type.

Loading content...

Implementors

Loading content...