rust/tests/fail/stacked_borrows/illegal_write6.rs

13 lines
230 B
Rust
Raw Normal View History

2019-04-30 13:18:29 -05:00
fn main() {
let x = &mut 0u32;
let p = x as *mut u32;
foo(x, p);
}
fn foo(a: &mut u32, y: *mut u32) -> u32 {
*a = 1;
let _b = &*a;
unsafe { *y = 2; } //~ ERROR: not granting access to tag
2019-04-30 13:18:29 -05:00
return *a;
}