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