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