{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"self.inner.borrow_mut().const_unification_table().find(var).vid"}]}
        self.inner.borrow_mut().const_unification_table().find(var).vid
    pub fn root_const_var(&self, var: ty::ConstVid) -> ty::ConstVid {
    }