diff options
| author | Ralf Jung <post@ralfj.de> | 2022-11-27 00:06:00 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-11-27 00:06:00 +0100 |
| commit | edf8154695e697d5bef8fdd3341379a3f789fd62 (patch) | |
| tree | 45c5ca7125a197c49639218ff64c443ae36e59e3 | |
| parent | a3bd57823f602164fa94fde3e7997770bd97cea8 (diff) | |
| download | rust-edf8154695e697d5bef8fdd3341379a3f789fd62.tar.gz rust-edf8154695e697d5bef8fdd3341379a3f789fd62.zip | |
nits
| -rw-r--r-- | src/tools/miri/src/stacked_borrows/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/src/stacked_borrows/mod.rs b/src/tools/miri/src/stacked_borrows/mod.rs index 5093cddfd3b..f6f5c063b39 100644 --- a/src/tools/miri/src/stacked_borrows/mod.rs +++ b/src/tools/miri/src/stacked_borrows/mod.rs @@ -913,7 +913,7 @@ trait EvalContextPrivExt<'mir: 'ecx, 'tcx: 'mir, 'ecx>: crate::MiriInterpCxExt<' })?; drop(global); if let Some(access) = access { - assert!(access == AccessKind::Read); + assert_eq!(access, AccessKind::Read); // Make sure the data race model also knows about this. if let Some(data_race) = alloc_extra.data_race.as_ref() { data_race.read(alloc_id, range, &this.machine)?; @@ -949,7 +949,7 @@ trait EvalContextPrivExt<'mir: 'ecx, 'tcx: 'mir, 'ecx>: crate::MiriInterpCxExt<' })?; drop(global); if let Some(access) = access { - assert!(access == AccessKind::Write); + assert_eq!(access, AccessKind::Write); // Make sure the data race model also knows about this. if let Some(data_race) = alloc_extra.data_race.as_mut() { data_race.write(alloc_id, range, machine)?; |
