2024-09-29 17:41:13 +00:00
|
|
|
error: return type captures more lifetimes than trait definition
|
2025-03-06 20:50:51 +00:00
|
|
|
--> $DIR/rpitit-impl-captures-too-much.rs:8:39
|
2024-09-29 17:41:13 +00:00
|
|
|
|
|
2024-11-24 22:39:19 +00:00
|
|
|
LL | fn hello(self_: Invariant<'_>) -> impl Sized + use<Self>;
|
|
|
|
| -- this lifetime was captured
|
|
|
|
...
|
2024-09-29 17:41:13 +00:00
|
|
|
LL | fn hello(self_: Invariant<'_>) -> impl Sized + use<'_> {}
|
2024-11-24 22:39:19 +00:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^^
|
2024-09-29 17:41:13 +00:00
|
|
|
|
|
|
|
|
note: hidden type must only reference lifetimes captured by this impl trait
|
2025-03-06 20:50:51 +00:00
|
|
|
--> $DIR/rpitit-impl-captures-too-much.rs:4:39
|
2024-09-29 17:41:13 +00:00
|
|
|
|
|
|
|
|
LL | fn hello(self_: Invariant<'_>) -> impl Sized + use<Self>;
|
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
= note: hidden type inferred to be `impl Sized`
|
|
|
|
|
|
|
|
error: aborting due to 1 previous error
|
|
|
|
|