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