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