diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-01-05 21:19:45 +0100 |
|---|---|---|
| committer | Matthias Krüger <matthias.krueger@famsik.de> | 2024-01-05 21:19:45 +0100 |
| commit | 80ee0c08d6d2cf2c0bf91a3af444f2d0519b3dad (patch) | |
| tree | f31a41453e86777564ff12e0e2f1d6f187c90267 | |
| parent | 39c714b49b61ad49136b31f9b0adacd9806da0f0 (diff) | |
| download | rust-80ee0c08d6d2cf2c0bf91a3af444f2d0519b3dad.tar.gz rust-80ee0c08d6d2cf2c0bf91a3af444f2d0519b3dad.zip | |
remove redundant clone
| -rw-r--r-- | src/tools/miri/src/borrow_tracker/tree_borrows/tree.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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 778a544544b..4b47cc0cb82 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, }); } |