about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2022-11-27 00:06:00 +0100
committerRalf Jung <post@ralfj.de>2022-11-27 00:06:00 +0100
commitedf8154695e697d5bef8fdd3341379a3f789fd62 (patch)
tree45c5ca7125a197c49639218ff64c443ae36e59e3
parenta3bd57823f602164fa94fde3e7997770bd97cea8 (diff)
downloadrust-edf8154695e697d5bef8fdd3341379a3f789fd62.tar.gz
rust-edf8154695e697d5bef8fdd3341379a3f789fd62.zip
nits
-rw-r--r--src/tools/miri/src/stacked_borrows/mod.rs4
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)?;