Trait rustc_trait_selection::infer::at::ToTrace

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

Required Methods

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

Implementors