{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"ty::FloatVar(v)"}]}
                ty::FloatVar(v) => {
                    match self.inner.borrow_mut().float_unification_table().probe_value(v) {