1 2 3 4 5 6 7 8 9 10
// check-pass // compile-flags: -Zsave-analysis trait Trait { type Assoc; } fn main() { struct Data<T: Trait> { x: T::Assoc, } }