Struct UnificationError 

pub struct UnificationError<'src> {
    pub field: &'src str,
    pub definition: &'src str,
    pub types_found: Vec<TypeDescription>,
    pub spans: Vec<TextRange>,
}

Error when types cannot be unified in alternation branches.

Fields

field: &'src str

definition: &'src str

types_found: Vec<TypeDescription>

spans: Vec<TextRange>

Trait Implementations

impl<'src> Clone for UnificationError<'src>

fn clone(&self) -> UnificationError<'src>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'src> Debug for UnificationError<'src>

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

Formats the value using the given formatter.