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

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