1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
error[E0700]: hidden type for `WithoutLt` captures lifetime that does not appear in bounds
--> $DIR/nested-tait-hrtb.rs:7:62
|
LL | type WithoutLt = impl Sized;
| ---------- opaque type defined here
LL | fn without_lt() -> impl for<'a> Trait<'a, Assoc = WithoutLt> {}
| -- ^^
| |
| hidden type `&'a str` captures the lifetime `'a` as defined here
error[E0792]: expected generic lifetime parameter, found `'a`
--> $DIR/nested-tait-hrtb.rs:12:60
|
LL | type WithLt<'a> = impl Sized + 'a;
| -- this generic parameter must be used with a generic lifetime parameter
LL |
LL | fn with_lt() -> impl for<'a> Trait<'a, Assoc = WithLt<'a>> {}
| ^^
error: aborting due to 2 previous errors
Some errors have detailed explanations: E0700, E0792.
For more information about an error, try `rustc --explain E0700`.
|
