{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
                    // `self.active_cache` are not guaranteed to match those of
                    // The removal lookup might fail because the contents of
                    // `self.nodes`. See the comment in `process_obligation`