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