Function vstd::raw_ptr::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),

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