fn main() {
<i32 as Add<u32>>::add(1, 2);
- //~^ ERROR the trait `core::ops::Add<u32>` is not implemented for the type `i32`
+ //~^ ERROR `i32: std::ops::Add<u32>` is not satisfied
<i32 as Add<i32>>::add(1u32, 2);
//~^ ERROR mismatched types
<i32 as Add<i32>>::add(1, 2u32);