another test for too big type

diff --git a/tests/compile-fail/slice-too-big.rs b/tests/compile-fail/slice-too-big.rs
deleted file mode 100644 (file)
index 6a4c182..0000000
--- a/tests/compile-fail/slice-too-big.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-use std::mem;
-
-fn main() { unsafe {
-    let ptr = Box::into_raw(Box::new(0u8));
-    let _x: &[u8] = mem::transmute((ptr, usize::MAX)); //~ ERROR: invalid reference metadata: slice is bigger than largest supported object
-} }

diff --git a/tests/compile-fail/too-big-slice.rs b/tests/compile-fail/too-big-slice.rs
new file mode 100644 (file)
index 0000000..6a4c182
--- /dev/null
+++ b/tests/compile-fail/too-big-slice.rs
@@ -0,0 +1,6 @@
+use std::mem;
+
+fn main() { unsafe {
+    let ptr = Box::into_raw(Box::new(0u8));
+    let _x: &[u8] = mem::transmute((ptr, usize::MAX)); //~ ERROR: invalid reference metadata: slice is bigger than largest supported object
+} }

diff --git a/tests/compile-fail/too-big-unsized.rs b/tests/compile-fail/too-big-unsized.rs
new file mode 100644 (file)
index 0000000..ad7bc6e
--- /dev/null
+++ b/tests/compile-fail/too-big-unsized.rs
@@ -0,0 +1,18 @@
+use std::mem;
+
+#[allow(unused)]
+struct MySlice {
+    prefix: u64,
+    tail: [u8],
+}
+
+#[cfg(target_pointer_width = "64")]
+const TOO_BIG: usize = 1usize << 47;
+#[cfg(target_pointer_width = "32")]
+const TOO_BIG: usize = 1usize << 31;
+
+fn main() { unsafe {
+    let ptr = Box::into_raw(Box::new(0u8));
+    // The slice part is actually not "too big", but together with the `prefix` field it is.
+    let _x: &MySlice = mem::transmute((ptr, TOO_BIG-1)); //~ ERROR: invalid reference metadata: total size is bigger than largest supported object
+} }