Function ptr_from_dataCopy item path

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

{ ptr_mut_from_data(data) as *const T }