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