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

   1 warning: the feature `type_alias_impl_trait` is incomplete and may not be safe to use and/or cause compiler crashes
   2   --> $DIR/issue-55872-2.rs:7:32
   3    |
   4 LL | #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   5    |                                ^^^^^^^^^^^^^^^^^^^^^
   6    |
   7    = note: `#[warn(incomplete_features)]` on by default
   8    = note: see issue #63063 <https://github.com/rust-lang/rust/issues/63063> for more information
   9
  10 error[E0277]: the trait bound `impl Future: Copy` is not satisfied
  11   --> $DIR/issue-55872-2.rs:17:14
  12    |
  13 LL |     type E = impl std::marker::Copy;
  14    |              ^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `impl Future`
  15
  16 error: type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias
  17   --> $DIR/issue-55872-2.rs:19:28
  18    |
  19 LL |       fn foo<T>() -> Self::E {
  20    |  ____________________________^
  21 LL | |
  22 LL | |         async {}
  23 LL | |     }
  24    | |_____^
  25
  26 error: aborting due to 2 previous errors; 1 warning emitted
  27
  28 For more information about this error, try `rustc --explain E0277`.