rvalue_source_place
rapx
0.7.20
In rapx::
verify::
smt_
check::
non_
overlap
rapx
::
verify
::
smt_check
::
non_overlap
Function
rvalue_
source_
place
Copy item path
Source
fn rvalue_source_place<'a, 'tcx>( rvalue: &'a
Rvalue
<'tcx>, ) ->
Option
<&'a
Place
<'tcx>>