Function regions_outlived_by 

pub fn regions_outlived_by<I: Interner>(
    r: I::Region,
    assumptions: &Assumptions<I>,
) -> impl Iterator<Item = I::Region>

Returns all regions r2 for which r: r2 is known to hold in the universe associated with assumptions