rust/tests/ui/ufcs/ufcs-qpath-self-mismatch.rs

12 lines
288 B
Rust

use std::ops::Add;
fn main() {
<i32 as Add<u32>>::add(1, 2);
//~^ ERROR cannot add `u32` to `i32`
//~| ERROR cannot add `u32` to `i32`
<i32 as Add<i32>>::add(1u32, 2);
//~^ ERROR mismatched types
<i32 as Add<i32>>::add(1, 2u32);
//~^ ERROR mismatched types
}