{"ast_node_type":"function","tokens":[{"end":31,"kind":"keyword","start":0,"text":"fn"}]}
fn emit_universal_region_facts(
/// Emit universal regions facts, and their relations.
    facts: &mut PoloniusFacts,