{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"ty::TermKind::Ty(_)"}]}
            ty::TermKind::Ty(_) => self.next_ty_var(span).into(),
        match term.kind() {
            ty::TermKind::Const(_) => self.next_const_var(span).into(),