// error-pattern: type validation failed: encountered a pointer
+// normalize-stderr-test: "\[u8; (08|16)\]" -> "$$ARRAY"
fn main() {
#[cfg(target_pointer_width="64")]
};
#[cfg(target_pointer_width="32")]
let bad = unsafe {
- std::mem::transmute::<&[u8], [u8; 8]>(&[1u8])
+ std::mem::transmute::<&[u8], [u8; 08]>(&[1u8])
};
let _val = bad[0] + bad[bad.len()-1];
}
error: Undefined Behavior: type validation failed: encountered a pointer, but expected plain (non-pointer) bytes
--> $DIR/transmute_fat1.rs:LL:CC
|
-LL | std::mem::transmute::<&[u8], [u8; 16]>(&[1u8])
+LL | std::mem::transmute::<&[u8], $ARRAY>(&[1u8])
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a pointer, but expected plain (non-pointer) bytes
|
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior