/// 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.
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.
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 .
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>,
) {
    let (param_env, ProvePredicate { predicate }) = key.into_parts();
    fulfill_cx.register_predicate_obligation(infcx, Obligation::new(cause, param_env, predicate));
}
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 > , ) { let ( param_env , ProvePredicate { predicate } ) = key . into_parts ( ) ; fulfill_cx . register_predicate_obligation ( infcx , Obligation :: new ( cause , param_env , predicate ) ) ; }
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.
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 .
infcx
&'a InferCtxt<'a, 'tcx>
fulfill_cx
&'a mut dyn TraitEngine<'tcx>
key
ParamEnvAnd<'tcx, ProvePredicate<'tcx>>
cause
ObligationCause<'tcx>