Struct TypeTrace

pub struct TypeTrace<'db> {
    pub cause: ObligationCause,
    pub values: ValuePairs<'db>,
}

The trace designates the path through inference that we took to encounter an error or subtyping constraint.

See the error_reporting module for more details.

Fields

cause: ObligationCause

values: ValuePairs<'db>

Implementations

impl<'db> TypeTrace<'db>

pub fn types(cause: &ObligationCause, a: Ty<'db>, b: Ty<'db>) -> TypeTrace<'db>

pub fn trait_refs( cause: &ObligationCause, a: TraitRef<'db>, b: TraitRef<'db>, ) -> TypeTrace<'db>

pub fn consts( cause: &ObligationCause, a: Const<'db>, b: Const<'db>, ) -> TypeTrace<'db>

Trait Implementations

impl<'db> Clone for TypeTrace<'db>

fn clone(&self) -> TypeTrace<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for TypeTrace<'db>

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

Formats the value using the given formatter.