rustc_traits::normalize_erasing_regions

Function not_outlives_predicate

Source 
fn not_outlives_predicate(p: Predicate<'_>) -> bool