Struct UnificationTrace 

pub struct UnificationTrace {
    pub failing: TypeVarID,
    pub inside: Option<TypeVarID>,
}

A trace of a unification error. The failing field indicates which exact type failed to unify, while the inside is the “top level” type which failed to unify if it’s not the same as failing.

For example, if unifying int<7> with int<8>, this would be failing: 8, inside: int<8> while if unifying int<7> with bool, inside would be None

Fields

failing: TypeVarID

inside: Option<TypeVarID>

Implementations

impl UnificationTrace

pub fn new(failing: TypeVarID) -> Self

pub fn outer(&self) -> TypeVarID

pub fn display_with_meta(&self, meta: bool, type_state: &TypeState) -> String

pub fn display(&self, type_state: &TypeState) -> String

Trait Implementations

impl Clone for UnificationTrace

fn clone(&self) -> UnificationTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnificationTrace

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

Formats the value using the given formatter.

impl PartialEq for UnificationTrace

fn eq(&self, other: &UnificationTrace) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for UnificationTrace