mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix clippy lints

Browse Source
This commit is contained in:
Ralf Jung 2024-03-09 12:33:17 +01:00
parent 91644dd389
commit 862f918fa4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/src/machine.rs
View File

@ -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 // 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. // writes* during this call are insta-UB.
let protected_place = if ecx.machine.borrow_tracker.is_some() { let protected_place = if ecx.machine.borrow_tracker.is_some() {
ecx.protect_place(&place)?.into() ecx.protect_place(place)?
} else { } else {
// No borrow tracker. // No borrow tracker.
place.clone() place.clone()