syntax_data: {"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"nested.push(predicate_to_obligation(tr.upcast(tcx)));"}]}
source_snippet:                 nested.push(predicate_to_obligation(tr.upcast(tcx)));
context_before:                 );