syntax_data: {"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"for"}]}
source_snippet:                     for obligation in nested_obligations {
context_before:                     let mut nested_result = EvaluationResult::EvaluatedToOk;
context_after:                         nested_result = cmp::max(