Skip to main content

derive_cause

hir_ty::next_solver::infer::errors

Function derive_cause 

Source 
fn derive_cause<'db>(
    _interner: DbInterner<'db>,
    _candidate_kind: ProbeKind<DbInterner<'db>>,
    cause: ObligationCause,
    _idx: usize,
    _parent_trait_pred: PolyTraitPredicate<'db>,
) -> ObligationCause