src/test/ui/sized/recursive-type-1.rs


1
2
3
4
5
6
7
8
9
10

// check-pass
trait A { type Assoc; }

impl A for () {
    // FIXME: it would be nice for this to at least cause a warning.
    type Assoc = Foo<()>;
}
struct Foo<T: A>(T::Assoc);

fn main() {}