Function regions_outlived_by_placeholder 

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

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