summaryrefslogtreecommitdiffstats
path: root/src/test/ui/union/union-derive-rpass.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/union/union-derive-rpass.rs')
-rw-r--r--src/test/ui/union/union-derive-rpass.rs42
1 files changed, 42 insertions, 0 deletions
diff --git a/src/test/ui/union/union-derive-rpass.rs b/src/test/ui/union/union-derive-rpass.rs
new file mode 100644
index 000000000..8276bc635
--- /dev/null
+++ b/src/test/ui/union/union-derive-rpass.rs
@@ -0,0 +1,42 @@
+// run-pass
+// revisions: mirunsafeck thirunsafeck
+// [thirunsafeck]compile-flags: -Z thir-unsafeck
+
+#![allow(dead_code)]
+#![allow(unused_variables)]
+
+// Some traits can be derived for unions.
+
+#[derive(
+ Copy,
+ Clone,
+ Eq,
+)]
+union U {
+ a: u8,
+ b: u16,
+}
+
+impl PartialEq for U { fn eq(&self, rhs: &Self) -> bool { true } }
+
+#[derive(
+ Clone,
+ Copy,
+ Eq
+)]
+union W<T: Copy> {
+ a: T,
+}
+
+impl<T: Copy> PartialEq for W<T> { fn eq(&self, rhs: &Self) -> bool { true } }
+
+fn main() {
+ let u = U { b: 0 };
+ let u1 = u;
+ let u2 = u.clone();
+ assert!(u1 == u2);
+
+ let w = W { a: 0 };
+ let w1 = w.clone();
+ assert!(w == w1);
+}