2 // compile-flags: -Zsave-analysis
4 trait Trait { type Assoc; }
5 trait GenericTrait<T> {}
6 struct Wrapper<B> { b: B }
9 // Processing associated path in impl block definition inside a function
11 impl<B: Trait> GenericTrait<B::Assoc> for Wrapper<B> {}