Skip to main content

regions_outlived_by_placeholder

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

Function regions_outlived_by_placeholder 

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

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