mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tree_borrows test: ensure we can actually read the variable

Browse Source
This commit is contained in:
Ralf Jung 2024-08-27 13:38:29 +02:00
parent 2f13379dd1
commit 6f8fb3c15d
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/tools/miri/tests/pass/tree_borrows/sb_fails.rs
View File

@ -67,10 +67,11 @@ mod static_memory_modification {
#[allow(mutable_transmutes)] #[allow(mutable_transmutes)]
pub fn main() { pub fn main() {
let _x = unsafe { let x = unsafe {
std::mem::transmute::<&usize, &mut usize>(&X) // In SB this mutable reborrow fails. std::mem::transmute::<&usize, &mut usize>(&X) // In SB this mutable reborrow fails.
// But in TB we are allowed to transmute as long as we don't write. // But in TB we are allowed to transmute as long as we don't write.
}; };
assert_eq!(*&*x, 5);
} }
} }