{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":".count();"}]}
                    .count();
                    .filter(|c| !c.is_region() && c.is_existential())
                if num_non_region_vars > self.cx().recursion_limit() {