rust/tests/fail/stacked_borrows/deallocate_against_barrier1.rs

//@error-pattern: /deallocating while item \[Unique for .*\] is protected/

fn inner(x: &mut i32, f: fn(&mut i32)) {
    // `f` may mutate, but it may not deallocate!
    f(x)
}

fn main() {
    inner(Box::leak(Box::new(0)), |x| {
        let raw = x as *mut _;
        drop(unsafe { Box::from_raw(raw) });
    });
}