src/test/ui/parser/qualified-path-in-turbofish.rs


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

// run-rustfix
trait T {
    type Ty;
}

struct Impl;

impl T for Impl {
    type Ty = u32;
}

fn template<T>() -> i64 {
    3
}

fn main() {
    template::<<Impl as T>:Ty>();
    //~^ ERROR found single colon before projection in qualified path
}