Function layout_for_array_is_valid

pub exec fn layout_for_array_is_valid<V: Sized, const N: usize>()

Expand description

ensures

layout::valid_layout(
    layout::size_of::<[V; N]>() as usize,
    layout::align_of::<[V; N]>() as usize,
),

layout::size_of::<[V; N]>() as usize as nat == layout::size_of::<[V; N]>(),

layout::align_of::<[V; N]>() as usize as nat == layout::align_of::<[V; N]>(),

layout_for_array_is_valid