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