src/test/ui/impl-trait/issues/issue-86719.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 trait Bar {
   4     type E;
   5 }
   6 impl<S> Bar for S {
   7     type E = impl ; //~ ERROR at least one trait must be specified
   8     fn foo() -> Self::E { //~ ERROR `foo` is not a member
   9         |_| true //~ ERROR type annotations needed
  10     }
  11 }
  12 fn main() {}