pub broadcast proof fn layout_of_references_and_pointers_for_sized_types<T: Sized>()Expand description
ensures
size_of::<*mut T>() == size_of::<usize>(),align_of::<*mut T>() == align_of::<usize>(),Pointers to sized types have the same size and alignment as usize
(Reference).