syntax_data: {"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"nested_result"}]}
source_snippet:                         nested_result = cmp::max(
context_before:                     for obligation in nested_obligations {
context_after:                             this.evaluate_predicate_recursively(previous_stack, obligation)?,