| //@ 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); |
| } |
| } |
| } |