Function emit_outlives_facts 

fn emit_outlives_facts<'tcx>(
    facts: &mut PoloniusFacts,
    location_table: &PoloniusLocationTable,
    constraints: &LoweredConstraints<'tcx>,
)

Emit facts about the outlives constraints: the subset base relation, i.e. not a transitive closure.