]> git.lizzy.rs Git - rust.git/blob - src/tools/miri/tests/fail/stacked_borrows/static_memory_modification.rs
Rollup merge of #103146 - joboet:cleanup_pthread_condvar, r=Mark-Simulacrum
[rust.git] / src / tools / miri / tests / fail / stacked_borrows / static_memory_modification.rs
1 static X: usize = 5;
2
3 #[allow(mutable_transmutes)]
4 fn main() {
5     let _x = unsafe {
6         std::mem::transmute::<&usize, &mut usize>(&X) //~ ERROR: writing to alloc1 which is read-only
7     };
8 }