Function rustc_traits::type_op::type_op_prove_predicate_with_cause

pub fn type_op_prove_predicate_with_cause<'a, 'tcx: 'a>(
    infcx: &'a InferCtxt<'a, 'tcx>, 
    fulfill_cx: &'a mut dyn TraitEngine<'tcx>, 
    key: ParamEnvAnd<'tcx, ProvePredicate<'tcx>>, 
    cause: ObligationCause<'tcx>
)

The core of the type_op_prove_predicate query: for diagnostics purposes in NLL HRTB errors, this query can be re-run to better track the span of the obligation cause, and improve the error message. Do not call directly unless you’re in that very specific context.