{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"universal_regions.len(),"}]}
        universal_regions.len(),
        "emit_universal_region_facts: polonius placeholders, num_universals={}, borrow_count={}",
        borrow_count