{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"//"}]}
                    // for more details.
                    // `self.nodes`. See the comment in `process_obligation`
                    let cache_key = node.obligation.as_cache_key();