blob: 48e1423023ecca7af40b0c33a118a034ad064541 [file] [log] [blame]
//@ check-pass
trait Foo {
type T;
fn foo() -> Box<<Self as Foo>::T>;
}
fn main() {}