Function emit_universal_region_facts

fn emit_universal_region_facts(
    facts: &mut AllFacts,
    borrow_set: &BorrowSet<'_>,
    universal_region_relations: &UniversalRegionRelations<'_>,
)

Emit universal regions facts, and their relations.