Function miri::borrow_tracker::tree_borrows::inner_ptr_of_unique
source ยท fn inner_ptr_of_unique<'tcx>(
ecx: &MiriInterpCx<'tcx>,
place: &PlaceTy<'tcx>,
) -> InterpResult<'tcx, PlaceTy<'tcx>>
Expand description
Takes a place for a Unique
and turns it into a place with the inner raw pointer.
I.e. input is what you get from the visitor upon encountering an adt
that is Unique
,
and output can be used by retag_ptr_inplace
.