1 2 3 4 5 6 7
trait Foo { type T; fn foo() -> T<<Self as Foo>::T>; // { dg-error "could not resolve type path .T. .E0412." "" { target *-*-* } .-1 } } fn foo() {}