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-09-16 08:32:19 +02:00
parent 1692d12c1c
commit 5b8a18f959
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/src/concurrency/data_race.rs
View File

@ -1165,7 +1165,7 @@ impl FrameState {
} else {
// This can fail to exist if `race_detecting` was false when the allocation
// occurred, in which case we can backdate this to the beginning of time.
let clocks = clocks.entry(local).or_insert_with(Default::default);
let clocks = clocks.entry(local).or_default();
clocks.write = thread_clocks.clock[index];
clocks.write_type = NaWriteType::Write;
}
@ -1186,7 +1186,7 @@ impl FrameState {
// This can fail to exist if `race_detecting` was false when the allocation
// occurred, in which case we can backdate this to the beginning of time.
let mut clocks = self.local_clocks.borrow_mut();
let clocks = clocks.entry(local).or_insert_with(Default::default);
let clocks = clocks.entry(local).or_default();
clocks.read = thread_clocks.clock[index];
}