pub broadcast proof fn align_properties<T>()Expand description
ensures
size_of::<T>() % align_of::<T>() == 0,is_pow2(align_of::<T>() as int),The size is a multiple of alignment and alignment is always a power of 2 (reference).