Struct rustc_infer::infer::TypeTrace

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

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<'tcx>

values: ValuePairs<'tcx>

Implementations

impl<'tcx> TypeTrace<'tcx>

pub fn span(&self) -> Span

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

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

pub fn dummy(tcx: TyCtxt<'tcx>) -> TypeTrace<'tcx>

Trait Implementations

impl<'tcx> Clone for TypeTrace<'tcx>

pub fn clone(&self) -> TypeTrace<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for TypeTrace<'tcx>

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

Formats the value using the given formatter.