about summary refs log tree commit diff
path: root/tests/ui/deriving/deriving-cmp-generic-struct.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/deriving/deriving-cmp-generic-struct.rs')
-rw-r--r--tests/ui/deriving/deriving-cmp-generic-struct.rs40
1 files changed, 40 insertions, 0 deletions
diff --git a/tests/ui/deriving/deriving-cmp-generic-struct.rs b/tests/ui/deriving/deriving-cmp-generic-struct.rs
new file mode 100644
index 00000000000..538caf439c7
--- /dev/null
+++ b/tests/ui/deriving/deriving-cmp-generic-struct.rs
@@ -0,0 +1,40 @@
+// run-pass
+#[derive(PartialEq, Eq, PartialOrd, Ord)]
+struct S<T> {
+    x: T,
+    y: T
+}
+
+pub fn main() {
+    let s1 = S {x: 1, y: 1};
+    let s2 = S {x: 1, y: 2};
+
+    // in order for both PartialOrd and Ord
+    let ss = [s1, s2];
+
+    for (i, s1) in ss.iter().enumerate() {
+        for (j, s2) in ss.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!(*s1 == *s2, eq);
+            assert_eq!(*s1 != *s2, !eq);
+
+            // PartialOrd
+            assert_eq!(*s1 < *s2, lt);
+            assert_eq!(*s1 > *s2, gt);
+
+            assert_eq!(*s1 <= *s2, le);
+            assert_eq!(*s1 >= *s2, ge);
+
+            // Ord
+            assert_eq!(s1.cmp(s2), ord);
+        }
+    }
+}