fn emit_outlives_facts<'tcx>(
facts: &mut AllFacts,
location_table: &LocationTable,
constraints: &MirTypeckRegionConstraints<'tcx>,
)Expand description
Emit facts about the outlives constraints: the subset base relation, i.e. not a transitive
closure.