Skip to content

Commit 3db4efa

Browse files
committed
move errors: remove an unneeded allocation by making a clone clearer
1 parent 134aba8 commit 3db4efa

File tree

1 file changed

+1
-6
lines changed

1 file changed

+1
-6
lines changed

polonius-engine/src/output/initialization.rs

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -153,12 +153,7 @@ fn compute_move_errors<T: FactTypes>(
153153
path_maybe_initialized_on_exit.insert(ctx.path_assigned_at.clone());
154154

155155
// path_maybe_uninitialized_on_exit(path, point) :- path_moved_at(path, point).
156-
path_maybe_uninitialized_on_exit.insert(
157-
ctx.path_moved_at
158-
.iter()
159-
.map(|&(path, point)| (path, point))
160-
.collect(),
161-
);
156+
path_maybe_uninitialized_on_exit.insert(ctx.path_moved_at.clone());
162157

163158
while iteration.changed() {
164159
// path_maybe_initialized_on_exit(path, point2) :-

0 commit comments

Comments
 (0)