1 files changed, 25 insertions, 0 deletions
diff --git a/src/test/ui/consts/const-eval/double_check.rs b/src/test/ui/consts/const-eval/double_check.rs
new file mode 100644
index 000000000..56ca0aa1f
--- /dev/null
+++ b/src/test/ui/consts/const-eval/double_check.rs
@@ -0,0 +1,25 @@
+// check-pass
+
+enum Foo {
+    A = 5,
+    B = 42,
+}
+enum Bar {
+    C = 42,
+    D = 99,
+}
+#[repr(C)]
+union Union {
+    foo: &'static Foo,
+    bar: &'static Bar,
+    u8: &'static u8,
+}
+static BAR: u8 = 42;
+static FOO: (&Foo, &Bar) = unsafe {(
+    Union { u8: &BAR }.foo,
+    Union { u8: &BAR }.bar,
+)};
+
+static FOO2: (&Foo, &Bar) = unsafe {(std::mem::transmute(&BAR), std::mem::transmute(&BAR))};
+
+fn main() {}