1 files changed, 35 insertions, 0 deletions
diff --git a/tests/ui/union/union-fields-1.rs b/tests/ui/union/union-fields-1.rs
new file mode 100644
index 000000000..cf2ef4c03
--- /dev/null
+++ b/tests/ui/union/union-fields-1.rs
@@ -0,0 +1,35 @@
+// revisions: mirunsafeck thirunsafeck
+// [thirunsafeck]compile-flags: -Z thir-unsafeck
+
+#![deny(dead_code)]
+
+union U1 {
+    a: u8, // should not be reported
+    b: u8, // should not be reported
+    c: u8, //~ ERROR field `c` is never read
+}
+union U2 {
+    a: u8, //~ ERROR field `a` is never read
+    b: u8, // should not be reported
+    c: u8, // should not be reported
+}
+union NoDropLike { a: u8 } //~ ERROR field `a` is never read
+
+union U {
+    a: u8, // should not be reported
+    b: u8, // should not be reported
+    c: u8, //~ ERROR field `c` is never read
+}
+type A = U;
+
+fn main() {
+    let u = U1 { a: 0 };
+    let _a = unsafe { u.b };
+
+    let u = U2 { c: 0 };
+    let _b = unsafe { u.b };
+
+    let _u = NoDropLike { a: 10 };
+    let u = A { a: 0 };
+    let _b = unsafe { u.b };
+}