Enum rusttyc::types::ReificationErr

pub enum ReificationErr {
    TooGeneral(String),
    Conflicting(String),
}

Indicates that an abstract type could not be reified because it is too general or too restrictive.

Example

1. A numeric type cannot be reified into any concrete value because the concrete counterpart could be a natural number, integer, floating point number, .... -> ReificationErr::TooGeneral
2. An integer type cannot be reified into a concrete type with fixed memory layout except a default size is defined, e.g. an Int will be reified into an Int32. -> ReificationErr::TooGeneral
3. An unbounded integer might not have a concrete counterpart because the system requires a concrete bit size. -> ReificationErr::Conflicting

Note the subtle difference between ReificationErr::TooGeneral and ReificationErr::Conflicting: + In the Conflicting case there is no concrete counterpart + In the TooGeneral case the concrete counterpart is not defined or not unique but could exist.

Variants

TooGeneral(String)

Attempting to reify an abstract type with either no unique concrete counterpart or with no defined default reification value results in this error.

Conflicting(String)

Attempting to reify an abstract type for which no concrete counterpart does exist results in this error.

Trait Implementations

impl Clone for ReificationErr

fn clone(&self) -> ReificationErr

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ReificationErr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.