Repository navigation
fix false negatives in explicit_outlives_requirements #54630
Description
Niko Matsakis points out that the explicit_outlives_requirements lint (from #53013, expected to land soon) should also fire on lifetime-outlives bounds and associated-type-outlives bounds, as illustrated by the following two examples:
struct Foo<'a, 'b: 'a> {
x: &'a &'b u32
}
struct Bar<'a, T: Iterator> where T::Item: 'a {
item: &'a T::Item,
}
Activity
fmease commentedon May 14, 2024
We do emit
explicit_outlives_requirementsfor the first case —Foo— (if the lint level is set to at least warn, ofc)but we still don't for the second case —Bar.