2017-09-18 12:47:33 +02:00
|
|
|
|
|
|
|
|
2016-02-03 04:48:52 +01:00
|
|
|
|
2017-05-17 14:19:44 +02:00
|
|
|
#![warn(absurd_extreme_comparisons)]
|
2017-02-20 04:50:31 +01:00
|
|
|
#![allow(unused, eq_op, no_effect, unnecessary_operation, needless_pass_by_value)]
|
2016-12-21 16:49:53 +01:00
|
|
|
|
2016-02-03 04:48:52 +01:00
|
|
|
fn main() {
|
|
|
|
const Z: u32 = 0;
|
|
|
|
let u: u32 = 42;
|
2016-06-07 18:32:26 +02:00
|
|
|
u <= 0;
|
|
|
|
u <= Z;
|
|
|
|
u < Z;
|
|
|
|
Z >= u;
|
|
|
|
Z > u;
|
|
|
|
u > std::u32::MAX;
|
|
|
|
u >= std::u32::MAX;
|
|
|
|
std::u32::MAX < u;
|
|
|
|
std::u32::MAX <= u;
|
2016-02-03 04:48:52 +01:00
|
|
|
1-1 > u;
|
|
|
|
u >= !0;
|
|
|
|
u <= 12 - 2*6;
|
|
|
|
let i: i8 = 0;
|
2016-06-07 18:32:26 +02:00
|
|
|
i < -127 - 1;
|
|
|
|
std::i8::MAX >= i;
|
|
|
|
3-7 < std::i32::MIN;
|
2016-02-03 04:48:52 +01:00
|
|
|
let b = false;
|
2016-06-07 18:32:26 +02:00
|
|
|
b >= true;
|
|
|
|
false > b;
|
2016-02-03 04:48:52 +01:00
|
|
|
u > 0; // ok
|
|
|
|
// this is handled by unit_cmp
|
2017-02-08 14:58:07 +01:00
|
|
|
() < {};
|
2016-02-03 04:48:52 +01:00
|
|
|
}
|
2016-12-21 16:49:53 +01:00
|
|
|
|
|
|
|
use std::cmp::{Ordering, PartialEq, PartialOrd};
|
|
|
|
|
|
|
|
#[derive(PartialEq, PartialOrd)]
|
|
|
|
pub struct U(u64);
|
|
|
|
|
|
|
|
impl PartialEq<u32> for U {
|
|
|
|
fn eq(&self, other: &u32) -> bool {
|
2017-08-29 14:48:19 +02:00
|
|
|
self.eq(&U(u64::from(*other)))
|
2016-12-21 16:49:53 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
impl PartialOrd<u32> for U {
|
|
|
|
fn partial_cmp(&self, other: &u32) -> Option<Ordering> {
|
2017-08-29 14:48:19 +02:00
|
|
|
self.partial_cmp(&U(u64::from(*other)))
|
2016-12-21 16:49:53 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn foo(val: U) -> bool {
|
|
|
|
val > std::u32::MAX
|
|
|
|
}
|