src/test/ui/ufcs/ufcs-qpath-self-mismatch.rs

   1 use std::ops::Add;
   2
   3 fn main() {
   4     <i32 as Add<u32>>::add(1, 2);
   5     //~^ ERROR cannot add `u32` to `i32`
   6     <i32 as Add<i32>>::add(1u32, 2);
   7     //~^ ERROR mismatched types
   8     <i32 as Add<i32>>::add(1, 2u32);
   9     //~^ ERROR mismatched types
  10 }