{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
                    // See comment on `insert_hidden_type` for why this is sufficient in coherence
                if let ty::TypingMode::Coherence = self.typing_mode() {
                    return Some(self.register_hidden_type(