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