fn derive_host_cause<'tcx>(
tcx: TyCtxt<'tcx>,
candidate_kind: ProbeKind<TyCtxt<'tcx>>,
cause: ObligationCause<'tcx>,
idx: usize,
parent_host_pred: Binder<'tcx, HostEffectPredicate<'tcx>>,
) -> ObligationCause<'tcx>
fn derive_host_cause<'tcx>(
tcx: TyCtxt<'tcx>,
candidate_kind: ProbeKind<TyCtxt<'tcx>>,
cause: ObligationCause<'tcx>,
idx: usize,
parent_host_pred: Binder<'tcx, HostEffectPredicate<'tcx>>,
) -> ObligationCause<'tcx>