diff --git a/rust-version b/rust-version index 7004235a38..bc7ef53b30 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -35bab923c8e5a1e8291735e7630539002eb80d7b +6e92fb409816c65cd0a78a1fbcc71e2fbabdf50a diff --git a/src/data_race.rs b/src/data_race.rs index 16ab03ace2..fb6bf8f892 100644 --- a/src/data_race.rs +++ b/src/data_race.rs @@ -719,7 +719,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriEvalContextExt<'mir, 'tcx> { if let Some(data_race) = &mut this.memory.extra.data_race { if data_race.multi_threaded.get() { let alloc_meta = - this.memory.get_alloc_extra_mut(ptr.alloc_id)?.data_race.as_mut().unwrap(); + this.memory.get_alloc_extra_mut(ptr.alloc_id)?.0.data_race.as_mut().unwrap(); alloc_meta.reset_clocks(ptr.offset, size); } }