1 // Tests that transmuting from &T to &mut T is Undefined Behavior.
2
3 use std::mem::transmute;
4
main()5 fn main() {
6 let _a: &mut u8 = unsafe { transmute(&1u8) };
7 //~^ ERROR mutating transmuted &mut T from &T may cause undefined behavior
8 }
9