rustc_borrowck::polonius

Function emit_universal_region_facts

Source 
fn emit_universal_region_facts(
    all_facts: &mut AllFacts,
    borrow_set: &BorrowSet<'_>,
    universal_region_relations: &UniversalRegionRelations<'_>,
)
Expand description

Emit universal regions facts, and their relations.