Function vstd::layout::layout_of_references_and_pointers

pub broadcast proof fn layout_of_references_and_pointers<T: ?Sized>()

Expand description

ensures

size_of::<*mut T>() == size_of::<*const T>() == size_of::<&T>(),

align_of::<*mut T>() == align_of::<*const T>() == align_of::<&T>(),

Pointers and references have the same layout. Mutability of the pointer or reference does not change the layout. (Reference.)

Function vstd::layout::layout_of_references_and_pointersCopy item path