tests/ui/traits/next-solver/nested-alias-bound.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// compile-flags: -Znext-solver
// check-pass

trait A {
    type A: B;
}

trait B {
    type B: C;
}

trait C {}

fn needs_c<T: C>() {}

fn test<T: A>() {
    needs_c::<<T::A as B>::B>();
}

fn main() {}