blob: cd6805967e524e2d860104818365d90157332431 (
plain)
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() {}
|