vstd::raw_ptr

Function spec_cast_ptr_to_thin_ptr

Source 
pub open spec fn spec_cast_ptr_to_thin_ptr<T: ?Sized, U: Sized>(ptr: *mut T) -> *mut U
Expand description
{
    ptr_mut_from_data(PtrData::<U> {
        addr: ptr@.addr,
        provenance: ptr@.provenance,
        metadata: (),
    })
}

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