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

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