For example, if you had this code:
fn foo(x: i32, y: f32) -> f32 {
x * y
}
You would get this error:
error[E0277]: cannot multiply `f32` to `i32`
--> src/lib.rs:2:7
|
2 | x * y
| ^ no implementation for `i32 * f32`
|
= help: the trait `Mul<f32>` is not implemented for `i32`
However, that's not usually how people describe multiplication. People
usually describe multiplication like how the division error words it:
error[E0277]: cannot divide `i32` by `f32`
--> src/lib.rs:2:7
|
2 | x / y
| ^ no implementation for `i32 / f32`
|
= help: the trait `Div<f32>` is not implemented for `i32`
So that's what this change does. It changes this:
error[E0277]: cannot multiply `f32` to `i32`
--> src/lib.rs:2:7
|
2 | x * y
| ^ no implementation for `i32 * f32`
|
= help: the trait `Mul<f32>` is not implemented for `i32`
To this:
error[E0277]: cannot multiply `i32` by `f32`
--> src/lib.rs:2:7
|
2 | x * y
| ^ no implementation for `i32 * f32`
|
= help: the trait `Mul<f32>` is not implemented for `i32`
35 lines
933 B
Rust
35 lines
933 B
Rust
struct A;
|
|
|
|
fn main() {
|
|
let a = A;
|
|
|
|
a + a; //~ ERROR cannot add `A` to `A`
|
|
|
|
a - a; //~ ERROR cannot subtract `A` from `A`
|
|
|
|
a * a; //~ ERROR cannot multiply `A` by `A`
|
|
|
|
a / a; //~ ERROR cannot divide `A` by `A`
|
|
|
|
a % a; //~ ERROR cannot mod `A` by `A`
|
|
|
|
a & a; //~ ERROR no implementation for `A & A`
|
|
|
|
a | a; //~ ERROR no implementation for `A | A`
|
|
|
|
a << a; //~ ERROR no implementation for `A << A`
|
|
|
|
a >> a; //~ ERROR no implementation for `A >> A`
|
|
|
|
a == a; //~ ERROR binary operation `==` cannot be applied to type `A`
|
|
|
|
a != a; //~ ERROR binary operation `!=` cannot be applied to type `A`
|
|
|
|
a < a; //~ ERROR binary operation `<` cannot be applied to type `A`
|
|
|
|
a <= a; //~ ERROR binary operation `<=` cannot be applied to type `A`
|
|
|
|
a > a; //~ ERROR binary operation `>` cannot be applied to type `A`
|
|
|
|
a >= a; //~ ERROR binary operation `>=` cannot be applied to type `A`
|
|
}
|