blob: cbc5e6073181582e7c9f1dc8492c40a5aa2e5b36 (
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 previous error
|