tests/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     //~| ERROR cannot add `u32` to `i32`
   7     <i32 as Add<i32>>::add(1u32, 2);
   8     //~^ ERROR mismatched types
   9     <i32 as Add<i32>>::add(1, 2u32);
  10     //~^ ERROR mismatched types
  11 }