Skip to main content

derive_host_cause

hir_ty::next_solver::infer::errors

Function derive_host_cause 

Source 
fn derive_host_cause<'db>(
    _interner: DbInterner<'db>,
    _candidate_kind: ProbeKind<DbInterner<'db>>,
    cause: ObligationCause,
    _idx: usize,
    _parent_host_pred: Binder<'db, HostEffectPredicate<'db>>,
) -> ObligationCause