Trait rusttyc::TryReifiable

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

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

Loading content...

Required methods

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

Attempts to transform an instance of TryReifiable into an more concrete TryReifiable::Reified type. Returns a ReificationError if the transformation fails.

Loading content...

Implementors

Loading content...