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

Required Methods

Implementations on Foreign Types

Implementors