Can we use non_exhausive attr instead of zero length array in "Representing Opaque Structs"

Section: https://doc.rust-lang.org/nomicon/ffi.html#representing-opaque-structs

Currently, it uses a struct like this:

#[repr(C)]
pub struct Foo {
    _data: [u8; 0],
    _marker:
        core::marker::PhantomData<(*mut u8, core::marker::PhantomPinned)>,
}

But since that was written, we have access to the #[non_exhausive] attribute. I think it has the same functionality. Any reason we shouldn't be suggesting this instead?

#[repr(C)]
#[non_exhaustive]
pub struct Foo {
    _marker:
        core::marker::PhantomData<(*mut u8, core::marker::PhantomPinned)>,
}

Start with the “Representing Opaque Structs” section in doc.rust-lang.org/nomicon/ffi.html and compare the documented zero-length-array pattern with the proposed #[non_exhaustive] form. Verify whether the attribute provides the same FFI and opacity guarantees, then update the section if appropriate and document any reason to retain the existing pattern.