{"ast_node_type":"function","tokens":[{"end":93,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn next_term_var_of_kind(&self, term: ty::Term<'tcx>, span: Span) -> ty::Term<'tcx> {
        match term.kind() {