1 2 3 4 5 6 7 8 9
// run-pass // pretty-expanded FIXME #23616 trait Foo { type T; fn foo() -> Box<<Self as Foo>::T>; } fn main() {}