blob: 2e3de0ac66d05144b1244e0e3864e3cb6fffe153 (
plain)
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() {}
|