{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"match"}]}
        match term.kind() {
    pub(super) fn next_term_infer_of_kind(&mut self, term: I::Term) -> I::Term {
            ty::TermKind::Ty(_) => self.next_ty_infer().into(),