Skip to content

Commit 01cc48f

Browse files
committed
move errors: only store debugging information when asked to do so
1 parent 3db4efa commit 01cc48f

File tree

1 file changed

+8
-6
lines changed

1 file changed

+8
-6
lines changed

polonius-engine/src/output/initialization.rs

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -206,12 +206,14 @@ fn compute_move_errors<T: FactTypes>(
206206
);
207207
}
208208

209-
for &(path, location) in path_maybe_initialized_on_exit.complete().iter() {
210-
output
211-
.path_maybe_initialized_on_exit
212-
.entry(location)
213-
.or_default()
214-
.push(path);
209+
if output.dump_enabled {
210+
for &(path, location) in path_maybe_initialized_on_exit.complete().iter() {
211+
output
212+
.path_maybe_initialized_on_exit
213+
.entry(location)
214+
.or_default()
215+
.push(path);
216+
}
215217
}
216218

217219
InitializationStatus {

0 commit comments

Comments
 (0)