{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
                // `node.obligation`, and that predicate is the key used for
                // `processor.process_obligation` can modify the predicate within
                // `self.active_cache`. This means that `self.active_cache` can get