1 files changed, 13 insertions, 0 deletions
diff --git a/src/test/ui/consts/issue-13837.rs b/src/test/ui/consts/issue-13837.rs
new file mode 100644
index 000000000..645b1c0eb
--- /dev/null
+++ b/src/test/ui/consts/issue-13837.rs
@@ -0,0 +1,13 @@
+// check-pass
+#![allow(dead_code)]
+// pretty-expanded FIXME #23616
+
+struct TestStruct {
+    x: *const [isize; 2]
+}
+
+unsafe impl Sync for TestStruct {}
+
+static TEST_VALUE : TestStruct = TestStruct{x: 0x1234 as *const [isize; 2]};
+
+fn main() {}