{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"region_constraints_len:"}]}
            region_constraints_len: inner.unwrap_region_constraints().num_region_vars(),
        VariableLengths {
            type_var_len: inner.type_variables().num_vars(),