1 error: lifetime may not live long enough
2 --> $DIR/implied_bounds_from_types.rs:17:9
4 LL | impl<'a> Convert<'a> for () {
5 | -- lifetime `'a` defined here
7 LL | fn convert<'b, T: ?Sized>(_proof: &'b WithLifetime<&'a ()>, x: &'a T) -> &'b T {
8 | -- lifetime `'b` defined here
11 | ^ associated function was supposed to return data with lifetime `'b` but it is returning data with lifetime `'a`
13 = help: consider adding the following bound: `'a: 'b`
15 error: aborting due to previous error