Use Place directly in apply_call_return_effect on framework/tests, it's Copy

This commit is contained in:
Santiago Pastorino 2020-03-31 18:49:21 -03:00
parent 017608f5d2
commit b46754ea99
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF

View file

@ -223,7 +223,7 @@ impl Analysis<'tcx> for MockAnalysis<'tcx> {
block: BasicBlock,
_func: &mir::Operand<'tcx>,
_args: &[mir::Operand<'tcx>],
_return_place: &mir::Place<'tcx>,
_return_place: mir::Place<'tcx>,
) {
let location = self.body.terminator_loc(block);
let idx = self.effect_at_target(SeekTarget::AfterAssumeCallReturns(location)).unwrap();