tests/ui/deriving/deriving-cmp-generic-struct-enum.rs

   1 // run-pass
   2 #[derive(PartialEq, Eq, PartialOrd, Ord)]
   3 enum ES<T> {
   4     ES1 { x: T },
   5     ES2 { x: T, y: T }
   6 }
   7
   8
   9 pub fn main() {
  10     let (es11, es12, es21, es22) = (ES::ES1 {
  11         x: 1
  12     }, ES::ES1 {
  13         x: 2
  14     }, ES::ES2 {
  15         x: 1,
  16         y: 1
  17     }, ES::ES2 {
  18         x: 1,
  19         y: 2
  20     });
  21
  22     // in order for both PartialOrd and Ord
  23     let ess = [es11, es12, es21, es22];
  24
  25     for (i, es1) in ess.iter().enumerate() {
  26         for (j, es2) in ess.iter().enumerate() {
  27             let ord = i.cmp(&j);
  28
  29             let eq = i == j;
  30             let (lt, le) = (i < j, i <= j);
  31             let (gt, ge) = (i > j, i >= j);
  32
  33             // PartialEq
  34             assert_eq!(*es1 == *es2, eq);
  35             assert_eq!(*es1 != *es2, !eq);
  36
  37             // PartialOrd
  38             assert_eq!(*es1 < *es2, lt);
  39             assert_eq!(*es1 > *es2, gt);
  40
  41             assert_eq!(*es1 <= *es2, le);
  42             assert_eq!(*es1 >= *es2, ge);
  43
  44             // Ord
  45             assert_eq!(es1.cmp(es2), ord);
  46         }
  47     }
  48 }