error[E0277]: cannot add `u32` to `i32` --> $DIR/ufcs-qpath-self-mismatch.rs:4:31 | LL | >::add(1, 2); | ---------------------- ^ no implementation for `i32 + u32` | | | required by a bound introduced by this call | = help: the trait `Add` is not implemented for `i32` = help: the following other types implement trait `Add`: <&'a i32 as Add> <&i32 as Add<&i32>> > error[E0308]: mismatched types --> $DIR/ufcs-qpath-self-mismatch.rs:7:28 | LL | >::add(1u32, 2); | ---------------------- ^^^^ expected `i32`, found `u32` | | | arguments to this function are incorrect | help: the return type of this call is `u32` due to the type of the argument passed --> $DIR/ufcs-qpath-self-mismatch.rs:7:5 | LL | >::add(1u32, 2); | ^^^^^^^^^^^^^^^^^^^^^^^----^^^^ | | | this argument influences the return type of `Add` note: method defined here --> $SRC_DIR/core/src/ops/arith.rs:LL:COL help: change the type of the numeric literal from `u32` to `i32` | LL | >::add(1i32, 2); | ~~~ error[E0308]: mismatched types --> $DIR/ufcs-qpath-self-mismatch.rs:9:31 | LL | >::add(1, 2u32); | ---------------------- ^^^^ expected `i32`, found `u32` | | | arguments to this function are incorrect | help: the return type of this call is `u32` due to the type of the argument passed --> $DIR/ufcs-qpath-self-mismatch.rs:9:5 | LL | >::add(1, 2u32); | ^^^^^^^^^^^^^^^^^^^^^^^^^^----^ | | | this argument influences the return type of `Add` note: method defined here --> $SRC_DIR/core/src/ops/arith.rs:LL:COL help: change the type of the numeric literal from `u32` to `i32` | LL | >::add(1, 2i32); | ~~~ error[E0277]: cannot add `u32` to `i32` --> $DIR/ufcs-qpath-self-mismatch.rs:4:5 | LL | >::add(1, 2); | ^^^^^^^^^^^^^^^^^^^^^^ no implementation for `i32 + u32` | = help: the trait `Add` is not implemented for `i32` = help: the following other types implement trait `Add`: <&'a i32 as Add> <&i32 as Add<&i32>> > error: aborting due to 4 previous errors Some errors have detailed explanations: E0277, E0308. For more information about an error, try `rustc --explain E0277`.