src/tools/miri/tests/fail/validity/too-big-unsized.rs

   1 use std::mem;
   2
   3 #[allow(unused)]
   4 struct MySlice {
   5     prefix: u64,
   6     tail: [u8],
   7 }
   8
   9 fn main() {
  10     unsafe {
  11         let ptr = Box::into_raw(Box::new(0u8));
  12         // The slice part is actually not "too big", but together with the `prefix` field it is.
  13         let _x: &MySlice = mem::transmute((ptr, isize::MAX as usize)); //~ ERROR: invalid reference metadata: total size is bigger than largest supported object
  14     }
  15 }