{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"VariableLengths"}]}
        VariableLengths {
        let mut inner = self.inner.borrow_mut();
            region_constraints_len: inner.unwrap_region_constraints().num_region_vars(),