Function ptr_from_data

Source

pub open spec fn ptr_from_data<T: PointeeSized>(data: PtrData<T>) -> *const T

Expand description

{ ptr_mut_from_data(data) as *const T }

Constructs a pointer from its underlying model. Since *mut T and *const T are semantically the same, we can define this operation in terms of the operation on *mut T.

ptr_from_data

Function ptr_from_data Copy item path

Function ptr_from_data