diff options
| author | bors <bors@rust-lang.org> | 2024-01-05 20:55:11 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-01-05 20:55:11 +0000 |
| commit | d334a4bccfa9529c35be45e3e1a34bf875c01030 (patch) | |
| tree | f31a41453e86777564ff12e0e2f1d6f187c90267 | |
| parent | 39c714b49b61ad49136b31f9b0adacd9806da0f0 (diff) | |
| parent | 80ee0c08d6d2cf2c0bf91a3af444f2d0519b3dad (diff) | |
| download | rust-d334a4bccfa9529c35be45e3e1a34bf875c01030.tar.gz rust-d334a4bccfa9529c35be45e3e1a34bf875c01030.zip | |
Auto merge of #3253 - matthiaskrgr:noclone, r=RalfJung
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, }); } |