Auto merge of #3253 - matthiaskrgr:noclone, r=RalfJung

remove redundant clone
2026-05-16 21:15:18 +03:00 · 2024-01-05 20:55:11 +00:00
parent 39c714b49b 80ee0c08d6
commit d334a4bccf
1 changed files with 1 additions and 1 deletions
@@ -612,7 +612,7 @@ pub fn perform_access(
                    is_foreign: rel_pos.is_foreign(),
                    access_cause,
                    access_range,
-                    transition_range: perms_range.clone(),
+                    transition_range: perms_range,
                    span,
                });
            }