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