vstd::raw_ptr

Function cast_ptr_to_thin_ptr

Source 
pub exec fn cast_ptr_to_thin_ptr<T: ?Sized, U: Sized>(ptr: *mut T) -> result : *mut U
Expand description
ensures
result == spec_cast_ptr_to_thin_ptr::<T, U>(ptr),

Cast a pointer to a thin pointer. Address and provenance are preserved; metadata is now thin.

Don’t call this directly; use an as-cast instead.