tests/fail/transmute_fat1.rs

   1 // error-pattern: type validation failed: encountered a pointer
   2
   3 fn main() {
   4     #[cfg(target_pointer_width="64")]
   5     let bad = unsafe {
   6         std::mem::transmute::<&[u8], [u8; 16]>(&[1u8])
   7     };
   8     #[cfg(target_pointer_width="32")]
   9     let bad = unsafe {
  10         std::mem::transmute::<&[u8], [u8; 8]>(&[1u8])
  11     };
  12     let _val = bad[0] + bad[bad.len()-1];
  13 }