1 // build-pass
2 
3 pub trait Foo {
4     type FooAssoc;
5 }
6 
7 pub struct Bar<F: Foo> {
8     id: F::FooAssoc
9 }
10 
11 pub struct Baz;
12 
13 impl Foo for Baz {
14     type FooAssoc = usize;
15 }
16 
17 static mut MY_FOO: Bar<Baz> = Bar { id: 0 };
18 
main()19 fn main() {}
20