Trait rustc_trait_selection::infer::at::ToTrace

pub trait ToTrace<'tcx>: Relate<'tcx> + Copy {
    fn to_trace(
        tcx: TyCtxt, 
        cause: &ObligationCause, 
        a_is_expected: bool, 
        a: Self, 
        b: Self
    ) -> TypeTrace;
}

Required methods

fn to_trace(
    tcx: TyCtxt,
    cause: &ObligationCause,
    a_is_expected: bool,
    a: Self,
    b: Self
) -> TypeTrace

Implementors