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