74b04a01 XL |
1 | // run-rustfix |
2 | trait T { |
3 | type Ty; |
4 | } |
5 | |
6 | struct Impl; |
7 | |
8 | impl T for Impl { |
9 | type Ty = u32; |
10 | } |
11 | |
12 | fn template<T>() -> i64 { |
13 | 3 |
14 | } |
15 | |
16 | fn main() { |
17 | template::<<Impl as T>::Ty>(); |
18 | //~^ ERROR found single colon before projection in qualified path |
19 | } |