From d3fc32284d1222e11d29718957260f1a10aad5e6 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 9 Mar 2024 12:33:17 +0100 Subject: [PATCH] fix clippy lints --- src/machine.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/machine.rs b/src/machine.rs index f2dc6c1405..f0e3c43a5c 100644 --- a/src/machine.rs +++ b/src/machine.rs @@ -1333,7 +1333,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for MiriMachine<'mir, 'tcx> { // If we have a borrow tracker, we also have it set up protection so that all reads *and // writes* during this call are insta-UB. let protected_place = if ecx.machine.borrow_tracker.is_some() { - ecx.protect_place(&place)?.into() + ecx.protect_place(place)? } else { // No borrow tracker. place.clone()