src/tools/miri/tests/pass/stacked-borrows/non_scalar_field_retagging.rs

//@compile-flags: -Zmiri-retag-fields=scalar

struct Newtype<'a>(
    #[allow(dead_code)] &'a mut i32,
    #[allow(dead_code)] i32,
    #[allow(dead_code)] i32,
);

fn dealloc_while_running(_n: Newtype<'_>, dealloc: impl FnOnce()) {
    dealloc();
}

// Make sure that with -Zmiri-retag-fields=scalar, we do *not* retag the fields of `Newtype`.
fn main() {
    let ptr = Box::into_raw(Box::new(0i32));
    #[rustfmt::skip] // I like my newlines
    unsafe {
        dealloc_while_running(
            Newtype(&mut *ptr, 0, 0),
            || drop(Box::from_raw(ptr)),
        )
    };
}