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 }