src/test/ui/impl-trait/issue-55872-2.stderr

   1 error[E0277]: the trait bound `impl Future: Copy` is not satisfied
   2   --> $DIR/issue-55872-2.rs:14:14
   3    |
   4 LL |     type E = impl std::marker::Copy;
   5    |              ^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `impl Future`
   6
   7 error: type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias
   8   --> $DIR/issue-55872-2.rs:16:28
   9    |
  10 LL |       fn foo<T>() -> Self::E {
  11    |  ____________________________^
  12 LL | |
  13 LL | |         async {}
  14 LL | |     }
  15    | |_____^
  16
  17 error: aborting due to 2 previous errors
  18
  19 For more information about this error, try `rustc --explain E0277`.