syntax_data: {"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"type_op_prove_predicate_with_cause(ocx,"}]}
source_snippet:         type_op_prove_predicate_with_cause(ocx, key, ObligationCause::dummy());
context_before:     tcx.infer_ctxt().enter_canonical_trait_query(&canonicalized, |ocx, key| {
context_after:         Ok(())