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