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() {}