Enum rusttyc::TcErr

pub enum TcErr<AbsTy: Abstract> {
    KeyEquation(TcKey, TcKey, AbsTy::Err),
    TypeBound(TcKey, AbsTy::Err),
    ChildAccessOutOfBound(TcKey, AbsTy, usize),
}

Represents an error during the type check procedure.

Variants

KeyEquation(TcKey, TcKey, AbsTy::Err)

Two keys were attempted to be equated and their underlying types turned out to be incompatible. Contains the two keys and the error that occurred when attempting to meet their abstract types.

TypeBound(TcKey, AbsTy::Err)

An explicit type bound imposed on a key turned out to be incompatible with the type inferred based on remaining information on the key. Contains the key and the error that occurred when meeting the explicit bound with the inferred type.

ChildAccessOutOfBound(TcKey, AbsTy, usize)

This error occurs when a constraint accesses the nth child of a type and its variant turns out to only have k < n sub-types. Contains the affected key, its inferred or explicitly assigned variant, and the index of the child that was attempted to be accessed.

Trait Implementations

impl<AbsTy: Clone + Abstract> Clone for TcErr<AbsTy> where
    AbsTy::Err: Clone,
    AbsTy::Err: Clone, 

fn clone(&self) -> TcErr<AbsTy>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<AbsTy: Debug + Abstract> Debug for TcErr<AbsTy> where
    AbsTy::Err: Debug,
    AbsTy::Err: Debug, 

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

Formats the value using the given formatter.