pub fn regions_outliving<I: Interner>(
r: I::Region,
assumptions: &Assumptions<I>,
cx: I,
) -> impl Iterator<Item = I::Region>Expand description
Returns all regions r2 for which r2: r is known to hold in
the universe associated with assumptions