From 80ee0c08d6d2cf2c0bf91a3af444f2d0519b3dad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Fri, 5 Jan 2024 21:19:45 +0100
Subject: [PATCH] remove redundant clone

---
 src/tools/miri/src/borrow_tracker/tree_borrows/tree.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/miri/src/borrow_tracker/tree_borrows/tree.rs b/src/tools/miri/src/borrow_tracker/tree_borrows/tree.rs
index 778a544544b5..4b47cc0cb824 100644
--- a/src/tools/miri/src/borrow_tracker/tree_borrows/tree.rs
+++ b/src/tools/miri/src/borrow_tracker/tree_borrows/tree.rs
@@ -612,7 +612,7 @@ impl<'tcx> Tree {
                     is_foreign: rel_pos.is_foreign(),
                     access_cause,
                     access_range,
-                    transition_range: perms_range.clone(),
+                    transition_range: perms_range,
                     span,
                 });
             }