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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// check-pass
// compile-flags: -Zsave-analysis

trait Trait { type Assoc; }
trait GenericTrait<T> {}
struct Wrapper<B> { b: B }

fn func() {
    // Processing associated path in impl block definition inside a function
    // body does not ICE
    impl<B: Trait> GenericTrait<B::Assoc> for Wrapper<B> {}
}


fn main() {}