Struct rustc_typeck::middle::infer::TypeTraceExperimental

pub struct TypeTrace<'tcx> {
    // some fields omitted
}

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

See error_reporting.rs for more details.

Methods

impl<'tcx> TypeTrace<'tcx>

fn span(&self) -> Span

fn dummy(tcx: &ctxt<'tcx>) -> TypeTrace<'tcx>

Trait Implementations

impl<'tcx> Repr<'tcx> for TypeTrace<'tcx>

fn repr(&self, tcx: &ctxt) -> String

Derived Implementations

impl<'tcx> Show for TypeTrace<'tcx>

fn fmt(&self, __arg_0: &mut Formatter) -> Result<(), Error>

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

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

fn clone_from(&mut self, &TypeTrace<'tcx>)