blob: a5a1930ed65bb5304172dd6d162f57ed2ab1431e (
plain)
1
2
3
4
5
6
7
8
9
10
|
#![allow(dropping_references)]
fn main() {
let target = &mut 42;
let target2 = target as *mut _;
drop(&mut *target); // reborrow
// Now make sure our ref is still the only one.
unsafe { *target2 = 13 }; //~ ERROR: /write access .* tag does not exist in the borrow stack/
let _val = *target;
}
|
