1 fn demo_mut_advanced_unique(our: &mut i32) -> i32 {
4 // This "re-asserts" uniqueness of the reference: After writing, we know
5 // our tag is at the top of the stack.
10 // We know this will return 5
14 // Now comes the evil context
17 static mut LEAK: *mut i32 = ptr::null_mut();
19 fn unknown_code_1(x: &i32) {
21 LEAK = x as *const _ as *mut _;
27 *LEAK = 7; //~ ERROR: /write access .* tag does not exist in the borrow stack/
32 demo_mut_advanced_unique(&mut 0);