tests/ui/save-analysis/issue-65411.rs

   1 // check-pass
   2 // compile-flags: -Zsave-analysis
   3
   4 trait Trait { type Assoc; }
   5 trait GenericTrait<T> {}
   6 struct Wrapper<B> { b: B }
   7
   8 fn func() {
   9     // Processing associated path in impl block definition inside a function
  10     // body does not ICE
  11     impl<B: Trait> GenericTrait<B::Assoc> for Wrapper<B> {}
  12 }
  13
  14
  15 fn main() {}