pub broadcast proof fn layout_of_str(x: &str)Expand description
ensures
spec_align_of_val::<str>(x) == align_of::<u8>(),str has the same layout as [u8], which has the same layout as u8.
(Reference).