Skip to main content

regions_outliving

rustc_infer::infer::canonical::ir::region_constraint

Function regions_outliving 

Source 
pub fn regions_outliving<I>(
    r: <I as Interner>::Region,
    assumptions: &Assumptions<I>,
    cx: I,
) -> impl Iterator<Item = <I as Interner>::Region>
where
    I: Interner,
Expand description

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