// For illustrative purposes; `align` and `packed`
// can't actually be combined like this.
#[repr(C, align(2), packed(4))]
struct ReprCStruct<T, U, V> {
    foo: Foo<T>,
    bar: Bar<U>,
    baz: Baz<V>,
}

impl<T, U, V> KnownLayout for ReprCStruct<T, U, V> {
    const LAYOUT: DstLayout = {
        use ::zerocopy::macro_utils::core_reexport::num::NonZeroUsize;
        use ::zerocopy::{DstLayout, KnownLayout};

        let repr_align = NonZeroUsize::new(2); // or `None`, w/o `align`
        let repr_packed = NonZeroUsize::new(4); // or `None`, w/o `packed`

        DstLayout::new(repr_align)
            .extend(DstLayout::for_type::<Foo<T>>(), repr_packed)
            .extend(DstLayout::for_type::<Bar<U>>(), repr_packed)
            .extend(<Baz<V> as KnownLayout>::LAYOUT, repr_packed)
            .pad_to_align()
    };
}