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

   1 #![feature(type_alias_impl_trait)]
   2
   3 pub trait Bar {
   4     type E: Copy;
   5
   6     fn foo<T>() -> Self::E;
   7 }
   8
   9 impl<S> Bar for S {
  10     type E = impl Copy;
  11
  12     fn foo<T>() -> Self::E {
  13         || ()
  14         //~^ ERROR type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias
  15     }
  16 }
  17
  18 fn main() {}