{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"if"}]}
                    if self.snapshot_vars.float_vars.contains(&vid) {
                ty::FloatVar(vid) => {
                        self.infcx.next_float_var()