summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/new-solver/nested-alias-bound.rs
blob: c365902dbe5e833a07f1e5f98f247d1774b708aa (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
// compile-flags: -Ztrait-solver=next
// 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() {}