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


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