[−][src]Trait rusttyc::types::TryReifiable

pub trait TryReifiable {
    type Reified;
    fn try_reify(&self) -> Result<Self::Reified, ReificationErr>;
}

A type implementing this trait can potentially be reified into a concrete representation. This transformation can fail. If it is infallible, refer to Reifiable.

Associated Types

`type Reified`

The result type of the attempted reification.

Loading content...

Required methods

`fn try_reify(&self) -> Result<Self::Reified, ReificationErr>`

Attempts to transform self into an more concrete Self::Reified type.
Returns a ReificationErr if the transformation fails.

Loading content...

Implementors

Loading content...