syntax_data: {"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"None"}]}
source_snippet:             None => self.check_recursion_limit(&obligation, &obligation)?,
context_before:             Some(h) => self.check_recursion_limit(&obligation, h.obligation)?,
context_after:         }