{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"self.inner.borrow_mut().float_unification_table().union_value(vid,"}]}
        self.inner.borrow_mut().float_unification_table().union_value(vid, value);
    fn instantiate_float_var_raw(&self, vid: ty::FloatVid, value: ty::FloatVarValue) {
    }