tests/ui/async-await/higher-ranked-auto-trait-12.no_assumptions.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

error: implementation of `Robot` is not general enough
  --> $DIR/higher-ranked-auto-trait-12.rs:31:20
   |
LL |       let _my_task = this_is_send(async move {
   |  ____________________^
LL | |         let _my_iter = IRobot {
LL | |             id: 32,
LL | |             robot: source,
LL | |         };
LL | |         yield_now().await;
LL | |     });
   | |______^ implementation of `Robot` is not general enough
   |
   = note: `Box<(dyn Robot<Id = u32> + Send + '0)>` must implement `Robot`, for any lifetime `'0`...
   = note: ...but `Robot` is actually implemented for the type `Box<(dyn Robot<Id = u32> + Send + 'static)>`

error: aborting due to 1 previous error