about summary refs log tree commit diff
path: root/tests/ui/impl-trait/precise-capturing/rpitit-impl-captures-too-much.stderr
blob: 360f0d7e7f37f2767e9aad9ed4f5e05567891dad (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
error: return type captures more lifetimes than trait definition
  --> $DIR/rpitit-impl-captures-too-much.rs:10:39
   |
LL |     fn hello(self_: Invariant<'_>) -> impl Sized + use<Self>;
   |                               -- this lifetime was captured
...
LL |     fn hello(self_: Invariant<'_>) -> impl Sized + use<'_> {}
   |                                       ^^^^^^^^^^^^^^^^^^^^
   |
note: hidden type must only reference lifetimes captured by this impl trait
  --> $DIR/rpitit-impl-captures-too-much.rs:6:39
   |
LL |     fn hello(self_: Invariant<'_>) -> impl Sized + use<Self>;
   |                                       ^^^^^^^^^^^^^^^^^^^^^^
   = note: hidden type inferred to be `impl Sized`

error: aborting due to 1 previous error