2016-04-17 16:33:21 -05:00
|
|
|
|
2017-09-18 05:47:33 -05:00
|
|
|
|
|
|
|
|
2017-05-17 07:19:44 -05:00
|
|
|
#![warn(neg_multiply)]
|
2016-05-13 09:43:47 -05:00
|
|
|
#![allow(no_effect, unnecessary_operation)]
|
2016-04-17 16:33:21 -05:00
|
|
|
|
|
|
|
use std::ops::Mul;
|
|
|
|
|
|
|
|
struct X;
|
|
|
|
|
|
|
|
impl Mul<isize> for X {
|
|
|
|
type Output = X;
|
2016-05-13 09:43:47 -05:00
|
|
|
|
2016-04-17 16:33:21 -05:00
|
|
|
fn mul(self, _r: isize) -> Self {
|
|
|
|
self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Mul<X> for isize {
|
|
|
|
type Output = X;
|
2016-05-13 09:43:47 -05:00
|
|
|
|
2016-04-17 16:33:21 -05:00
|
|
|
fn mul(self, _r: X) -> X {
|
|
|
|
X
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
let x = 0;
|
|
|
|
|
|
|
|
x * -1;
|
2017-02-08 07:58:07 -06:00
|
|
|
|
2016-04-17 16:33:21 -05:00
|
|
|
-1 * x;
|
2017-02-08 07:58:07 -06:00
|
|
|
|
2016-04-17 16:33:21 -05:00
|
|
|
-1 * -1; // should be ok
|
2016-05-13 09:43:47 -05:00
|
|
|
|
2016-04-17 16:33:21 -05:00
|
|
|
X * -1; // should be ok
|
|
|
|
-1 * X; // should also be ok
|
|
|
|
}
|