syntax_data: {"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"ocx.register_obligation(Obligation::new(ocx.infcx.tcx,"}]}
source_snippet:     ocx.register_obligation(Obligation::new(ocx.infcx.tcx, cause, param_env, predicate));
context_before:     let ParamEnvAnd { param_env, value: ProvePredicate { predicate } } = key;
context_after: }