Trait rustc_infer::infer::at::ToTrace
source · 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>;
}