layout_of_maybe_uninit

Function layout_of_maybe_uninit 

Source
pub broadcast proof fn layout_of_maybe_uninit<T: Sized>()
Expand description
ensures
size_of::<MaybeUninit<T>>() == size_of::<T>(),
align_of::<MaybeUninit<T>>() == align_of::<T>(),

MaybeUninit<T> has the same size and aligment as T (Reference).