Skip to main content

regions_outlived_by

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

Function regions_outlived_by 

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

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