{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"self.inner.borrow_mut().type_variables().num_vars()"}]}
        self.inner.borrow_mut().type_variables().num_vars()
    pub fn num_ty_vars(&self) -> usize {
    }