We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 7af6e59 + 7506352 commit 0dac2f0Copy full SHA for 0dac2f0
src/tools/miri/src/concurrency/sync.rs
@@ -381,8 +381,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
381
// We need to drop our mutex borrow before unblock_thread
382
// because it will be borrowed again in the unblock callback.
383
drop(mutex);
384
- if thread_id.is_some() {
385
- this.unblock_thread(thread_id.unwrap(), BlockReason::Mutex)?;
+ if let Some(thread_id) = thread_id {
+ this.unblock_thread(thread_id, BlockReason::Mutex)?;
386
}
387
388
Some(old_lock_count)
0 commit comments