Function miri::borrow_tracker::tree_borrows::inner_ptr_of_unique

source ·
fn inner_ptr_of_unique<'tcx>(
    ecx: &MiriInterpCx<'_, 'tcx>,
    place: &PlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx, PlaceTy<'tcx, Provenance>>
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.