## type_op_prove_predicate_with_cause

# Function type_op_prove_predicate_with_cause

Source

    pub fn type_op_prove_predicate_with_cause<'tcx>(
        ocx: &ObligationCtxt<'_, 'tcx>,
        key: ParamEnvAnd<'tcx, ProvePredicate<'tcx>>,
        cause: ObligationCause<'tcx>,
    )

Expand description

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.