| error: unnecessary lifetime parameter `'b` |
| --> $DIR/transitively-redundant-lifetimes.rs:3:10 |
| | |
| LL | fn a<'a, 'b>(x: &'a &'b &'a ()) {} |
| | ^^ |
| | |
| = note: you can use the `'a` lifetime directly, in place of `'b` |
| note: the lint level is defined here |
| --> $DIR/transitively-redundant-lifetimes.rs:1:9 |
| | |
| LL | #![deny(redundant_lifetimes)] |
| | ^^^^^^^^^^^^^^^^^^^ |
| |
| error: unnecessary lifetime parameter `'b` |
| --> $DIR/transitively-redundant-lifetimes.rs:5:14 |
| | |
| LL | fn b<'a: 'b, 'b: 'a>() {} |
| | ^^ |
| | |
| = note: you can use the `'a` lifetime directly, in place of `'b` |
| |
| error: unnecessary lifetime parameter `'a` |
| --> $DIR/transitively-redundant-lifetimes.rs:8:6 |
| | |
| LL | fn c<'a>(_: Foo<&'a ()>) {} |
| | ^^ |
| | |
| = note: you can use the `'static` lifetime directly, in place of `'a` |
| |
| error: unnecessary lifetime parameter `'a` |
| --> $DIR/transitively-redundant-lifetimes.rs:18:6 |
| | |
| LL | impl<'a: 'static> Tr<'a> for () {} |
| | ^^ |
| | |
| = note: you can use the `'static` lifetime directly, in place of `'a` |
| |
| error: unnecessary lifetime parameter `'b` |
| --> $DIR/transitively-redundant-lifetimes.rs:12:10 |
| | |
| LL | fn d<'b: 'a>(&'b self) {} |
| | ^^ |
| | |
| = note: you can use the `'a` lifetime directly, in place of `'b` |
| |
| error: aborting due to 5 previous errors |
| |