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

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