src/test/ui/generic-associated-types/issue-79636-2.rs

   1 #![allow(incomplete_features)]
   2 #![feature(generic_associated_types)]
   3
   4 trait SomeTrait {
   5     type Wrapped<A>: SomeTrait;
   6          //~^ ERROR: missing generics for associated type `SomeTrait::Wrapped`
   7
   8     fn f() -> ();
   9 }
  10
  11 fn program<W>() -> ()
  12 where
  13     W: SomeTrait<Wrapped = W>,
  14 {
  15     return W::f();
  16 }
  17
  18 fn main() {}