syntax_data: {"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"result"}]}
source_snippet:             result = result.max(EvaluatedToOkModuloRegions);
context_before:         if stack.fresh_trait_pred.has_erased_regions() {
context_after:         }