Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix dir-diff paths merging to not add duplicated entries from remainder
If lhs_paths and rhs_paths are ["a", "c"] and ["a", "b", "c"] respectively, the loop ends with paths = ["a", "c", "b"], i = j = 2. We still need to deduplicate "c" from the rhs_paths. .into_iter() can't be used anymore since the seen set still borrows the paths.
- Loading branch information