{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"self.infcx.next_int_var()"}]}
                        self.infcx.next_int_var()
                    if self.snapshot_vars.int_vars.contains(&vid) {
                    } else {