summaryrefslogtreecommitdiffstats
path: root/src/test/ui/deriving/deriving-cmp-generic-enum.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/deriving/deriving-cmp-generic-enum.rs')
-rw-r--r--src/test/ui/deriving/deriving-cmp-generic-enum.rs44
1 files changed, 44 insertions, 0 deletions
diff --git a/src/test/ui/deriving/deriving-cmp-generic-enum.rs b/src/test/ui/deriving/deriving-cmp-generic-enum.rs
new file mode 100644
index 000000000..88da4bd06
--- /dev/null
+++ b/src/test/ui/deriving/deriving-cmp-generic-enum.rs
@@ -0,0 +1,44 @@
+// run-pass
+#[derive(PartialEq, Eq, PartialOrd, Ord)]
+enum E<T> {
+ E0,
+ E1(T),
+ E2(T,T)
+}
+
+pub fn main() {
+ let e0 = E::E0;
+ let e11 = E::E1(1);
+ let e12 = E::E1(2);
+ let e21 = E::E2(1, 1);
+ let e22 = E::E2(1, 2);
+
+ // in order for both PartialOrd and Ord
+ let es = [e0, e11, e12, e21, e22];
+
+ for (i, e1) in es.iter().enumerate() {
+ for (j, e2) in es.iter().enumerate() {
+ let ord = i.cmp(&j);
+
+ let eq = i == j;
+ let lt = i < j;
+ let le = i <= j;
+ let gt = i > j;
+ let ge = i >= j;
+
+ // PartialEq
+ assert_eq!(*e1 == *e2, eq);
+ assert_eq!(*e1 != *e2, !eq);
+
+ // PartialOrd
+ assert_eq!(*e1 < *e2, lt);
+ assert_eq!(*e1 > *e2, gt);
+
+ assert_eq!(*e1 <= *e2, le);
+ assert_eq!(*e1 >= *e2, ge);
+
+ // Ord
+ assert_eq!(e1.cmp(e2), ord);
+ }
+ }
+}