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