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

   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 }