syntax_data: {"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"self.check_recursion_limit(stack.obligation,"}]}
source_snippet:         self.check_recursion_limit(stack.obligation, stack.obligation)?;
context_before:         // not update) the cache.