Use Place directly in peek_at, it's Copy

This commit is contained in:
Santiago Pastorino
2020-03-31 14:26:15 -03:00
parent 947c1dcf92
commit 017620fdfc
+4 -4
View File
@@ -127,7 +127,7 @@ pub fn sanity_check_via_rustc_peek<'tcx, A>(
let loc = Location { block: bb, statement_index };
cursor.seek_before(loc);
let state = cursor.get();
results.analysis.peek_at(tcx, place, state, call);
results.analysis.peek_at(tcx, *place, state, call);
}
_ => {
@@ -231,7 +231,7 @@ pub trait RustcPeekAt<'tcx>: Analysis<'tcx> {
fn peek_at(
&self,
tcx: TyCtxt<'tcx>,
place: &mir::Place<'tcx>,
place: mir::Place<'tcx>,
flow_state: &BitSet<Self::Idx>,
call: PeekCall,
);
@@ -244,7 +244,7 @@ impl<'tcx, A> RustcPeekAt<'tcx> for A
fn peek_at(
&self,
tcx: TyCtxt<'tcx>,
place: &mir::Place<'tcx>,
place: mir::Place<'tcx>,
flow_state: &BitSet<Self::Idx>,
call: PeekCall,
) {
@@ -268,7 +268,7 @@ impl<'tcx> RustcPeekAt<'tcx> for MaybeMutBorrowedLocals<'_, 'tcx> {
fn peek_at(
&self,
tcx: TyCtxt<'tcx>,
place: &mir::Place<'tcx>,
place: mir::Place<'tcx>,
flow_state: &BitSet<Local>,
call: PeekCall,
) {