{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
                    // `self.nodes`. See the comment in `process_obligation`
                    // `self.active_cache` are not guaranteed to match those of
                    // for more details.