Function vstd::raw_ptr::expose_provenance
source · pub exec fn expose_provenance<T: Sized>(m: *mut T) -> provenance : Tracked<IsExposed>Expand description
ensures
provenance@@ == m@.provenance,Perform a provenance expose operation.