copy_chain_places
rapx
0.7.20
In rapx::
verify::
verifier
rapx
::
verify
::
verifier
Function
copy_
chain_
places
Copy item path
Source
fn copy_chain_places<'tcx>( place: &
PlaceKey
, result: &
ForwardVisitResult
<'tcx>, ) ->
Vec
<
PlaceKey
>