49 lines
1.0 KiB
Rust
49 lines
1.0 KiB
Rust
//@ run-pass
|
|
#[derive(PartialEq, Eq, PartialOrd, Ord)]
|
|
enum ES<T> {
|
|
ES1 { x: T },
|
|
ES2 { x: T, y: T }
|
|
}
|
|
|
|
|
|
pub fn main() {
|
|
let (es11, es12, es21, es22) = (ES::ES1 {
|
|
x: 1
|
|
}, ES::ES1 {
|
|
x: 2
|
|
}, ES::ES2 {
|
|
x: 1,
|
|
y: 1
|
|
}, ES::ES2 {
|
|
x: 1,
|
|
y: 2
|
|
});
|
|
|
|
// in order for both PartialOrd and Ord
|
|
let ess = [es11, es12, es21, es22];
|
|
|
|
for (i, es1) in ess.iter().enumerate() {
|
|
for (j, es2) in ess.iter().enumerate() {
|
|
let ord = i.cmp(&j);
|
|
|
|
let eq = i == j;
|
|
let (lt, le) = (i < j, i <= j);
|
|
let (gt, ge) = (i > j, i >= j);
|
|
|
|
// PartialEq
|
|
assert_eq!(*es1 == *es2, eq);
|
|
assert_eq!(*es1 != *es2, !eq);
|
|
|
|
// PartialOrd
|
|
assert_eq!(*es1 < *es2, lt);
|
|
assert_eq!(*es1 > *es2, gt);
|
|
|
|
assert_eq!(*es1 <= *es2, le);
|
|
assert_eq!(*es1 >= *es2, ge);
|
|
|
|
// Ord
|
|
assert_eq!(es1.cmp(es2), ord);
|
|
}
|
|
}
|
|
}
|