//! This is a regression test for <https://github.com/rust-lang/miri/issues/4188>: The precondition
//! check in `ptr::swap_nonoverlapping` was incorrectly disabled in Miri.
//@normalize-stderr-test: "\n +[0-9]+:[^\n]+" -> ""
//@normalize-stderr-test: "\n +at [^\n]+" -> ""
//@error-in-other-file: aborted execution

fn main() {
    let mut data = 0usize;
    let ptr = std::ptr::addr_of_mut!(data);
    unsafe {
        std::ptr::swap_nonoverlapping(ptr, ptr, 1);
    }
}