syntax_data: {"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"obligations.push(obligation);"}]}
source_snippet:                 obligations.push(obligation);
context_before:                 let obligation = Obligation::new(self.tcx(), cause.clone(), param_env, trait_ref);
context_after:                 obligations