//@ run-pass
//@ compile-flags: -C debug-assertions

#![feature(strict_provenance)]

#[repr(packed)]
struct Misaligner {
    _head: u8,
    tail: u64,
}

fn main() {
    let memory = [Misaligner { _head: 0, tail: 0}, Misaligner { _head: 0, tail: 0}];
    // Test that we can use addr_of! to get the address of a packed member which according to its
    // type is not aligned, but because it is a projection from a packed type is a valid place.
    let ptr0 = std::ptr::addr_of!(memory[0].tail);
    let ptr1 = std::ptr::addr_of!(memory[0].tail);
    // Even if ptr0 happens to be aligned by chance, ptr1 is not.
    assert!(!ptr0.is_aligned() || !ptr1.is_aligned());

    // And also test that we can get the addr of a packed struct then do a member read from it.
    unsafe {
        let ptr = std::ptr::addr_of!(memory[0]);
        let _tail = (*ptr).tail;

        let ptr = std::ptr::addr_of!(memory[1]);
        let _tail = (*ptr).tail;
    }
}