{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"if"}]}
                if let ty::TypingMode::Coherence = self.typing_mode() {
                let def_id = def_id.expect_local();
                    // See comment on `insert_hidden_type` for why this is sufficient in coherence