about summary refs log tree commit diff
path: root/tests/ui/impl-trait/precise-capturing/forgot-to-capture-lifetime.stderr
blob: 907ed00f8c04949f8eab5e7ef96b5b606f9c70c6 (plain)
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
error: `impl Trait` captures lifetime parameter, but it is not mentioned in `use<...>` precise captures list
  --> $DIR/forgot-to-capture-lifetime.rs:1:52
   |
LL | fn lifetime_in_bounds<'a>(x: &'a ()) -> impl Into<&'a ()> + use<> { x }
   |                       --                -----------^^------------
   |                       |                 |
   |                       |                 lifetime captured due to being mentioned in the bounds of the `impl Trait`
   |                       this lifetime parameter is captured

error[E0700]: hidden type for `impl Sized` captures lifetime that does not appear in bounds
  --> $DIR/forgot-to-capture-lifetime.rs:4:62
   |
LL | fn lifetime_in_hidden<'a>(x: &'a ()) -> impl Sized + use<> { x }
   |                       --                ------------------   ^
   |                       |                 |
   |                       |                 opaque type defined here
   |                       hidden type `&'a ()` captures the lifetime `'a` as defined here
   |
help: add `'a` to the `use<...>` bound to explicitly capture it
   |
LL | fn lifetime_in_hidden<'a>(x: &'a ()) -> impl Sized + use<'a> { x }
   |                                                          ++

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0700`.