rustc_trait_selection::solve::fulfill

Function derive_cause

source
fn derive_cause<'tcx>(
    tcx: TyCtxt<'tcx>,
    candidate_kind: ProbeKind<TyCtxt<'tcx>>,
    cause: ObligationCause<'tcx>,
    idx: usize,
    parent_trait_pred: PolyTraitPredicate<'tcx>,
) -> ObligationCause<'tcx>