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

   1 // ignore-tidy-linelength
   2 // ignore-compare-mode-chalk
   3 // revisions: min_tait full_tait
   4 #![feature(min_type_alias_impl_trait)]
   5 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   6 //[full_tait]~^ WARN incomplete
   7
   8 pub trait Bar {
   9     type E: Copy;
  10
  11     fn foo<T>() -> Self::E;
  12 }
  13
  14 impl<S> Bar for S {
  15     type E = impl Copy;
  16
  17     fn foo<T>() -> Self::E {
  18     //~^ ERROR type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias
  19         || ()
  20     }
  21 }
  22
  23 fn main() {}