syntax_data: {"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"Ok(Ok(InferOk"}]}
source_snippet:                         Ok(Ok(InferOk { obligations, .. })) => {
context_before:                     match self.infcx.coerce_predicate(&obligation.cause, obligation.param_env, p) {
context_after:                             self.evaluate_predicates_recursively(previous_stack, obligations)