From bbd5ae5deac00050cd0d23cf25ffdde13faab15c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20=C5=A0pa=C4=8Dek?= <jan.spacek@keyrock.eu>
Date: Thu, 15 Aug 2024 09:48:27 +0200
Subject: [PATCH] Make Miri happy

---
 src/deque.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/deque.rs b/src/deque.rs
index a06fe689b6..4c0bec81dc 100644
--- a/src/deque.rs
+++ b/src/deque.rs
@@ -731,8 +731,9 @@ impl<T, S: Storage> DequeInner<T, S> {
         let idx_j = self.to_physical_index(j);
 
         let buffer = self.buffer.borrow_mut();
-        let ptr_i = buffer.as_mut_ptr().add(idx_i);
-        let ptr_j = buffer.as_mut_ptr().add(idx_j);
+        let buffer_ptr = buffer.as_mut_ptr();
+        let ptr_i = buffer_ptr.add(idx_i);
+        let ptr_j = buffer_ptr.add(idx_j);
         ptr::swap(ptr_i, ptr_j);
     }