1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
error[E0311]: the parameter type `A` may not live long enough
--> $DIR/type-param-missing-lifetime.rs:16:9
|
LL | impl<X> MyTy<Elided<'_, X>> {
| -- the parameter type `A` must be valid for the anonymous lifetime as defined here...
LL | async fn foo<A>(self, arg: A, _: &str) -> &str {
LL | check_bound(arg, self.0 .0);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ...so that the type `A` will meet its required lifetime bounds
|
help: consider adding an explicit lifetime bound
|
LL ~ impl<'a, X> MyTy<Elided<'a, X>> {
LL ~ async fn foo<A: 'a>(self, arg: A, _: &str) -> &str {
|
error[E0311]: the parameter type `A` may not live long enough
--> $DIR/type-param-missing-lifetime.rs:33:9
|
LL | lt: Inv<'_>,
| ------- the parameter type `A` must be valid for the anonymous lifetime defined here...
...
LL | check_bound(arg, lt);
| ^^^^^^^^^^^^^^^^^^^^ ...so that the type `A` will meet its required lifetime bounds
|
help: consider adding an explicit lifetime bound
|
LL ~ async fn foo2<'b>(
LL | arg: A,
LL ~ lt: Inv<'b>,
LL | ) -> (
LL ~ impl Into<&'b str> + Into<&'b str> + 'b,
LL ~ impl Into<Option<Elided<'b>>> + 'b,
LL ~ impl Into<Option<Elided<'b, ()>>>,
LL ~ ) where A: 'b {
|
error[E0311]: the parameter type `A` may not live long enough
--> $DIR/type-param-missing-lifetime.rs:40:9
|
LL | async fn bar2<'b>(_dummy: &'a u8, arg: A, lt: Inv<'_>) {
| ------- the parameter type `A` must be valid for the anonymous lifetime defined here...
LL | check_bound(arg, lt);
| ^^^^^^^^^^^^^^^^^^^^ ...so that the type `A` will meet its required lifetime bounds
|
help: consider adding an explicit lifetime bound
|
LL | async fn bar2<'c, 'b>(_dummy: &'a u8, arg: A, lt: Inv<'c>) where A: 'c {
| +++ ~~ +++++++++++
error[E0311]: the parameter type `A` may not live long enough
--> $DIR/type-param-missing-lifetime.rs:47:9
|
LL | impl<A> MyTy<Elided<'_, A>> {
| -- the parameter type `A` must be valid for the anonymous lifetime as defined here...
LL | async fn foo3(self) {
LL | check_bound(self.0 .1, self.0 .0);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ...so that the type `A` will meet its required lifetime bounds
|
help: consider adding an explicit lifetime bound
|
LL | impl<'a, A: 'a> MyTy<Elided<'a, A>> {
| +++ ++++ ~~
error: aborting due to 4 previous errors
For more information about this error, try `rustc --explain E0311`.
|
