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

   1 // edition:2018
   2 // ignore-compare-mode-chalk
   3
   4 #![feature(type_alias_impl_trait)]
   5
   6 pub trait Bar {
   7     type E: Copy;
   8
   9     fn foo<T>() -> Self::E;
  10 }
  11
  12 impl<S> Bar for S {
  13     type E = impl std::marker::Copy;
  14     //~^ ERROR the trait bound `impl Future: Copy` is not satisfied [E0277]
  15     fn foo<T>() -> Self::E {
  16         //~^ ERROR type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias
  17         async {}
  18     }
  19 }
  20
  21 fn main() {}